Instanz: Ein ungerichteter Graph mit zwei unterschiedlichen Eckpunkten s ≠ t und einer ganzen Zahl k ≥ 0 .
Frage: Gibt es in G einen - Pfad , so dass sich der Pfad höchstens k Dreiecke schneidet ? (Für dieses Problem wird gesagt, dass ein Pfad ein Dreieck schneidet, wenn der Pfad mindestens eine Kante des Dreiecks enthält.)