optimal prefix codes in discrete mathematicsbinary tree