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

From

Denis Nikiforov ()

To

All ()

Date

2003-01-25T21:17:51Z

Area

RU.ALGORITHMS

From: "Denis Nikiforov" <denis@ural.org>

"Vladislav Terehov" <Vladislav.Terehov@p25.f1307.n5030.z2.fidonet.org>
сообщил/сообщила в новостях следующее:
news:MSGID_2=3A5030=2F1307.25_3e3115a5@fidonet.org...
> hi All.
>
> Толи здесь, толи в nice.sources недавно кто-то говоpил, что сабжевая
задача не является
> алгоpитмической. Тобишь для её pешения целесообpазно пpименять нс и га.
Хочется где-нить
> почитать о конфигуpации сети, увидеть пpимеpы га для уpпощения фоpмул. И
вобще.
>
> Есть ли оно в пpиpоде?

если я чего-то не так понял то сильно не ругайте :о)
но например для булевых функций такая задача решается легко
т.е. сначала формула приводится к нормальной форме, а потом одним из
известных способов упрощается
причём это рутинный и легко программируемый процесс
наверняка что-то подобное должно быть и для более сложных формул


--- Microsoft Outlook Express 5.50.4807.1700
 * Origin: Ural RELCOM Ltd. (2:5010/70)