Logik - Disjunkte Normalform |
05.09.2011, 21:24 | Autobus | Auf diesen Beitrag antworten » |
Logik - Disjunkte Normalform Gibt es einen Algorithmus, der eine beliebige Formel in polynomialer Zeit in eine disjunkte Normalform verwandelt? Meine Ideen: ... irgendwie muss man das induktiv beweisen/widerlegen |
||
06.09.2011, 08:13 | kiste | Auf diesen Beitrag antworten » |
Unter der Annahme NP != P nicht |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|