«cc.complexity-theory» etiketlenmiş sorular

, zamanında bir (çok bantlı) Turing makinesi tarafından kabul edilebilecek dil sınıfı olarak tanımlayın . (" " sadece gösterimi basitleştirmek ve karışıklığı önlemek içindir.) etrafında olmadığını unutmayın .f ( n ) + 1 + 1 O ( ⋅ ) f ( n ) + 1D T I M E (f( …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

ETH, SAT'ın en kötü durumda üstel zamanda çözülemeyeceğini belirtmektedir. Ortalama vaka ne olacak? NP'de ortalama vakada katlanarak zor olduğu düşünülen doğal problemler var mı? Ortalama durumu, girişler üzerinde eşit dağılımlı ortalama çalışma süresi anlamına gelir.

12 cc.complexity-theory  np  average-case-complexity 

ise bütün PH'nun çöktüğünü biliyoruz . Polinom hiyerarşisi kısmen çökerse ne olur? (Veya PH'nin aşağıda değil, belirli bir noktanın üzerine çökebileceğini nasıl anlayabilirim?)P= NPP=NPP=NP Daha kısaca, ve P ≠ N P'nin sonuçları ne olur ?N-P= c o NPNP=coNPNP=coNPP≠ NPP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Aşağıdaki soru karmaşıklık teorisine uygulanan kriptografi fikirlerini kullanmaktadır. Bununla birlikte, bu tamamen karmaşıklık teorik bir sorudur ve cevaplamak için hiçbir kripto bilgisine gerek yoktur. Bu soruyu kasıtlı olarak gayri resmi olarak yazıyorum. Detaylar eksik, muhtemelen biraz yanlış ifade edildi. Lütfen cevaplarınızdaki düzeltmeleri belirtmekten çekinmeyin. Aşağıdaki makalede: Birleştirilemez Şifreleme, Danny Dolev, …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Bir ispat girişimim var ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. İspat girişimi, Karp'ın⊕P⊕P\oplus \mathbf{P}tamamlanmış problem ⊕⊕\oplus3-DÜZENLİ VERTEX KAPAK SAT. Kübik bir grafik verildi GGG, azalma bir CNF formülü çıkarır FFF aşağıdaki özelliklere sahip: FFF en fazla 111 tatmin edici ödev. FFF ancak tepe noktası sayısının GGG garip. Sorular Hangi sonuçları olacak ⊕P⊆NP⊕P⊆NP\oplus …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Boşluk-hiyerarşi teoreminden fff boşluğa göre yapılandırılabilir ise DSPACE ( ) 'nin DSPACE ( eşit olmadığı bilinmektedir .2f(n)2f(n)2f(n)f ( n ) )f(n))f(n))f(n)) Burada, DSPACE ( , uzayında sabit bir alfabeye sahip bir Turing makinesi tarafından çözülebilen tüm problemlerin sınıfı anlamına gelir . Bu, Uzay-hiyerarşi teoremini böyle bir doğrulukla düşünmeye izin verir.f(n))f(n))f(n))f(n)f(n)f(n) …

11 cc.complexity-theory  complexity-classes 

Genel Soru Uzay hiyerarşisi teoremi muntazam olmayan hesaplamaya genellenir mi? İşte birkaç özel soru daha: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Tüm mekanda yapılandırılabilir işlevler için DSPACE (o (f (n))) / poly \ subsetneq DSPACE (f (n)) / poly mi?D S P A C E ( o ( f ( n ) ) …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Genel olarak bir diophantine denkleminin tamsayı çözümü olup olmadığına karar vermek durma problemine eşdeğerdir. Bir kuadratik diofantin denkleminin herhangi bir çözümü olup olmadığına karar vermenin NP-tam olduğuna inanıyorum. P-tam problemi veren ilgili denklemler üzerinde başka bir kısıtlama var mı?

11 cc.complexity-theory  linear-algebra  polynomials 

Klasik sorun DÜZENLİ DİL KAPSAMI ile ilgileniyorum. Düzenli bir ifadesi verildiğinde , ile ilişkili normal dili belirtiriz . (Düzenli ifadeler , operasyon birliği, Kleene-star ve birleştirme ile sabit bir alfabe üzerindedir .)EEEL ( E)L(E)L(E)ΣΣ\Sigma Girdi: İki düzenli ifadeler ve Soru: Bu doğru mu ?E1E1E_1E2E2E_2 L ( E1) ⊆ L ( …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Let bir olmak yönlendirilmiş asiklik grafik ve izin her köşe koyan bir etiketleme fonksiyonu bir etiket için sonlu bir alfabe içinde . YazmaBir topolojik sıralama arasında bir eşleşme olduğu dan üzere (yani, bir sipariş bir dizi olarak) bu şekilde her o (ör. ye bir kenar varsaλ v ∈ V λ …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Kısa bir süre önce , Coudron ve Yuen tarafından kuantum cihazları kullanarak rastgele genişleme üzerine bir makaleye rastladım . Çalışmanın ana sonucu, sabit sayıda kaynaktan "sonsuz" rasgelelik üretmenin mümkün olmasıdır (yani, üretilen rastgele bitlerin sayısı, kaynak sayısına değil, yalnızca protokolün tur sayısına bağlıdır. ). Safça, bu bana sonuç gibi geliyor, …

11 cc.complexity-theory  quantum-information 

Bir-iki kez zıt CNF formülünde, her bir değişken bir kez pozitif ve bir kez negatif olmak üzere iki kez görünür. Ben ilgilenen kulüpler salt iki kez ters CNF formülü tatmin atamalarının sayısını paritesine bilgisayar oluşur sorun.⊕ Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Böyle bir sorunun karmaşıklığı hakkında herhangi bir referans bulamadım. Bulabildiğim en yakın şey, …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Kısacası, soru şudur: Zor görevler için hesaplama yeteneği, kolay görevleri çözmenize gerçekten ne kadar yardımcı olur. (Bu soruyu ilginç ve önemsiz hale getirmenin çeşitli yolları olabilir ve işte böyle bir girişim.) Soru 1: N değişkenli bir formül için SAT'ı çözmek için bir devre düşünün. (Veya kenarlı bir grafik için Hamilton …

11 cc.complexity-theory  dc.parallel-comp 

Orada algoritmik grafik teorisi / sayılar teorisi / combinatorics / enformasyon teorisi / oyun teorisi. Algoritmik matematiksel analiz var mı? Wiki'ye göre, matematiksel analiz farklılaşma, integrasyon, ölçü, limitler, sonsuz seriler ve analitik fonksiyonlar teorilerini içerir. Gerçek bir değişkenin gerçek sayıları ve gerçek değerli fonksiyonları ile ilgilenen gerçek analize (wiki) odaklanmak …

11 cc.complexity-theory  reference-request  soft-question  computability 

Bu dilin hangi sınıfa ait olduğunu düşünüyordum: bir grafik, doğal bir sayı ve kromatik sayısıdırL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} (1) "k-1 renklerinin renklenmesi yok" ve (2) " k renklerinin renklenmesi var" diye düşündüm . Şimdi, (1) coNP ve (2) NP-tamamlanmış olduğundan, bu dilin ne NP'de ne de …

11 cc.complexity-theory  np-hardness  complexity-classes