Teorik Bilgisayar Bilimi

Polymath projelerinde büyük bir grup açık bir problem üzerinde çalışır. Bu çerçevede en iyi ne tür sorunlar işe yarıyor? Teorik bilgisayar bilimlerinde çok yönlü bir proje için iyi adaylar var mı? Polymath projelerinin teorik bilgisayar biliminde başarılı olma olasılığını diğer matematiğe kıyasla daha az engelleyen herhangi bir engel var mı?

11 soft-question  open-problem  research-practice 

Martin-Löf tipi teori temel olarak öngörülmeyen içermeyen endüktif konstrüksiyonların yordayıcı hesabı mıdır ?PropProp\mathtt{Prop} Eğer birbirleriyle yakından ilişkili ancak sadece daha fazla farklılıklar varsa , bu farklar nelerdir?PropProp\mathtt{Prop}

11 type-theory  calculus-of-constructions 

Kuantum bilgisayar kullanımında bilinen karmaşıklık avantajı olmayan mevcut doğal hesaplama problemleri listesinin ne olduğunu merak ediyordum. İşe başlamak için, düzenleme mesafesinin hesaplanması, bilinen en hızlı kuantum algoritmasının bilinen en hızlı klasik algoritma gibi göründüğünü düşünüyorum. Daha geçici olarak, bilinen bir kuantum hızının olmadığı bilinen bir başka sorun olarak sıralamayı öneririm …

11 ds.algorithms  quantum-computing  big-list 

Earley ayrıştırmalarına baktığımda çok zarif görünüyor ve GLR tekniklerinin neden popüler hale geldiğini merak ediyorum? Tomita'nın GLR'yi yarattığı Earley ayrıştırmada neyin yanlış olduğunu bilen var mı? Verim? Bu tartışma ile ilgili yayınlar çok takdir edilmektedir.

11 parsing 

Bir doğruluğu ispat için, ben programı denklik kullanılabilir bir kavramı arıyorum Barendregt en saf tip sistemlerde (PTS'ler) için; yeterli spesifik tip sistemler için eksik. Amacım bu fikri kendi iyiliği için araştırmak değil, kullanmaktır.≅≅\cong Bu nosyon " genişlemeli " olmalıdır - özellikle olduğunu kanıtlamak için, t 1t1≅t2t1≅t2t_1 \cong t_2 uygun türdekitüm …

11 pl.programming-languages  type-theory  operational-semantics 

Bilgisayar biliminde adik sayıların uygulanmasına ilişkin somut (veya zengin bir kaynak) örnekler var mı?ppp

11 survey 

Tarafından Göstermek içinde en az üzerinden derecesi G ve ile ö - ( G ) içinde derece az.δ+( G )δ+(G)\delta^+(G)G,GGδ-( G )δ−(G)\delta^-(G) Bir de ilgili soru , I Ghouila-Houri uzantısı belirttiğimiz Hamilton döngülere Dirac teoremi göstermektedir, eğer sonra G Hamiltonyan'dır.δ+( G ) , δ-( G ) ≥ n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} …

11 reference-request  graph-theory 

@ Marzio'nun belirttiği gibi, aşağıdaki oyun Genelleştirilmiş Coğrafya olarak bilinir . Bir grafik ve bir başlangıç ​​noktası v ∈ V verildiğinde, oyun aşağıdaki gibi tanımlanır:G = ( V, E)G,=(V,E)G=(V,E)v ∈ Vv∈Vv \in V Her turda (dönüşümlü iki oyuncu), bir oyuncu seçer ve sonra aşağıdakiler olur:u ∈ N( v )u∈N-(v)u\in N(v) …

11 graph-theory  graph-algorithms  gt.game-theory 

Herhangi bir DFA kullanarak benzetim yapmak için en az 2 n durum gerektiren durumları olan ( n önemsiz değil, en az 4 diyelim) bir 2DFA var mı ?nnnnnn2n2n2^n Bir iki yönlü DFA (2DFA) sadece tek bir yönde giriş kafasını hareket edebilir sonlu durum otomata farklı olarak, salt okunur Giriş bandı …

11 automata-theory  lower-bounds 

N-kraliçesi sorunu şudur: Giriş: N Çıktı: NXN satranç tahtasına N "kraliçelerinin" yerleştirilmesi, aynı satırda, sütunda veya köşegende iki kraliçenin bulunmaması. Bu konuda bir google araması yaparak, birçok profesörün birçok slaytının bunun bir NP-Zor problemi olduğunu iddia ettim. (Örn. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Ancak bir kanıt bulamadım (veya bir kanıt elde ettim). Bu soruyu …

11 cc.complexity-theory  np-hardness  csp 

Gross ve Tucker'ın Topolojik Grafik Teorisi kitabına göre , bir grafiğin bir yüzeye hücresel gömülmesi göz önüne alındığında ('yüzey' ile burada bazı tutamaçları olan bir küreyi kastediyorum ve S n'nin altında , tam olarak n tutamaçları), orijinal grafiğin yüzlerine köşe olarak muamele ederek ve karşılık gelen yüzlerin orijinal grafikte ortak …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Çiftler veya nöron grupları arasındaki karşılıklı bilgileri ölçen hesaplamalı bir sinirbilim laboratuvarında çalışıyorum. Son zamanlarda, patron "nöral dinamiklerin karmaşıklığını" ölçmeye odaklandı. Bu araştırma çizgisini takip ederken, grubumdaki bazı insanlar "karmaşık" ile "yüksek bir entropiye sahip" ile eşit görünüyorlar. Herhangi biri bana bilgi teorisi anlamında hesaplama karmaşıklığı (CS anlamda) ve entropi …

11 cc.complexity-theory  it.information-theory 

Yaklaşık algoritmalar, bazı sabit faktörlere kadar çıktı verebilir. Bu, tam algoritmalardan biraz daha az tatmin edicidir. Bununla birlikte, zaman karmaşıklığında sabit faktörler göz ardı edilir. Bu yüzden merak ediyorum aşağıdaki hile mümkün veya kullanıldı, bazı sorunu çözmek için :B ∘ AB∘AB \circ A Çözelti sabit faktör dahilinde elde etmek için …

11 ds.algorithms  big-list  approximation-algorithms 

Bu soru teknik olmayabilir. Algoritma sınıf için yerli olmayan konuşmacı ve TA gibi, ben her zaman merak gadget 'tümcesi gadget' veya 'değişken gadget' in aracı. Sözlük, bir gadget'ın bir makine veya bir cihaz olduğunu söylüyor, ancak NP-tam kanıtı bağlamında hangi konuşma dilinin anlamına sahip olduğundan emin değilim.

11 cc.complexity-theory  np-hardness  terminology  reductions 

CNF formülünün monoton olduğu bir SAT varyasyonu ile ilgileniyorum (değişken yok sayılmaz). Böyle bir formül açık bir şekilde tatmin edilebilir. Ancak gerçek değişkenlerin sayısının, çözümümüzün ne kadar iyi olduğunun bir ölçüsü olduğunu varsayalım. Yani şu problemimiz var: MİNİMUM DOĞRU MONOTON 3SAT INSTANCE: Değişkenlerin U kümesini, bir değişmez değişkenin değişmediği (olumsuzlanmayan) …

11 cc.complexity-theory  np-hardness  sat