Pertanyaan yang diberi tag «cc.complexity-theory»

Saya mengalami pengurangan masalah partisi berikut menjadi masalah penjadwalan tertentu: Input: Daftar bilangan bulat positif dalam urutan yang tidak berkurang.Sebuah1⩽ ⋯ ⩽ anSebuah1⩽⋯⩽Sebuahna_1\leqslant\cdots\leqslant a_n Pertanyaan: Apakah ada vektor sedemikian rupa sehingga( x1, ... , xn) ∈ { - 1 , 1 }n(x1,...,xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Latar Belakang: Kompleksitas pohon keputusan atau kompleksitas kueri adalah model perhitungan sederhana yang didefinisikan sebagai berikut. Biarkan menjadi fungsi Boolean. Kompleksitas kueri deterministik dari f , dilambangkan D ( f ) , adalah jumlah bit minimum dari input x ∈ { 0 , 1 } n yang perlu dibaca (dalam …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

Saya sedang mempelajari model perhitungan BSS baru-baru ini (lih misalnya Kompleksitas dan Komputasi Nyata; Blum, Cucker, Shub, Smale.) Untuk real , ditunjukkan bahwa, diberi sistem polinomial , keberadaan nol adalah . Namun, saya bertanya-tanya, apakah itu polinomial hanya memiliki koefisien bilangan bulat, yaitu, , apakah masih masalah ? (itu jelas …

13 cc.complexity-theory  computing-over-reals 

Judulnya sedikit menyesatkan: tapi semoga pertanyaannya bukan: Hasil baru Grønlund dan Pettie menunjukkan bahwa 3SUM hanya memiliki kompleksitas pohon keputusan membuat saya bertanya-tanya:O(n3/2)O(n3/2)O(n^{3/2}) Apakah ada contoh sederhana dari masalah dengan kompleksitas pohon keputusan tetapi mengakui batas bawah (dalam model yang lebih rinci) dari ?O(f)O(f)O(f)ω(f)ω(f)\omega(f) Dengan kata lain, bagaimana seharusnya hasil …

13 cc.complexity-theory  machine-models  decision-trees 

Misalkan menjadi fungsi mayoritas, yaitu f ( x ) = 1 jika dan hanya jika β n i = 1 x i > n / 2f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 . Saya bertanya-tanya apakah ada bukti sederhana dari fakta berikut (dengan "sederhana" Maksud saya …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Sebuah pertanyaan baru-baru ini (lihat Konsekuensi dari NP = PSPACE ) meminta "jahat" konsekuensi dari NP=PSPACENP=PSPACENP=PSPACE . Jawaban daftar beberapa konsekuensi keruntuhan, termasuk NP=coNPNP=coNPNP=coNP dan lain-lain, memberikan banyak alasan untuk percaya NP≠PSPACENP≠PSPACENP\neq PSPACE . Apa yang akan menjadi konsekuensi dari kehancuran yang agak kurang dramatis ?PH=PSPACEPH=PSPACEPH=PSPACE

13 cc.complexity-theory  complexity-classes  conditional-results 

Apakah semua berikut ini dapat bertahan secara bersamaan? LsLsL_s terkandung dalam untuk semua bilangan bulat positif . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s adalah bahasa dari semua kata hingga lebih dari .{0,1}{0,1}\{0,1\} Ada beberapa kelas kompleksitas CCC dan gagasan yang tepat pengurangan untuk CCC sehingga untuk setiap sss , LsLsL_s sulit …

13 cc.complexity-theory  complexity-classes  reductions 

Apakah diketahui jika masalah evaluasi rangkaian ada di ? Bagaimana dengan (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Kita tahu bahwa sirkuit dengan kedalaman dapat dievaluasi dengan sirkuit dengan kedalaman mana adalah konstanta universal. Ini berarti sirkuit kedalaman dapat dievaluasi dengan sirkuit kedalaman . Namun tidak mengandung fungsi yang akhirnya mendominasi semua fungsi di .kkkk+ck+ck+ccccklgn+o(lgn)klg⁡n+o(lg⁡n)k\lg …

13 cc.complexity-theory  reference-request  circuit-complexity 

Secara informal, fungsi satu arah didefinisikan sehubungan dengan algoritma PTIME. Mereka dapat dihitung dalam waktu polinomial tetapi tidak dapat dibalik dalam waktu polinomial kasus-rata. Keberadaan fungsi tersebut merupakan masalah terbuka yang penting dalam ilmu komputer teoretis. Saya tertarik pada fungsi satu arah (tidak harus untuk aplikasi kriptografi) yang ditentukan sehubungan …

13 cc.complexity-theory  one-way-function 

Biarkan fff menjadi fungsi Boolean dari variabel Boolean. Misalkan menjadi nilai yang diharapkan dari ketika diperoleh dari dengan membalik setiap koordinat dengan probabilitas .g ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2nnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Saya tertarik pada …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

Diberi matriks A dengan entri rasional. Apa kompleksitas untuk memeriksa A yang dapat didiagonalisasi?n×nn×nn\times nAAAAAA Saya menduga bahwa ini dapat dilakukan dalam P, tetapi saya tidak tahu referensi apa pun. Namun, pertanyaan yang lebih menarik adalah, adakah kelas kompleksitas yang lebih baik untuk menangkap masalah ini? Bimbingan / komentar apa …

13 cc.complexity-theory  linear-algebra  matrices 

Masalah partisi adalah NP-lengkap lemah karena memiliki algoritma waktu polinomial (semu-polinomial) jika bilangan bulat input dibatasi oleh beberapa polinomial. Namun, 3-Partition adalah masalah NP-lengkap sangat bahkan jika bilangan bulat input dibatasi oleh polinomial. Dengan asumsi, , dapatkah kita membuktikan bahwa masalah NP-complete antara harus ada? Jika jawabannya ya, apakah ada …

13 cc.complexity-theory  np-hardness  partition-problem 

Ingat bahwa lebar dari resolusi sanggahan dari formula CNF F adalah jumlah maksimal literal dalam klausul terjadi di R . Untuk setiap w , ada rumus yang tidak memuaskan F dalam 3-CNF st setiap resolusi resolusi F membutuhkan lebar setidaknya w .RRRFFFRRRwwwFFFFFFwww Saya membutuhkan contoh konkret dari formula yang tidak …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

Sangat mudah untuk melihat bahwa jika maka ada masalah pencarian total yang tidak dapat diselesaikan dalam waktu polinomial (buat masalah pencarian total dengan memiliki saksi untuk keanggotaan dan saksi bukan anggota).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Apakah yang sebaliknya juga benar, yaitu Apakah keberadaan total masalah pencarian tidak dapat dalam waktu polinomial menyiratkan …

13 cc.complexity-theory  reference-request  search-problem 

Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah konstruktif-waktu , jika ada mesin Turing multi-tape deterministik MMM yang pada semua input panjang nnn membuat paling banyak f(n)f(n)f(n) langkah dan untuk setiap nnn ada beberapa input dari panjang nnn di mana MMM membuat dengan tepat f(n)f(n)f(n) langkah. Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah …

13 cc.complexity-theory  time-complexity  terminology