Teorik Bilgisayar Bilimi

Orada var mıdır , simetri grupları bazı ailesi var bir NP veya P-komple dili G n (veya grupoidinin setleri üzerinde (polinom zamanda), ama sonra algoritmik sorular daha açık hale) etki eden L n = { l ∈ L ∣ | l | = n } öyle ki az yörünge olacak, …

14 np  algebra  gr.group-theory  complexity  symmetry 

OCamllight adı verilen geniş bir OCaml alt kümesinin semantiği, birkaç yıl önce Owens tarafından HOL'de resmileştirildi. Daha yakın zamanlarda, daha küçük bir OCaml alt kümesinin tip teorik anlambilimi Kreup , Hayden ve Hickey tarafından Nuprl'de uygulandı . Coq'ta benzer bir gelişme var mı?

14 coq  program-verification  ocaml 

Aşağıdaki sorunun karmaşıklığı nedir? Giriş : birHamilton yoluiçinde K nHHHKnKnK_n köşe çiftinin bir alt kümesiR⊆[n]2R⊆[n]2R \subseteq [n]^2 pozitif bir tamsayı kkk Sorgu : Her ( v , u ) ∈ R , d G ( v , u ) ≤ k için eşleşen bir var mı? (burada G = ( …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Son zamanlarda Valiant ve Vazirani tarafından çok güzel bir makale okuyordum , bu da , o zaman SAT'ın çözülemez ya da benzersiz bir çözümü olduğuna dair söz altında bile etkili bir algoritma olamayacağını gösteriyor. Böylece SAT'ın en fazla bir çözüm olacağı sözü altında bile etkili bir algoritma kabul etmediğini gösterir.NP≠RPNP≠RP\mathbf{NP …

14 np-hardness  np-complete  unique-solution  promise-problems 

Bir determinantı hesaplamak için gerekli temel aritmetik işlemlerin minimum sayıda bulunması üzerinde herhangi bir çalışma oldu mu tarafından n küçük ve sabit oluşanmatris n ? Örneğin, n = 5 .nnnnnnnnnn=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

Ghc'nin Haskell'i birleştirici mantık gibi sıralı bir programlama diline çevirmesini ve daha sonra her şey için yığın tahsisini kullanmasını engelleyen nedir? Wikipedia'ya göre, lambda hesabından birleştirici mantığa çeviri önemsizdir ve ayrıca, birleştirici programlama dilleri sadece bellek tahsisi için bir yığına güvenebilir. Bu çeviriyi yapmak ve böylece Haskell ve ocaml gibi …

14 functional-programming  haskell 

İçindedir orada ilginç sorunlar ama olmak bilinmemektedir N C 2 ? Yazıda Cook MIS sadece olmak biliniyordu bahseder, 'problemlerle A Taksonomi Hızlı Algoritmalar Paralel' N C 5 ama bu yana aşağı getirilmiştir N C 2 . Ben derinliği artırmak için sıkışmış gibi görünüyor polilog derinliği paralel algoritmaları ile başka herhangi …

14 complexity-classes  dc.parallel-comp 

Normal diller sınıfı içinde bilinen herhangi bir "hoş" hiyerarşisi (sonlu olabilir) var mı? Burada, her hiyerarşideki sınıflar farklı ifade / güç / karmaşıklık yakalar. Ayrıca, her sınıfın üyeliği bazı unsurlar tarafından "güzel" olarak gösterilmiştir (yıldız yüksekliği sorununun aksine sorunlu olabilir).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dotsLLL Teşekkür ederim!

14 automata-theory  regular-language  regular-expressions 

Bu soruları düşünüyorum: Tutarlı ve Turing tamamlanmış daktilo edilmiş bir lambda hesabı var mı? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent ve türsüz ortamda ilgili soruları cevaplamak zaten zor ! Daha spesifik olarak, Turing-bütünlüğünü sonlandırmadan aşağıdaki şekilde geri kazanıp kazanamayacağımızı merak ediyorum: Soru: Verilen bir (saf) λλ\lambda uzun dönem ttt ile bir zayıf kafa normal formda …

14 lambda-calculus  combinatory-logic 

Belirsizlik, deterministik hesaplamayı hızlandırabilir mi? Evet ise, ne kadar? Belirsizliği kullanarak deterministik hesaplamayı hızlandırarak formun sonuçlarını kastediyorum: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Örneğin, DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Belirsizliğin hesapladığı deterministik hesaplamanın en iyi bilinen hızlanma sonucu nedir? Ne ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) ya da ATime(n)ATime(n)\mathsf{ATime}(n) yerine NTime(n)NTime(n)\mathsf{NTime}(n) ? İkinci dereceden tek bantlı Turing makinelerinin iyi bilinen …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

temel simetrik polinom inci her toplamıdır \ binom {n} {k} ürünleri k farklı değişkenler. Bu polinomun monoton aritmetik (+, \ times) devre karmaşıklığıyla ilgileniyorum . Basit bir dinamik programlama algoritması (aşağıdaki Şekil 1'in yanı sıra ) O (kn) geçitli bir (+, \ times) devresi verir .S n k ( x …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Göre Karmaşıklık Zoo , ve biliyoruz R e g , böylece sayılmaz T Cı- 0 ⊈ R e g . Ancak R e g ⊆ T C 0 olup olmadığını söylemez . Bildiğimiz olmadığından , N Cı- 1 ⊈ T C 0 da biliyoruz olmayan R , e g ⊈ …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Sistem F gibi Etkileyici diller için Mantıksal İlişkiler, ortam mantığının ölçülemezliğine çok fazla güveniyor gibi görünmektedir. Özellikle, forall-tipi için yorum, tüm yazılan ilişkiler açısından tanımlanacaktır. Öngörücü bir sistemde (CiC / Coq gibi) iyi, ancak öngörülü bir sistemde (Agda gibi) imkansız gibi görünüyor. Bu nasıl yapılabilir? Örneğin, Agda'daki Sistem F için …

14 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

Herhangi bir keyfi NP tam dili için her zaman tamamlayıcısı da sonsuz olan bir çoklu zaman süper kümesi var mı? Https://cs.stackexchange.com/q/50123/42961 adresinden süper kümeyi sınırsız bir tamamlayıcıya sahip olmayacak önemsiz bir sürüm istenmiştir. Bu sorunun amaçları için olduğunu varsayabilirsiniz . Vor'un açıkladığı gibi, P = N P ise cevap "Hayır" …

14 cc.complexity-theory  np-complete  structural-complexity 

Oldukça yetkin bir yazılım mühendisiyim, ancak fazla teori bilmiyorum. Daha fazla teori öğrenmek istiyorum. İlgilendiğim özel konular: hesaplama karmaşıklığı, biçimsel diller ve tür teorisi. Fakat bu alanları öğrenmeye nasıl başlayacağım konusunda kayboluyorum. Kendi kendine çalışma yoluyla daha fazla teori öğrenmek isteyen birine hangi kaynakları önerirsiniz? Yazılım mühendisleri için herhangi bir …

14 soft-question  teaching  books