Theoretische Grundlagen der Informatik - Übung ... - next-internet.com
Theoretische Grundlagen der Informatik - Übung ... - next-internet.com
Theoretische Grundlagen der Informatik - Übung ... - next-internet.com
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
7<br />
Satz:<br />
Das DIRECTED HAMILTONIAN CIRCUIT-Problem ist N P-vollständig<br />
Beweis:<br />
Was müssen die Klauselkomponenten erfüllen?<br />
Wenn ein HC eine Komponente über die i-te eingehende Kante betritt,<br />
muss er sie auch über die i-te ausgehende Kante verlassen<br />
Es muss möglich sein, dass ein Hamiltonkreis eine Komponente ein-,<br />
zwei- o<strong>der</strong> dreimal passiert<br />
Die folgende Komponente erfüllt diese Anfor<strong>der</strong>ungen:<br />
Wenneinmal zweimal dreimal die Komponente<br />
durchlaufen<br />
mit falscher Kante verlassen<br />
wird, werden<br />
Knoten isoliert