Teorik Bilgisayar Bilimi

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 

Bu soru, belirli bir dizinin rastgele bir karıştırmasını döndürmek için Fisher-Yates algoritması ile ilgilidir. Vikipedi sayfası onun karmaşıklığı O (n) olduğunu söylüyor, ama (n log) Ey olduğunu düşünüyorum. Her yinelemede i, 1 ve i arasında rastgele bir tamsayı seçilir. Sadece tamsayıyı hafızaya yazmak O (log i) 'dir ve n yinelemesi …

15 ds.algorithms  permutations 

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 

Sorun: Verilen , bir Boole devresi ile temsil edilen, homojen bir şekilde rastgele oluşturmak x ∈ { 0 , 1 } , n , öyle ki φ ( x ) = 1 (ya da çıkış ⊥ böyle olursa x mevcut). ϕ : { 0 , 1 }n→ { 0 , …

15 np-hardness  counting-complexity  reductions 

LYAH'da bana pek mantıklı gelmeyen bir bölüm okuyordum . Fermuarların ağaç benzeri bir yapıyı keyfi olarak geçebileceğini anlıyorum, ancak üzerinde biraz açıklığa ihtiyacım var. Ayrıca, fermuarlar herhangi bir veri yapısına genelleştirilebilir mi?

15 ds.data-structures  functional-programming  tree 

Büyük (yönlendirilmiş) bir grafik ve daha küçük bir köklü ağacına sahipsek, izomorfik alt-tabakalarını bulmak için en iyi bilinen karmaşıklık nedir? Her iki nerede alt ağaç izomorfik sonuçları farkında ve de burada ağaç ve vardır Bu grafik ve ağaç durumda düz ya da sınırlı treewidth (ve diğerleri) sahip değil. H G …

15 ds.algorithms  reference-request  graph-theory 

Sorun Let dil tanıma, bir Büchi da olmalıdır . Biz varsayalım aşağıdaki anlamda bir kabul stratejisi vardır: bir işlev yoktur pilot ishal için kullanılabilir . Bunu aşağıdaki şartlarla resmileştiriyoruz:L ⊆ Σ co bir σ : Σ * → S AA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 tüm ve , a ∈ …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

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 

Bir matrisi verildiğinde ( varsayılarak ), sütunların sırasını ve temelini hesaplamak için en hızlı algoritma nedir?m ≥ nm × nm×nm \times nm ≥ nm≥nm \ge n Bir zaman deterministik algoritması ve bir zaman rastgele algoritması anlamına gelen doğrusal matroid kesişimi ile çözülebileceğinin farkındayım . Bir var daha doğrudan matris çarpımı …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

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 

SAT çözücüler, bir nicelik belirteci ile bir boole formülünün geçerliliğini kontrol etmek için güçlü bir yol sağlar. Örneğin, geçerliliğini kontrol etmek için . φ ( x ) , φ ( x ) ' in tatmin edici olup olmadığını belirlemek için bir SAT çözücü kullanabiliriz . ∀ x'in geçerliliğini kontrol etmek …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Bir dilin (genelleştirilmiş) yıldız yüksekliği, dili genişletilmiş düzenli bir ifade ile temsil etmek için gereken Kleene yıldızlarının minimum iç içe yerleştirilmesidir. Sonlu alfabe üzerinde genişletilmiş düzenli ifadenin aşağıdakileri karşıladığını hatırlayın :birAA (1) ve , tüm için genişletilmiş düzenli ifadelerdira a ∈ A∅ , 1∅,1\emptyset, 1biraaa ∈ Aa∈Aa\in A (2) Tüm …

15 fl.formal-languages  lower-bounds  regular-expressions 

Lisans bilgisayar bilimleri öğrencisiyim ve şu anda mezuniyet projemi planlıyorum. Kuantum hesaplama alanında bazı fikirlere ihtiyacım var. herhangi bir yardım?

15 quantum-computing  soft-question