Teorik Bilgisayar Bilimi

Bir hypergraph bir çizgi grafiğidir (basit) grafiktir kenarlarını olan , iki kenarlı köşeler olarak bitişik olan da boş olmayan kesişim varsa. Bir hipergraf, kenarlarının her birinin en fazla köşesi varsa bir hipergrafıdır .HHHGGGHHHHHHGGGrrrrrr Bir grafiktir verilen: Aşağıdaki problemin karmaşıklığı ne bir orada halen mevcut, -hypergraph şekilde bir çizgi grafiğidir ?GGG333HHHGGGHHH …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Sınırlı derinlik hesaplaması ile ilgili iki soru: 1) n bit ile başladığınızı ve i bitiyle başlamak için bağımsız olarak bazı p (i) olasılıkla 0 veya 1 olabileceğini varsayın. (Sorunu basitleştirirse, tüm p (i) 'lerin 0,1 veya 1/2 olduğunu varsayabiliriz.hatta hepsi 1/2.) Şimdi sınırlı sayıda hesaplama turu yapıyorsunuz. Her turda, ayrık …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Alman Wikipedia'da sonsuz bir grafiğin sonsuz sayıda düğümü veya sonsuz sayıda kenarı olan bir grafik olduğunu okudum . Sadece sonlu grafikler için uygulamalar ve algoritmalar biliyorum. Sonsuz grafikler ne işe yarar? Bunların uygulamaları nelerdir? Sonsuz grafikler üzerinde çalışamayacağınız için sonsuz grafikler üzerinde çalışacak algoritmaları hayal edemiyorum. Yani üzerinde çalışamazsın.

20 graph-theory  co.combinatorics 

Başlangıç ​​düzeyindeki bir öğrenci düzeyinde derleyici doğruluk kanıtlarını, tercihen seslendirme yöntemlerini kullanarak öğretici materyal arıyorum. Alternatif olarak, sorunları göstermek için kullanabileceğim bazı basit derleyici örneklerini biliyor musunuz? (Bana gelen ilk örnek, infix'ten postfix ifadelerine bir çevirmenti. Ancak sözdiziminde indüksiyonun nasıl yapılacağı dışında ilginç bir şey gösteremedi.)

20 reference-request  pl.programming-languages  semantics  compilers 

Biz liste sıralamak istediğinizi varsayalım ait gerçek sayılar. Biz sıralayabilir siyah kutu verildiğini varsayalım anında gerçek sayılar. Bu kara kutuyu kullanarak ne kadar avantaj elde edebiliriz?n √SSSnnnn--√n\sqrt n Örneğin , kara kutuya yalnızca çağrıları olan numaraları sıralayabilir miyiz ? Bulduğum en iyi algoritma kara kutuya çağrı kullanıyor . Ama daha …

20 ds.algorithms  sorting  decision-trees 

Tatmin edici bir atama bulmak MAX 3SAT için bir polinom zaman algoritması olduğu PCP teoremi durumları bir karşılanabilir 3SAT formül sürece ait maddeler P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Maddelerin karşılayan önemsiz bir polinom zaman algoritması vardır . Yani, biz daha iyisini Can 7 / 8 + ε …

20 cc.complexity-theory  pcp 

Son zamanlarda , ağaçlar arasında fark yaratma ile ilgili konuların bu özetini okudum ve bu sorun için en son teknolojinin ne olduğunu öğrenmemi sağladı. Ayrıca, izin verilen düzenleme işlemleriniz arasında geleneksel ekleme / silme düğümü, kopyala / taşı alt ağacının genişletilmiş işlemlerini eklediğiniz içeriği düzenleme olduğunu varsayalım, bu sorun (en …

20 ds.algorithms  tree  edit-distance 

Feragatname: Ben bir CS teorisyeni değilim. Soyut cebirden gelince, bir izomorfizme eşit olan şeylerle uğraşmaya alışkınım - ama bu kavramı veri yapılarına çevirmekte sorun yaşıyorum. İlk önce düz kuramsal bijektif morfizmlerin yeterli olacağını düşündüm, ama oldukça hızlı bir şekilde bir duvara girdim - bunlar sadece kodlamalar ve veri yapısının hesaplama …

20 ds.data-structures  algebra  ct.category-theory 

Bir n boyutlu dizinin içinde tam bir n boyutlu altdizinin bulunması için bilinen bazı sonuçlar nelerdir? 1D'de, sadece bir dize eşleme problemidir, KMP bunu lineer zamanda yapar. 2B olarak, bu makale , fazladan az alanla doğrusal zamanda yapılabileceğini göstermektedir. Bu problem herhangi bir sabit boyut için doğrusal zamanın en kötü …

20 ds.algorithms  reference-request  string-matching 

Son zamanlarda araştırmamda şu ilginç sorun ortaya çıktı: ANLIK: Grafik .G(V,E)G(V,E)G(V, E) ÇÖZÜM: bir üst olarak tanımlanan bir chordless tek döngülü tamamlama, E′E′E' kenar seti EEE böylece tamamlanmış grafiği hep G′(V,E′)G′(V,E′)G'(V, E') her kenar, bu özelliğe sahip G′G′G' bir chordless tek döngü içinde ihtiva edilmektedir. TEDBİR: Tamamlanma büyüklüğü, yani |E′−E||E′−E||E' …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Karp-Lipton Theoem bildiren ise , daha sonra çöker . Bu nedenle, ve , sorunu ait olmayacaktır .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Aşağıdaki soru ile ilgileniyorum: Varsayarsak çökmez veya yapısal karmaşıklığı başka makul bir varsayım varsayarak ne sabit ne ortalamanın problemler vardır kanıtlanmış içinde yalan değil (varsa)?PHPH\mathsf{PH} NPNP\mathsf{NP}Average-P/polyAverage-P/poly\mathsf{Average\mbox{-}P/poly} bir tanımı Ortalama-durum ve En …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Parametreli karmaşıklıkta, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Muhafazaların her birinin uygun olduğu varsayılmaktadır.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Eğer o .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Ama takip ediyor mu Eğer o ? veyaF P T = G [1]FPT=W[1]\mathsf{FPT}=\mathsf{W}[1]F P T = G [P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P] …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Örneğin, programlama dillerinde bir X-in-X derleyici / yorumlayıcı yazmak yaygındır, ancak daha genel bir düzeyde Turing-complete sistemlerinin çoğu etkileyici yollarla taklit edebilir (örneğin, Conway'in Conway'in Hayat Oyunundaki Simülasyonu ). Yani sorum şu: Bir sistem Turing'in tamamlandığını kanıtlamak için kendini simüle edebiliyor mu? Kesinlikle gerekli bir durumdur.

20 computability  automata-theory  turing-machines 

Gelen bu soruya , biz (bu sayı teorisinde kanıtlanmamış varsayımlar doğruysa hangi bağlıdır rağmen) deterministik azalmalar altında randomize indirimleri altında NP-tam, ama muhtemelen değil doğal bir sorun tespit görünmektedir. Bilinen başka sorunlar var mı? P / poli indirgeme altında NP-tamamlanmış, ancak P indirgeme altında olduğu bilinmeyen herhangi bir doğal problem …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Bir grafiktir varsayalım GGG ile köşe bir akışı olarak sunulmuştur kenarları, ancak birden fazla geçiş akımı üzerinde izin verilir.nnnmmm Monika Rauch Henzinger, Prabhakar Raghavan ve Sridar Rajagopalan , veriler üzerinde geçişlerine izin verilirse , verilen iki köşe arasında bir yol olup olmadığını belirlemek için boşluğunun gerekli olduğunu gözlemlediler . (Ayrıca …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams