Pertanyaan yang diberi tag «complexity-classes»

Apakah ada sistem tipe, yang membatasi istilah lambda dengan istilah yang termasuk dalam kelas kompleksitas? Seperti istilah yang bisa diketik dalam teori secara ketat di dalam kelas kompleksitas? Atau apakah itu tidak mungkin sama sekali? Saya menemukan ada banyak studi tentang ekspresibilitas teori jenis, seperti terminasi, polinomial diperpanjang dll. Tapi …

8 complexity-classes  type-theory 

Masalah umum Misalkan kita memiliki fungsi polinomial multivariat , dan beberapa fungsi linear ℓ i ( x ) . Apa yang diketahui tentang kompleksitas penyelesaian masalah pengoptimalan berikut?f( x )f(x)f(\mathbf{x})ℓi(x)ℓi(x)\ell_i(\mathbf{x}) MaximizeSubject to: f(x)ℓi(x)≤0 for all iMaximizef(x)Subject to: ℓi(x)≤0 for all i\begin{align*} \text{Maximize} & \;\; f(\mathbf{x}) \\ \text{Subject to: } & …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Pertimbangkan mesin (yaitu, algoritma probabilistik yang menggunakan logspace dan banyak bit acak secara polinomi). Diketahui (Saks-Zhou) bahwa .B PL.BPLBPLB PL ⊆ D SPA CE( L o g1.5( n ) )BPL.⊆DSPSEBUAHCE(lHaig1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Pertanyaan saya adalah tentang mesin yang hanya menggunakan banyak bit keacakan polylog. Dalam salah satu makalah Goldreich, disebutkan …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Apa kompleksitas masalah kepuasan lokal untuk modal logika ? Di sini kita dilambangkan oleh I K 5 logika modal atas bingkai euclidean diperpanjang dengan modalitas terbalik. Bisakah Anda memberikan referensi? Apakah dalam N P ?I K 5IK5\mathit{IK5}sayaK5IK5IK5NPNPNP Apa yang saya ketahui tentang topik ini? Sangat mudah untuk melihat bahwa ada …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Bahasa Critical SAT didefinisikan sebagai himpunan rumus boolean sedemikian rupa sehingga tetapi menghapus klausa apa pun dari membuatnya memuaskan. Diketahui bahwa SAT kritis adalah lengkap. Saya bertanya-tanya tentang varian berikut: diberi rumus , apakah ini kasus bahwa ada di dan bahwa ada beberapa klausa sehingga (alih-alih untuk semua klausa, ada …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan Apakah ada oracle sehingga ?( P # P ) A ≠ P S P …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Versi P, NP dan coNP yang tidak seragam adalah P / poly, NP / poly dan coNP / poly. Demikian pula, kita dapat mendefinisikan versi yang tidak seragam untuk setiap level di PH. Sebagai contoh: / poly terdiri dari masalah bentuk , di mana C adalah sirkuit dari ukuran polinomial …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

Bisakah perpotongan dua bahasa dalam NP yang tidak lengkap menjadi NP lengkap? Bisakah perpotongan dua bahasa dalam coNP yang bukan coNP selesai menjadi coNP lengkap? Dapatkah perpotongan dua bahasa satu dalam coNP tetapi tidak lengkap dan lainnya dalam NP tetapi tidak lengkap NP menjadi NP lengkap atau coNP lengkap?

8 complexity-classes  np 

Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang saat ini dapat dijalankan dapat menghadapi kendala serius. Apa saja kendala di mana program bisa gagal?

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan polinomial, maka ada konstanta sehingga tidak dapat dipecahkan dalam waktu. …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Menurut Handshaking Lemma: setiap grafik tidak berarah yang memiliki simpul yang derajatnya adalah bilangan ganjil harus memiliki beberapa simpul lain yang derajatnya adalah bilangan ganjil. Pengamatan ini berarti bahwa jika kita diberi grafik dan simpul derajat ganjil, dan kita diminta untuk menemukan beberapa simpul derajat ganjil lainnya, maka kita sedang …

8 complexity-classes  counting-complexity  ppad 

Dalam [1] dinyatakan bahwa "Ini masih menjadi pertanyaan terbuka apakah setiap fungsi di memiliki sirkuit T C 0 (meskipun setidaknya diketahui bahwa tidak semua fungsi # P memiliki sirkuit T C 0 DLogTime-uniform-uniform )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 sirkuit yang dihasilkan oleh fungsi DLogTime tidak mengandung # P . Kami tidak tahu apakah T …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Adalah umum untuk mendefinisikan kelengkapan sehubungan dengan reduksi banyak-satu ruang log.PPP Saya mencari kelas kerumitan sedemikian rupa sehingga ada masalah - P lengkap dan banyak-satu pengurangan - C .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Berapakah pengurangan kelas banyak-satu terkecil yang diketahui sehingga HornSAT selesai untuk P dalam pengurangan- C ?CCCPP\mathsf{P}CCC Pertanyaan awalnya diposting …

8 cc.complexity-theory  complexity-classes 

Apa saja contoh masalah yang diketahui berada dalam AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) yang tidak diketahui berada dalam NPNP\mathsf{NP} atau dalam BPPBPP\mathsf{BPP} ? Untuk AMAM\mathsf{AM} , saya tahu dua contoh berikut: Grafik non-isomorfisme: Diberikan dua grafik berlabel GGG dan HHH , apakah mereka grafik yang sama hingga permutasi simpul? Protokol batas …

8 cc.complexity-theory  complexity-classes 

Saya mencari referensi tentang `mengurangi 'pengurangan Turing ke banyak-satu pengurangan. Dalam benak saya ada pernyataan tentang bentuk berikut (pernyataan yang serupa juga akan memuaskan saya): Dalil. Jika , maka A ≤ 2 f m B t t .A≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} di mana " " dan " ≤ f m …

8 cc.complexity-theory  reference-request  complexity-classes