Pertanyaan yang diberi tag «p-vs-np»

1
Mengapa argumen untuk
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 , …
2
Bukti kontradiksi untuk ketimpangan P dan NP?
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 memulai dengan mengasumsikan bahwa . Kemudian ia …
4
Mengembangkan jaringan saraf tiruan untuk memecahkan masalah NP
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" bobot akson. Jadi pada dasarnya ide saya adalah sebagai berikut. Jika saya …
1
Jika , maka apakah ?
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} = \mathbf{NP}
3
Membuktikan bahwa jika
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 diputuskan oleh mesin Turing nondeterministic dalam waktu polinomial …
2
Mengapa teorema ketidaklengkapan kedua Godel tidak mengesampingkan bukti P! = NP yang dapat diformalkan?
Saya yakin pasti ada yang salah dengan alasan berikut karena jika tidak banyak penelitian P vs NP akan dikurangi tetapi saya tidak dapat menentukan kesalahan saya: Untuk bilangan bulat tetap k>0k>0k>0 menetapkan Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk: ={⟨φ⟩|φadalah wff dari ZF dan memiliki bukti …
1
Apa yang salah dengan bukti kondisional P = NP ini?
Saya baru-baru ini memikirkan bukti berikut bahwa L = P menyiratkan P = NP. Misalkan L = P. Biarkan A menjadi masalah di NP. Dengan definisi verifikasi NP, setiap solusi positif untuk A memiliki saksi yang dapat diverifikasi dalam waktu polinomial. Karena P = L, solusi yang sama dapat diverifikasi …
2
Apakah mendeteksi contoh mudah masalah NP-hard mudah?
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 khusus ini III? Misalnya: Misalkan saja ΠΠ\Piadalah GRAFIK WARNA. Musuh memberi Anda grafikGGG dengan nnn …
1
Bagaimana cara menunjukkan bahwa set mesin yang menerima bahasa di
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 bahasa mesin Turing kosong. BegituL.L.L adalah intiinti\text{co-RE} masalah - tapi bukan itu yang …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.