Donald E. Knuth Optimum Binary Search Trees Acta Inf. 1 1971 14-25 db/journals/acta/acta1.html#Knuth71