|
10.4.4.5. "Поверхностное" дерево
|
|
Как и
"когда-то очень давно", деревьев на самом деле
два и с ними важно не запутаться. В книге:
Грэхем Р., Кнут Д., Паташник О.
Конкретная математика.
Основание информатики, М., Мир, 1998, на стр. 141 в качестве
"Stern-Brocot Tree" приведено то же самое дерево, что и по ссылкам:
Тогда как у: Айгнер М., Циглер Г.
Доказательства из Книги.
Лучшие доказательства со времен Евклида до наших дней, М., Мир, 2006, на стр. 106 в контексте обсуждения одной работы Мориса Абрахама Штерна приведено уже другое дерево. Понятно, что оба эти дерева (в "Конкретной математике" и у Айгнера) тесно связаны друг с другом, но все же это разные деревья.
Чтобы различать их, будем называть то дерево, что у Айгнера
"поверхностным", поскольку оно самым непосредственным образом порождается фундаментальными для всех наших рассмотрений
операторами V и H:
если некоторая вершина "поверхностного" дерева помечена положительным рациональным числом
x, то левый сын этой вершины будет помечен числом
V(x), а правый сын будет помечен числом
H(x).
То дерево, которое приведено в "Конкретной математике" на с. 141 связано с
операторами V и H более опосредованным образом, поэтому будем называть его
"глубинным" или просто "Stern-Brocot Tree".
На приведенном ниже рисунке оба дерева дорощены до четвертого уровня.