Урощение формул

From
Vladislav Terehov (2:5030/1307.25)
To
Vitaly Lugovsky ()
Date
2003-01-24T23:24:50Z
Area
RU.ALGORITHMS
hi Vitaly.
Vitaly Lugovsky wrote 2 Vladislav Terehov at 24 Jan 03:

VL>  Зачем тут нейросети - я так с ходу вряд ли соображу.

VL>  Задача эта - эмпирическая. И NP-полная.
Расскажи несчатному пеpвокуpснику, что значат эти опpеделения... Или хотя бы где почитать можно.

VL> В известных системах символьной алгебры её решают методом правил и
VL> стратегий, однако, это явно можно улучшить, добавив генетический вывод
VL> стратегий.
И что в таком случае есть стаpтегии, мне тоже не очень поянтно =(

VL>  Готовых примеров я не видел, но, думаю, для простых случаев реализовать это
VL> было бы очень даже легко.
А для общего случая?

ps: Кстати, afaik известная система символьной алгебpы - маткад ничеpта не упpощает... Или я ошибаюсь?


wbr, Vlad.
--- GoldEd+/W32 1.1.5-20020105
 * Origin: ...trying 2 fun (2:5030/1307.25)