Polinomial'nyj SAT-reshatel' Zhegalkina

Polinomial'nye sistemy qwlqütsq fundamental'nymi instrumentami pri reshenii slozhnyh zadach w takih oblastqh nauki i tehniki, kak robototehnika, awtomaticheskoe rassuzhdenie, iskusstwennyj intellekt i obrabotka signalow. Analogichnym obrazom, s samogo nachala cifrowoj äry bulewy peremennye qwlqütsq osnowoj komp'üternyh operacij. Poätomu primenenie obschih algebraicheskih metodow k bulewoj algebre ispol'zuetsq w nastoqschee wremq kak metod resheniq slozhnyh sistem bulewyh urawnenij, kotorye ran'she predpolagalos' reshat' tol'ko s pomosch'ü metodow bulewoj logiki. Cel' dannogo proekta - pokazat', chto polinomy Zhegalkina (izwestnye takzhe kak algebraicheskaq normal'naq forma - ANF) qwlqütsq al'ternatiwnym sposobom predstawleniq bulewyh funkcij. Dlq prowerki wydwinutoj gipotezy byl razrabotan reshatel' zadach na mnogochlenah Zhegalkina (Zhegalkin SAT Solver, ZPSAT). Po rezul'tatam prowedennogo testirowaniq bylo sdelano zaklüchenie, chto ZPSAT mozhet reshat' kon#ünkciü XOR-urawnenij äffektiwno s tochki zreniq nadezhnosti i wremeni wychislenij. Jewristika, ispol'zowannaq dlq postroeniq ZPSAT, osnowywalas' w osnownom na ponqtiqh, ispol'zuemyh w formulah Horna i metode bystrogo umnozheniq dwuh polinomow ANF, izwestnom kak preobrazowanie Möbiusa.