Pertanyaan yang diberi tag «cc.complexity-theory»

Masalah berikut baru-baru ini muncul dalam penelitian saya. Menjadi tidak ahli dalam pertanyaan algoritmik, saya telah mencari Google secara ekstensif dalam mencari masalah yang cocok untuk dikurangi. Saya tidak melihat bagaimana 3SAT akan bekerja, dan meskipun ZOE memiliki semangat yang sama, pengurangannya tidak terlihat jelas. Kemungkinan lain adalah teori eksistensial …

21 cc.complexity-theory 

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 

Ini adalah hasil klasik bahwa setiap rangkaian fan-in 2 AND-OR-NOT yang menghitung PARITY dari variabel input memiliki ukuran minimal dan ini tajam. (Kami mendefinisikan ukuran sebagai jumlah gerbang AND dan OR.) Buktinya adalah dengan eliminasi gerbang dan tampaknya gagal jika kami mengizinkan kipas masuk sewenang-wenang. Apa yang diketahui untuk kasus …

21 cc.complexity-theory  circuit-complexity  parity 

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 

Shor menyatakan, dalam komentarnya pada jawaban moose anonim untuk pertanyaan ini Bisakah Anda mengidentifikasi jumlah dua permutasi dalam waktu polinomial? , bahwa -complete untuk mengidentifikasi perbedaan dua permutasi. Sayangnya, saya tidak melihat pengurangan langsung dari masalah jumlah permutasi dan berguna untuk memiliki pengurangan - untuk masalah perbedaan permutasi.NPNPNPNPNPNP Perbedaan Permutasi: …

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Batas atas terbaik yang diketahui pada kompleksitas waktu penggandaan adalah terikat Martin Fürer , yang lebih dari kompleksitas penambahan waktu linear. Apakah kita memiliki bukti bahwa penambahan pada dasarnya lebih mudah daripada perkalian?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

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 

Banyak hasil penting dalam teori kompleksitas komputasi, dan khususnya teori kompleksitas "struktural", memiliki sifat menarik yang dapat dipahami secara mendasar mengikuti (seperti yang saya lihat ...) dari hasil algoritmik yang memberikan algoritma atau protokol komunikasi yang efisien untuk beberapa masalah. Ini termasuk yang berikut: IP = PSPACE mengikuti dari algoritma …

21 cc.complexity-theory  structural-complexity 

Dengan menggunakan algoritma carry look ahead, kita dapat menghitung penambahan menggunakan kedalaman ukuran polinomial 5 (atau 4?) . Apakah mungkin mengurangi kedalaman? Bisakah kita menghitung penambahan dua bilangan biner menggunakan rangkaian keluarga ukuran polinomial dengan kedalaman kurang dari yang diperoleh dengan algoritma carry look forward?A C0AC0AC^0 Apakah ada lowerbin polinomial …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Seperti kita ketahui, fungsi -clique C L I Q U E ( n , k ) mengambil subgraph ( spanning ) G ⊆ K n dari grafik n -vertex lengkap K n , dan menghasilkan 1 iff G berisi k -clique . Variabel dalam hal ini sesuai dengan tepi dari …

21 cc.complexity-theory  optimization  circuit-complexity 

Pertimbangkan alasan berikut: Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan ituxK(x)K(x)K(x)xxx untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap string , tidak dapat membuktikan bahwa .T x S K ( x ) ≥ TSSSTTTxxxSSSK( …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

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 

Gerbang AND & OR adalah gerbang yang diberi dua input dan mengembalikan AND dan OR mereka. Apakah sirkuit dibuat hanya dari gerbang AND & OR, tanpa fanout, mampu melakukan perhitungan acak? Lebih tepatnya, apakah logspace komputasi waktu polinomial dapat direduksi menjadi sirkuit AND & OR? Motivasi saya untuk masalah ini …

21 cc.complexity-theory  circuit-complexity 

Apakah ada hipotesis kompleksitas / kripto yang masuk akal yang mengesampingkan kemungkinan bahwa sirkuit ukuran polinomial memiliki ukuran subeksponensial (yaitu dengan ϵ &lt; 1 ) sirkuit batas-kedalaman ( d = O ( 1 ) )?2O ( nϵ)2HAI(nϵ)2^{O(n^\epsilon)}ϵ &lt; 1ϵ&lt;1\epsilon<1d= O ( 1 )d=HAI(1)d = O(1) Kita tahu bahwa setiap fungsi …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

Luca Trevisan menunjukkan berapa banyak konstruksi generator pseudorandom yang dapat dianggap sebagai konstruksi extractor: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Apakah ada percakapan yang bermakna? Yaitu, dapatkah konstruksi "alami" ekstraktor dianggap sebagai konstruksi generator semu (PRG)? Konstruksi ekstraktor tampaknya sesuai dengan distribusi pada PRG (sedemikian sehingga pembeda tidak akan berhasil membedakan hampir semua dari mereka). …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors