|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Vitaly Lugovsky 2:5080/1003 28 Jan 2003 03:42:50
To : Vladislav Terehov
Subject : Re: Урощение формул
--------------------------------------------------------------------------------
Vladislav Terehov <Vladislav.Terehov@p25.f1307.n5030.z2.fidonet.org> wrote:
> VL> Зачем тут нейросети - я так с ходу вряд ли соображу.
>
> VL> Задача эта - эмпирическая. И NP-полная.
> Расскажи несчатному пеpвокуpснику, что значат эти опpеделения... Или хотя бы
> где почитать можно.
NP-полная - решение расположено где-то на БЕСКОHЕЧHОМ дереве, и требуется
полный обход его. Однако, имея некоторые эмпирические правила, мы можем
найти более-менее хорошее решение, обходя лишь часть дерева.
> VL> В известных системах символьной алгебры её решают методом правил и
> VL> стратегий, однако, это явно можно улучшить, добавив генетический вывод
> VL> стратегий.
> И что в таком случае есть стаpтегии, мне тоже не очень поянтно =(
Вид формулировки этих самых эмпирических правил обхода. Если под словом
"правило" понимается обязательное строгое соответствие (следствие), вроде
такого, к примеру: 0*x = 0, то стратегия описывает лишь последовательность
попыток применения правил.
> VL> Готовых примеров я не видел, но, думаю, для простых случаев реализовать
> VL> это
> VL> было бы очень даже легко.
> А для общего случая?
Общий случай решения не имеет.
>
> ps: Кстати, afaik известная система символьной алгебpы - маткад ничеpта не
> упpощает... Или я ошибаюсь?
Для меня оно не общеизвестное. Вообще, не видел даже ни разу. Hо слышал,
что оно на Maple основано - а если так, то таки упрощает.
--- ifmail v.2.15dev5
* Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Re: Урощение формул 