Převod na CNF
Napsal: 1. 3. 2009 18:25
Jsem asi úplně blbej (a je to taky dost daný tím, že jsem díky mé tristní lenosti vynechal řadu přednášek, kde se asi právě tyto věci řešily ), ale nejsem naprosto schopen poradit si se zadáním :
"Převeďte problém Hamiltonovské kružnice do CNF"
Co to je CNF vím, co to je Hamiltonovská kružnice vím taky...ale jak z ní udělat nějakou "konujkci disjunkcí logickejch výrazů" to nedávám
mám dojem, že jsem u někoho v učebních materiálech před zkouškou viděl něco jako "algoritmus převodu problému", kterým by se to snad dalo řešit, ale ani s pomocí mistra Googla ho teď nemůžu najít...poradíte někdo napůl zoufalému "dostmožnáposlednípůlrok" matfyzákovi?
"Převeďte problém Hamiltonovské kružnice do CNF"
Co to je CNF vím, co to je Hamiltonovská kružnice vím taky...ale jak z ní udělat nějakou "konujkci disjunkcí logickejch výrazů" to nedávám
mám dojem, že jsem u někoho v učebních materiálech před zkouškou viděl něco jako "algoritmus převodu problému", kterým by se to snad dalo řešit, ale ani s pomocí mistra Googla ho teď nemůžu najít...poradíte někdo napůl zoufalému "dostmožnáposlednípůlrok" matfyzákovi?