Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Apakah kelengkapan PSPACE menyiratkan kekerasan perkiraan?
Disebutkan dalam komentar di postingan lain bahwa kelengkapan PSPACE menyiratkan kekerasan APX. Adakah yang bisa menjelaskan / berbagi referensi untuk itu? Apakah ini "ketat"? (yaitu, apakah ada masalah PSPACE-complete yang masalah optimasi mengakui perkiraan faktor konstan dalam waktu poli?) Bagaimana dengan kelengkapan untuk beberapa level PH? Apakah itu menyiratkan kekerasan …
2
Jaminan teoretis untuk waktu menjalankan metode penyebaran keyakinan?
Perambatan keyakinan telah terbukti menjadi metode yang sangat kuat melalui penelitian dalam model grafis probabilistik. Namun, saya tidak tahu apa-apa tentang BP yang sebanding dengan metode MCMC di mana kita dapat memiliki skema aproksimasi acak polinomial sepenuhnya (FPRAS) untuk masalah # P-complete. Bisakah seseorang mengarahkan saya ke beberapa referensi?
1
Beigel-Tarui transformasi cricuit ACC
Saya membaca lampiran tentang batas bawah ACC untuk NEXP dalam buku Komputasi Kompleksitas Arora dan Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Salah satu lemmas kunci adalah transformasi dari sirkuit untuk polinomial multilinear atas bilangan bulat dengan gelar polylogarithmic dan koefisien quasipolynomial, atau ekuivalen , kelas sirkuit S Y M + , yang merupakan …
1
Berapa kedalaman reduksi minimum yang disyaratkan untuk NP-hardness SAT?
Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah -Hard wrt banyak-satu pengurangan?dddN PNP\mathsf{NP}A C0dSEBUAHCd0\mathsf{AC^0_d} Sepertinya saya harus mencukupi? Adakah yang tahu …
6
variasi SAT
Saya mencari di internet, tetapi saya tidak dapat menemukan 'daftar besar' varian masalah SAT. Terlepas dari (umum) DUDUK, k-SAT, MAX-kSAT, Setengah SAT, XOR-SAT, NAE-SAT varian apa lagi yang ada? (juga akan sangat berguna jika ada kelas kompleksitas diberikan (jika memungkinkan))
4
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …
2
Apakah Parity-P terkandung dalam PP?
Pertanyaan ini ditanyakan oleh Jan Pax di milis Yayasan Matematika . Tentu saja tetapi saya menduga dari jawaban pertanyaan ini bahwa tidak diketahui apakah (jika tidak, akan menjadi satu kemungkinan jawaban untuk pertanyaan itu). Jika tidak diketahui, apakah ada pemisahan oracle?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus P \subseteq PPPPPPPP
1
Bagaimana sebuah masalah bisa di NP, NP-hard dan bukan NP-complete?
Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan NP-keras, namun tidak diketahui NP-lengkap. Pada halaman …
1
Apakah ada algoritma NC kuantum untuk menghitung GCD?
Dari komentar di salah satu pertanyaan saya di MathOverflow saya mendapatkan perasaan bahwa pertanyaan mengenai GCD berada di vs P ini mirip dengan pertanyaan mengenai Integer faktorisasi berada di P vs N P .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Apakah ada sesuatu seperti "kuantum " algoritma untuk GCD karena ada kuantum polinomial waktu …
2
Pendekatan untuk GI terinspirasi oleh masalah simpul
Masalah GI dan Knot keduanya merupakan masalah dalam menentukan kesetaraan struktural dari objek matematika. Apakah ada hasil yang membuat koneksi di antara mereka? Koneksi bagus masalah simpul ke fisika statistik telah dieksplorasi melalui simpul polinomial , apakah ada hasil yang serupa untuk ?G IGsayaGI Akan sangat membantu untuk mengetahui apakah …
1
Bisakah seseorang membuktikan
Hasil 1: Teorema Linial-Mansour-Nisan mengatakan bahwa bobot empat fungsi yang dihitung oleh terkonsentrasi pada subset ukuran kecil dengan probabilitas tinggi.AC0SEBUAHC0\mathsf{AC}^0 Hasil 2: The memiliki bobot lebih dari empat, terkonsentrasi pada efisien derajat .PARITYPSEBUAHRsayaTY\mathsf{PARITY}nnn Pertanyaan: Apakah ada cara untuk membuktikan (jika dapat dibuktikan) tidak dapat dihitung oleh sirkuit melalui / menggunakan …
2
Lansekap sistem bukti interaktif
Pertanyaan pertama saya adalah apakah karakterisasi sistem bukti interaktif dikenal untuk semua kelas kompleksitas klasik. Saya akan memanggil P, NP, PSPACE, EXP, NEXP, EXPSPACE, fungsi rekursif dan berulang secara berulang klasik (antara lain). Secara khusus, apakah karakterisasi sistem bukti interaktif dikenal untuk fungsi berulang dan berulang secara berulang? Saya hanya …
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.