«cc.complexity-theory» etiketlenmiş sorular

Son zamanlarda, bir sorunun güçlü bir NP-zor probleminden (polinom zamanında) azaltarak, NP-zor olduğunu göstermeyi amaçlayan bir kanıt okudum. Bu benim için bir anlam ifade etmiyordu. Düşürmede kullanılan herhangi bir sayının ve azalttığınız sorunun örneklerinin, sorun boyutunda polinom olarak sınırlanmış olduğunu göstermeniz gerektiğini düşünürdüm. Daha sonra Wikipedia'nın bu tür kanıtlar için …

17 cc.complexity-theory  np-hardness  reductions 

Negatif rakip yöntem ( ) kuantum sorgu karmaşıklığını karakterize eden bir SDP'dir. Yaygın olarak kullanılan rakip yöntemin ( A D V ) genelleştirilmesidir ve rakip yöntemi engelleyen iki engelin üstesinden gelir:ADV±ADV±ADV^\pmADVADVADV Özellik testi engeli: 0-örneklerinin tümü -tüm 1-örneklerden uzaksa, rakip yöntem Ω ( 1 / ϵ ) ' den daha …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

"Eşsiz oyun varsayımı" ile "PCP teoremi" arasındaki ilişkinin ne olduğunu nasıl gösterebiliriz? "Eşsiz oyunlar varsayımı" nın "PCP teoremi" nin daha güçlü bir şekli nasıl açıklanabilir?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Bilindiği gibi PARITY, çok boyutlu sabit derinlikli devrelerde yapılamaz ve gerçekte sabitleme devreleri EXP sayısı kapıları gerektirir. QUANTUM devreleri ne olacak? a) PARİT, sabit derinliğe ve poli sayıda kapıya sahip bir kuantum devresi ile yapılabilir mi? b) Sorum benim için anlamlı mı?

17 cc.complexity-theory  quantum-computing  circuit-complexity 

“ Fonksiyonel Algoritma Tasarımının İncileri ” ve daha sonra “ Programlama Cebiri ” ni okumaya çalışıyorum ve özyinelemeli (ve polinom olarak) tanımlı veri türleri ve birleştirici nesneler arasında, aynı özyinelemeli tanımlamaya sahip olan ve daha sonra da önde gelen bir yazışma var. kombinatoryal türlerin girişlerinde gösterildiği gibi aynı resmi güç …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Deterministik günlük alanında ( ) karar verilebilen herhangi bir sorunun en çok polinom zamanında ( P ) oluştuğunu görmek kolaydır . Bilinen birçok günlük alanı algoritması (Örneğin: yönlendirilmemiş st-bağlanabilirlik, düzlemsel grafik izomorfizmi) k'nin delice büyük olduğu O ( n k ) ' de çalışır.LLLPPPO(nk)O(nk)O(n^k)kkk Ben Çözülebilir eşzamanlı deterministik logspace ve …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

NP-komple problemine ikinci bir çözüm bulma probleminin NP-tamlığı ile ilgili herhangi bir genel sonuç veya örnek olup olmadığını anlamaya çalışıyorum. Daha doğrusu, aşağıdaki formdaki herhangi bir sorunla ilgileniyorum: Bir çözüm Verilen bir örnek için I NP-tam problemin, bir çözümü var S ' ≠ S için I ?SSSIIIS′≠SS′≠SS' \neq SIII NP-tam …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Anladığım kadarıyla, tüm bildiğimiz simpleks algoritmalar için deterministik pivot kuralları, algoritmanın optimum bulmak için üstel zaman (veya en azından polinom değil) gerektiren belirli girişlere sahiptir. Bu örnekleri 'patolojik' olarak adlandıralım, çünkü genellikle (çoğu girişte) simpleks algoritması hızla sona erer. Matematiksel programlama dersimden, belirli kurallar için standart patolojik örneklerin oldukça yapılandırılmış …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Bir dağıtım söylenir ε bir işlev -fool f eğer | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Ve eğer o sınıftaki her fonksiyonu kandıracaksa bir sınıf fonksiyonunu kandırdığı söylenir. Ε- dışı alanların …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Bırakın 0≤p≤10≤p≤10\le p\le 1 ve karar problemini düşünün CLIQUE p Giriş: tamsayı s , t köşeleri olan grafik G ve ⌈ p ( tpp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceilkenarları Soru:etmezGGGen az bir klik ihtivasssköşe? CLIQUE p örneği, olası tüm kenarlardan bir p oranı içerir . Açıkça CLIQUE p , bazı p değerleri …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Konuyla ilgili Pairwise Independence and Derandomization kitabını buldum , ancak öğreticiden daha araştırma odaklı. "Derandomizasyon" konusunda yeniyim ve bu nedenle hangi referansın başlayacağını bilmek istedim? Edebiyat ve tarihin yanı sıra teknik detayları tartışanları tercih ederim.

17 cc.complexity-theory  derandomization  randomized-algorithms 

It is well-known that the set of languages having two-prover interactive proof systems, in which the verifier runs in polynomial-time (MIP), is NEXP. But are there bounds known on the power of such interactive proofs when the provers are restricted in power? E.g., what is the class of languages that …

17 cc.complexity-theory  interactive-proofs 

Tipik olarak, verimli algoritmalar bir polinom çalışma süresine ve üstel olarak geniş bir çözüm alanına sahiptir. Bu, sorunun iki anlamda kolay olması gerektiği anlamına gelir: birincisi, sorun polinom sayısı adımında çözülebilir ve ikincisi, çözüm süresi çok yapısal olmalıdır, çünkü çalışma zamanı olası çözümlerin sayısında sadece polilogarmiktir. Bununla birlikte, bazen bu …

17 cc.complexity-theory 

Size bağlı, basit ve yönlendirilmemiş bir grafik H verildiğini varsayalım. H-serbest kesim problemi aşağıdaki gibi tanımlanır: Basit, yönlendirilmemiş bir grafik G verildiğinde, kesimler (L ve R) tarafından indüklenen grafiklerin H için izomorfik bir alt çizgi içermemesi için bir kesim (köşelerin boş olmayan iki sete, L, R'ye bölünmesi) vardır. . Örneğin, …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Aşağıdaki makalenin "ilk sayfasının" "son paragrafında": Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "NP Polinom Boyutunda Devreler Varsa, MA = AM," Teorik Bilgisayar Bilimi, 1995. Biraz sezgisel bir iddiayla karşılaştım: ( ΣP2∩ ΠP2)N-P= ΣP3∩ ΠP3(Σ2P∩Π2P)N-P=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Bence yukarıdaki kimlik aşağıdakilerden …

17 cc.complexity-theory  complexity-classes