«cc.complexity-theory» etiketlenmiş sorular

Diyelim varsayalım . N P ı sorunların sınıfıdır , N , P içinde ne olan P ne de buna N P -Sert. Sen olması conjectured sorunların bir listesini bulabilirsiniz N P ben burada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Ladner teoremi eğer söyler sonra sonsuz bir hiyerarşi yoktur N P Ben sorunları, yani …

16 cc.complexity-theory  np-hardness  np-intermediate 

Grupları içeren karmaşıklık teorisi alanında bilgili değilim, bu yüzden bu iyi bilinen bir sonuçsa özür dilerim. Soru 1. Let için basit bir yönsüz grafik olarak . tepe geçişli olup olmadığını belirlemenin hesaplama karmaşıklığı ( cinsinden ) nedir?n n GGG,GnnnnnnGG,G Hatırlayın bir grafiktir olduğu olan tepe-geçişli olursa ile geçişli hareketbir u …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Her ϵ>0ϵ>0\epsilon > 0 , O ( n a + ϵ ) zamanında L diline karar veren bir Turing makinesi MϵMϵM_{\epsilon} olduğunu varsayın . Karar tek algoritma var L zamanlı O ( n, bir + o ( 1 ) ) ? (Burada, o ( 1 ) terimi n , giriş …

16 cc.complexity-theory  asymptotics 

Dikdörtgen paketleme probleminde, bir kümeye dikdörtgenler ve sınırlayıcı dikdörtgen R verilir . Görev bir yerleşim bulmaktır r 1 , ... , r n iç Ar hiçbiri öyle ki n örtüşme dikdörtgenler. Genel olarak, her bir dikdörtgenin yönlendirme r i sabitlenir. Yani, dikdörtgenler döndürülemez. Bu durumda, sorunun NP-tam olduğu bilinir (bakınız, …

16 cc.complexity-theory  np-hardness  packing 

İçin grafik izomorfizm (Gl) ise bilinmemektedir güçlü normal grafikler (SRGS) içinde P . GI -Complete olabileceği veya olmayabileceğine dair ipuçları var mı? Bu gibi durumlarda güçlü sonuçlar var mı? ( GI'nin NP-Complete olmayabileceği inancına benzer ).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Alt doğrusal zaman (girdi boyutunda) algoritmalarının var olduğu problemlerin spesifik özelliklere sahip olarak karakterize edilip edilemeyeceğini merak ediyordum. Bu, alt doğrusal zamanı (örneğin özellik testi, karar problemleri için alternatif bir yaklaşım kavramı), alt doğrusal alanı (örn. Turing makinesinin salt okunur bir bant, alt doğrusal bir çalışma alanı ve salt yazılabilir …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Bu sorun ilgilendiğim: bir yönsüz grafik göz önüne alındığında , bir bölme var grafiklerimize ve bu şekilde ve izomorfik?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Burada , iki ayrık ve kümesine bölünmüştür . ve kümelerinin gerekmez. ve .EEEE1E1E_1E2E2E_2V1V1V_1V2V2V_2E1∪E2=EE1∪E2=EE1∪E2=EV1∪V2=VV1∪V2=VV1∪V2=V Bu sorun en azından Grafik İzomorfizmi Sorunu kadar zor. Sanırım Graph İzomorfizminden daha zor ama …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Kuroda'nın klasik bir sonucu olarak, karmaşıklık sınıfı NSPACE [ ]nnn (NLIN-SPACE olarak da bilinir), tam olarak bağlama duyarlı dillerin sınıf CSL'sidir . Bir çözüm için doğrusal boyutlu bir tahmin, defter tutma için en fazla lineer miktarda ek yük ile kontrol edilebildiğinden SAT'ın doyurulma problemi NSPACE [ ] 'dir. Bu SAT'ın …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Aynı anda giriş bitinin AND ve OR değerlerini hesaplamak için gereken minimum ikili kapı sayısı nedir ? Önemsiz üst sınır 2 n - 2'dir . Bunun en uygun olduğuna inanıyorum, ama bunu nasıl kanıtlayabilirim? Standart geçit eleme tekniği burada çalışmaz, çünkü giriş değişkenlerinden herhangi birine bir sabit atanarak biri çıkışlardan …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Ben genel grafiklerde aittir ama sınırlı ağaç genişliği grafik içinde bir sorun arıyorum , Aslında ben bu sorunlar sınırlı normal dinamik programlama kullanmaktan daha zor olduğunu düşünüyorum -genişlik grafikler onları çözmek için.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

PTIME veya coNP'de aşağıdaki sorun zor mu? değişkenlerinde iki ve Boole ifadesi (yani, ifadeler tamamen ve yoluyla oluşturulur ). , değişkenlere yapılan tüm atamalar için aynı değere sahip olup olmadığına karar verin .e 2 x 1 , … , x n ∧ ∨ e 1 ≡ e 2e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Orada teorik kanıtlar DFAs kesiştiği için naif kartezyen ürünlü inşaat "Yapabileceğimiz en iyi" olduğunu söyledi. İki DFA'nın birleştirilmesine ne dersiniz? Önemsiz yapı, her DFA'nın bir NFA'ya dönüştürülmesini, bir epsilon-geçişinin eklenmesini ve ortaya çıkan NFA'nın belirlenmesini içerir. Daha iyisini yapabilir miyiz? Minimum birleştirme DFA'sının boyutunda bilinen bir sınır var mıdır ("önek" …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

En kötü durum ve ortalama vaka analizi, bir algoritmanın karmaşıklığı için iyi bilinen önlemlerdir. Son zamanlarda düzgünleştirilmiş analiz, en kötü durumda üstel olan bazı algoritmaların, örneğin simpleks algoritması gibi pratikte neden bu kadar iyi çalıştığını açıklamak için başka bir paradigma olarak ortaya çıkmıştır. Sorum şu: Bir algoritmanın karmaşıklığını ölçmek için …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Da rasgele bilinmektedir üzerinde -CNF formüller ile değişken yeterince büyük sabiti, maddeleri yüksek olasılıkla (yani, çelişkileri vardır) edilemezdir olan . Bu nedenle, rastgele CNF formülleri ( yeterince için ) tatmin edilemez Boole formülleri (veya dually, totolojiler, yani çelişkilerin olumsuzlamaları) üzerinde doğal bir dağılım oluşturur. Bu dağılım kapsamlı bir şekilde incelenmiştir.kk …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Let bir dize Kolmogorov karmaşıklığı ifade . bir dize var mı ? (Burada , kendisiyle birleşmesidir ). Benzer bir ama farklı bir soru sorulmuştur burada , ama bu soruya yanıt olarak verilen counterexample bunun için çalışmaz.xK(x)K(x)K(x)xxxx x xK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity