Pertanyaan yang diberi tag «complexity-theory»

Saya mencoba memahami sistem bukti interaktif dan mencoba masalah berikut sebagai latihan. Kita tahu bahwa dan , jadi datang dengan sistem bukti interaktif (mudah dimengerti) untuk ?I P = P S P A C E P HPH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEsayaP= PSPA CEIP=PSPACEIP=PSPACEPHPHPH Sistem bukti interaktif untuk adalah sepele, tetapi saya gagal …

9 complexity-theory  interactive-proof-systems 

Diberikan program integer (biner) dari formulir:0 , 10,10,1 minstf( x )A x = bxsaya≥ 0xsaya∈ { 0 , 1 }∀ saya∀ sayaminf(x)stSEBUAHx=bxsaya≥0∀sayaxsaya∈{0,1}∀saya \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall …

9 complexity-theory  np-complete  approximation  integer-programming 

Apakah varian masalah jumlah subset ini mudah / diketahui? Dengan bilangan bulat , dan satu set bilangan bulat positif sedemikian rupa sehingga setiap x_i memiliki paling banyak k = 2 bit diatur ke 1 ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ …

9 complexity-theory  reference-request  decision-problem 

Biarkan menjadi bahasa dari semua rumus 2- CNF φ , sehingga setidaknya ( 1LϵLϵL_\epsilon222φφ\varphidariklausaφdapat dipenuhi.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Saya perlu membuktikan bahwa ada st L ϵ adalah N P-keras untuk ϵ &lt; ϵ ′ .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Kita tahu bahwa dapat mendekati 55Max2SatMax2Sat\text{Max}2\text{Sat} sebelum klausa daripenguranganSat3Maks. Bagaimana saya menyelesaikan ini?55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation 

Saya bingung tentang bagaimana PP dan BPP didefinisikan. Mari kita asumsikan adalah fungsi karakteristik untuk bahasa . M menjadi Mesin Turing probabilistik. Apakah definisi berikut ini benar:χχ\chiLL\mathcal{L} BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > 0 \} PP={L:Pr[χ(x)≠M(x)]&gt;12}PP={L:Pr[χ(x)≠M(x)]&gt;12}PP =\{\mathcal{L} :Pr[\chi(x) …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Saya mengalami masalah berikut: Diberikan grafik asiklik terarah dengan bobot tepi bernilai nyata, dan dua simpul s dan t, menghitung potongan minimum. Untuk grafik umum ini adalah NP-hard, karena orang dapat dengan mudah mengurangi max-cut untuk itu hanya dengan membalik bobot edge (koreksi saya jika saya salah). Bagaimana situasinya dengan …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Katakanlah kita tahu bahwa masalah A itu sulit, maka kita mengurangi A menjadi masalah yang tidak diketahui B untuk membuktikan B juga sulit. Sebagai contoh: kita tahu pewarnaan 3 itu sulit. Lalu kami mengurangi 3-pewarnaan menjadi 4-pewarnaan. Dengan menggabungkan salah satu warna dalam 3-pewarnaan Anda memiliki 4-pewarnaan, ergo 4-pewarnaan itu …

9 complexity-theory  np-complete  reductions 

Sudah diketahui secara umum bahwa setiap fungsi boolean f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\} dapat direalisasikan menggunakan sirkuit boolean dengan kedalaman 2 (atas variabel, negasi dan nilai konstannya) yang berisi gerbang AND di yang pertama tingkat dan satu gerbang OR tunggal di tingkat atas; …

9 complexity-theory  logic  circuits 

Misalkan kita ingin menggabungkan dua relasi dengan predikat. Apakah ini di NC? Saya menyadari bahwa buktinya tidak berada di NC akan menjadi bukti bahwa , jadi saya akan menerima bukti itu menjadi masalah terbuka sebagai jawaban.P≠NCP≠NCP\not=NC Saya tertarik pada kasus umum serta kasus-kasus tertentu (misalnya mungkin dengan beberapa struktur data …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Memiliki himpunan dari n elemen, katakanlah saya ingin menghitung fungsi f ( A ) yang sensitif terhadap semua bagian dari input, yaitu tergantung pada anggota A yang sangat (yaitu mungkin untuk mengubah setiap anggota A menjadi sesuatu lain untuk mendapatkan baru masukan A ' nilai st dari f pada A …

9 complexity-theory 

Dalam aplikasi dunia nyata, apakah ada manfaat konkret saat menggunakan daripada algoritma ?O ( log ( n ) )O (log( log( n ) )O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n))O (log( n ) )O(log⁡(n))\mathcal{O}(\log(n)) Ini adalah kasus ketika seseorang menggunakan misalnya pohon van Emde Boas daripada implementasi pohon pencarian biner yang lebih konvensional. Tetapi misalnya, jika …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees 

Mari kita ambil contoh reduksi → → 2d 3d: Berapa biaya simulasi robot seluler 3d oleh robot seluler 2d? Berikut adalah beberapa pertanyaan yang lebih spesifik: Algoritma seperti apa yang akan mengubah kompleksitas waktu mereka, seberapa banyak? Apa yang akan menjadi ide dasar untuk pengkodean; bagaimana grid 3d efisien (atau …

9 complexity-theory  time-complexity  cellular-automata 

Apakah membalik matriks dalam kelas Complexity ?PP\text{P} Dari runtime saya akan mengatakan ya tetapi matriks terbalik dapat berisi entri di mana ukurannya tidak dibatasi secara polinomi oleh input?O (n3)O(n3)\mathcal{O}(n^3)

9 complexity-theory 

Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Saya mencari makalah yang mudah dan pengantar tentang bukti Teorema Courcelle . Saya juga tertarik dengan hubungannya dengan kompleksitas parameter tentang treewidth . Saya hanya pemula di bidang ini. Ada saran?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity