Teorik Bilgisayar Bilimi

Bireysel çalışma için ve sınavlara hazırlanmak için kullanabileceğim birçok örnek içeren sonlu bir otomata teorisi kitabına ihtiyacım var.

32 reference-request  automata-theory  fl.formal-languages 

1995'te Russell Impagliazzo beş karmaşıklık dünyası önerdi: 1- Algoritma: Tüm şaşırtıcı sonuçlarla P= NPP=N-PP=NP 2- Heuristica: problemler en kötü durumda ( P ≠ N P ) zordur, ancak ortalama durumda etkin bir şekilde çözülebilir.N-PN-PNPP≠ NPP≠N-PP \ne NP 3- Pessiland: Ortalama bir -tamamlayıcı problemi var ancak tek yönlü fonksiyonlar mevcut değil. …

32 cc.complexity-theory  conditional-results  average-case-complexity 

P! = NP'nin kanıt olmadan bile inandığına inanmak için sıkça alıntı yapılan bir felsefi gerekçe vardır. Diğer karmaşıklık sınıfları, farklı olduklarına dair kanıtlara sahiptir, çünkü olmasa da, "şaşırtıcı" sonuçlar (polinom hiyerarşisinin çöküşü gibi) olacaktır. Sorum şu: PPAD sınıfının anlaşılmaz olduğuna inanmanın temeli nedir? Nash dengesini bulmak için bir polinom zaman …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Aşağıdaki işlemleri destekleyen bir öncelik sırası veri yapısı var mı? Insert (x, p) : p önceliği olan yeni bir x kaydı ekleyin StableExtractMin () : Kaydı asgari önceliğe döndürerek ekleme sırasına göre bağları koparın . Böylece, Eklemek (a, 1), Eklemek (b, 2), Eklemek (c, 1), Eklemek (d, 2), bir StableExtractMin's …

32 ds.data-structures 

Zaman zaman insanların kuantum algoritmaları ve durumlar hakkında konuştuğunu ve aynı anda çoklu olasılıkları göz önünde bulundurabildiğini duydum, ancak bunun arkasındaki hesaplama modelini açıklayacak birini asla elde edemedim. Açık olmak gerekirse, kuantum bilgisayarların fiziksel olarak nasıl inşa edildiğini sormuyorum, onları hesaplamalı bir bakış açısıyla nasıl görüntüleyeceğimi soruyorum.

32 quantum-computing  big-picture 

let L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} ( nnn ikili olarak kodlanmış olduğu düşünülür). O zaman nin hesap karmaşıklığı hakkında ne söyleyebiliriz ? olduğu açıktır . Yanılmıyorsam, inanılmaz …

31 cc.complexity-theory  na.numerical-analysis 

ST-Bağlantı iki ayırt edici noktalar arasında yönlendirilmiş bir yolu vardır olup olmadığını belirlemenin bir sorundur ve yönlendirilmiş grafikte . Bu problemin logspace içerisinde çözülebilmesi, uzun zamandır açık bir problemdir. Bu vs sorunu denir .ssstttG ( V, E)G,(V,E)G(V,E)N-LN-LNLLLL altta yatan yönlendirilmemiş grafiği treewdth sınırlandırdığında ST-Connectivity'in karmaşıklığı nedir ?G,G,G NL-zor olduğu biliniyor …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Çok etkili kitapları Automata, Languages ​​and Machines (Cilt A, B) 'nin önsözünde, Samuel Eilenberg, rasyonel olmayan ilişkileri kullanarak rasyonel ilişkileri kullanan "hiyerarşi (rasyonel hiyerarşi olarak adlandırılır) ile ilgilenen C ve D Ciltlerini titizlikle vaat etti. Karşılaştırma için bir araç. Rasyonel kümeler bu hiyerarşinin en altındadır. Yukarı doğru hareket etmek, "cebirsel …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Bağımlı tipler ve programlama sözleşmeleriyle ilgili bazı makaleler okudum. Okuduklarımın çoğundan, sözleşmelerin dinamik olarak kontrol edilen kısıtlamalar olduğu ve bağımlı türlerin statik olarak kontrol edildiği görünüyor. Kısmen statik olarak kontrol edilen sözleşmelerin mümkün olabileceğini düşündüren bazı makaleler var: Hibrit Tip Kontrolü (C. Flanagan - 2006) Hibrit Çeşitlerini ve Sözleşmeleri Birleştirme …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

Durma sorununun genel olarak kararsız olduğunu biliyorum ama belli ki durması gereken bazı Turing makineleri ve bazıları da belli değil. Olası turing makinelerinin dışında, hiç kimsenin durup durmadığına dair bir kanıtı olmayan en küçük olan nedir?

31 halting-problem 

Sürekli optimizasyon literatürü ve TCS literatürüyle hangi tür (sürekli) matematiksel programların (MP'ler) verimli bir şekilde çözülebildiği ve hangilerinin çözülemeyeceği konusunda kafam karıştı. Sürekli optimizasyon topluluğu tüm dışbükey programların verimli bir şekilde çözülebileceğini iddia ediyor gibi görünüyor, ancak "verimli" tanımlarının TCS tanımına uymadığını düşünüyorum. Bu soru son birkaç yıldır beni çok …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Bir kart oyunu kurallarına basit bir Turing makinesini kodlamak istiyorum. Turing'in eksiksiz olduğunu kanıtlamak için evrensel bir Turing makinesi yapmak istiyorum. Şimdiye kadar Alex Smith'in 2 durumlu, 3 sembollü Turing makinesini kodlayan bir oyun durumu yarattım . Ancak, (kuşkusuz Vikipedi'ye dayanarak) makinenin gerçekten evrensel olup olmadığı konusunda bazı tartışmalar olduğu …

31 computability  turing-machines  universal-computation 

Josh Grochow'un karmaşıklık web günlüğündeki bu konukevinde , Temmuz ayında Princeton'da düzenlenen GCT'ye yönelik yeni bir atölye çalışmasını bildirdi. Katılımcıların birçoğu sezgiyi oluşturmak ve yöntemin potansiyeli olup olmadığını görmek için ile N P'den daha kolay sorunlara saldırmak için GCT'yi kullanmamız gerektiğini savundu .PP\mathsf{P}NPNP\mathsf{NP} Beni rahatsız eden soru: P ≠ E …

31 cc.complexity-theory  gct 

Bu sorunun cevabını gerçekten çok ilgilendim (ve hala ilgiliydim), çünkü bu çözülmemiş oyunların karmaşıklığına ilişkin ilginç bir varyasyon, bu yüzden bir ödül teklif ettim. Orjinal sorunun çok zor olduğunu düşündüm, bu yüzden lütuf almaya da değecek üç ilgili soru yayınladım. Ödül süresi dolmadan kimse cevap vermedi. Daha sonra ilgili soruların …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

Etrafında tonlarca tamamlanmış NP sorunu var ve bunları toplayan kaynaklar var, örneğin Garey ve Johnson'ın kitabına bakınız. NEXP-komple sorunların bir listesini de görmek isterim. Bir tane var mı? Var olmadığını varsaydığım gibi bu soruyu açıyorum (bunun bir topluluk wiki olması mı gerekiyor? Bu şeyleri bilmiyorum). İdeal olarak, liste NEXP-komple sorunların …

31 cc.complexity-theory  complexity-classes  big-list  nexp