Teorik Bilgisayar Bilimi

Sadece Buchi otomatlarının LTL'den daha etkileyici bir model olduğunu değil, belirli formülün LTL'de ifade edilebildiğini / ifade edilemeyeceğini kanıtlamama yardımcı olabilecek genel bir teknik arıyorum. Örneğin, " en azından eşit konumlarda gerçekleşir" aşağıdaki Buchi otomatik verileriyle tanımlanabilir: burada ve .ppp(q0,q1,Σ,δ,q0,{q0})(q0,q1,Σ,δ,q0,{q0})({q_0, q_1}, \Sigma, \delta, q_0, \{q_0\})δ(q1,∗)=q0δ(q1,∗)=q0\delta(q_1, *) = q_0δ(q0,p)=q1δ(q0,p)=q1\delta(q_0, p) = …

11 lo.logic  automata-theory 

(Tara B Göre) DÜZENLEME: Hala ilgi duyarım referans başıma kağıt için kendim kanıtlamak zorunda gibi bu bir kanıtı için. Bu yazıda yer alan Teorem 4'ün kanıtını arıyorum: Liu ve Weiner tarafından Bağlamdan Bağımsız Dillerin Kesişme Hiyerarşisi . Teoremi 4: Bir boyutlu afin manifoldu boyutuna sahip olup, bunların her biri afin …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Kuantum kapılarının sonlu kümesi Verilen o Karar verilebilen olup, olmadığını (hesaplama teorik anlamda cinsinden) G evrensel kapısı kümesidir? Bir yandan, "hemen hemen tüm" kapı takımları evrenseldir, diğer taraftan, evrensel olmayan kapı takımları hala iyi anlaşılmamıştır (özellikle, her evrensel olmayan kapı takımının klasik olarak simüle edilebilir olup olmadığı bilinmemektedir), bu yüzden …

11 quantum-computing 

Belirli bir işlevin yerel minimum (maksimum) bulabilen gradyan iniş algoritmasına aşinayım. Fonksiyonun birkaç yerel ekstremaya sahip olduğu mutlak minimum (maksimum) bulmaya izin veren gradyan inişinde herhangi bir değişiklik var mı? Mutlak aşırılık bulmak için lokal ekstremumu bulabilecek bir algoritma nasıl geliştirilir?

11 ds.algorithms  approximation-algorithms  machine-learning 

Anladığım kadarıyla, bilgisayar bilimlerinde veri türleri, Russell'ın paradoksu gibi şeyler nedeniyle küme teorisine dayanmaz, ancak gerçek dünya programlama dillerinde olduğu gibi, "kendini içermeyen küme" gibi karmaşık veri türlerini ifade edemeyiz, uygulama türünün, örnek üyeliğinin bu tür / kümeye özgü özellik sayısıyla (belirli özelliklerin, yöntemlerin varlığı) tanımlandığı sonsuz bir üye kümesi …

11 type-theory  set-theory  type-systems 

-calculus'u bir hesap yerine bir cebir olarak adlandırmanın farkı nedir ? Bu soruyu gündeme getiriyorum çünkü bir yerde " -calculus bir matematik değil bir cebir" (iirc, Dana Scott'a atfedilen). Amaç ne? Teşekkürler.λλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Yakın zamanda yüksek lisans dersime başladım. Geçen dönem ağlar, yazılım mühendisliği, mimarlık gibi farklı disiplinlerden dersler aldım. Son zamanlarda, algoritmalar ve veri yapılarında ileri bir ders aldıktan sonra, beni en çok ilgilendiren bir ders bulduğumu düşünüyorum (diğer benzer konular dahil programlama dilleri vb. ). Tezim için çalışabileceğim ve muhtemelen doktora …

11 soft-question  career 

Denetlediğim öğrencilere aşağıdaki alıştırmalar yapıldı: Düzlemdeki nnn nokta verildiğinde , tüm nokta çiftleri arasındaki mesafenin minimum olduğu bir çift nokta bulan bir algoritma geliştirin. Algoritma o (n ^ 2) zamanında çalışmalıdır o(n2)o(n2)o(n^2). Görevi zamanında çözen (nispeten) basit bir böl ve fethet algoritması vardır Θ(nlogn)Θ(nlog⁡n)\Theta(n \log n) . Soru 1 : …

11 ds.data-structures  cg.comp-geom 

İçinde dağıtılmış sürüm kontrolü sistemleri (örneğin, bir Mercurial ve Git ) verimli bir şekilde yönlendirilmiş karşılaştırma asiklik grafikler (DAG'ler) için bir ihtiyaç vardır. Ben bir Mercurial geliştiricisiyim ve iki DAG'ı karşılaştırmanın zamanını ve ağ karmaşıklığını tartışan teorik çalışmaları duymakla çok ilgileniriz. Söz konusu DAG'lar kaydedilen revizyonlardan oluşur. Revizyonlar bir karma …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Let bir tamsayı dizisi olarak burada her bir j ∈ { 1 , 2 , ... , n } . İçin i ∈ { 1 , 2 , ... , n } , let m i = | { j : a j = i } | . K frekans …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Bu soru bir ilişkilidir son soruya tarafından Janoma . Arka fon Kısıtlama programlamada, bir düzenli genel kısıtlama ccc bir alan üzerinde DDD bir çift (s,M)(s,M)(s, M) ile sss değişkenlerin tuple (kapsam) ve MMM alanı üzerinde bir DFA DDD . Bir atama θθ\theta için sss tatmin ccc ise MMM dize kabul …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

kenarlı ağırlıklı yönlendirilmemiş bir grafik göz önüne alındığında , verilen herhangi bir köşe çifti arasında yaklaşık 2'den daha az uzaklık mesafesini hesaplamak istiyorum. Tabii ki, subakratik boşluk ve doğrusal olmayan sorgu zamanını kullanmak istiyorum.m=o(n2)m=o(n2)m = o(n^2) Zwick'in matris çarpımını kullanan sonucunun farkındayım, ancak bu sorun için herhangi bir kombinasyon algoritması …

11 ds.algorithms  graph-algorithms 

öğelerine sahip bir yarı olduğunu varsayalım . Hedefimiz .(S,∘)(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,...,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesben∘ si + 1∘ ⋯ ∘ sjsben∘sben+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j “On-line ürün sorgularını yanıtlamak için Optimal Önişleme” Alon ve Schieber, bu tür her bir sorguyu en çok adımda (burada ters Ackermann işlevidir) cevaplayabileceğimizi kanıtlamaktadır. doğrusal …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Sanırım # P-Space olarak adlandırılırdı, ancak bundan bahseden sadece bir makale buldum. EXP-TIME-Complete, NEXP-Complete ve EXP-SPACE-Complete sorunlarının sayım versiyonuna ne dersiniz? Toda Teoremi gibi herhangi bir dahil etme veya dışlama ile ilgili olarak atıfta bulunabilecek daha önce yapılmış bir çalışma var mı?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Geleneksel sanat galerisi sorunu bir bölge kurar ve bir miktar görünürlük anlayışıyla koruma sağlar ve tüm bölgeyi görmek için yerleştirilmesi gereken minimum sayıda koruma ister. Hiç kimse görünürlük bölgesinin bir çift gardiyan tarafından tanımlandığı sanat galerisi varyantlarına baktı mı ? Örneğin, bir formülasyon, minimum sınırlayıcı diski kaplayan bir çift koruma …

11 reference-request  cg.comp-geom