Teorik Bilgisayar Bilimi

Yirmi yıl önce, düzenli ifadelerden sonlu durum makinesine (DFA) dönüşümleri içeren düzenli bir ifade paketi oluşturdum ve bir dizi kapalı düzenli ifade işlemini (Kleene yıldızı, birleştirme, ters, ayarlama işlemleri, vb.) Destekledim. Paketimin en kötü durum performansından emin değildim. Bir DFA, bir NDFA ile aynı ifade gücüne sahiptir, çünkü n durumlu …

16 dfa  regular-expressions  bounds 

Aşağıdaki sorun, Aaronson'un Kuantum Hesaplama Teorisi için On Yarı Büyük Zorluk listesinde yer almaktadır . MiB Q P = B P PB Q N CBSP=BPPBSN-C\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Diğer bir deyişle, herhangi bir kuantum algoritması "kuantum" bölümünün sıkıştırılabilir derinliği, 'a verilen polinom-zaman klasik postprocessing yapmaya istekli misiniz? (Bunun Shor'un algoritması için geçerli olduğu …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

Tamamlanmayan herhangi bir dil, kendisi için bir tercüman yazamaz. Bunu okuduğum yerde hiçbir fikrim yok ama birkaç kez kullanıldığını gördüm. Bu bir tür "nihai" Turing olmayan tam dile yol açıyor gibi görünüyor; sadece yapabilen (ler)bir Turing makinesi tarafından yorumlanabilir. Bu diller, doğallardan doğallara kadar tüm toplam fonksiyonları hesaplayamayabilir veya zorunlu …

16 computability  turing-machines 

Von Neumann olmayan programlama modelleri için pratik uygulamalar var mı? En yaygın olarak kabul edilen von Neumann olmayan programlama dilleri nelerdir?

16 universal-computation  logic-programming 

Basit tipli lambda hesabı için zayıf normalizasyon üzerinde indüksiyonla kanıtlanabilir (Turing) . Doğal sayılarla yinelenen (Gentzen) genişletilmiş bir lambda hesabı, ϵ 0'da indüksiyonla zayıf bir normalleşme stratejisine sahiptir .ω2ω2\omega^2ε0ε0\epsilon_0 Sistem F (veya zayıf) ne olacak? Bu tarzda zayıf bir normalizasyon kanıtı var mı? Değilse, hiç yapılabilir mi?

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

Güçlü düzenli grafikler GI testi için en zor olanı mıdır? burada "en zor" bazı "sağduyu" anlamında veya "ortalama olarak" anlamında kullanılır. Wolfram MathWorld bazı "patolojik olarak zor grafiklerden" bahseder. Onlar neler? 25 çift grafik örnek kümem: http://funkybee.narod.ru/graphs.htm Başkalarını ama aynı türden hepsini test ettim - http://www.maths.gla.ac adresinden SRG veya RG …

16 ds.algorithms  graph-isomorphism 

LogCFL , bağlam içermeyen bir dile günlük alanı azaltılabilen tüm diller kümesidir. Benzer şekilde LogDCFL, günlük alanı deterministik bağlamdan bağımsız bir dile indirgenebilen tüm diller kümesidir. LogCFL ile ilgili bazı doğal sorunlar için bu wikipedia makalesine bakın . LogCFL-complete ile ilgili birkaç ilginç sorun daha var. LogDCFL ile ilgili herhangi …

16 cc.complexity-theory  complexity-classes 

Bu sorunu anlamak için ne okumalıyım? Küçük derinlik kuantum devrelerinin gücü. Mi ? Başka bir deyişle, herhangi bir kuantum algoritmasının "kuantum" kısmı, polinom-zaman klasik postprocessing yapmaya istekli olduğumuz sürece, polilog (n) derinliğine sıkıştırılabilir mi? (Bunun Shor'un algoritması için geçerli olduğu bilinmektedir.) Öyleyse, genel amaçlı bir kuantum bilgisayarı oluşturmak genel olarak …

16 cc.complexity-theory  reference-request  quantum-computing 

İlgili sorun: Veblen Teoremi, "Bir grafik, yalnızca ve hatta çift ise bir döngü ayrışımını kabul ettiğini" belirtir. Döngüler kenar ayrıktır, ancak mutlaka düğüm ayrıklığı yoktur. Başka bir deyişle, "Bir grafiğin kenar kümesi, yalnızca her tepe noktası eşit derecede ise, döngülere bölünebilir." Benim Sorunum: Herkes düğüm-ayrık döngüleri bir grafik bölümü incelemiş …

16 cc.complexity-theory  graph-theory  co.combinatorics 

Kanıtlanmış sınırlarla yayınlanmış ilginç algoritma örnekleri var mı ve daha sonra daha iyi sınırlar daha sonra yayınlandı mı? Daha iyi sınırlarla daha iyi algoritmalar değil - açıkçası bu oldu! Ancak mevcut bir algoritmaya daha iyi bağlanma sağlayan daha iyi analiz Matris çarpımının bunun bir örneği olduğunu düşündüm, ama Coppersmith-Winograd ve …

16 ho.history-overview  analysis-of-algorithms 

Mike ve Ike'nin "Kuantum Hesaplama ve Kuantum Bilgisi" nde, Grover'ın algoritması ayrıntılı olarak açıklanmaktadır. Bununla birlikte, kitapta ve Grover'ın algoritması için çevrimiçi bulduğum tüm açıklamalarda, hangi durumu aradığımızı bilmedikçe, amacını yenerek Grover'ın Oracle'ın nasıl inşa edildiğinden bahsedilmiyor gibi görünüyor. algoritması. Özellikle, sorum şu: bazı f (x), bazı x değeri için …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Hepimiz biliyoruz ki bariyerleri var. Hepimiz bu engelleri inceledik çünkü P ≠ N P'ye inanıyoruz .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Ancak olduğunu varsayın ve olasılığın var olduğuna inanan bilge insanlar vardır . Gerçekten durum buysa, iyi bir algoritma görmediğimiz gerçeği, bu alternatif evrende de engeller olabileceğini gösterir. Ait sağlamasının P ≠ N …

15 p-vs-np  barriers 

Bilgisayarlarla ilgili bazı kitaplar buluyorum ama hepsi teknoloji ile ilgili. Teoriyle daha bağlantılı bir şey istiyorum.

15 reference-request  soft-question  philosophy 

Ben cevap hayır bekliyoruz, ama aslında bir karşı örnek inşa edemedim. Fark ∩ ε > 0 D T I M E ( O ( n 2 + ε ) ) 'de , ε içinde eşit bir şekilde O ( n 2 + ε ) algoritması seçemeyebiliriz .∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n^{2+ε})εε Bir tamamlayıcısı …

15 cc.complexity-theory  time-complexity 

Ben cs.stackexchange 10 gün önce bu soru soruldu burada ama herhangi bir cevap didn'y. Bir de çok ünlü kağıt (ağ toplumda), Wang & Crowcroft bazı sunmak birçok katkı maddesi / çarpımsal kısıtlar altında yol hesaplama -completeness sonuçları. İlk sorun şudur:NPNP\mathsf{NP} Yönlendirilmiş bir grafik ve kenarlar üzerinde w 1 ve w …

15 np-hardness  reductions