unfinished optimal binary search tree