1. 设计在链式存储结构上建立一棵二叉树的算法。

设计链式存储结构上建立二叉树的算法通常涉及到递归操作。这里是一个基本的步骤：

1. **创建节点**：首先，你需要定义一个二叉树节点的结构，它包含一个数据域用于存储值，以及两个指针，分别指向左子树和右子树。

class TreeNode:
    def __init__(self, val=0, left=None, right=None):
        self.val = val
        self.left = left
        self.right = right

2. **构建空树**：如果输入的数据为空或只有一个元素，那么返回对应的根节点即可。

3. **插入元素**：对于给定的有序链表，你可以从头开始遍历。当找到第一个大于当前节点值的元素时，将其设置为当前节点的右孩子；反之，如果小于或等于，则在当前节点的左侧递归地插入直到找到合适的位置。

   def build_binary_tree(head):
       if head is None or head.next is None:
           return TreeNode(head.val) if head else None
       else:
           slow = head
           fast = head
           while fast and fast.next:
               slow = slow.next
               fast = fast.next.next
           temp = slow.next
           slow.next = None
           root = TreeNode(temp.val)
           root.left = build_binary_tree(head)
           root.right = build_binary_tree(temp.next)
           return root

4. **递归终止条件**：在链表遍历过程中，如果遍历到列表的末尾（即fast或fast.next为None），说明已经到达叶子节点，此时直接返回当前节点。

这个算法利用了链表的特性，不需要预先分配连续的空间，适合动态增长的数据结构。