Herhangi bir yolun var olup olmadığına karar vermek bile NP-eksiksizdir .
Herhangi bir yolun, verilen grafikte geçerli bir yol olduğunu doğrulamak mümkündür. Böylece sınırlı uzunluk problemi NP'dedir ve alt kümesi, herhangi bir yol problemi de öyle.
Şimdi, herhangi bir yol sorununun (ve dolayısıyla sınırlı uzunluktaki sorunun) NP sertliğini kanıtlamak için, SAT-CNF'yi bu soruna azaltalım:
Küresel yapı , bir yan tümce parçaları sütunu ile bitişik tel parçalarının bir ızgarasıdır. Grafikte kesişmeyen bir yol varsa mantık formülü tatmin edilebilir.
Yolun iki parçasını geçmek imkansızdır, ancak iki mantık telini geçmek zorunludur. Daha ziyade, yol akışı kesinlikle verilir: bir tel noktası iki düğüm tarafından verilir. Yolun içinden geçtiği tel noktalarının sırası, indirgeme ile zorlanır. Mantık, hangi düğümün seçildiği ile temsil edilir. Tüm kablo noktalarından geçtiği sürece herhangi bir yol seçilebilir.
Bu şemada, yol kırmızı eğri ile temsil edilir ve mantık akışı siyah tellerle temsil edilir:
Şimdi her bileşeni oluşturalım.
Kablolama üç karo kullanır: geçiş, dallanma noktası ve dikey tel. En zor olanla başlayalım:
Geçişin arkasındaki temel fikir , her bir tel noktası çifti için bir yol hazırlamak ve olası yolları, aynı mantığı (uyumlu yolları) kodlayanlar dışındaki tüm çiftlerin birbirini kesecek kadar bükülmesidir. Tabii ki sadece iki paralel kenarın kesiştiğini söyleyemeyiz, ancak iki yolu kesişmek için ekstra sipariş-2 düğümleri ekleyebiliriz.
Yolların kuzeyden batıya ve güneyden doğuya geldiğini varsayalım: her yolu kuzeyden uyumlu bir yolla doğudan bir çizgi üzerinde toplayabiliriz (bazı uyumsuz yollar birbirini keser); çiftlerin sırasını tersine çevirerek her çifti birbirleriyle çaprazlayın; yolları güney ve batı uç noktalarına dağıtır. Bu en iyi bir diyagramla açıklanır. Burada, her bir düğüm çifti bir tel noktasını temsil eder. Aynı renk koduna sahip yollar (aynı mantığı taşıyan) kesişmez, farklı bir renk kodunun yaptığı yollar:
Dallanma noktası ve dikey tel aynı şekilde çalışır, ancak ilişkilendirilecek daha az yol vardır:
Cümle kutusu aynı mantığı izler: her değişmez okuma yoluna giden yollarından birini ortaya çıkarır, sonra güneye yakınsa (en kuzeydeki terim veya kuzeydeki terim kuzeye yakınsa) veya kuzeye (terim kuzeyin güneye yaklaşması). Okuma teli (uç noktalardaki bir düğüm) dal başına bir yol haline gelir. Her okuma yolu, değişmez değeri reddedilirse değişmezin gerçek yolunu, değilse yanlış yolu kesişir. Yakınsak yolun bir yan tümce sınırını aşabileceğini veya geçmeyebileceğini unutmayın. Tutarlılık için, için bir diyagram :¬A∨¬B
Okuma telini farklı bir şekilde dallayarak, VE ve OR geçitlerinin gelişigüzel bir ağacını kodlamak için bu azalmayı genellemek mümkündür. Özellikle, SAT-CNF ve SAT-DNF'nin her ikisi de yukarıda tarif edildiği şekilde kesişmeyen yol problemine indirgenebilir.