Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

7
Haruskah kita menganggap
Banyak ahli percaya bahwa benar dan menggunakannya dalam hasil mereka. Kekhawatiran saya adalah bahwa kompleksitasnya sangat tergantung pada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Jadi pertanyaan saya adalah: Selama tidak terbukti, bisakah / haruskah seseorang menganggapnya sebagai hukum alam, seperti yang ditunjukkan dalam kutipan dari Strassen? Atau haruskah kita memperlakukannya sebagai …

2
Hierarki dalam NP (dengan asumsi bahwa P! = NP)
Dengan asumsi bahwa P! = NP, saya percaya telah ditunjukkan bahwa ada masalah yang tidak ada dalam P dan bukan NP-Lengkap. Grafik Isomorfisme diduga sebagai masalah seperti itu. Apakah ada bukti lebih banyak 'lapisan' dalam NP? yaitu hirarki lebih dari tiga kelas mulai dari P dan memuncak dalam NP, sehingga …

3
Pembenaran log f dalam teorema hierarki DTIME
Jika kita melihat teorema hierarki DTIME, kita punya log karena overhead dalam simulasi Mesin Turing deterministik oleh mesin universal: D TsayaM.E( flogf) ⊊ D TsayaM.E( f)DTsayaM.E(flog⁡f)⊊DTsayaM.E(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Kami belum memiliki overhead semacam ini untuk NTIME dari DSPACE. Pembenaran dasar berasal dari rincian bukti dengan mempertimbangkan perbedaan antara simulator. …


2
Kapan "X is NP-complete" menyiratkan "#X is # P-complete"?
Biarkan menunjukkan masalah (keputusan) dalam NP dan biarkan # menunjukkan versi penghitungannya.XXXXXXX Dalam kondisi apa diketahui bahwa "X is NP-complete" "#X is # P-complete"?⟹⟹\implies Tentu saja keberadaan reduksi pelit adalah satu kondisi seperti itu, tetapi ini jelas dan satu-satunya kondisi yang saya sadari. Tujuan utamanya adalah untuk menunjukkan bahwa tidak …




2
Derandomisasi Valiant-Vazirani?
The Valiant-Vazirani teorema mengatakan bahwa jika ada algoritma waktu polinomial (deterministik atau acak) untuk membedakan antara formula SAT yang memiliki tepat satu tugas memuaskan, dan formula unsatisfiable - maka NP = RP . Teorema ini dibuktikan dengan menunjukkan bahwa UNIQUE-SAT adalah NP -hard dalam pengurangan acak . Tunduk pada dugaan …

2
Hierarki untuk BPP vs derandomisasi
Dalam satu kalimat: apakah akan ada hierarki untuk menyiratkan hasil derandomisasi?BPTIMEBPTIME\mathsf{BPTIME} Pertanyaan yang terkait tetapi tidak jelas adalah: apakah keberadaan hierarki untuk menyiratkan adanya batas bawah yang sulit? Apakah resolusi masalah ini menabrak penghalang yang dikenal dalam teori kompleksitas?BPTIMEBPTIME\mathsf{BPTIME} Motivasi saya untuk pertanyaan ini adalah untuk memahami kesulitan relatif (sehubungan …

3
sertifikat coNP untuk Graph Isomorphism
Sangat mudah untuk melihat bahwa grafik isomorfisma (GI) dalam NP. Ini adalah masalah terbuka utama apakah GI ada dalam coNP. Apakah ada kandidat potensial dari properti grafik yang dapat digunakan sebagai sertifikat coNP dari GI. dugaan yang menyiratkan ? Apa saja implikasi dari ?G I ∈ c o N PG …


2
Metode polinomial untuk hasil kompleksitas
Metode polinomial , katakanlah Combinatorial Nullstellensatz dan Chevalley-Warning theorem adalah alat yang ampuh dalam kombinatorik aditif. Dengan merepresentasikan masalah dengan polinomial yang tepat, mereka dapat menjamin keberadaan solusi, atau jumlah solusi untuk polinomial. Mereka telah digunakan untuk memecahkan masalah seperti jumlah terbatas atau masalah jumlah nol , dan beberapa teorema …

7
Membuktikan batas bawah dengan membuktikan batas atas
Kompleksitas terobosan terobosan baru-baru ini hasil bawah dari Ryan Williams memberikan teknik bukti yang menggunakan hasil batas atas untuk membuktikan kompleksitas batas bawah. Suresh Venkat dalam jawabannya untuk pertanyaan ini, Apakah ada hasil kontra-intuitif dalam ilmu komputer teoretis? , memberikan dua contoh membangun batas bawah dengan membuktikan batas atas. Apa …

1
Fungsi yang Tidak Dapat Dihitung Secara Efisien namun Dapat Dipelajari
Kita tahu bahwa (lihat, misalnya, Teorema 1 dan 3 dari [1]), secara kasar, dalam kondisi yang sesuai, fungsi yang dapat dihitung secara efisien oleh mesin Turing dalam waktu polinomial ("efisien yang dapat dihitung") dapat diekspresikan oleh jaringan saraf polinomial dengan ukuran yang wajar, dan dengan demikian dapat dipelajari dengan kompleksitas …

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.