«cc.complexity-theory» etiketlenmiş sorular

Yüzyıldan eski Riemann Hipotezi'nin matematikte derin etkileri vardır ve matematik teorisinin büyük bir yapısı şimdi onun üzerinde ve çok sayıda varyant üzerinde koşullu olarak kanıtlanmıştır. Son zamanlarda Riemann hipotezine dayanan TCS'de koşullu bir sonuca başvurdum. Bu yüzden merak ediyorum, TCS'deki Riemann hipotezinin başlıca etkileri nelerdir? Burada bir başlangıç ​​olarak, Durand, …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Benim sorum ince yapı sabitleri ile ilgili QED (kuantum elektrodinamik) hesaplamaları için kuantum algoritmaları hakkında. Bu tür hesaplamalar (bana açıklandığı gibi) Taylor benzeri serilerinin hesaplanması anlamına gelir , burada α ince yapı sabiti (yaklaşık 1/137) ve c k , Feynman diyagramlarının k- döngülerine katkısıdır. ∑ ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Bu soru, blogumdaki …

10 cc.complexity-theory  quantum-computing  physics 

Gerçek RAM / BSS modelini kullanarak, NP sınıfına sahibiz (burada bir BSS , gerçekler üzerinde işlemleri olan bir bilgisayarın Blum-Shub-Smale modelidir). NP tam sorunlarımız var. Soru şu: NP sınıfı için Berman Hartmanis varsayımının bir analogu var mı? Tabii ki, burada yöneltilen soru modele bağlıdır - başka bir deyişle, NP tanımı …

10 cc.complexity-theory  computing-over-reals 

Planar 3-SAT'ın standart tanımı nedir? Bir dizi farklı tanım gördüm. Onu tanımlayan ve NP-tam olduğunu kanıtlayan orijinal kağıt neydi?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Polinom zamanında ancak P! = NP olduğunda çözülebilen ve (diyelim) zamanında çözülebilen herhangi bir problem var mı?O(2n)O(2n)O(2^n) Basit bir örnek: P! = NP ise, rastgele bir n-bit sayı için bir öncelik testini hesaplayın, aksi takdirde, her iki tarafta 2n adet olan bir nxn tahtasının genel satrançta rastgele en kötü durum …

10 cc.complexity-theory  reference-request 

Tipler ve Programlama Dillerinde İleri Konularda, alt yapısal tip sistemler bölümünde, listeler için özyinelemeli bir birleştirici ile "dikkatle hazırlanmış" bir afin lambda taşının yalnızca polinom çalışma süresi olan terimleri yazabileceği belirtilmektedir ( karmaşıklığı nedeniyle kanıt sunmak). P'deki her problemi de çözebilirsek bu çok ilginç olurdu. Sunulan hesabı kullanarak P-komple problemine …

10 cc.complexity-theory  type-theory  lambda-calculus 

Diyelim ki NP seyrek olarak sertifikalandırılmış bir dili arayabiliriz :L ∈L∈L \in Bir polinom söz konusudur öyle ki her giriş için x ∈ Σ * boyutta n , eğer x ∈ L ardından set U x sertifikaların u doğrulamak hangi x ∈ L polynomially boyutlandırılır, yani | U x | …

10 cc.complexity-theory  complexity-classes 

David Eppstein'ın ortaya çıkardığı açık bir sorunla karşılaştım ve karmaşıklık durumu ile ilgileniyorum. NP'nin eksiksiz olduğunu tahmin etti. Girdi: ile n, 0 ve 1 's, sekansının matrisi , n 2 0 ve 1' snnnnnnn2n2n^2 Soru: Bitişik matris girişleri boyunca, her bir matris girişini tam olarak bir kez kapsayan, verilen sırayla …

10 cc.complexity-theory  graph-theory 

Yönlendirilmiş bir grafik verildiğinde, grafiğin eşit uzunlukta yönlendirilmiş bir döngü içerip içermediğine karar vermek istiyoruz. YUSTER ve ZWICK'in 1997 tarihli bu makalesinde , sorunun olarak bilinmediği veya N P-tamamlandığı bilinmemektedir .PPPNPNPNP Yönlendirilmiş grafiklerde çift döngü sorununun karmaşıklığını çözen yeni bir sonuç var mı?

10 cc.complexity-theory  reference-request  graph-theory 

olduğunu ispatlayabilirsek , N L = N P olduğunu ima eder mi?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Durum böyle olduğunu düşündüm, ama bunu kanıtlayamıyorum (ayrıca sohbet için).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Bir yaprak kümesi, konakçı grafikte tam bir alt çizgi oluşturuyorsa, bir grafiğin yayılan ağacına tamlık ağacı denir. Bir grafik ve bir tamsayı k verildiğinde, G en fazla k yapraklı bir bütünlük ağacı içeriyorsa karar vermenin karmaşıklığı nedir?GGGkkkGGGkkk Bu soruyu sormanın bir nedeni, bağımsızlık ağaçları için karşılık gelen sorunun NP-tamamlanmış olmasıdır, …

10 cc.complexity-theory  graph-theory  graph-algorithms 

boyutlu Öklid uzayında bir nokta kümesi verildiğinde , sorun dışbükey gövdenin başlangıçta ortalanmış birim topunu içerip içermediğini belirlemektir.nnnddd Bu problem NP'de mi? Bir tanık olarak dışbükey gövdenin dışında topta bir nokta verebilir ve doğrusal programlama kullanarak bu gerçeği doğrulayabilir. Buradaki ilgi alanım, kareköklerle ilgili bilgisayar hassasiyetinde değil, ancak bu da …

10 cc.complexity-theory  cg.comp-geom 

Aşağıdaki sorunum var: Giriş: iki set ve aralığı (tüm uç noktalar tamsayılardır). Sorgu: monoton bijection var mı?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T Bijection, ve ayarlanan dahil etme düzeni ile monotondur . T ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Bu sınıfları anlamaya çalışıyordum ama hep kafam karıştı ... sorular: ve # P arasındaki ilişki nedir, özellikle açık bir soru mu?FN-PFNPFNP# P#P\#P ve N P arasındaki ilişki nedir ? bu soru açık mı?⊕ P⊕P\oplus PN-PNPNP ve P F N P arasındaki ilişki ne olacak ? bu soru açık mı?P'HPHPHPFN-PPFNPP^{FNP}

10 cc.complexity-theory 

grafik izomorfizmi (karar problemi) ? Burada U P , kesin bir Turing makinesi tarafından kabul edilen karar problemleri sınıfıdır ( karmaşıklık hayvanat bahçesine bakınız ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism