Pertanyaan yang diberi tag «cc.complexity-theory»

Apa kerumitan dalam menentukan apakah suatu interval bilangan asli mengandung bilangan prima? Varian Saringan Eratosthenes memberikan algoritma , di mana adalah panjang interval dan menyembunyikan menyembunyikan faktor polar-logaritmik di titik awal interval; dapatkah kita berbuat lebih baik (dalam hal sendiri)?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Sebuah bahasa dalam L/polyL./halHailyL/poly jika ada mesin Turing logspace yang memutuskan bahasa dengan jumlah saran polinomial. Lihat di sini untuk info lebih lanjut: https://en.wikipedia.org/wiki/L/poly Pertanyaan Apa konsekuensi dari ?P⊆L/polyP⊆L./halHailyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Mempertimbangkan topik yang dibahas dalam konferensi seperti STOC, apakah ada algoritma atau kompleksitas peneliti aktif menggunakan COQ atau Isabelle? Jika demikian, bagaimana mereka menggunakannya dalam penelitian mereka? Saya berasumsi kebanyakan orang tidak akan menggunakan alat seperti itu karena buktinya terlalu rendah. Adakah yang menggunakan asisten bukti ini dengan cara yang …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

Biarkan menjadi fungsi yang memetakan sirkuit gerbang pada bit dan string bit ke . Asumsikan bahwa sirkuit dikodekan sebagai urutan asiklik dari penugasan mana adalah label kawat. sCnnxC(x)k:=g(i,j)i,j,kC i r c u i t E v a ls , nCsayarckamusayatEvSebuahls,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC( x )C(x)C(x)k : = g( i , j )k: …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Apa kompleksitas dari masalah berikut ini? Masukan : HHH a jalur Hamilton diKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 subset pasangan simpul bilangan bulat positifkkk Pertanyaan : apakah ada cocok sehingga untuk setiap , ? (di mana )( v , u ) ∈ RMMM(v,u)∈R(v,u)∈R(v,u) \in RdG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq kG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) Saya …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Apakah ada pekerjaan pada menemukan jumlah minimum operasi aritmatika dasar yang diperlukan untuk menghitung determinan dari suatu oleh matriks untuk kecil dan tetap ? Misalnya, .nnnnnnnnnnn=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

Bisakah nondeterminisme mempercepat perhitungan deterministik? Jika ya, berapa banyak? Dengan mempercepat perhitungan deterministik dengan nondeterminisme yang saya maksud adalah hasil dari bentuk: D T i m e (f( n ) ) ⊆ N T i m e ( n )DTsayame(f(n))⊆NTsayame(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Misalnya sesuatu D T i m e ( …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Polinomial simetris dasar - k S n k ( x 1 , … , x n ) adalah jumlah dari semua produk dari variabel yang berbeda. Saya tertarik pada kompleksitas rangkaian aritmatika monoton dari polinomial ini. Algoritma pemrograman dinamis sederhana (serta Gambar 1 di bawah) memberikan sirkuit dengan gerbang O …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Menurut Kompleksitas Kebun Binatang , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} dan kita tahu bahwa RegReg\mathsf{Reg} tidak dapat dihitung sehingga TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg} . Namun tidak disebutkan apakah Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0} atau tidak. Karena kita tidak tahu NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} kita juga tidak tahu Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} . Apakah ada kandidat untuk masalah dalam yang …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Untuk setiap bahasa lengkap NP yang sewenang-wenang, adakah selalu superset polytime yang komplemennya juga tidak terbatas? Versi sepele yang tidak menetapkan superset memiliki pelengkap tak terbatas telah diminta di /cs//q/50123/42961 Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan bahwa . Seperti yang dijelaskan Vor, jika maka jawabannya adalah "Tidak". (Jika , …

14 cc.complexity-theory  np-complete  structural-complexity 

Waktu konstan adalah kompleksitas akhir waktu mutlak yang rendah. Orang mungkin bertanya-tanya: adakah sesuatu yang nontrivial yang dapat dihitung dalam waktu yang konstan? Jika kita berpegang pada model mesin Turing, maka tidak banyak yang dapat dilakukan, karena jawabannya hanya dapat bergantung pada panjang segmen awal input, karena bagian input yang …

14 cc.complexity-theory  ds.algorithms  time-complexity 

Razborov membuktikan bahwa pencocokan fungsi monoton tidak dalam mP . Tetapi bisakah kita menghitung pencocokan menggunakan sirkuit ukuran polinomial dengan beberapa negasi? Apakah ada sirkuit P / poli dengan negasi yang menghitung pencocokan? Apa trade-off antara jumlah negasi dan ukuran untuk pencocokan?O(nϵ)O(nϵ)O(n^\epsilon)

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Pertimbangkan vektor variabel x⃗ x→\vec{x} , dan seperangkat batasan linear yang ditentukan oleh A x⃗ ≤ bSEBUAHx→≤bA\vec{x}\leq b . Selanjutnya, pertimbangkan dua polytopes P1P2= { ( f1( x⃗ ) , ⋯ , fm( x⃗ ) ) ∣ A x⃗ ≤ b }= { ( g1( x⃗ ) , ⋯ , …

14 cc.complexity-theory  linear-algebra  linear-programming  polytope 

Kami menganggap DAGs (diarahkan grafik asiklik) dengan satu node sumber sss dan satu sasaran simpul ttt ; tepi paralel yang bergabung dengan pasangan simpul yang sama diizinkan. Sebuah kkk - cut adalah satu set tepi yang removal menghancurkan semua sss - ttt jalur lama dari kkk ; jalur sss - …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Saya sedang membaca artikel wikipedia tentang masalah delapan ratu. Dinyatakan bahwa, tidak ada formula yang diketahui untuk jumlah pasti solusi. Setelah beberapa pencarian, saya menemukan sebuah makalah bernama "Pada kesulitan menghitung masalah pemetaan lengkap". Dalam tulisan ini ada masalah, terbukti paling keras seperti #queens, yang melampaui #P. Melihat sekilas jumlah …

14 cc.complexity-theory  counting-complexity  search-problem