Diketahui bahwa Siklus Hamiltonian (disingkat Ham) adalah NP-complete dan Planar Ham Cycle adalah NP-Complete. Buktinya untuk Planar Ham Cycle bukan dari Ham Cycle.
Apakah ada gadget bagus yang akan, diberi grafik G, mengganti semua penyeberangan dengan beberapa gadget planar sehingga Anda memiliki grafik planar G 'sedemikian rupa sehingga
G memiliki siklus Ham jika G 'memiliki siklus Ham.
(Saya akan senang dengan varian - seperti Ham path atau Ham Cycle yang diarahkan atau Directed Ham Path.)
cc.complexity-theory
np-hardness
planar-graphs
hamiltonian-paths
Bill GASARCH
sumber
sumber
Jawaban:
Setidaknya, tidak ada gadget "bagus" untuk satu crossover.
Biarkan dan ( x , y ) menjadi tanda silang yang ingin kita ganti.(a,b) (x,y)
Ada banyak kasus untuk grafik kami, , tetapi kami harus memenuhi setidaknya empat berikut. Kasus 1: setidaknya ada satu siklus hamiltonian, tetapi tidak ada yang menggunakan salah satu ujungnya. Kasus 2: setidaknya ada satu siklus, dan semua siklus menggunakan persis salah satu dari dua sisi. Kasus 3: setidaknya ada satu siklus, dan semua siklus menggunakan kedua sisi. Kasus 4: tidak ada siklus hamiltonian.G
Jika gadget kami memiliki dua (atau lebih) simpul untuk masing-masinga,b,x,y a0 a1 a G′
Karena menambahkan tiga edge break case 4, menambahkan lebih banyak tidak akan membantu.
(Catatan: beri tahu saya jika saya membuat kesalahan di atas!)
(
Catatan 2: Saya memiliki beberapa angka yang bagus, tetapi tidak dapat mempostingnya.Diposting.)sumber