«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
PSPACE tamlığı yaklaşık sertlik anlamına mı geliyor?
Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi? Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?) PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
1
ACC cricuits'in Beigel-Tarui dönüşümü
Arora ve Barak'ın Hesaplama Karmaşıklığı kitabında NEXP için ACC alt sınırları hakkındaki eki okuyorum . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf önemli lemmalarõn bir bir dönüşümdür eşdeğer polylogarithmic derecesi ve quasipolynomial katsayıları veya tamsayılar üzerinde çoklu doğrusal polinomları devreler devre sınıfı S Y M + , poliasaritmik fan girişi ile alt seviyesinde çok sayıda AND …
2
İnanç yayma yöntemlerinin çalışma süreleri için teorik garantiler?
İnanç yayılımının olasılıksal grafiksel modellerde yapılan araştırmalarla çok güçlü bir yöntem olduğu gösterilmiştir. Bununla birlikte, BP hakkında # P-complete problemleri için tamamen polinom randomize yaklaşım şemalarına (FPRAS) sahip olabileceğimiz MCMC yöntemleriyle karşılaştırılabilir bir şey bilmiyorum. Birisi beni bazı referanslara yönlendirebilir mi?
1
SAT'ın NP sertliği için gereken minimum azaltma derinliği nedir?
Herkesin bildiği gibi, SAT için tamamlandıktan polinom zamanlı birçok kimse azalmalar wrt. Hala A C 0 çok-bir indirimler ile tamamlandı.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Sorularım, indirimler için gereken minimum derinlik nedir? Daha resmi, SAT'ın N P -hard wrt A C 0 d çok-bir indirgenmesi olacak en az nedir ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Bana göre yeterli olmalı mı? …
6
SAT varyasyonları
İnternete baktım, ancak SAT sorununun herhangi bir 'büyük listesini' bulamadım. (Ortak) dışında OTURDU, k-SAT, MAKS-kSAT, Yarım SAT, XOR-SAT, NAE-SAT başka hangi varyantlar var? (ayrıca karmaşıklık sınıflarının verilmesi (gerçekten mümkün olduğunda) gerçekten yararlı olacaktır)
2
Parite-P, PP'de bulunur mu?
Bu soru Jan Pax tarafından Matematiğin Temelleri posta listesi hakkında sorulmuştur . Kesinlikle P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} ama bu sorunun cevabından olup olmadığının bilinmediğinden şüpheleniyorum ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP(aksi takdirde PPPPPP bu sorunun olası bir cevabı olacaktır). Eğer bilinmiyorsa, kehanet ayrılığı var mı?
1
Bir problem NP'de nasıl olabilir, NP-sert olabilir ve NP-tam olmayabilir?
En uzun süredir, (1) NP-sert ve (2) NP ise, bir sorunun NP-tamamlanmış olduğunu düşündüm. Bununla birlikte, ünlü "Elipsoid yöntemi ve kombinatoryal optimizasyondaki sonuçları" makalesinde yazarlar, fraksiyonel kromatik sayı probleminin NP'ye ait olduğunu ve NP-zor olduğunu, ancak NP-tam olduğu bilinmemektedir. Makalenin üçüncü sayfasında yazarlar: ... bir grafiğin tepe paketleme sorun fraksiyonel …
1
GCD hesaplamak için bir kuantum NC algoritması var mı?
MathOverflow ile ilgili sorularımdan birindeki yorumlardan GCD'nin karşı P'de olmasıyla ilgili sorunun, Tamsayı Faktorizasyonunun P'ye karşı N P'ye ilişkin olduğu sorusuna benzediğini hissediyorum .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} Tamsayılı Faktorizasyon için bir kuantum polinom zamanı ( B Q P ) algoritması olduğundan GCD için "kuantum " algoritması gibi bir şey var mı ?NCNC\mathsf{NC}BQPBQP\mathsf{BQP} İlgili …
2
Düğüm probleminden esinlenerek GI'ye yaklaşımlar
GI ve Knot Probleminin her ikisi de matematiksel nesnelerin yapısal eşdeğerliğine karar verme problemidir. Aralarında bağlantı kuran herhangi bir sonuç var mı? Düğüm probleminin istatistiksel fizikle güzel bağlantıları düğüm polinomları aracılığıyla araştırılmıştır , için benzer sonuçlar var mı?GIGIGI Biri bakarak başlamadan önce herhangi bir standart sonuçlar / uyarı / öneri …
2
Etkileşimli prova sistemlerinin peyzajı
İlk sorum interaktif kanıtlama sistemi karakterizasyonunun tüm klasik karmaşıklık sınıfları için bilinip bilinmediği. P, NP, PSPACE, EXP, NEXP, EXPSPACE, özyinelemeli ve özyinelemeli olarak numaralandırılabilir işlevleri klasik (diğerleri arasında) olarak adlandırırım. Özellikle, yinelemeli ve yinelemeli olarak numaralandırılabilir işlevler için bilinen etkileşimli bir kanıt sistem karakterizasyonu var mı? Sadece IP = PSPACE …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.