Картинки из квадратов \ О гармоническом \ Бинарность \ Полные бинарные деревья \

10.4.4.5. "Поверхностное" дерево

Как и "когда-то очень давно", деревьев на самом деле — два и с ними важно не запутаться. В книге: Грэхем Р., Кнут Д., Паташник О.  Конкретная математика. Основание информатики, М., Мир, 1998, на стр. 141 в качестве "Stern-Brocot Tree" приведено то же самое дерево, что и по ссылкам:
http://mathworld.wolfram.com/Stern-BrocotTree.html;
http://www.cut-the-knot.org/blue/Stern.shtml;
http://en.wikipedia.org/wiki/Stern-Brocot_tree.
Тогда как у: Айгнер М., Циглер Г.  Доказательства из Книги. Лучшие доказательства со времен Евклида до наших дней, М., Мир, 2006, на стр. 106 в контексте обсуждения одной работы Мориса Абрахама Штерна приведено уже другое дерево. Понятно, что оба эти дерева (в "Конкретной математике" и у Айгнера) тесно связаны друг с другом, но все же это — разные деревья.
Чтобы различать их, будем называть то дерево, что у Айгнера — "поверхностным", поскольку оно самым непосредственным образом порождается фундаментальными для всех наших рассмотрений операторами V и H:
если некоторая вершина "поверхностного" дерева помечена положительным рациональным числом x, то левый сын этой вершины будет помечен числом V(x), а правый сын будет помечен числом H(x).
То дерево, которое приведено в "Конкретной математике" на с. 141 связано с операторами V и H более опосредованным образом, поэтому будем называть его "глубинным" или просто "Stern-Brocot Tree".

Сравнение двух деревьев. Слева изображено "поверхностное" дерево, а справа —Stern-Brocot Tree. Как отметил juna: http://dxdy.ru/topic16277-60.html, то, что здесь названо "поверхностным деревом", известно под именем "Calkin-Wilf Tree":
http://mathworld.wolfram.com/Calkin-WilfTree.html.
На приведенном ниже рисунке оба дерева дорощены до четвертого уровня.