Teorik Bilgisayar Bilimi

Bir düzlemsel grafik geçen kenarlara sahip olmadan düzlemde gömülebilir bir grafiktir. Let bir olmak k yani, bir hypergraph gibi tüm hyperedges olduğu boyutu K -uniform-hypergraph.G=(X,E)G=(X,E)G=(X,E)kkk Hipergrafları düzleme (kümeleme veya başka bir uygulama bağlamında) gömmek için bazı çalışmalar yapılmıştır , ancak çoğu zaman veriler düzleme gömülemez. Çözüm, onu biraz kayıpla zorlamak …

12 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

Bir ispat girişimim var ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. İspat girişimi, Karp'ın⊕P⊕P\oplus \mathbf{P}tamamlanmış problem ⊕⊕\oplus3-DÜZENLİ VERTEX KAPAK SAT. Kübik bir grafik verildi GGG, azalma bir CNF formülü çıkarır FFF aşağıdaki özelliklere sahip: FFF en fazla 111 tatmin edici ödev. FFF ancak tepe noktası sayısının GGG garip. Sorular Hangi sonuçları olacak ⊕P⊆NP⊕P⊆NP\oplus …

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

Kuantum hesaplamadaki gelişmeler yeni klasik algoritmaların geliştirilmesine yol açmıştır. Dikkate değer en yeni örnekler doğrusal cebir için kuantumdan ilham alan algoritmalardır: Öneri sistemleri için kuantumdan ilham alan klasik bir algoritma Temel bileşen analizi ve denetimli kümeleme için kuantumdan ilham alan klasik algoritmalar Boyuta logaritmik bağımlılık ile kuantumdan ilham alan düşük …

11 quantum-computing  randomized-algorithms 

Basit Lambda Hesabı ve Mantıksal Çerçeve'nin kalıtsal ikamesi hakkında okudum farklı terim ve türlerle . Merak ediyorum, bir evren hiyerarşisine sahip bağımlı tipte bir sistemde kalıtsal ikame örnekleri var mı? yani burada TR u , e : Se t0: Se t1: Se t2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 vs. Özellikle …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Boşluk-hiyerarşi teoreminden fff boşluğa göre yapılandırılabilir ise DSPACE ( ) 'nin DSPACE ( eşit olmadığı bilinmektedir .2f(n)2f(n)2f(n)f ( n ) )f(n))f(n))f(n)) Burada, DSPACE ( , uzayında sabit bir alfabeye sahip bir Turing makinesi tarafından çözülebilen tüm problemlerin sınıfı anlamına gelir . Bu, Uzay-hiyerarşi teoremini böyle bir doğrulukla düşünmeye izin verir.f(n))f(n))f(n))f(n)f(n)f(n) …

11 cc.complexity-theory  complexity-classes 

"En büyük sayı oyunu adı" iki oyuncudan gizlice bir sayı yazmasını ister ve kazanan daha büyük sayıyı yazan kişidir. Oyun genellikle oyuncuların bir noktada değerlendirilen işlevleri yazmasına izin verir, bu nedenle 222222222^{2^{2^{2}}} de yazmak için kabul edilebilir bir şey olacaktır. Meşgul Kunduz işlevinin ( BB(x)BB(x)BB(x) ) değeri, büyük xxx değerleri …

11 computability  undecidability 

Genel Soru Uzay hiyerarşisi teoremi muntazam olmayan hesaplamaya genellenir mi? İşte birkaç özel soru daha: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Tüm mekanda yapılandırılabilir işlevler için DSPACE (o (f (n))) / poly \ subsetneq DSPACE (f (n)) / poly mi?D S P A C E ( o ( f ( n ) ) …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Sözdiziminde ve özellikle yakalamadan kaçınma ikamesinde bağlı değişkenleri temsil etme sorunu iyi bilinir ve birtakım çözümlere sahiptir: alfa denkliğine sahip değişkenler, de Bruijn indeksleri, yerel olarak adsızlık, nominal kümeler vb. Ama yine de hiçbir yerde kullanılmadığını gördüğüm oldukça açık bir yaklaşım var gibi görünüyor. Yani, temel sözdiziminde tek bir "değişken" …

11 lo.logic  pl.programming-languages  lambda-calculus 

Sonlu alfabesinin üzerinde kelimelerin dizi öneki içermeyen bir başka bir öneki hiçbir iki ayrı kelime varsa. Soru: NFA olarak verilen normal bir dilin sonsuz önek içermeyen bir alt küme içerip içermediğini kontrol etmenin karmaşıklığı nedir? Cevap (burada Mikhail Rudoy'a bağlı olarak) : Polinom zamanında yapılabilir ve sanırım NL'de bile. Mikhail'in …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

Genel olarak bir diophantine denkleminin tamsayı çözümü olup olmadığına karar vermek durma problemine eşdeğerdir. Bir kuadratik diofantin denkleminin herhangi bir çözümü olup olmadığına karar vermenin NP-tam olduğuna inanıyorum. P-tam problemi veren ilgili denklemler üzerinde başka bir kısıtlama var mı?

11 cc.complexity-theory  linear-algebra  polynomials 

Klasik sorun DÜZENLİ DİL KAPSAMI ile ilgileniyorum. Düzenli bir ifadesi verildiğinde , ile ilişkili normal dili belirtiriz . (Düzenli ifadeler , operasyon birliği, Kleene-star ve birleştirme ile sabit bir alfabe üzerindedir .)EEEL ( E)L(E)L(E)ΣΣ\Sigma Girdi: İki düzenli ifadeler ve Soru: Bu doğru mu ?E1E1E_1E2E2E_2 L ( E1) ⊆ L ( …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Karar Sorununun Monadic Sınıfı olarak da bilinen Monadic Birinci Dereceden Mantık, tüm tahminlerin bir argüman aldığı yerdir. Ackermann tarafından karar verilebilir ve NEXPTIME-tamamlandı . Bununla birlikte, SAT ve SMT gibi problemlerin teorik sınırlara rağmen, bunları çözmek için hızlı algoritmaları vardır. Merak ediyorum, monadik birinci dereceden mantık için SAT / SMT'ye …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Ben nnn ikili vektörler S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} ve hepsi vektör olan bir hedef vektör t=1kt=1kt = 1^k var. Varsayım: Eğer elemanlarının lineer bir kombinasyonu olarak yazılabilir S fazla Z / q Z için tüm ana güç q , o t lineer bir kombinasyonu …

11 reference-request  linear-algebra  finite-fields 

Let sonlu bir yapı olabilir. İlk sipariş teorisi yapar T : = T , H ( A ) bir olduğu anlamda, sınırlı niceleyici dereceye sahip q ∈ N , öyle ki tüm cp ∈ T ile q r ( φ ) > q, olduğu bir φ ' ∈ T ile …

11 co.combinatorics  lo.logic  relational-structures 

Doğrusal tip sistemleri daha iyi anlamak için doğrusal mantığı anlamaya çalışıyorum. Kurallara modal I mantığı yaptığım Ancak, gerisindeki bir sezgi almak için başarısız - anlamına gereklidir Kripke çerçeveleri gibi her ulaşılabilir dünya için gereklidir [ ise olduğu olası mutatis mutandis]. Ama ikilik için sezgisel bir açıklama bulamıyorum ve hangisi (varsa) …

11 lo.logic  type-theory  linear-logic