Двоичное дерево поиска можно обойти без стека и рекурсии: https://en.wikipedia.org/wiki/Threaded_binary_tree

Расстояние Левенштейна нельзя посчитать быстрее, чем за квадратичное время:
* пейпер: http://arxiv.org/abs/1412.0348
* новости:
* http://www.bostonglobe.com/ideas/2015/08/10/computer-scientists-have-looked-for-solution-that-doesn-exist/tXO0qNRnbKrClfUPmavifK/story.html
* https://newsoffice.mit.edu/2015/algorithm-genome-best-possible-0610