Teorik Bilgisayar Bilimi

Takip Etme MonadPlus olmayan ancak alternatif olan bir Monad örneği nedir? : Varsayalım bir tek hücreli olup. İlişkiler betweem nelerdir m bir varlık Alternatif bir MonadPlusCatch ve MonadPlusDistr ? mmmmmmAltı olası çiftin her biri için ya birinin diğerini ima ettiğine dair bir kanıt ya da buna karşı olmayan bir karşı …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Burada: http://www.planarity.org/Klein_elementary_graph_theory.pdf (bölüm düğünlerinde) bir düzlemsel grafiğin birleştirici gömülmesi tanımı verilmiştir . (yüzlerin tanımı vb. ile) Herhangi bir grafik için kolayca kullanılabilse de, düzlemsel grafiği Euler formülünün tuttuğu grafik olarak tanımlar (grafiğin bağlı olduğu varsayılarak). Her düzlem grafiği için, kombinatoryal gömmedeki yüzlerin tanımının topolojik gömmedeki yüzlerin tanımına benzer olması oldukça …

12 graph-theory  co.combinatorics  planar-graphs 

Wadler'in Ücretsiz Olarak Özyinelemeli Türleri! [1], iki tür gösterdi: ve ve ikili olduklarını iddia etti . Özellikle, türünün olduğunu belirtti olduğu değil birincisinin ikili. Burada söz konusu ikilik, mantıktaki De Morgan ikilikten farklı görünüyor. Özellikle bahsi geçen üç tip için tiplerin ikililiğinin nasıl tanımlandığını merak ediyorum, üçüncüsü olmasa da ikincisinin …

12 lo.logic  type-theory 

İki bağımsız ayrık rasgele değişken X ve Y toplamının entropi üzerinde bir bağ arıyorum . Doğal olarak, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Ancak, n bağımsız Bernoulli rasgele değişken Z 1 , … , Z n toplamına …

12 it.information-theory  shannon-entropy 

Diyelim ki fonksiyonumuz var f: Zn2→ Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}, öyle ki Σx ∈ Zn2f( x )2= 1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (böylece bir dağıtım olarak düşünebiliriz { f( x )2}x ∈ Zn2{f(x)2}x∈Z2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n}) . Böyle bir fonksiyonun entropisini şu şekilde tanımlamak doğaldır: 'H( f) = - ∑x …

12 it.information-theory  boolean-functions  fourier-analysis 

Bir algoritma için bir "problem" tanımlama doğal sayı kabul ve geri dönen, 0 ya da döner 1 1 , en az biri üzerinde , n ∈ N . Böyle bir n'ye A'nın "çözümü" denir.birAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Bir problemi kabul eden ve çözümlerinden birini döndüren bir algoritması olarak bir "evrensel problem …

12 cc.complexity-theory  ai.artificial-intel 

Genel düşmanın alt sınırının artık Reichardt ve ark.'nın atılım çalışmaları nedeniyle kuantum sorgu karmaşıklığını karakterize ettiği bilinmektedir. Aynı çalışma hattı, kuantum algoritmalarını tasarlamak için yayılma programı çerçevesine bağlantılar da kurar. Simon algoritması ve Shor'un dönem bulma algoritması gibi üstel hızlananlar da dahil olmak üzere birçok ilginç kuantum algoritması, kuantum sorgu …

12 cc.complexity-theory  quantum-computing  query-complexity 

ve boyutunda iki dize , standart Levenshtein düzenleme mesafesi hesaplaması, zaman karmaşıklığı ve boşluk karmaşıklığı olan dinamik bir algoritma ile . (Düzenleme mesafesinin bir fonksiyonu olarak bazı iyileştirmeler yapılabilir , ancak nin özellikle küçük olduğu konusunda herhangi bir varsayımımız yoktur .) Yalnızca düzenleme mesafesinin değeri ile ilgileniyorsanız (yani, minimum düzenleme …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Her tepe noktasının tam olarak iki giden kenarı ve ikili olarak kodlanmış doğal bir N sayısı, iki s ve t köşesi olan n düğümlü yönlendirilmiş bir grafik verildiğinde, N adımda s den t'ye (mutlaka basit değil) yol sayısını saymak istiyorum. Bu # P zor bir sorun mu? Veya genel olarak, …

12 cc.complexity-theory  graph-theory  counting-complexity 

Bir kısmi sipariş koleksiyonuna sahipseniz, topolojik sıralama, koleksiyonun toplam siparişe bir uzantısı olup olmadığını size bildirir (bu durumda bir uzantı, kısmi siparişlerin her biriyle tutarlı bir toplam sipariştir). Bir varyasyonla karşılaştım: Bir dizi düzeltme . Size tekrarlama yapılmadan çizilen öğelerin dizileri (diziler 1 ile arasında uzunluktadır ).σ 1 , …

12 ds.algorithms  reference-request  order-theory 

LTL , Büchi / QPTL , CTL ve CTL * ' nin anlamlılığı arasındaki ilişki nedir ? Bu geçici mantıkların çoğunu kapsayan (özellikle doğrusal ve dallanma zamanı arasında) bazı referanslar verebilir misiniz? Bu geçici mantıklara ve örnek olarak bazı pratik özelliklere sahip bir Venn diyagramı mükemmel olurdu. Örneğin: Büchi'de belirtilebilecek, …

12 lo.logic  automata-theory  model-checking  temporal-logic 

Bir MPA (multipebble otomat) bir 2DFA aslında en fazla çakıl (keyfi numarasını kullanabilirsiniz (iki yönlü deterministik sonlu durum makinesi) 'dir belirli bir girdinin üzerine çakıl giriş iki ucu arasındaki bantta yazılır - - ). Hesaplama sırasında, bir MPA kafanın altındaki sembolün bir çakıl taşı olup olmadığını tespit edebilir ve daha …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Petkovsek, Wilf ve Zeilberger'in A = B kitabı , farklı binom miktarlarını hesaplamak için algoritmaları açıklar. AFAIK, bu algoritmalar farklı yazarlar tarafından hala geliştirilmektedir. Bu algoritmaların en güncel uygulamalarını nerede bulabileceğimizi biliyor musunuz? Sage gibi bazı ücretsiz yazılımlarda uygulama olup olmadığını biliyor musunuz ?

12 ds.algorithms  co.combinatorics  implementation 

Arora ve Barak, B P ⋅ N P olarak ifade edilebildiğini, yani 3SAT'a rastgele indirgeme yapan dil kümesini gösterir. M bir de doğal bir randomize bir genellemedir N , P , bir randomize bir deterministik verifier yerine olmasıyla.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Bunlardan birinin "NP olduğu gibi P, BPP'ye ne kadar yakın" olduğu …

12 cc.complexity-theory  big-picture 

Umarım birisi bunu bilir, bu yüzden literatürü okumak zorunda değilim ... sayı dizisini göz önünde bulundurun . Diziyi n - 1 aralık [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] olarak …

12 ds.algorithms  reference-request  sorting