Mengutip Wikipedia , "[Permainan Kehidupan Conway] memiliki kekuatan mesin Turing universal: yaitu, apa pun yang dapat dihitung secara algoritmik dapat dihitung dalam Permainan Kehidupan Conway." Apakah hasil seperti itu meluas ke versi berisik dari Conway's Game of Life? Versi paling sederhana...
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(flogf)⊊DTsayaM.E(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Kami belum memiliki overhead semacam ini untuk...
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...
Tetapkan i oioio - S U B E X PSUBEXPSUBEXP untuk menjadi kelas bahasa LLL sedemikian rupa sehingga ada bahasa dan untuk tak terhingga banyaknya , dan menyetujui semua contoh panjang . (Yaitu, ini adalah kelas bahasa yang dapat "dipecahkan secara tak terhingga, dalam waktu subeksponensial".)L ′ ∈ ∩...
Saya ingin mencari algoritma waktu polinomial yang menentukan apakah rentang set matriks yang diberikan berisi matriks permutasi. Jika ada yang tahu jika masalah ini dari kelas kompleksitas yang berbeda, itu akan sangat membantu. EDIT: Saya telah menandai pertanyaan ini dengan Linear...
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...
Ada dua pertanyaan yang diajukan baru-baru ini di cs.se yang terkait atau memiliki kasus khusus yang setara dengan pertanyaan berikut: Misalkan Anda memiliki urutan dari n angka sehingga Σ n i = 1 a i = n ( n + 1 ) . Uraikan menjadi jumlah dari dua permutasi, π dan σ , dari 1 ... n , sehingga a i...
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 I∈...
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...
Diketahui oleh Teorema Ladner bahwa jika , maka ada banyak -intermediate ( ) yang tak terhingga jumlahnya . Ada juga kandidat alami untuk status ini, seperti Grafik Isomorfisme, dan sejumlah lainnya, lihat Masalah Antara P dan NPC . Namun demikian, sebagian besar di antara kerumunan yang dikenal...
Misalkan P = NP benar. Apakah kemudian akan ada aplikasi praktis untuk membangun komputer kuantum seperti memecahkan masalah tertentu lebih cepat, atau akankah perbaikan seperti itu menjadi tidak relevan berdasarkan fakta bahwa P = NP benar? Bagaimana Anda mengkarakterisasi peningkatan efisiensi...
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? ,...
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...
Biarkan menjadi fungsi Boolean dan mari kita pikirkan f sebagai fungsi dari hingga \ {-1,1 \} . Dalam bahasa ini, ekspansi Fourier dari f hanyalah perluasan dari f dalam hal monomial bebas persegi. ( 2 ^ monomial ini membentuk dasar ruang fungsi nyata pada \ {- 1,1 \} ^ n . Jumlah kuadrat dari...
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...
NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}P ≠ N P N P I : = N P ∖ ( N P C ∪ P ) ≠ ∅ P / poli N P I ⊂ P / poli N P ⊂ N P C ∪ P / poliPH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne \mathsf{NP}NPI:=NP∖(NPC∪P)≠∅NPI:=NP∖(NPC∪P)≠∅\mathsf{NPI} := \mathsf{NP}...
Apakah masuk akal untuk mempertimbangkan kategori dari semua masalah NP-lengkap, dengan morfisme sebagai pengurangan waktu-poli antara contoh yang berbeda? Adakah yang pernah menerbitkan makalah tentang ini, dan jika demikian, di mana saya dapat
Pertama-tama, saya minta maaf sebelumnya atas kebodohan. Saya sama sekali bukan ahli teori kompleksitas (jauh dari itu! Saya seorang sarjana mengambil kelas pertama saya dalam teori kompleksitas) Inilah pertanyaan saya. Sekarang Teorema Savitch menyatakan bahwa Sekarang saya ingin tahu apakah...
Pertanyaan pada cstheory " Apa itu NP terbatas untuk saksi ukuran linier? " Bertanya tentang kelas NP terbatas pada saksi ukuran linear , tetapiO(n)O(n)O(n) Apakah ada masalah NP-complete alami di mana (ya) contoh ukuran membutuhkan saksi ukuran lebih besar dari ?nnnnnn Jelas kita dapat...
Pertimbangkan masalah 3-SAT pada n variabel. Jumlah klausa berbeda yang mungkin adalah: C= 2 n × 2 ( n - 1 ) × 2 ( n - 2 ) / 3 ! = 4 n ( n - 1 ) ( n - 2 ) / 3 .C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Jumlah kasus masalah adalah jumlah...