Das Problem mit dem längsten Pfad ist NP-schwer. Der (typische?) Beweis beruht auf einer Reduktion des Hamiltonschen Pfadproblems (das NP-vollständig ist). Beachten Sie, dass hier der Pfad als (knoten-) einfach angesehen wird. Das heißt, kein Scheitelpunkt kann mehr als einmal im Pfad auftreten. Offensichtlich ist es also auch kantenschonend (keine Kante wird mehr als einmal im Pfad auftreten).
Was ist also, wenn wir die Anforderung, einen (knoten-) einfachen Pfad zu finden, fallen lassen und bei der Suche nach einem kanten-einfachen Pfad (Trail) bleiben. Auf den ersten Blick könnte man hoffen, dass es einfacher ist, den längsten Weg zu finden, als den längsten Weg. Ich kann jedoch keine Referenz finden, die dies beweist, geschweige denn eine, die einen Algorithmus liefert.
Beachten Sie, dass mir das hier vorgebrachte Argument bekannt ist scheint in seiner aktuellen Form fehlerhaft zu sein, da es im Grunde zeigt, dass Sie den kanten-einfachen Fall lösen können, indem Sie den knoten-einfachen Fall in einem anderen Diagramm lösen (die Reduktion ist also falsch herum). Es ist nicht klar, dass die Reduzierung leicht geändert werden könnte, um auch in die andere Richtung zu arbeiten. (Dennoch zeigt es, dass zumindest das Problem mit den längsten Pfaden nicht schwerer ist als das Problem mit den längsten Pfaden.)
Gibt es bekannte Ergebnisse für die Suche nach den längsten Pfaden (randlose Pfade)? Komplexität (Klasse)? (Effizienter) Algorithmus?