Teorik Bilgisayar Bilimi

, normal dillerin pompalama özelliğini fazlasıyla tatmin eden LL\mathcal{L}tüm dillerin ailesi olsun . Yani: her biri için L ∈ L , bir orada N ∈ K st her kelime w ∈ L , | w | > N , w = x y z biçiminde yazılabilir, burada: 1. | y …

14 reference-request  fl.formal-languages  automata-theory 

Sabit zaman, zaman karmaşıklığının mutlak düşük sonudur. Birisi merak edebilir: sabit zamanda hesaplanabilen önemsiz bir şey var mı? Turing makinesi modeline bağlı kalırsak, cevap girişin sadece sabit uzunlukta bir başlangıç ​​segmentine bağlı olabileceğinden, çok fazla şey yapılamaz, çünkü girişin daha uzak kısımlarına sabit zamanda bile ulaşılamaz. Öte yandan, bit sayılarındaki …

14 cc.complexity-theory  ds.algorithms  time-complexity 

değişkenlerinin bir vektörünü ve A → x ≤ b ile belirtilen bir dizi doğrusal kısıtlamayı düşünün .x⃗ x→\vec{x}A x⃗ ≤ bAx→≤bA\vec{x}\leq b Ayrıca, iki politop düşünün P1P2= { ( f1( x⃗ ) , ⋯ , fm( x⃗ ) ) ∣ A x⃗ ≤ b }= { ( g1( x⃗ ) …

14 cc.complexity-theory  linear-algebra  linear-programming  polytope 

Razborov monoton fonksiyon eşleştirme olmadığını kanıtladı mP . Ancak, birkaç olumsuzluk ile polinom boyutlu bir devre kullanarak eşleşmeyi hesaplayabilir miyiz? Eşleşmeyi hesaplayan negatifleri olan bir P / poli devresi var mı? Olumsuzluk sayısı ile eşleşme boyutu arasındaki denge nedir?O(nϵ)O(nϵ)O(n^\epsilon)

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Biz parçalarını birleştirmek varsayalım yönsüz kenarlarının seti kullanılarak D gibi, ya bu ( i , j ) bağlı olan ( I + 1 , j + 1 ) , ya da ( i + 1 , j ) bağlanır ( i , j + 1 ) , tüm i , …

14 graph-theory 

Sekiz kraliçe sorunu hakkında wikipedia makalesini okuyordum. Kesin çözüm sayısı için bilinen bir formül olmadığı belirtilmektedir. Biraz arama yaptıktan sonra, "Tam eşlemelerin problemlerini saymanın sertliği hakkında" adlı bir makale buldum. Bu yazıda, en çok #queens kadar sert olduğu gösterilen ve #P'nin ötesinde bir sorun var. Vikipedi makalesinde # sayıların kapsamlı …

14 cc.complexity-theory  counting-complexity  search-problem 

Çoğumuz rasgele bir değişkenin Shannon entropisine, ve tüm ilgili bağıl entropi, karşılıklı bilgi, vb. gibi bilgi-teorik önlemler. Rasgele bir değişkenin min-entropisi gibi teorik bilgisayar bilimi ve bilgi teorisinde yaygın olarak kullanılan birkaç başka entropi ölçüsü vardır.'H( X) = - E [ günlükp ( X) ]H(X)=−E[log⁡p(X)]H(X) = -\mathbb{E} \bigl[ \log p(X)\bigr] …

14 it.information-theory  quantum-information 

Nash denge kavramının hesaplamalı olarak sınırlı bir versiyonu olup olmadığını merak ediyorum, aşağıdaki satırlarda bir şey var. Bir tahtada oynanan ve en uygun oyunun EXPTIME zor olduğu için karmaşık olan bir tür iki kişilik mükemmel bilgi oyunu hayal edin . Ayrıca, çizimlerin mümkün olmadığı basitlik için olduğunu varsayalım. Bu oyunu …

14 gt.game-theory 

Chaitin'in eksiklik teoremi , yeterince güçlü bir aritmetik teorisinin kanıtlayamadığını söylüyor K(s)>LK(s)>LK(s) > L; burada K(s)K(s)K(s) , dizilerinin Kolmogorov karmaşıklığıdır sssve LLL , yeterince büyük bir sabittir. LLL , bir kontrol cihazının (PCM) bit cinsinden boyutundan büyükse yeterince büyüktür . Teori için bir PCM TTT, girdi olarak bir tamsayı olarak …

14 lo.logic  kolmogorov-complexity 

Kısa bir süre önce, birden fazla bellek türünün mevcut olduğu ve belirli bir bellek bölümünün kapasitesi ile bu belleğe erişme hızı arasında bir değişimin olduğu bir durumda bellek kullanımını optimize etme genel sorunuyla ilgilenmeye başladım. Bilinen örnek, işlemci önbelleği, RAM ve sabit sürücüden ne zaman okunacağına / yazacağına karar veren …

14 optimization  program-analysis 

Cebirsel algoritmalar ve karmaşıklık hakkında bilgi edinmek istiyorum. Özellikle PIT ile ilgileniyorum. Sipser'in kitabı veya Arora-Barak'ın karmaşıklık ders kitabı gibi teori hakkında standart ders kitabı okuyan öğrenciler için bir dizi ders notu, kitap, makale ve anket var mı? Referanslar dizisi, yakın zamandaki gelişmiş sonuçları içerecektir.

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi? Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?) PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Güçlü normalizasyon kanıtları tartışılırken, bu yorum "normal form modelini" "tamamen sözdizimsel yöntemlerle" karşılaştırmaktadır. Bu beni daha temel bir soruya geri getiriyor: sözdizimine dayalı modeller karşısında sözdizimsel ve anlambilimsel yapıları kesin olarak ayırt edebilir miyiz? Cebir için terim modelleri, birinci dereceden mantık için Henkin modelleri ne olacak? Yapısal işlemsel anlambilim ne …

14 lo.logic  pl.programming-languages  operational-semantics 

Aşağıdaki ayarı göz önünde bulundurun: bir yığın verilir içerir , n ürün.sssnnn sabit sayıda ekstra yığın kullanabiliriz.O ( 1 )O(1)O(1) bu yığınlara aşağıdaki işlemleri uygulayabiliriz: bir yığının boş olup olmadığını kontrol edin, iki yığının üst öğelerini karşılaştırır, bir yığındaki üst öğeyi sil, üstteki öğeyi bir yığının içine bas, bir yığının …

14 ds.algorithms  sorting 

Deterministik olmayan bir Xor otomata (NXA) sözdizimsel olarak bir NFA'dır, ancak bir kelimenin tek sayıda kabul yolu varsa (NFA durumunda en az bir kabul yolu yerine) NXA tarafından kabul edildiği söylenir. Sonlu bir düzenli dil LLL , herhangi bir döngü içermeyen minimal bir NFA olduğunu görmek kolaydır (bir döngü hem …

14 fl.formal-languages  automata-theory  nondeterminism  minimization