> -- Rifat писал(а):
> Допустим, нужно вычислить предикат x + y + z = z + y + x. Если у недвоичного дерева в вершине сложения будут перечислены: x, y, z, а у другой вершины z, y, x, то будет проще их привести к одинаковому виду, отсортировав имена переменных лексикографически.Выглядит надуманным. Польза минимальна, и работает это только со скалярными x, y и z. С другой же стороны, анализ поддерева, у которого всего две ветви, кажется более простым. Да и операция сложения, вообще-то, двухместная. А возможность перемены мест слагаемых - это правило, которое навешивается сверху на формулу целиком (или на двоичное дерево).