Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hi,
naiv würde ich probieren Nachzuweisen, dass es für eine Klausel mit 4 verschiedenen Variablen keine äquivalente 3KNF gibt. Leider gehen meine Ideen momentan nicht darüber hinaus. Ist ein wenig her, dass ich mich ernsthaft mit soetwas auseinander setzen musste...
Gruß,
Karlito
|
|