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

From

Vitaly Lugovsky (2:5080/1003)

To

Vladislav Terehov ()

Date

2003-01-28T02:42:50Z

Area

RU.ALGORITHMS

From: Vitaly Lugovsky <vsl@ontil.ihep.su>

Vladislav Terehov <Vladislav.Terehov@p25.f1307.n5030.z2.fidonet.org> wrote:

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

 NP-полная - решение расположено где-то на БЕСКОНЕЧНОМ дереве, и требуется
полный обход его. Однако, имея некоторые эмпирические правила, мы можем
найти более-менее хорошее решение, обходя лишь часть дерева.

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

 Вид формулировки этих самых эмпирических правил обхода. Если под словом
"правило" понимается обязательное строгое соответствие (следствие), вроде
такого, к примеру: 0*x = 0, то стратегия описывает лишь последовательность
попыток применения правил.

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

 Общий случай решения не имеет.

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

 Для меня оно не общеизвестное. Вообще, не видел даже ни разу. Но слышал,
что оно на Maple основано - а если так, то таки упрощает.


--- ifmail v.2.15dev5
 * Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)