Pertanyaan yang diberi tag «complexity-classes»

Ada literatur yang kaya dan setidaknya satu buku yang sangat bagus menguraikan kekerasan yang diketahui hasil perkiraan untuk masalah NP-keras dalam konteks kesalahan multiplikasi (misalnya 2-perkiraan untuk penutup vertex optimal dengan asumsi UGC). Ini juga termasuk kelas kompleksitas perkiraan yang dipahami dengan baik seperti APX, PTAS dan sebagainya. Apa yang …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu yang dibutuhkan untuk menyelesaikan masalah. Rincian lebih lanjut dapat ditemukan di sini: http://simons.berkeley.edu/programs/complexity2015 Berikut ini …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Apa alasan kuat untuk meyakini ? L adalah kelas algoritma ruang log dengan pointer ke input.L ≠ PL≠PL\neq P Misalkan L = P untuk saat ini. Seperti apa algoritma ruang-log untuk masalah P-complete dalam garis besarnya?

23 cc.complexity-theory  complexity-classes 

Pertimbangkan masalah pengoptimalan dari formulir berikut. Misalkan f(x)f(x)f(x) menjadi fungsi yang dapat dihitung polinomial-waktu yang memetakan string menjadi bilangan rasional. Masalah optimasinya adalah ini: berapakah nilai maksimum atas bit string ?f ( x ) nxxxf(x)f(x)f(x)nnnxxx Mari kita katakan bahwa masalah seperti itu memiliki karakterisasi minimax , jika ada fungsi computable …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Dalam utas ini , percobaan Norbet Blum dengan singkat dibantah dengan mencatat bahwa fungsi Tardos adalah contoh tandingan terhadap Teorema 6.P≠ NPP≠NPP \neq NP Teorema 6 : Biarkan menjadi fungsi Boolean monoton. Asumsikan ada CNF-DNF-approximator yang dapat digunakan untuk membuktikan batas bawah untuk . Kemudian juga dapat digunakan untuk membuktikan …

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

Ini semacam pertanyaan terbuka - yang sebelumnya saya minta maaf. Apakah ada contoh pernyataan yang (tampaknya) tidak ada hubungannya dengan kompleksitas atau mesin Turing tetapi jawabannya akan menyiratkan ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Saat membaca jawaban oleh Peter Shor dan pertanyaan sebelumnya oleh Adam Crume saya menyadari bahwa saya memiliki beberapa kesalahpahaman tentang apa artinya menjadi -hard.PP\mathsf{P} Masalahnya adalah -sama jika ada masalah dalam dapat direduksi dengan (atau jika Anda lebih suka ). Masalah ada di luar jika tidak ada algoritma waktu polinomial …

22 cc.complexity-theory  complexity-classes 

Saya bertanya-tanya apakah ada pembenaran untuk percaya bahwa atau untuk percaya bahwa N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Diketahui bahwa . Literatur tentang derandomization dari R L ini cukup meyakinkan bahwa R L = L . Adakah yang tahu tentang beberapa artikel atau ide yang meyakinkan …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Mari kita memanggil fungsi superpolinomial jika ditahan untuk setiap c> 0 .f( n )f(n)f(n) c > 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c > 0c>0c>0 Jelaslah bahwa untuk bahasa apa pun L ∈ PL∈PL\in {\mathsf P} ia berpendapat bahwa L ∈ D T I M E ( f( …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Saya tahu bahwa kompleksitas sebagian besar varietas kalkulus lambda yang diketik tanpa primitif combinator Y dibatasi, yaitu hanya fungsi kompleksitas yang dibatasi yang dapat diekspresikan, dengan batas menjadi lebih besar ketika ekspresi dari sistem tipe tumbuh. Saya ingat bahwa, misalnya, Kalkulus Konstruksi dapat mengekspresikan kompleksitas eksponensial yang paling ganda. Pertanyaan …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

Apakah ada contoh masalah alami yang ada di BPP tapi itu tidak diketahui dalam RP atau co-RP?

21 cc.complexity-theory  complexity-classes  randomness 

Terinspirasi oleh pertanyaan adalah faktor yang dikenal sebagai P-hard , saya bertanya-tanya seperti apa pengetahuan saat ini tentang kekerasan grafik isomorfisme. Saya yakin bahwa saat ini tidak diketahui apakah GI ada di P, tetapi: apa kelas terbesar yang saat ini diketahui bahwa GI lebih sulit daripada? (tidak dijawab pada pertanyaan …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} menangkap gagasan tentang dapat diparalelkan secara efisien, dan salah satu interpretasinya adalah masalah yang dapat dipecahkan dalam waktu menggunakan prosesor paralel untuk beberapa konstanta , . Pertanyaan saya adalah apakah ada …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Saya ingin tahu dalam arti luas tentang apa yang diketahui tentang memparalelkan algoritma dalam P. Saya menemukan artikel wikipedia berikut tentang subjek: http://en.wikipedia.org/wiki/NC_%28complexity%29 Artikel tersebut berisi kalimat berikut: Tidak diketahui apakah NC = P, tetapi sebagian besar peneliti menduga ini salah, yang berarti bahwa mungkin ada beberapa masalah yang bisa …

21 cc.complexity-theory  complexity-classes  big-picture 

Apakah BQP sama dengan BPP dengan akses ke subkelompok tersembunyi Abelian?

21 complexity-classes  quantum-computing