Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

2
Bir CNF'yi şifrelemek mümkün mü?
Bir CNF dönüştürmek mümkündür başka CNF içine Ψ ( Cı ) olacak şekildeCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Fonksiyon gizli bir rastgele parametrelerden polinom bir sürede elde edilebilir r .ΨΨ\Psirrr sadece C'nin bir çözeltisi varsabir çözeltiye sahiptir.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Herhangi bir çözüm ve Ψ ( Cı ) verimli bir şekilde ihtiva eden bir …
1
Sonlu bir daire kümesini çevreleyen en küçük daireyi hesaplama
Biz sonlu bir dizi olduğunu varsayalım LLL disklerden R2R2\mathbb{R}^2 ve biz en küçük diski hesaplamak isteyen DDD için ⋃L⊆D⋃L⊆D\bigcup L\subseteq D . Bunu yapmak için, standart bir şekilde bir baz bulmak için Matoušek, Sharir ve Welzl [1] algoritmasını kullanmak BBB ve LLL ve izin D=⟨B⟩D=⟨B⟩D=\langle B\rangle , küçük disk içeren …
1
PSPACE'i polinom hiyerarşisinden ayıran minimum karmaşıklık kehaneti nedir?
Arka fon Bir torpil var olduğu bilinmektedir AAA öyle ki, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Ayrılmanın rastgele bir kehanete göre olduğu bile bilinmektedir. Gayri, bir çok sayıda ürün kahinler olduğu anlamına bu yorumlayabilir PSPACEPSPACEPSPACE ve PHPHPH ayrıdır. Soru Karmaşık nasıl ayrı bu Kehanetlerini olan PSPACEPSPACEPSPACE ile ilgili PHPHPH . Özel olarak, …
1
Kolmogorov karmaşıklığının hesaplanamazlığı Lawvere'in Sabit Nokta Teoreminden mi geliyor?
Birçok teorem ve "paradoks" - Cantor'un köşegenleştirilmesi, yumurtadan çıkma kararsızlığı, Kolmogorov karmaşıklığının farkedilemezliği, Gödel Eksikliği, Chaitin Eksikliği, Russell'ın paradoksu, vb. daha ziyade bu teoremleri gerçekten kullanmak hisseder; bütün Hamiltonieninin ispatlanabilir aynı daha fazla ayrıntı için, örneğin; köşegenleştirmeyi Yanofsky hesabına ya da çok daha kısa ve daha az resmiyet cevabım için …
2
Aşağı açılan otomata ve CFL'lere “daha ​​cebirsel” bir yaklaşım için referans mı?
In Sakarovitch kitabından otomata teorisi üzerine, ilgili bölüme giriş bölümünde yazılır serbest gruptaki rationals malzeme içinde sunulan "bağlamdan-bağımsız dillerin gerçekten matematiksel teorinin temeli" oluşturmasındadır. Bununla birlikte, bağlam içermeyen diller ve aşağı itilen otomatik veriler kitabın kapsamı dışında olduğundan, bu açık değildir. Özgür grupların (ve özellikle de Sakarovitch'in dahil edici monoidler …
1
Bir CS konferansında bildiri sunmaya çalışan bir matematikçinin tavsiyesi?
Ben öncelikle kendiliğinden eşlenik ve üniter operatörlerin spektral teorisinde çalışan bir matematikçiyim. Araştırmalarımdan bazıları kuantum yürüyüşleriyle alakalı ve özellikle bu Ocak Seattle'daki Kuantum Bilgi İşleme konferansında sunmak istediğim bir makalem var. Teorik CS topluluğunun kültürü matematik topluluğundan çok farklı görünüyor. Hatta bir konferansta "bildiri sunmanın" ne anlama geldiğini araştırmak zorunda …
3
NP-tamamlama problemlerinde faz geçişi ne kadar yaygındır?
Birçok NP-tam probleminin faz geçişi sergilediği iyi bilinmektedir . Burada, bir algoritmaya göre girdinin sertliğinden ziyade, dilde tutulma açısından faz geçişiyle ilgileniyorum. Kavramı kesinleştirmek için, resmi olarak şu şekilde tanımlayalım. dili , eğer faz (geçişle ilgili olarak) faz geçişi gösterirse,LLL Örneğin bir polinom zaman hesaplamalı, gerçek değerli fonksiyonu olan bir …
2
Mümkün olan en küçük üniversal birleştirici
Lambda hesabında böyle bir birleştiriciyi belirtmek için gereken soyutlamaların ve uygulamaların sayısı ile ölçülen mümkün olan en küçük evrensel birleştiriciyi arıyorum . Evrensel birleştiricilere örnekler: boyut 23: λf.f (fS (KKKI)) K boyut 18: λf.f (fS (KK)) K boyut 14: λf.fKSK boyut 12: λf.fS (λxyz.x) boyut 11: λf.fSK burada S = …
2
Minimum kümülatif küme toplamı
Bu sorunu ele alalım: sonlu kümeler listesi göz önüne alındığında, bir sipariş bulmak s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots o en aza indirir |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . Bunun için bilinen algoritmalar var mı? Karmaşıklığı nedir? Henüz verimli bir optimal algoritma düşünemedim, ancak …
2
Korse kavşak sorununun karmaşıklığı
Simetri grubu göz önüne alındığında ve iki alt grup ve yapar G \ pi \ kapak H = \ emptyset tutma?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Bildiğim kadarıyla sorun, coset kesişimi problemi olarak biliniyor. Merak ediyorum karmaşıklık nedir? Özellikle, bu sorunun coAM'da olduğu biliniyor mu? Dahası, abelyan olması kısıtlanırsa, karmaşıklık ne …
1
Belirsiz devrelerin boyutu için daha düşük sınırlar
Eşlik işlevini hesaplayan devrelerinin minimum boyutunun tam olarak olduğu bilinmektedir . Alt sınır kanıtı kapı eleme yöntemine dayanır. 3 ( n - 1 )U2U2U_23(n−1)3(n−1)3(n-1) Son zamanlarda, kapı eliminasyon yönteminin belirsiz olmayan devreleri için de iyi çalıştığını fark ettim ve parite fonksiyonunu hesaplayan belirsiz olmayan devrelerinin boyutu için alt sınırını kanıtlayabiliriz. …
1
O (n log n) alanı ve O (log n)-zaman sorguları ile DAG erişilebilirliği?
Bir yönlendirilmiş asiklik grafiktir için , ikinci dereceden bir alan ya da doğrusal bir zaman gerektirmeden ulaşılabilirlik sorguları için izin veren bir veri yapısı var mı? İdeal tepe noktası ve logaritmik zaman başına yalnızca O (log n) kullanılarak algoritma alanı aramaya ⟨ V, E⟩⟨V,E⟩{\langle}V,E{\rangle}.n = | V| + | E|n=|V|+|E|n=|V|+|E| …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.