Pertanyaan yang diberi tag «cc.complexity-theory»

Apakah ada yang diketahui kelas kompleksitas yang mengandung mitra online masalah optimasi? Jika tidak, lalu bagaimana kelas tersebut dapat didefinisikan? Kita tahu bahwa banyak masalah memiliki versi online mereka: misalnya versi online dari masalah pengemasan bin. Masalah online lebih sulit diukur dengan rasio kompetitif mereka. Dan saya belum menemukan yang …

10 cc.complexity-theory  complexity-classes 

Saya ingin tahu apakah ada bahasa yang jarang (bahkan dibangun oleh diagolanisasi tertunda) di NPI dengan asumsi bahwa .P≠ NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh waktu-polinomial yang diberikan gagal menemukan saksi bahwa , dengan …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} ). | x | adalah ukuran instance x. Biarkan L menjadi bahasa, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i …

10 cc.complexity-theory  np-hardness  complexity-classes 

Contoh varian -lengkap dari set yang tidak dapat ditentukan:NPNPNP Masalah Berhenti Terikat = { | Mesin NTM M berhenti dan menerima x dalam langkah t }(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ubin Terikat = { | ada ubin dari persegi luas t 2 oleh ubin dari T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Korespondensi Post Bounded Problem …

10 cc.complexity-theory  np-hardness 

Sebuah sistem bintang adalah keluarga n himpunan bagian dari n-elemen set . Sebuah sistem bintang adalah grafis jika ada beberapa graph sehingga adalah keluarga dari lingkungan vertex di . Ini lengkap untuk memutuskan apakah sistem bintang yang diberikan adalah grafis.FFFSSSG ( V, E)G(V,E)G(V,E)FFFGGGNPNPNP Apa kejadian minimum dari setiap elemen sehingga …

10 cc.complexity-theory  np-hardness 

Apakah kita memiliki kelas kompleksitas sehubungan dengan, katakanlah, kompleksitas kasus rata-rata? Sebagai contoh, apakah ada kelas kompleksitas (bernama) untuk masalah yang membutuhkan waktu polinomial yang diharapkan untuk memutuskan? Pertanyaan lain mempertimbangkan kompleksitas kasus terbaik , dicontohkan di bawah ini: Apakah ada kelas masalah (alami) yang keputusannya membutuhkan setidaknya waktu eksponensial? …

10 cc.complexity-theory  complexity-classes 

Saya tertarik pada contoh individual "sulit" masalah NP-lengkap. Ryan Williams membahas masalah SAT0 di blog Richard Lipton . SAT0 bertanya apakah instance SAT memiliki solusi spesifik yang terdiri dari semua 0. Ini membuat saya berpikir tentang membangun instance SAT yang cenderung "sulit". Pertimbangkan instance SAT dengan klausa dan variabel , …

10 cc.complexity-theory  sat  hard-instances 

Dengan BPP / linear saya merujuk ke mesin BPP dengan saran linier, yang memenuhi janji ketika diberi saran "benar", dan derandomisasi harus memberi kita, katakanlah, algoritma P / linear atau (SUBEXP / linear). Jika kita menggunakan asumsi yang tidak seragam, saya pikir hasil klasik akan berhasil, karena kita bisa "menipu" …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)f(n)f(n) Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Apa buktinya ada ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP adalah kelas bahasa yang terdapat Mesin Turing probabililistik yang berjalan dalam waktu polinomial dan selalu menjawab Ya pada input milik bahasa dan jawaban TIDAK dengan probabilitas setidaknya satu setengah pada input yang bukan milik bahasa.

10 cc.complexity-theory  complexity-classes 

Apakah mungkin (slash dapat Anda berikan contoh) untuk mengurangi kompleksitas komputasi dari suatu masalah dengan menggunakan algoritma paralel yang tidak memerlukan sejumlah prosesor relatif terhadap ukuran input?

10 cc.complexity-theory  dc.parallel-comp 

Sudah diketahui sejak awal 70-an bahwa dan tidak sama (karena tidak ditutup di bawah polinomial-waktu banyak -satu pengurangan, berbeda dengan ). Sejauh yang saya tahu, masih terbuka apakah satu kelas adalah himpunan bagian dari yang lain, atau mereka tidak dapat dibandingkan, yang berarti bahwa dan keduanya kosong.N PNP{\bf NP}E =DTsayaM.E( …

10 cc.complexity-theory  complexity-classes  np-complete 

Tidak diketahui apakah atau P ⊈ C S L , di manaP⊆ CSL.P⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL adalah himpunan semua bahasa yang dapat ditentukan dalam waktu polinomial pada mesin Turing deterministik, danPPP adalah kelas bahasa konteks-sensitif, yang dikenal setara dengan N S P A C E ( O ( n ) ) …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Misalkan HA L TnHALTnHALT_n menunjukkan string dengan panjang 2n2n2^n sesuai dengan tabel kebenaran dari penghentian masalah untuk input panjang nnn . Jika urutan kompleksitas Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) adalah O(1)O(1)O(1) , maka salah satu string saran akan sering digunakan tanpa batas, dan TM dengan string yang dikodekan keras akan …

10 cc.complexity-theory  reference-request  computability  lower-bounds