Teorik Bilgisayar Bilimi

Eşik kapıları ile ifade edilebilir fonksiyonların karmaşıklığını anlamaya çalışıyorum ve bu beni yol açtı . Özellikle, şu anda içinde öğrenme hakkında bilinenlerle ilgileniyorum , çünkü bölgede uzman değilim.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Şimdiye kadar keşfettiğim şey: Tüm , Linial-Mansour-Nisan aracılığıyla tekdüze dağılım altında quasipolinom zamanda öğrenilebilir .A C0birC0\mathsf{AC}^0 Bunların kağıt …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

NP mi DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n}) ?

16 cc.complexity-theory  complexity-classes 

Karmaşıklık sınıfı operatörleri hakkında yazarken başvurabileceğim iyi açıklayıcı makaleler veya anketler olup olmadığını merak ediyorum : karmaşıklık sınıflarını nicelleştiriciler gibi şeyler yaparak dönüştüren operatörler. Operatör örnekleri Aşağıdakiler, bir cevabın tanımlayabilmesi gereken minimum bir operatör listesi olarak yorumlanabilir. Burada, CC\mathbf C keyfi bir sonlu alfabe üzerinde rastgele bir dil kümesidir ΣΣ\Sigma. …

16 reference-request  complexity-classes 

Bir kenar kapak grafiğin her tepe kapağı en az bir kenarına bitişik olacak şekilde bir grafik kenarlarının bir alt kümesidir. Aşağıdaki iki makale, sayma kenarı kapaklarının # P -complete olduğunu söylüyor : Kenar Kapaklarını Saymak ve Yol Grafiklerinin Kenar Kapaklarını Oluşturmak için Basit Bir FPTAS . Ancak, bir şeyi kaçırmadıkça, …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Hiyerarşi teoremleri temel araçlardır. Bunlardan çok sayıda daha önceki bir soruda toplanmıştır (bkz. Hangi hiyerarşi ve / veya hiyerarşi teoremlerini biliyorsunuz? ). Bazı karmaşıklık sınıfı ayrımları doğrudan hiyerarşi teoremlerinden gelir. Bu iyi bilinen ayırma örnekleri: , , , .L≠PSPACEL≠PSPbirCEL\neq PSPACEP≠EXPP≠EXPP\neq EXPNP≠NEXPN-P≠N-EXPNP\neq NEXPPSPACE≠EXPSPACEPSPbirCE≠EXPSPbirCEPSPACE\neq EXPSPACE Ancak, her ayrım bir hiyerarşi teoreminden kaynaklanmaz. …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Yönlendirilmiş grafikler için NPC olduğu bilinen ama yönlendirilmemiş grafikler için bir polinom algoritması olan sorunları arıyorum. Burada "Yönlendirilmemiş" sorunların "yöneltilmemiş" varyantından daha kolay olan diğer yönüyle ilgili soruyu gördüm , ancak yönlendirilen tarafta sertlik arıyorum. Örneğin, Geri Besleme kenarı kümesinin yönlendirilmiş üzerinde NPC olduğu, ancak yönlendirilmemiş grafiklerde polinom zamanı çözülebildiği …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Kitaba baktığımızda , Homotopy Type Theory - aşağıdaki konuları görüyoruz: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 The unit type 2.9 …

16 type-systems 

Belirsiz Sonlu Otomatlar (UFA), deterministik olmayan sonlu otomatlardır (NFA). Bir NFA denir kesin her kelime eğer En az bir kabul yolu vardır.w ∈ Σ*w∈Σ*w\in \Sigma^* Bu anlamına gelir .D FA ⊂ UFA ⊂ NFbirDFbir⊂UFbir⊂N-FbirDFA\subset UFA\subset NFA Bilinen ilgili otomat sonuçları: NFA minimizasyonu PSPACE-Complete'tir. Sonlu diller üzerinde NFA minimizasyonu DP-Hard'dır . …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Gowers kısa süre önce , çözümü devre alt sınırlarını kanıtlamakla ilgili olan "ayrık Borel belirliliği" adını verdiği bir sorunu özetledi . Karmaşıklık teorisyenlerinin bir kitlesine uyarlanmış yaklaşımın bir özetini verebilir misiniz? Bu yaklaşım kanıtlamak için daha ne alacağını şey yeniden ispatı bilinen alt sınır dahil?

16 cc.complexity-theory  p-vs-np 

Yazıda grafikte İzomorfizma için etkili bir algoritma Corneil ve Gotlıeb, 1970 tarafından bir varsayım belirtilen algoritma polinom zamanda GI çözümü için yetki veren belirtilmiştir. Yani: temsili grafiklerin verilen grafiğin otomorfizm bölümlemesini sergilediğini Açıkçası, bu varsayım şimdiye kadar kanıtlanmamıştır (aksi takdirde GI'nin P'de olduğunu biliriz). Sorum şu ki, bunun yanlış olduğu …

16 graph-isomorphism  automorphism 

Negatif olmayan tamsayılarda lineer diofantin denklemini çözmede NP-tam problemi hakkında bulabileceğim çok az bilgi var. Yani, negatif olmayan denklemine bir çözüm var mı, burada tüm sabitler pozitif mi? Bu sorunun bildiğim tek kayda değer sözü Schrijver'in Doğrusal ve Tamsayılı Programlama Teorisinde . Ve o zaman bile, bu oldukça sıradan bir …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Herhangi bir düzlemsel , sırasıyla, dış düzlemsel grafik karşılar | E ′ | ≤ 3 | V ′ | - 6 , sırasıyla, | E ′ | ≤ 2 | V ′G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6 , her alt grafiği için G ' = ( V ' , E ' ) arasında G …

16 reference-request  graph-theory  graph-algorithms 

Müfredat oluşturmayı gerektiren yeni bir TCS lise programı öğretmem teklif edildi. Bununla ilgili görüş ve önerilerinizi duymak isterim. İlk olarak, bir TCS programının başarılı bir şekilde (veya başarısız bir şekilde) öğretildiği liseleri bilen var mı? Fikir, seçkin seçkin öğrenciler için 3 yıllık bir program (10-12. Sınıflar, 16-18 yaş arası), yaklaşık …

16 teaching 

Bu soru muhtemelen konu ve konu dışı arasındaki sınır çizgisinde, ancak burada benzer sorular gördüm, bu yüzden soracağım. Ben girdisi en fazla tatmin edici atama sahip bir CNF formülü olan bir Benzersiz SAT çözücü uyguluyorum . Pratik davranışını test etmek için bir dizi formüle ihtiyacım var. Onları web'de aradım ve …

16 sat 

Merak ediyorum, görsel olarak aşağı itilen otomata ile ilgili herhangi bir makale veya araştırma var, ancak tek harfler yerine kelimelerin yığına itilmesine izin veriyor musunuz? Alternatif olarak, εε\epsilon geçişlerine sembollerin itilmesine izin veren bir yapı da aynı hedefe ulaşabilir. Açıkçası, bu tür varyasyonlar oluşturulabilir, ancak VPA'ları ilginç kılan kapatma ve …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages