Teorik Bilgisayar Bilimi

Bağlamsız gramerleri (CFG'ler) içeren birçok makalede, burada sunulan bu gramer örnekleri, sıklıkla oluşturdukları dilin kolay karakteristiklerini kabul etmektedir. Örneğin: S→aaSbS→aaSbS \to a a S b S→S→S \to oluşturur {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to oluşturur …

25 fl.formal-languages  context-free  context-free-languages 

Genel sayı alanlarındaki faktoring tam sayılarının hesaplamalı karmaşıklığı hakkında ne bilinmektedir? Daha spesifik olarak: Tamsayılar üzerinde tamsayıları ikili açılımları ile temsil ediyoruz. Tam sayıların genel sayı alanlarındaki analog gösterimi nedir? Sayı alanlarındaki önceliğin P veya BPP'de olduğu biliniyor mu? Sayı alanlarını çarpanlara ayırmak için en iyi bilinen algoritmalar hangileridir? ( …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

Bu cevap için Major teorik bilgisayar bilimi sorunları çözümsüz? Soru, NP'deki belirli bir sorunun zaman gerektirmesi durumunda açık olduğunu belirtir .Ω(n2)Ω(n2)\Omega(n^2) Cevap altındaki yorumlara bakmak beni şaşırttı: Dolgu ve benzer püf noktalarının yanı sıra, NP'deki ilginç bir problem için (doğal olarak belirtilmiş ) deterministik bir RAM makinesinde (veya çoklu-bant deterministik …

25 cc.complexity-theory  np  p-vs-np 

Umarım bu sorulacak politik olarak yanlış bir soru değildir, ancak genellikle CCC / ITCS / ICALP'de (ve bazen de FOCS / STOC'da) yayınlanan bir doktora öğrencisi için, daha az önemli eserler yayınlamak zararlı olabilir (kariyer açısından) daha az prestijli konferanslar (örneğin MFCS, FCT, STACS, IPL)? ECCC / arXiv’de bu tür …

25 soft-question  career 

Çalışan medyanı hesaplamam gerekiyor: Giriş: , k , vektör ( x 1 , x 2 , … , x n ) .nnnkkk(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Çıkış: vektörü , y i ortancasıdır ( x i , x i + 1 , ... , x i + k - 1 ) .(y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, …

25 ds.algorithms  ds.data-structures  lower-bounds 

Szemeredi'nin Düzenliliği Lemma, her yoğun grafiğin, birçok çift taraflı genişletici grafiğin bir birliği olarak yaklaştırılabileceğini söylüyor . Daha doğrusu, çoğu tepe noktasının kümeleri halinde bir bölümü vardır, öyle ki kümelerin çoğu çift taraflı genişleticiler oluşturur (bölümdeki kümelerin sayısı ve genişletme parametresi yaklaşık değer parametresine bağlıdır):O(1)O(1)O(1)O(1)O(1)O(1) http://en.wikipedia.org/wiki/Szemer%C3%A9di_regularity_lemma Seyrek grafikler için "iyi …

25 graph-theory  co.combinatorics  expanders 

Son zamanlarda, Ryan Willams, Doğal karmaşıklık sınıflarının ayrılmasını sağlamak için kaçınılmaz olduğunu kanıtladı: ve . N E X PN-EXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Doğal , devre karmaşıklığındaki tüm birleşimsel kanıtların yerine getirdiği ve (veya başka bir "zor" karmaşıklık sınıfında) hedef işlevinin , çalışan bir algoritma tarafından "zor" bir özelliğe sahip olup olmadığına karar …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Bu soru saf meraktan ortaya çıkıyor ( bir ipi karıştırmayı düşünürken ortaya çıktı , ama aslında bunun ilişkili olup olmadığından emin değilim) bu yüzden umarım uygun olur. Çeşitli grafik ürünleri var ve bunlardan herhangi biriyle ilgileniyorum. grafiğinin önemsiz bir ürün için izomorfik olup olmadığını belirlemenin karmaşıklığı nedir ? (Kesinlikle Kartezyen …

25 cc.complexity-theory  graph-algorithms 

Knuth en hacmi III Bilgisayar Programlama Sanatı (3.2 ayet bölüm 5,) listeleme Aşağıdaki tablo içerir kesin karşılaştırmaların asgari sayısını seçmek için gerekli boyutta bir sıralanmamış kümesinden inci en küçük elemanı tümü için, . Bu tablo, iyi bilinen kapalı form ifadeleri ile birlikte ve , 1976’dan bu yana sanatın çoğunu temsil …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

İlk bilgisayar bilimi konferansına katılacağım ve konferansların nasıl geliştirileceğine ilişkin tavsiyeleri okuduktan sonra , birkaç önerinin ilk konferansa katılan mezun öğrenciler hakkında olduğunu fark ettim. İlk konferansa mezun olan bir öğrenciye ne tavsiye edersiniz ve odak noktası ne olmalıdır.

25 soft-question  big-list  conferences 

Tarafından sonuç Robertson ve Seymour bir gösterir sabit bir grafiktir olup olmadığını test etmek için bir algoritma G küçük bir olan , H . Bu konuda iki buçuk sorum var:O (n3)O(n3)O(n^3)G,G,G'H'HH 1) O zamandan beri bu algoritmada gelişmeler olduğu anlaşılıyor. Şu anda en iyi bilinen algoritma nedir? 2a) İnsanlar en …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Aşağıdaki sorunun karmaşıklığı hakkında bilinenler: Verilen: rasyonel sayılar x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Çıktı: tamsayılar y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Amaç: en aza indirgeyin ,∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), burada e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Yani, rasyonel sayıları tam sayılara …

25 ds.algorithms  reference-request  optimization 

Başlıkta belirtildiği gibi, CIC ve ITT arasındaki herhangi bir ilişki ve farkı merak ediyorum. Birisi bu iki sistemi karşılaştıran bir literatürü açıklayabilir veya bana işaret edebilir mi? Teşekkürler.

25 type-theory 

Yönlendirilmemiş ve ağırlıklandırılmamış bir grafik ve eşit bir tamsayı göz önüne alındığında tepe noktalarının sayımının hesaplamalı karmaşıklığı nedir; öyle ki ve tepe kümesine sınırlı alt mükemmel bir eşleşme kabul ediyor? Karmaşıklık # P-tamamlandı mı? Bu problem için referans var mı?k S ⊆ V | S | = K G GG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

SAT çözücüler cebirsel saldırılarda , örneğin walksat ve minisat için çok önemlidir . Ancak, burada mevcut kıyaslama problemlerini çözerken ikisi arasında muazzam bir performans farkı var - Walksat bu problemler için bakandan çok daha hızlı. Bu neden? Waltsat'ın bu uygulamasında bazı performans iyileştirmeleri var gibi görünüyor - uluslararası SAT Müsabakalarına …

25 ds.algorithms  sat