«complexity-theory» etiketlenmiş sorular

Etkileşimli ispat sistemlerini anlamaya çalışıyorum ve aşağıdaki problemi bir alıştırma olarak denedim. ve olduğunu biliyoruz , bu yüzden için (anlaşılması kolay) etkileşimli prova sistemleri ile gelsin ?PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEIP=PSPACEIP=PSPACEIP=PSPACEPHPHPH için etkileşimli bir kanıtlama sistemi önemsizdir, ancak için bile etkileşimli bir kanıtlama sistemi elde . için açık bir interaktif kanıtlama sistemi …

9 complexity-theory  interactive-proof-systems 

Verilen 0 , 10,10,1 formun (ikili) tamsayı programı: minstf( x )A x = bxben≥ 0xben∈ { 0 , 1 }∀ ben∀ benminf(x)stbirx=bxben≥0∀benxben∈{0,1}∀ben \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 

Altküme toplamı sorununun bu varyantı kolay / biliniyor mu? Bir tamsayısı ve bir pozitif tamsayı kümesi verildiğinde, her x_i için en fazla k = 2 bit 1 olarak ayarlanmıştır ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ {i_1}, b_ {i_2} \ geq …

9 complexity-theory  reference-request  decision-problem 

Let tüm dili olması -CNF Formüller en azından, öyle ki arasında sitesindeki maddeleri karşılanabilir.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Ben var olduğu ispat gerekir st olan herhangi -Zor .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Bunu biliyoruz için yaklaşık olabilir bir gelen hükümlerin precent azaltma. Bunu nasıl çözmeliyim?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory  satisfiability  approximation 

PP ve BPP'nin nasıl tanımlandığı konusunda kafam karıştı . Diyelim bir dilin karakteristik işlevi . M olasılıklı Turing Makinesi olabilir. Aşağıdaki tanımlar doğru mu:χχ\chiLL\mathcal{L} B PP= { L : Pr [ χ ( x ) ≠ M( x ) ] ≥12+ ϵ∀ x ∈ L , ϵ &gt; 0 } …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Aşağıdaki sorunla karşılaştım: Gerçek değerli kenar ağırlıklarına ve iki s ve t köşelerine sahip yönlendirilmiş bir asiklik grafik verildiğinde, minimum kesimi hesaplayın. Genel grafikler için bu NP-zordur, çünkü biri sadece kenar ağırlıklarını tersine çevirerek maksimum kesimi azaltabilir (yanlışsam beni düzeltin). DAG'larda durum nedir? Min-cut (veya max-cut) polinom zamanında çözülebilir mi? …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Diyelim ki A probleminin zor olduğunu biliyoruz, o zaman B'yi de zor olduğunu kanıtlamak için A'yı bilinmeyen B sorununa indirgiyoruz. Örnek olarak: 3 rengin zor olduğunu biliyoruz. Sonra 3-rengi 4-rengine indiriyoruz. 3 renklendirmedeki renklerden birini karıştırarak 4 renklendirmeye sahip olursunuz, ergo 4 renklendirmesi zordur. İşte böyle. Peki bu neden 4 …

9 complexity-theory  np-complete  reductions 

Varsayalım ki iki ilişkide bir yüklem üzerine katılmak istiyoruz. Bu NC'de mi? NC'de olmadığına dair bir kanıtın, P≠NCP≠NCP\not=NC, bu yüzden açık bir sorun olduğuna dair kanıtları bir cevap olarak kabul ediyorum. Genel durumun yanı sıra belirli vakalarla da ilgileniyorum (örneğin, belki bazı belirli veri yapısı ile paralelleştirilebilir). EDIT: Bu yazıya …

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

Her boolean fonksiyonunun bir boole derinliği 2 (değişkenler, negatifleri ve sabit değerleri üzerinde) bir boole devresi kullanılarak gerçekleştirilebileceği iyi bilinmektedir. birinci seviyede AND geçitleri ve üst seviyede tek bir OR geçidi içeren; Bu basitçe DNF temsil ait .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Devre karmaşıklığına büyük ilgi duyan bir diğer kapı tipi kapısıdır. Genel …

9 complexity-theory  logic  circuits 

N öğesinden oluşan bir setine sahip olduğumuzu varsayalım , girdinin tüm kısımlarına duyarlı olan bir f (A) fonksiyonunu hesaplamak istiyorum , yani A'nın çok üyesine bağlı (yani A'nın herhangi bir üyesini bir şeye değiştirmek mümkündür) yeni bir giriş elde etmek için A ' A ve A' üzerindeki f'nin st değeri …

9 complexity-theory 

Gerçek dünya uygulamalarında, O (günlük( log( n ) )O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n)) onun yerine O (günlük( n ) )O(log⁡(n))\mathcal{O}(\log(n)) algoritmalar? Bu, daha geleneksel ikili arama ağacı uygulamaları yerine örneğin van Emde Boas ağaçlarının kullanıldığı bir durumdur. Ama örneğin, eğern &lt;106n&lt;106n < 10^6 en iyi durumda çift logaritmik algoritma logaritmik algoritmadan (yaklaşık olarak) 555. …

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

Örnek olarak 3d → 2d indirgemesini ele alalım: Bir 3d hücresel otomayı 2d hücresel otomat ile simüle etmenin maliyeti nedir? İşte daha spesifik sorular: Ne tür algoritmalar zaman karmaşıklığını ne kadar değiştirecek? Kodlama için temel fikir ne olurdu; 3B ızgara verimli bir şekilde (veya verimli bir şekilde değil…) 2B ızgaraya …

9 complexity-theory  time-complexity  cellular-automata