«cc.complexity-theory» etiketlenmiş sorular

Razborov-Rudich'in Doğal Kanıtları belgesinde, sayfa 6'da, " monoton devre modellerine karşı güçlü alt sınır kanıtları " olduğunu ve resme nasıl uyduklarını tartışıyorlar : Burada sorun yapıcılık değildir - bu kanıtlarda kullanılan özelliklerin hepsi mümkündür - ancak büyüklük durumunun iyi bir resmi analogu olmadığı görülmektedir. Özellikle, hiç kimse "rastgele monoton fonksiyon" …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Kübik grafiklerin 3-kenar rengi . Dört Renk Teoremi, "Her kübik düzlemsel köprüsüz grafik, 3 kenar renklendirilebilir" e eşdeğerdir.N-PN-PNP Kübik düzlemsel grafiklerin 3 kenar renklendirilmesinin karmaşıklığı nedir? Aynı zamanda, tahmin ediliyor -kenar renklendirilmesidir maksimum derecede düzlemsel grafikler için -Sert {4,5 '}.ΔΔ\DeltaN-PN-PNPΔ ∈Δ∈\Delta \in Bu varsayımı çözme yönünde ilerleme kaydedildi mi? Chrobak …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Savitch , 2 ) anlamına gelen O ( log 2 n ) alanı kullanarak st-bağlanabilirliği çözmek için deterministik bir algoritma verdi . Savitch'in algoritması zamanında çalışır . St-bağlanabilirliğin polinom zamanı ve uzayında deterministik bir algoritma ile çözülüp çözülemeyeceği, yani olup olmadığı önemli bir açık sorundur . arasında durmaktadır, ve , …

15 cc.complexity-theory  space-bounded 

2006 YILI GENİŞLETİCİ GRAFİKLER sunumunda - HERHANGİ BİR Gizem Var Mı? , Nati Linial şu ​​açık problemi sundu: Grafikleri genişletmek için kısıtlandığında, grafikteki hangi zor hesaplama sorunu zor kalır?NPNPNP O zamandan beri, -hard problemi için bu sonucu kanıtlamak için herhangi bir ilerleme kaydedildi mi?NPNPNP

15 cc.complexity-theory  np-hardness  expanders 

Doğal kanıtlar , boole işlevlerinin devre karmaşıklığı üzerindeki alt sınırların kanıtlanmasına karşı bir engeldir. devre karmaşıklığı üzerinde daha düşük sınırların kanıtlanmasında doğrudan böyle bir engel oluşturmazlar . Bu tür engelleri belirleme konusunda ilerleme var mı? Monoton ortamda başka engeller var mı?m o n o t o n emÖnÖtÖnemonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Bu, bu kadar devamı niteliğindedir soru ve bu ilişkilidir sorusuna Shiva Kınalı arasında. Bu makalelerdeki kanıtların ( Allender , Caussinus-McKenzie- Therien- Vollmer , Koiran-Perifel ) hiyerarşi teoremlerini kullandığı görülmektedir. Kanıtların " saf " köşegenleştirme teoremleri olup olmadığını veya normal köşegenleştirmeden daha fazla bir şey kullanıp kullanmadığını bilmek istiyorum . Yani …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Her zaman P ve NP sorusu için ya da aleyhine deneysel matematikten elde edilen sayısal kanıtların olmaması beni şaşırttı. Riemann Hipotezi'nin sayısal doğrulamadan bazı destekleyici kanıtları olsa da, P ve NP sorusu için benzer kanıtların farkında değilim. Ayrıca, kararsız problemlerin (veya hesaplanamayan fonksiyonların) varlığının doğrudan fiziksel dünya sonuçlarının farkında değilim. …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Bu soru çok basitse özür dileriz. Temel olarak, aşağıdaki özelliklere sahip herhangi bir işlevi varsa bilmek istiyorum f(x)f(x)f(x): Al fn(x)fn(x)f_n(x) olmak üzere f(x)f(x)f(x) alanı ve değer kümesi ile sınırlıdır nnn -bit dizeleri. Sonra fn(x)fn(x)f_n(x) injektiftir amaçlıdırfn(x)fn(x)f_n(x) , f - 1 n ( y ) ' den daha makul bir model …

15 cc.complexity-theory 

Kalıtsal bir yapı sınıfı (örn. Grafikler) indüklenmiş alt-yapılar altında kapalı veya eşdeğer şekilde tepe noktası çıkarma altında kapalı olan yapılardır. Bir küçüğü hariç tutan grafik sınıfları, hariç tutulan belirli minörlere bağlı olmayan güzel özelliklere sahiptir. Martin Grohe, bir minör hariç grafik sınıfları için izomorfizm için bir polinom algoritması ve sayımlı …

15 cc.complexity-theory  graph-theory  relational-structures 

Yaklaşım faktörü 1 + c olan P için bir polinom zaman yaklaşımı algoritması bulunacak şekilde bir c> 0 sabiti varsa bir problemin APX'te olduğu söylenir. APX, PTAS (herhangi bir c> 0 sabitini seçerek görülür) ve P içerir. APX NP'de mi? Özellikle, bazı yaklaştırma faktörleri için bir polinom-zaman yaklaştırma algoritmasının varlığı …

15 cc.complexity-theory  complexity-classes  apx 

Bir Turing Machine tarafından tanımlanmış bir dil L verildiğinde, L'nin NP'de olup olmadığını algoritmik olarak belirlemek mümkün müdür?

15 cc.complexity-theory  computability  turing-machines 

Bizim son çalışmamızda, varsayımı altında, kombinatoryal bağlamda ortaya çıkan bir hesaplama sorunu çözmek , ise ait -version . ilgili tek yazı , Beigel-Buhrman-Fortnow 1998 makalesinde yer alan Karmaşıklık Hayvanat Bahçesi . problemlerinin eşlik sürümlerini alabileceğimizi anlıyoruz ( bu soruya bakın ), ancak belki de birçoğu . ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP}E X …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Karmaşıklık sınıfı BQP, klasik girdiler alarak ve olasılıklı bir klasik çıktı tüküren polinom zaman kuantum alt rutinlerine karşılık gelir. Kuantum tavsiyesi, önceden belirlenmiş bazı kuantum tavsiye durumlarının kopyalarını içerecek şekilde değiştirir, ancak her zamanki gibi klasik girdilerle. Polinom zaman kuantum altyordamları için keyfi kuantum durumlarını girdi olarak alan, tek bir …

15 cc.complexity-theory  complexity-classes  quantum-computing 

Turing makinemizin kullanabileceği alan miktarıyla sınırlı olduğumuz karmaşıklık sınıflarını sık sık değerlendiriyoruz, örneğin: veya NSPACE ( f ( n ) ) . Karmaşıklık teorisinin başlarında bu sınıflarda uzay hiyerarşi teoremi ve L ve PSPACE gibi önemli sınıflarda yaratılış gibi çok başarılı olduğu görülüyor . Kuantum hesaplaması için benzer tanımlar var …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

Set kapağında aşağıdaki varyasyon nedir? Bir küme S, S'nin alt kümelerinin bir C koleksiyonu ve pozitif bir tamsayı K verildiğinde, C'de K kümelerinin var olması, böylece S'nin her bir eleman çifti seçilen alt kümelerin birinde yer alacak şekilde var. Not: Bu sorunun NP-Complete olduğunu görmek zor değildir: Normal bir set …

15 np-hardness  set-cover  cc.complexity-theory