Teorik Bilgisayar Bilimi

Bu mükemmel bilgi oyunu, bildiği / çalıştığı grafiklerde oynanıyor mu? Bir grafik verildiğinde G = ( V, E)G,=(V,E)G= (V,E), iki oyuncu sırayla bir kenar veya izole bir düğüm seçer. Oynatıcı bir kenar e = ( u , v )e=(u,v)e = (u,v) seçerse, uuu ve iki düğüm vvvolay kenarlarıyla birlikte silinir. …

11 reference-request  combinatorial-game-theory 

içinde aşağıdaki özelliklere sahip herhangi bir var mı :L∈NPL∈NPL\in {\bf NP} anlamına geldiği bilinmektedir .P = N PL∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Herhangi bir (bilinen) polinom zaman Turing azalma vardır (veya başka bir için Komple sorun) .N P LSATSATSATNPNP{\bf NP}LLL Diğer bir deyişle, bir polinom zaman algoritması durumunda çöküşü eder …

11 cc.complexity-theory  np-hardness  reductions 

Bazı bilgiler: Hatalarla Öğrenme (LWE) sorunu için "daha az bilinen" düşük sınırlar (veya sertlik sonuçları) ve halkalar üzerinde Hatalarla Öğrenme gibi genellemeleri bulmakla ilgileniyorum. Spesifik tanımlar, vb. İçin, Regev'in güzel bir araştırması: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE tarzı varsayımın standart tipi (belki de kuantum) (belki de ideal) kafeslerdeki En Kısa Vektör Problemine …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

NP'nin coNP'ye eşit olup olmadığı sorusuyla ilgileniyorum. Konuyla ilgili okumak için iyi yayınlar hakkında bazı tavsiyelerde bulunmaktan memnuniyet duyarım. Kayıt için, bu sorunun P'nin NP'ye eşit olup olmadığı sorusuna sıkı sıkıya bağlı olduğunu biliyorum (NP! = CoNP ise P! = NP ise). Şerefe Derek

11 cc.complexity-theory  reference-request  p-vs-np 

Ayçiçeği sistemi ve bilgisayar bilimlerindeki uygulamaları ile ilgileniyorum. Bir Evren Verilen ve koleksiyonu k kümelerini bir i bir denir k-ayçiçeği sistemi eğer bir i ∩ A j = Y herkes için i ≠ j . Ve Y çekirdek olarak adlandırılır ve A i - Y taç yaprakları olarak adlandırılır. UUUkkkbirbenbirbenA_ibirben∩ …

11 co.combinatorics  set-theory 

Rengi biraz gevşetelim, yani az sayıda bitişik köşeye aynı rengin atanmasına izin veriyoruz. Tek renkli bir bileşen, alt renkte aynı rengi alan köşe kümeleri tarafından indüklenen bağlı bir bileşen olarak tanımlanır ve soru, bir grafiği renklendirmek için gereken en az sayıda renk λλ\lambdaCCC sormaktır. daha bir C . Bu renkte …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Bu naif bir soru olabilir, ama başlıyoruz. (Düzenleme - upvotes almıyor, ancak kimse de bir cevap sunmadı; belki de soru düşündüğümden daha zor, belirsiz veya belirsiz mi?) Gödel'in İlk Eksiklik Teoremi, durma sorununun kararsızlığının bir sonucu olarak kanıtlanabilir (örn. Sipser Ch.6; Scott Aaronson tarafından yazılan blog yazısı ). Anladığım kadarıyla …

11 lo.logic  computability  church-turing-thesis 

Şu anda cins probleminin yakınlığı hakkında ne biliniyor? Bir ön arama, sabit bir faktör yaklaşımının yeterince yoğun grafikler için önemsiz olduğunu ve bir yaklaştırma algoritması dışlandığını söylüyor. Bu bilgi güncel mi, yoksa daha iyi sınırlar var mı?nϵnϵn^\epsilon

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Devre derinliği için ne tür bir hiyerarşi teoremleri vardır? Gibi ifadeler Eğer g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n)) ve f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)} daha sonra .SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Grafik izomorfizmi gibi bazı hesaplama problemlerinin, hesaplama açısından zor (NP-sert) olmak için yeterli yapıya veya yedekliliğe sahip olmadığı için NP-tam olamayacağına inanılmaktadır. Hesaplama problemlerinin yapısı ve artıklık önlemleri için farklı resmi kavramlarla ilgileniyorum. Hesaplama problemleri için bu tür resmi kavramlar hakkında bilinen başlıca sonuçlar nelerdir? Son zamanlarda bu tür kavramlarla …

11 cc.complexity-theory  graph-isomorphism 

Courcelle teoremi , monadik ikinci mertebeden mantıkta tanımlanabilir her grafik özelliğinin , sınırlandırılmış treewthth grafiklerinde doğrusal zamanda karar verilebileceğini belirtir . Bu en iyi bilinen algoritmik meta-teoremlerden biridir. Courcelle teoremine motive olarak, şu varsayımı yaptım: Varsayım : Let herhangi MSO tanımlanabilen malı. Eğer ψ düzlemsel grafikler üzerinde polinom zamanlı olarak …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

Bazı olumsuz olayların kesin olarak kötü olabileceğini biliyorum: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) false …

11 lo.logic  type-theory  soundness 

Soyut Cebirin Programlama Dili Teorisine herhangi bir uygulaması var mı? Dil tasarımı ve derleyici uygulamasında yararlı olacak herhangi bir şey var mı?

11 pl.programming-languages 

Bir kkk bir bölgesinin -Renklendirme m×nm×nm \times n ızgara bir fonksiyonudur C:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k] . Bir kırık dikdörtgen olarak CCC tuple olan (i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') karşılayan - yani, dikdörtgenin tam olarak üç köşesi aynı renktedir.C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j) = C(i',j) = C(i,j') \ne C(i',j') Aşağıdaki soru ile ilgileniyorum: Bir fonksiyonu olarak , kaç …

11 co.combinatorics 

Ben optimal tepe kapağı bilinir böylece grafikler oluşturmak için bir yol arıyorum. Düğüm veya kenar sayısında herhangi bir kısıtlama yoktur, sadece grafiğin tamamen bağlı olduğundan. fikir, en uygun tepe kapağını bulmak kolay olmayan bir grafik oluşturmak, farklı sezgisel yöntemleri test edebilmektir. Ben kağıt buldum Arthur J. & Frendeway, Bilinen Optimal …

11 ds.algorithms  graph-theory  graph-algorithms