|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Constantin Stefanov 2:5020/290.7 18 Apr 2002 18:38:52
To : Max Alekseyev
Subject : Re: Эквивалентность формул.
--------------------------------------------------------------------------------
В Среда 17 Апреля 2002 г. 16:04, ты писал(а) мне:
CS>> Есть две формулы, представленные деревьями. Требуется определить,
CS>> являются ли эти два дерева представлениями одной и той же формулы
CS>> (в идеале - с учетом коммутативности и ассоциативности, но для
Э-э-э, тут я просто спутал. Имеется в виду коммутативность и дистрибутивность,
ассоциативность у сложения и умножения предполагается. Вообще, в идеале это
задаваемые шаблоны, т.к. речь идет об анализе программ на Си, а там еще есть
дистрибутивность конъюнкции по дизъюнкции и наоборот, два унарных минуса можно
сократить и т.д. Hо для начала это все лирика, хотя бы только с учетом
ассоциативности того, что ассоциативно.
CS>> начала сойдет и просто так).
MA> Если интересно, могу предложить эффективный вероятностный алгоритм.
Интересно.
Константин.
... Лучше переспать с женщиной, чем недопить с мужчиной.
--- GoldED/W32 3.0.1
* Origin: All Colours of Spectrum (2:5020/290.7)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
