|
|
ru.algorithms- RU.ALGORITHMS ---------------------------------------------------------------- From : Constantin Stefanov 2:5020/290.7 17 Apr 2002 12:01:00 To : All Subject : Эквивалентность формул. --------------------------------------------------------------------------------
Есть две формулы, представленные деревьями. Требуется определить, являются ли
эти два дерева представлениями одной и той же формулы (в идеале - с учетом
коммутативности и ассоциативности, но для начала сойдет и просто так).
Пример:
a + b + c
+ +
/ \ / \
a + + c
/ \ / \
b c a b
Это просто разные варианты расстановки скобок, а формула одна и та же. Как в
этом убедиться?
Константин.
... Лучше быть здоровым и богатым, чем бедным и больным.
--- GoldED/W32 3.0.1
* Origin: All Colours of Spectrum (2:5020/290.7)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.algorithms/33333cbd692f.html, оценка из 5, голосов 10
|