David Eppstein'ın ortaya çıkardığı açık bir sorunla karşılaştım ve karmaşıklık durumu ile ilgileniyorum. NP'nin eksiksiz olduğunu tahmin etti.
Girdi: ile n, 0 ve 1 's, sekansının matrisi , n 2 0 ve 1' s
Soru: Bitişik matris girişleri boyunca, her bir matris girişini tam olarak bir kez kapsayan, verilen sırayla eşleşen değerlerle bir yol var mı?
Sorunun gerçekten zor olduğunu kanıtlayan oldu mu?
Yanıtlar:
Geçen Şubat'ta İspanyol bir lisans öğrencisi Nil Mamano'dan, ızgara grafiklerindeki Hamilton yolundan indirgeyerek bu sorunun gerçekten de NP-tamamlanmış olduğunu kanıtlayan bir e-posta aldım. Henüz hiçbir yerde yayınlanmadığını bilmiyorum. İndirgeme, ızgara grafiğinin her bir tepe noktasını 2'li bir 1x2 blok ve her bir kenar, yüz veya eksik tepe noktasını 2x2'lik bir 0 blok ile değiştirir. Giriş dizisi, tüm köşeleri kaplamak için gereken sayıda dört 1 ve dört 0'lık diziler arasında değişir, daha sonra dizinin geri kalanını 0'larla doldurur. Giriş dizisini eşleştirmek için, ızgaradaki bir yol, dört 1'lik dizileri, indirgemeden 1'lerin 2x2 blokları ile hizalamalı ve bir Hamilton yolu oluşturacaktır; eğer böyle bir yol varsa, '