Betrachten Sie das folgende Problem:
Eingabe: ein einfacher (ungerichteter) Graph .
Frage: Gibt es eine Orientierung von die die Eigenschaft erfüllt, dass es für jedes s , t ∈ V höchstens einen (gerichteten) s - t Spaziergang gibt?
Dies kann äquivalent ausgedrückt werden als:
Eingabe: ein einfacher (ungerichteter) Graph .
Frage: Gibt es eine azyklische Orientierung von die die Eigenschaft erfüllt, dass es für jedes s , t ∈ V höchstens einen (gerichteten) s - t Pfad gibt?
Was ist die Klasse von Graphen, für die die Antwort "Ja" lautet? Kann dieses Problem in Polynomzeit gelöst werden?
Einige Beobachtungen:
- Wenn der Graph zweiteilig ist, lautet die Antwort "Ja".
- Wenn der Graph ein Dreieck hat, lautet die Antwort "Nein".
Die erste Beobachtung folgt, indem die Kanten von einer Trennwand zur anderen ausgerichtet werden. Die zweite Beobachtung ist leicht zu überprüfen. Dies führte mich zu zwei falschen Vermutungen:
- Die Antwort lautet genau dann "Ja", wenn der Graph zweiteilig ist. (Gegenbeispiel: der 5-Zyklus)
- Die Antwort lautet "Ja", wenn und nur wenn der Graph dreieckfrei ist (Gegenbeispiel: das kartesische Produkt einer Kante mit dem 5-Zyklus)
quelle