Contoh umum masalah NP-hard (klik, 3-SAT, vertex cover, dll.) Adalah tipe di mana kita tidak tahu apakah jawabannya "ya" atau "tidak" sebelumnya. Misalkan kita memiliki masalah di mana kita tahu jawabannya adalah ya, lebih jauh lagi kita dapat memverifikasi saksi dalam waktu polinomial. Bisakah...
Pertanyaan ini agak bertentangan dengan pertanyaan sebelumnya pada set yang dibentuk dari set operasi pada set NP-complete: Jika himpunan yang dihasilkan dari gabungan, persimpangan, atau produk Cartesian dari dua himpunan yang dapat ditentukan dan L 2 adalah NP-complete, apakah paling tidak salah...
Saya memiliki masalah di pikiran saya, saya pikir itu adalah masalah NPC tapi saya tidak tahu bagaimana membuktikannya. Inilah masalahnya: Ada k pulau di sebuah danau yang sangat besar, dan ada n ponton berbentuk kipas. Ponton itu memiliki ukuran yang sama tetapi memiliki arah awal yang berbeda...
Misalkan adalah masalah keputusan yang dapat ditentukan.ΠΠ\Pi Apakah menyiratkan adalah -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Sunting: jika kita asumsikan ada maka kita selesai. Bisakah kita menyangkal klaim tanpa asumsi yang tidak diketahui?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus...
Pertanyaan saya adalah sebagai berikut. Asumsikan bahwaΠΠ\Piadalah masalah NP-hard. Diberikan contoh sewenang-wenangIII dari ΠΠ\Pi dan berasumsi bahwa musuh tahu bahwa kejadian ini mudah diselesaikan, apakah mungkin untuk menemukan algoritma waktu polinomial deterministik untuk menyelesaikan contoh...
Ini adalah tugas dari kontes IT Jerman ("Bundeswettbewerb Informatik"), tetapi karena batas waktu sudah lewat, menanyakan pertanyaan ini tidak curang. Dengan diberi graf titik-tertimbang, terarah dan nilai , temukan subset dari simpul yang memaksimalkan tunduk pada Apakah ini masalah NP-hard?G =...
Saya sedang membaca makalah ini di mana penulis menjelaskan Teorema 1, yang menyatakan "Obyek yang Dapat Dicapai" (sebagaimana didefinisikan dalam makalah ini) adalah NP-complete. Namun, mereka membuktikan pengurangan hanya dalam satu arah, yaitu dari 2P1N SAT ke Obyek yang Dapat Dicapai. Ini hanya...