Adakah yang bisa daftar beberapa masalah terkenal yang memenuhi kondisi berikut:
1. has a generalization problem that is known to be NP-complete
2. has not been proved to be NP-complete nor has a known polynomial time solution.
Adakah yang bisa daftar beberapa masalah terkenal yang memenuhi kondisi berikut:
1. has a generalization problem that is known to be NP-complete
2. has not been proved to be NP-complete nor has a known polynomial time solution.
Jawaban:
Paling terkenal: Grafik Isomorfisme, dan Dominasi Set pada Turnamen.
Generalisasi itu alami.
Yang alami lainnya: menemukan keseimbangan Nash (kemungkinan) bukan NPC, tetapi menemukan satu dengan beberapa sifat alami (misalnya yang memaksimalkan jumlah utilitas pemain) adalah NPC. Bukti NPC asli adalah oleh Gilboa dan Zemel pada akhir 80-an, dan untuk referensi terbaru lihat, misalnya, http://www.cs.duke.edu/~conitzer/nashGEB08.pdf
Vektor terpendek dalam Masalah Kisi, yang merupakan NP keras. Versi Gap GapSVP adalah perantara:
http://en.wikipedia.org/wiki/Lattice_problem#Shortest_vector_problem_.28SVP.29
Kesetaraan dua sistem penutupan terbatas (keluarga Moore) dan J pada himpunan berhingga M . Dimana K = { A i ⊆ M } diberikan oleh himpunan himpunan bagian dari M dan satu set X ditutup IFF dapat diperoleh oleh persimpangan beberapa set dari K . Sistem penutupan J = { A i → B i } diberikan oleh himpunan implikasi dan himpunan X ditutup jika menghargai semua implikasi dari J yaitu untuk setiap A