3.7.2. Пример обходов — дерево-формула
Арифметические и логические выражения могут быть представлены при помощи дерева, которое получило название дерева-формулы. Возьмём в качестве примера выражение (2+4)*7-3/5. Тогда получим следующее бинарное дерево, изображенное на рис. 3.13.
Рис.3.13. Пример дерева-формулы
Листья дерева-формулы — всегда операнды (переменные или значения), а все внутренние узлы соответствуют операциям.
Строго говоря, дерево-формулу правильнее отнести к упорядоченным, а не бинарным, деревьям из-за наличия унарных операций, т. к. в этом случае правое и левое поддерево не различаются. Но если в выражении присутствуют только бинарные операции, как в приведенном примере, то соответствующее дерево-формула представляет собой строго бинарное дерево.
Каждое поддерево дерева-формулы соответствует некоторой части исходного выражения, причем операцию, которая находится в корне этого дерева, можно выполнить только после вычисления значений поддеревьев. Например, для дерева, которое изображено на рис.3.12, операция умножения (корень левого поддерева) может быть выполнена только после того, как будет выполнена операция сложения (2+4). Операция, которая находится в корне дерева выражения, должна быть выполнена последней. В данном примере сначала вычисляется (2+4)*7, затем 3/5, а последней выполняется операция вычитания. Обратим внимание, что такой порядок вычисления соответствует обратному (ЛПК) порядку обхода дерева.
Дерево-формула — классический пример для иллюстрации различных способов обхода деревьев. Одна из распространенных терминологий для названий обходов — префиксный (PreOrder, прямой порядок), постфиксный (PostOrder, обратный порядок) и инфиксный (InOrder, центрированный порядок). Эти названия связаны с различными формами представления дерева-формулы. Применяя различные методы обхода к дереву на рис.3.13, получим разные способы записи выражения:
- * + 2 4 7 / 3 5 префиксная форма
2 4 + 7 * 3 5 / - постфиксная форма
2 + 4 * 7 – 3 / 5 инфиксная форма
Как видим, во всех трех случаях порядок следования операндов один и тот же, разница только в порядке операций. Объясняется это просто — во всех трех основных порядках обхода левое поддерево обходится раньше правого, следовательно, листья дерева всегда располагаются в порядке слева направо.
Проанализируем три формы записи выражения, полученные при различных обходах дерева-формулы. Центрированный порядок полностью соответствует обычной записи арифметического выражения, если из нее убрать скобки. По такой записи невозможно правильно вычислить значение выражения, не зная, как были расставлены скобки. Зато два других способа можно использовать для вычисления значения выражения непосредственно, т. к. в этом случае порядок вычислений определяется однозначно.
Из приведенного примера видно, что при префиксной форме знак операции непосредственно предшествует своим операндам, при постфиксной форме он располагается сразу после операндов. В префиксной форме порядок выполнения операций следует читать справа налево (знак последней операции — крайний слева символ), в постфиксной — слева направо. Эти две формы иначе называются бесскобочными формами записи выражения.
Наиболее удобной в реализации является постфиксная форма, которая получила название обратной польской записи (ОПЗ), поскольку ее использование для представления выражений впервые предложил польский математик Я.Лукашевич. Она часто используется как промежуточная форма представления выражений по следующим причинам:
вычисление выражения по ОПЗ можно выполнить итеративно за один проход;
существует простой итеративный алгоритм, предложенный Дейкстрой, для перехода от арифметического выражения, записанного в обычной форме со скобками, к постфиксной форме. С ним можно познакомиться, например, в[10].
Далее рассмотрим реализацию различных способов обхода бинарных деревьев, при этом проанализируем как рекурсивный, так и нерекурсивный способы.