Teorik Bilgisayar Bilimi

Metni maksimum genişlikteki satırlara eşit olarak bölmek için doğrusal bir zaman algoritması vardır. SMAWK (veya Knuth & Plass) kullanır ve "eşit olarak" şu anlama gelir: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Maksimum algoritma genişliği yerine metnin girmesini istediğim satır sayısını hesaba katacak algoritma için bir algoritma veya içbükey bir maliyet fonksiyonu var mı? Ayrıca doğrusal …

12 ds.algorithms 

Sadece türsüz lambda hesabı tarafından hesaplanabilen ancak daktilo lambda hesabı ile hesaplanamayan fonksiyonların bazı örneklerini bilmek istiyorum. Yeni başlayan biri olduğum için, bazı arka plan bilgilerinin tekrarlanması takdir edilecektir. Teşekkürler. Düzenleme: Yazılan lambda calculi tarafından, Sistem F ve basitçe yazılan lambda hesap hakkında bilmek niyetindeydim. İşlev olarak, Turing uyumlu herhangi …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Diyelim ki bir dil , ancak hangi dizelerin aslında dilin bir parçası olduğunu bilmez. Hepsini bir dil sonlu bir görünüşüdür: dizeleri sonlu grubu dilde olduğu bilinmektedir, ve şeritler bir sonlu grubu bilinmektedir dilde olmamak.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) Örneğin, Diyelim ki ve . dilinde , çünkü …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Sınırlamanın "polinom zaman cinsinden hesaplanabilir" gibi bir eşik yerine hesaplamanın sonluluğu olduğu kalkülüs hakkında akıl yürütmek genellikle daha kolaydır. Örgün diller teorisinde örneğin kullanmak yerine . x n + 1 = x n∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n , aperiodik monoidi karakterize etmek için, sonsuz kelimeler kullanmak daha kolaydır xω+1=xωxω+1=xωx^{\omega+1} = …

12 cc.complexity-theory  computability 

Filtrenin M-bitlerinin (M <= N) ayarlandığı N-bit ve K hash fonksiyonları boyutlarında bir çiçek filtresi verilir. Bloom filtresine yerleştirilen elemanların sayısına yaklaşmak mümkün mü? Basit Örnek 10 bitlik ayarlanmış 100 bitlik ve 5 karma işlevli bir BF varsayarak, aşağıdaki örnek üzerinde mulling yapıyorum ... En iyi durum senaryosu: Karma işlevlerinin …

12 ds.data-structures  pr.probability 

Sorunu çözen hiçbir algoritma için, giriş örneğinin n uzunluğunun bir fonksiyonu olarak bağlı bir zaman verebileceğimiz gibi karar verilebilir problemler var mı? Bu soruya geldim çünkü aşağıdakileri düşünüyordum: Yinelenen, ancak numaralandırılamayan bir sorunumuz olduğunu varsayın. Ayrıca, sorunun "evet" ifadesi olduğunu varsayalım. O zaman sorunun "evet" -enlerini tanımlayan hiçbir algoritma için, …

12 computability  time-complexity 

Dinamik grafiklerde maksimum akışı hesaplamak için hızlı bir algoritma arıyorum. bir grafik verilmiş yani ve s , t ∈ V maximum akışına sahip F de G den s için t . Daha sonra yeni / eski düğüm u bir grafik G 1 oluşturmak için karşılık gelen kenarlarıyla eklenmiş / silinmiştir …

12 graph-theory  graph-algorithms 

Ağırlık |x||x||x|ikili dizgiden x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n dizedeki dizelerin sayısıdır. Az olan girdilerdeki monoton bir işlevi hesaplamakla ilgilenirsek ne olur? Bir grafik sahip ise, karar biliyoruz -clique monoton devreler için zordur (diğerleri Alon Boppana, 1987 arasında), ancak bir grafiktir en örneğin sahipse k 3 kenarlar mümkün boyutta bir monoton sınırlanan derinlik devresi bulmak …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Karmaşıklık Genetiği Greg Kuperberg bir dil olduğunu belirtir XXX , öyle ki BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X , diğer bir deyişle, - BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ancak bu sonuç için referans vermiyor. Bu neden geçerli? Veya bir kanıt nerede bulunabilir? Bu soru kısmen motive edilir Cevabıma sorusuna “kısa mesajları ile çoklu …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Aşağıdaki özelliklere sahip bir dil L arıyorum: L bağlamsız olmamalıdır. L'nin tamamlayıcısı bağlamdan bağımsız olmamalıdır. (Bağlamsız dillerin en iyi örnekleri olarak ders kitaplarında gördüğünüz her şey, bu ikinci gereksinimin başarısızlığa uğradığı görülüyor.) L çok zor olmamalı, Örneğin, kararsız dillerin ilk iki gereksinime uyduğunu biliyorum, ancak istediğim, biraz "geliştirilmiş" bir otomat …

12 fl.formal-languages  automata-theory 

İyi bilindiği gibi, NP-sert optimizasyon problemleri, PTAS'a sahip olmaktan, herhangi bir faktör içinde yakınlaştırılmaya kadar çok farklı yaklaşım oranlarına sahip olabilir. Arada, çeşitli sabitlerimiz var, , , vb.p o l y ( n )O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) Olası oranlar kümesi hakkında bilinenler nelerdir? Herhangi bir "yaklaşım hiyerarşisi" olduğunu kanıtlayabilir miyiz? Resmi olarak, …

12 cc.complexity-theory  approximation-hardness 

İşimde şu sorun ortaya çıkıyor: Bağımsız bir sıra 65 seti olmadan bir grafiğin kromatik sayısına yaklaşan bilinen bir algoritma var mı? (Yani alfa (G) <= 64 bilinir ve | V | / 64 önemsiz bir alt, | V | önemsiz bir üst sınırdır. Ancak bu özel koşul altında daha iyi …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Ben bir kuantum optik adam daha bir kuantum bilgi adam daha ve esas olarak ana denklemler anlaşma. Operatör toplamı formuyla ilgileniyorum ve simüle ettiğim küçük bir kuantum sistemi için bu formdaki hataları elde etmek istiyorum. Yakalama: Kuantum sistemi, sinüzoidal işlevle modellenen harici (klasik) bir alan tarafından yönlendirilir ve sönümleme oranları …

12 quantum-information 

Barendregt'in konu azaltma kanıtında bir sorun buldum ( türleri ile Lambda taşlarının Thm 4.2.5 ). İspatın son adımı (sayfa 60) şöyle diyor: "ve dolayısıyla Lemma 4.1.19 (1), Γ , x : ρ ⊢ P: σ'Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' . " Bununla birlikte, lemma 4.1.19 (1) 'e uygun olması gerektiği Γ [ α⃗ …

12 lo.logic  type-theory  lambda-calculus  proof-theory 

Verilen bir endofunctor , herhangi bir polimorfik işlevler olarak gözlem fonksiyonlar tespit olduğu -coalgebra, için tanımlanan herhangi bir -coalgebra . Gözlem fonksiyonlarına bakmanın bir başka yolu, varsa nihai kömürünün fonksiyonlarıdır . Gözlem fonksiyonunu eşsiz homomorfizm ile nihai kömürüne oluşturarak polimorfizmi otomatik olarak elde ederiz. Ancak bu sadece nihai kömürü varsa …

12 ct.category-theory