Ada banyak upaya untuk membuktikan atau , dan secara alami banyak orang berpikir tentang pertanyaan itu, memiliki ide untuk membuktikan arah mana pun.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Saya tahu bahwa ada pendekatan yang terbukti tidak berhasil, dan...
Saya memiliki pemahaman tingkat tinggi tentang masalah dan saya mengerti bahwa jika itu benar-benar "terbukti" benar dengan solusi yang diberikan, itu akan membuka pintu untuk memecahkan berbagai masalah dalam bidang ilmu komputer.P= NPP=NPP=NP Pertanyaan saya adalah, jika seseorang...
Apakah ada masalah yang diketahui di (dan tidak di ) yang bukan Selesai? Pemahaman saya adalah bahwa saat ini tidak ada masalah yang diketahui, tetapi hal itu belum dikesampingkan sebagai suatu kemungkinan. P N PN PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP} Jika ada masalah yaitu (dan bukan )...
Ketika saya menjelaskan bukti Baker-Gill-Solovay bahwa ada oracle yang dapat kita miliki, , dan sebuah oracle yang dengannya kita dapat memiliki kepada teman , muncul pertanyaan mengapa teknik seperti itu tidak cocok untuk membuktikan masalah , dan saya tidak bisa memberikan jawaban yang...
Apakah mungkin dan kardinalitas dari sama dengan kardinalitas dari ? Atau apakah berarti bahwa dan harus memiliki kardinalitas yang berbeda?P N P P ≠ N P P N PP ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N...
Saya yakin seseorang telah memikirkan hal ini sebelum atau segera menolaknya, tetapi mengapa teori dikotomi Schaefer bersama dengan teorema Mahaney tentang set jarang tidak menyiratkan P = NP? Inilah alasan saya: Buat bahasa yang sama dengan SAT berpotongan dengan set jarang decidable terbatas....
Jika sebenarnya sama dengan , bagaimana hal ini akan meningkatkan algoritma kami menjadi faktor integer lebih cepat. Dengan kata lain, wawasan seperti apa yang akan diberikan fakta ini dalam memahami faktorisasi bilangan bulat lebih baik?PP{\sf P}N PNP{\sf
Ini adalah posting pertama saya setelah menjadi pengguna pasif untuk beberapa waktu sekarang. Saya ingin mengajukan beberapa pertanyaan jika saya bisa. Saya bukan ahli matematika tetapi pertanyaan saya berhubungan dengan bidang matematika / ilmu komputer. Secara khusus, masalah P vs NP. Saya sadar...
Saya memiliki "bukti" yang sangat sederhana ini untuk NP = CoNP dan saya pikir saya melakukan sesuatu yang salah di suatu tempat, tetapi saya tidak dapat menemukan apa yang salah. Adakah yang bisa membantu saya? Biarkan A menjadi beberapa masalah dalam NP, dan biarkan M menjadi penentu untuk A....
Saya sadar bahwa ini tampaknya pertanyaan yang sangat bodoh (atau terlalu jelas untuk dinyatakan). Namun, saya bingung di beberapa titik. Kami dapat menunjukkan bahwa P NP=== jika dan hanya jika kami dapat merancang algoritma yang memecahkan setiap contoh masalah dalam NP dalam waktu...
Ini mungkin pertanyaan bodoh, tapi saya tidak mengerti. Dalam pertanyaan lain mereka datang dengan teorema dikotomi Schaefer . Bagi saya sepertinya ini membuktikan bahwa setiap masalah CSP adalah dalam P atau NP-complete, tetapi tidak di antaranya. Karena setiap masalah NP dapat diubah dalam waktu...
Aku bertanya-tanya ini didasarkan pada beberapa tempat online yang panggilan co- masalah terbuka besar ... tapi saya tidak dapat menemukan indikasi apakah atau tidak ini adalah sama dengan Masalah ...N P P = N PNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf
Saya tahu ini konyol, tetapi saya berhasil membingungkan diri saya sendiri dan saya butuh bantuan untuk menyelesaikannya Misalkan , maka jelas untuk setiap oracle A kita memiliki P A = N P A yang bertentangan dengan fakta bahwa ada beberapa oracle A yang P A ≠ N P A , maka P ≠ N PP=...
Saya benar-benar ingin bantuan Anda untuk membuktikan hal berikut. Jika maka .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTsayame(n100)⊆DTsayame(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Di sini, adalah kelas semua bahasa yang dapat...
Baru-baru ini saya membaca entri blog yang sangat menarik dari Google Research Blog yang berbicara tentang jaringan saraf. Pada dasarnya mereka menggunakan jaringan saraf ini untuk menyelesaikan berbagai masalah seperti pengenalan gambar. Mereka menggunakan algoritma genetika untuk "mengembangkan"...
Jika , maka apakah ? Saya mengajukan pertanyaan ini karena, untuk kelas non-deterministik lainnya, sepertinya selalu menetapkan bahwa mereka sama dengan rekan deterministik mereka.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} =
Saya mencoba untuk berpendapat bahwa N bukan NP sama dengan menggunakan teorema hierarki. Ini adalah argumen saya, tetapi ketika saya menunjukkannya kepada guru kami dan setelah deduksi, ia mengatakan bahwa ini bermasalah di mana saya tidak dapat menemukan alasan kuat untuk menerimanya. Kami...
Valiant & Vazirani membuktikan bahwa SAT dapat direduksi menjadi SAT UNIK di bawah pengurangan probabilistik acak dalam waktu polinomial. Calabro et al . menunjukkan bahwa UNIK k-SAT sama sulitnya dengan k-SAT. Sekarang pertanyaannya adalah, jika seseorang menunjukkan bahwa UNIK k-SAT ada di P,...
Saya ingin bantuan Anda membuktikan bahasa itu L={⟨M⟩|L(M) ∈ N P ∖P}L={⟨M⟩|L(M.)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \} adalah iff decidable P = N PP=NP\mathrm{P}=\mathrm{NP}. Jika P = N PP=NP\mathrm{P}=\mathrm{NP}, Saya mengerti bahwa itu adalah...
Mungkin saya kehilangan sesuatu yang jelas, tetapi mungkinkah itu P = co-NP ⊊⊊\subsetneqNP atau sebaliknya? Perasaan saya adalah bahwa harus ada beberapa teorema yang mengesampingkan kemungkinan