Vita:Konjunktív normálforma
A Wikipédiából, a szabad lexikonból.
Gubb, ez nem hibás véletlenül? Rossz példák 2.)
=(?) Jó példák 2.)
Szerintem a kettő nem tűnik ekvivalensnek... Vagy nem is ez a cél?
Javítsd nyugodtan, ha hiba van. Csak most írom még, előkészületes (mára befejeztem, elfáradtam, holnap majd folytatom). Sajnos a szerkesztés közbeni TEX-kódban nehezebb átlátni a formulákat. Valószínűleg elírtam, és az első B-t C-re kell cserélni. Gubb 2005. május 29., 00:54 (CEST)
"Jelenleg nem tudjuk, erre a feladatra adható-e egy polinomidőben befejeződő megoldási algoritmus (azaz fogalmunk sincs arról, hogy SAT ∈ NP igaz-e);"
Bocs, de ide nem azt akartad írni, hogy SAT ∈ P igaz-e? :-(
Hogyne, hiszen két sorral lejjebb világosan leírtam, hogy SAT ∈ NP. Köszönöm, a copypaste után elfelejtettem törölni az N-t. Gubb 2005. május 29., 22:31 (CEST)
[szerkesztés] Induktív
defi. Gubb 2005. június 1., 16:14 (CEST)




Based on work by Névtelen Wikipédia-felhasználó(k).