Пишу ф. form_tree, которая принимает параметр - список и формирует на его основе дерево в произвольной форме.
Пока функция в стадии доработки и отладки. 
Это черновой вариант.  
Ф. linker - «helper function», тоже в стадии доработки.
class node:
    def __init__(self, data):
        self.data = data
        self.left = None
        self.right = None
    def insertL(self, data):
        self.left = node(data)
        return self.left
    def insertR(self, data):
        self.right = node(data)
        return self.right
linker
def linker(root, lst):
    import random
    seq = ['left', 'right', 'nither', 'either']
    res = random.choices(seq,(0.2, 0.2, 0.1, 0.5), k=1)
    if lst:
        l=random.choice(lst)
        if res == ['left']:
            root=root.insertL(l)
            lst.remove(l)
            return root, lst
        elif res == ['right']:
            root=root.insertR(l)
            lst.remove(l)
            return root,lst
        elif res == ['nither']:
            return root,lst
        elif res == ['either']:
            print('res', res)
            nodes = [root.insertL(l)]
            lst.remove(l)
            if lst:
                l2=random.choice(lst)
                nodes+=[root.insertR(l2)]
                lst.remove(l2)
                return nodes, lst
            else:
                return nodes[0],lst
    else:
        return root, lst
основная
def form_tree(ls):
    import random
    data = random.choice(ls)
    root=Root=node(data)
    ls.remove(data)
    nodes = None
    while ls:
        if type(nodes)!= list:
            result=linker(root, ls)
            if not result[1]:
                return Root
            else:
                ls=result[1]
            if type(result[0])!= list:
                root=result[0]
            else:
                nodes=result[0]
        else:
            new_nodes=[]
            print('nodes = ', nodes)
            for n in nodes:
                if ls:
                    result = linker(n, ls)
                    ls = result[1]
                    if type(result[0]) != list and result[0] != n:
                        new_nodes = new_nodes+[result[0]]
                    elif type(result[0]) == list:
                        new_nodes = new_nodes+result[0]
                else:
                    return Root
            nodes=new_nodes
    return Root
Согласно выставленным print в linker ('either' section) и form_tree (for-loop), при каждом запуске выводится
res ['either']
nodes =  [<__main__.node object at 0x7ffb5f0cf1d0>, <__main__.node object at 0x7ffb5f0cf940>]
nodes =  [<__main__.node object at 0x7ffb5f0cf7b8>]
res ['either']
nodes =  [<__main__.node object at 0x7ffb5f0cf8d0>, И выдается ответ.
Но иногда ф. form-tree (на 5 или 8 запуск)начинает бесконечно выводить:
 []
nodes =  []
nodes =  []
nodes =  []
nodes =  []
nodes =  []
nodes =  []
nodes =  []
Как бы выяснить, почему?
Используемый список
ls=[1,2,3,4,5,6,7,8,9,10,11,13,12,14,15]
print(form_tree(ls)) 