«cc.complexity-theory» etiketlenmiş sorular

Bir defaya mahsus karar ağacı aşağıdaki gibi tanımlanır: F bir L ler eTrueTrueTrue ve , bir defaya mahsus karar ağaçlarıdır.FalseFalseFalse Eğer ve olan karar ağaçları salt bir kez ve meydana gelen bir değişken değildir ve , daha sonra , aynı zamanda, bir salt kez karar ağacı.B x A B ( …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

Sonlu ters yarıgrup izomorfizma problemi GI-tamamlanmış mı? Burada sonlu ters yarıgrupların çarpım tabloları tarafından verildiği varsayılmaktadır.

11 cc.complexity-theory  graph-isomorphism 

Bizim girişi bir ikili olduğunu varsayalım ve çıkışa sahip ⌊ x / c ⌋ , nerede c bazı sabit tamsayıdır. C sadece ikinin gücü ise, bu sadece bir kaymadır , peki ya diğer sayılar? Her c için sabit bir derinlik devresi ile yapabilir miyiz ? C = 3 ne olacak …

11 cc.complexity-theory  circuit-complexity  ac0 

Polinom sayıda hamleden sonra biten tam bilgi iki oyunculu kombinatoryal oyunları düşünün ve alternatif bir şekilde oyuncular sınırlı sayıda izin verilen hamleden alır. Genel soru, belirli bir pozisyondan kazananı anlatmanın ne kadar zor olduğudur. Bir diğeri, kazanan bir pozisyondan kazanan bir hamle seçmenin ne kadar zor olduğudur. (Burada pozisyon oynadıktan …

11 cc.complexity-theory  np  board-games  pspace 

Let bazı tarla olmak. Her zaman olduğu gibi, bir f ∈ k [ x 1 , x 2 , … , x n ] için L ( f ) ' yi f'nin k üzeri düz çizgi karmaşıklığı olarak tanımlıyoruz . F , f'nin monomialleri , yani f'de sıfır olmayan katsayıyla …

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

Aşağıdaki sorunu düşünün: X, y iki dizgisi verildiğinde, f (x) = y olacak şekilde bir dizgi homomorfizması olup olmadığına karar verin. Bu sorunun olduğunu göstermek kolaydır . Bu sorun hakkında söyleyebileceğimiz başka şeyler var mı? Örneğin, , hatta mi?N-PN-PNPc o NPcÖN-PcoNPPPP Bu sorun çok doğal görünüyor, bu yüzden iyice incelenmişse …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Bildiğimiz gibi, algoritmanın hesaplama karmaşıklığının tanımı neredeyse tartışmasızdır, ancak gerçeklerin veya hesaplama modellerinin gerçekler üzerindeki hesaplama karmaşıklığının tanımı böyle bir durumda değildir. Hesaplanabilir Analiz kitabında Blum ve Smales modelini ve modelini biliyoruz. Ve görünüşte, Hesaplanabilir Analiz'deki model klasik modelle tutarlıdır, ancak gerçeklerin hesaplama karmaşıklığının tanımı klasik modele dönüştürülemez. Gerçek ya …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Bu beni şaşırttı. Saymanın kolay bir yolu, karar sorunun ve çözüm olmamasıdır.PPP Bir ders , iki taraflı bir grafikteki mükemmel eşleşme sayısını sayma sorununun (eşdeğer olarak, yönlendirilmiş bir grafikteki döngü kapaklarının sayısını sayma) .# P#P\#P Gadget'ları kullanarak bir digraftaki boyutundaki tepe kapaklarının sayılmasından döngü döngülerinin sayılmasına kadar azalma sağlarlar .kkk …

11 cc.complexity-theory  graph-theory 

İlgili bir soruyu , algoritmaların yapıcı olmayan varoluş kanıtları hakkında okuduktan sonra , "küçük" (örneğin, devlet-bilge) hesaplama makinelerinin varlığını gerçekten inşa etmeden göstermenin yöntemleri olup olmadığını merak ediyordum. resmen: varsayalım ki bazı dil ve bazı hesaplama modelini düzeltin (NFA'lar / Turing makinesi vb.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* için durumlu bir makinenin var olduğunu …

11 cc.complexity-theory  automata-theory  turing-machines 

Crossposted MO'dan . CCC , tümü döngüsel olan (en az bir döngü içerir) sınırlı sayıda yasaklanmış alt bölümle tanımlanan bir grafik sınıfı olsun . Clique ve Clique cover dışında için polinom zamanda çözülebilen NP-sert grafik problemleri var mı?CCC Doğru hatırlıyorsam, bu bağımsız küme için mümkün değildir ( olmadığı sürece ).P=NPP=N-PP=NP …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Impagliazzo, Paturi ve Calabro, Impagliazzo, Paturi Üstel Zaman Hipotezi (ETH) ve Güçlü Üstel Zaman Hipotezi'ni (SETH) tanıttı. Kabaca SETH, SAT zamanını çözen bir algoritma olmadığını söylüyor . 1.99n1.99n1.99^n Bunun SETH'ı kırmak için ne anlama geleceğini merak ediyordum. Kesinlikle SAT'ı az adımda çözen bir algoritma bulmamız gerekiyor , ancak hangi hesaplama …

11 cc.complexity-theory  sat  exp-time-algorithms 

BPP P ile ilgili olduğu için APX ile ilgili bir karmaşıklık sınıfı arıyorum. Burada zaten aynı soruyu sordum , ama belki TCS cevaplar için daha verimli bir yer olacaktır. Sorunun nedeni, pratik problemlerde, genellikle sınırlı olasılıklı yaklaşma algoritmaları ile problem sınıfını potansiyel olarak neyin hesaplanabileceğinin faydalı bir modeli haline getirecek …

11 cc.complexity-theory  approximation-hardness 

UP sınıfı şöyle tanımlanır : NP makinesi tarafından çözülebilen karar problemlerinin sınıfı, Cevap 'evet' ise, tam olarak bir hesaplama yolu kabul eder. Cevap 'hayır' ise, tüm hesaplama yolları reddedilir. Bu tanım için sezgi geliştirmeye çalışıyorum. UP problemlerinin benzersiz çözümlerle ilgili problemler olduğunu söyleyebilir miyiz (örn. Asal çarpanlara ayırma)? Bu benim …

11 cc.complexity-theory  complexity-classes 

"İkinci " problemi, problem örneği için belirli bir çözümden farklı bir çözümün varlığına karar verme problemidir.XXX Bazı için -Komple sorunları, ikinci çözelti bir versiyonu -Komple diğerleri için (ikinci NAE SAT) ya önemsiz veya olamazken (kısmi Latin alan tamamlama sorun için bir çözüm varlığını karar) -Komple (İnanılan karmaşıklık varsayımı altında kübik …

11 cc.complexity-theory  unique-solution 

1997'de Impagliazzo ve Wigderson'un ünlü makalesini okuyorum. Bu alanda yeni olduğum ve bildiri kısa bir konferans versiyonu olduğu için kanıtlarını takip etmekte zorlanıyorum. Özellikle, bazı yeni teoremleri kanıt içermiyor. En iyi bilgime göre, yayınlanan bir dergi sürümü yoktu.P = B P PP=BPP\mathsf P=\mathsf{BPP} Sonuçlarını, tercihen resmi kanıtı olanları öğrenebileceğim kaynaklar …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators