Pertanyaan yang diberi tag «cc.complexity-theory»

Dalam bentuk sederhana: Bisakah otomat terbatas dua arah mengenali grafik vvv -vertex yang berisi segitiga dengan status o(v3)o(v3)o(v^3) ? Detail Yang menarik di sini adalah grafik vvv -vertex yang dikodekan menggunakan urutan tepi, masing-masing tepi menjadi sepasang simpul yang berbeda dari {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} . Misalkan adalah urutan dua arah automata terbatas …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP adalah kelas N PNPNP -masalah dengan polinom terikat pada jumlah solusi (dalam ukuran input). Tidak ada dikenal N PNPNP masalah -Lengkap di f e w PfewPfewP . Saya tertarik pada seberapa jauh kita dapat memperluas pengamatan ini. Apakah ada alam N PNPNP masalah -Lengkap dengan kuasi-polinomial atas terikat pada …

15 cc.complexity-theory  np 

Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil ternyata menjadi penting, jadi saya ingin tahu apa yang terjadi …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

Grafik isomorfisma ( ) adalah calon yang baik untuk N P masalah -intermediate. N P masalah -intermediate ada kecuali P = N P . Saya mencari masalah alam yang sulit untuk G Aku di bawah pengurangan Karp (A masalah grafik X sehingga G Saya &lt; m p X ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Ada pekerjaan luar biasa yang dilakukan pada Permanen yang terjadi selama dua dekade terakhir. Saya telah bertanya-tanya untuk sementara waktu tentang kemungkinan algoritma Smooth P untuk Permanen Matriks Nonnegatif. Tentu saja ada algoritma JSV yang terkenal tetapi ini adalah fpras. Berpikir tentang pekerjaan lain dalam Smoothed Complexity, petunjuk kuat berada …

15 cc.complexity-theory  complexity-classes 

Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran input dengan jumlah panjang semua string. Input adalah DFA, dan …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Saya berharap bahwa seseorang mungkin dapat menjelaskan kepada saya mengapa masalah subset produk sangat NP-hard sedangkan masalah subset sum lemah NP-hard. Subset Sum: Mengingat dan T , tidak terdapat subset X ' sehingga Σ i ∈ X ' x i = T .X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Subset Produk: …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Saya umumnya tertarik pada metode pemaksaan yang digunakan oleh Baker-Gill-Solovay dan Cohen. Saya mencari banyak sumber yang bisa saya dapatkan mengenai teknik itu sendiri atau penggunaannya. Adakah yang punya saran?

15 cc.complexity-theory  set-theory 

Sistem bukti probabilistik umumnya disebut sebagai pembatasan , di mana Arthur hanya dapat menggunakan bit acak dan hanya dapat memeriksa bit sertifikat bukti yang dikirim oleh Merlin (lihat, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n ) ]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]M AM.SEBUAH\mathcal{MA}f( n )f(n)f(n)g( …

15 cc.complexity-theory  pcp  interactive-proofs 

Latar Belakang Rumus baca-sekali atas satu set gerbang (juga disebut basis) adalah rumus di mana setiap variabel input muncul satu kali. Rumus baca-sekali biasanya dipelajari atas dasar De Morgan (yang memiliki gerbang 2-bit AND dan OR, dan gerbang 1-bit TIDAK) dan basis biner penuh (yang memiliki semua gerbang 2-bit). Jadi …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Apa kompleksitas komputasi dari masalah berikut: diberikan dua kompleks matriks A dan B cek jika ada permutasi matriks P sehingga: B = P A P T .n × nn×nn\times nSEBUAHSEBUAHABBBPPPB = PA PT.B=PSEBUAHPT.B = P A P^T. Jika itu membantu, orang dapat berasumsi bahwa dan B adalah hermitian (atau bahkan …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Kita tahu bahwa pemecah SAT berbasis DPLL gagal menjawab dengan benar pada contoh tidak memuaskan (prinsip hole pigeon), misalnya pada "ada pemetaan injeksi dari n + 1 ke n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] halsaya , j⎞⎠∧⎛⎝⋀saya ≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] …

15 cc.complexity-theory  lo.logic  proof-complexity 

Pertimbangkan kumpulan set F = { F 1 , F 2 , ... , F n } diF={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} atas set dasar U = { e 1 , e 2 , ... , e n } diU={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} mana | F i | |Fi||F_i| ≪ ≪\ll nnn dan e i ∈ F …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Pertimbangkan masalah berikut: Diberikan grafik kueri G=(V,E)G=(V,E)G = (V, E) dan grafik referensi , kami ingin menemukan pemetaan injeksi yang meminimalkan jumlah ujung-ujungnya ( v 1 , v 2 ) ∈ E sedemikian sehingga ( f ( v 1 ) , f ( v 2 ) ) ∉ E ′ …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

The 1-dim algoritma Weisfeiler-Lehman (WL) umumnya dikenal sebagai label kanonik atau algoritma warna perbaikan. Ia bekerja sebagai berikut: Pewarnaan awal seragam, untuk semua simpul .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in V (G) \cup V (H) Dalam putaran st, warna C i …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace