Teorik Bilgisayar Bilimi

Ağaç genişliği herhangi bir hoş grafik sınıfları vardır klik numarası bir işlev tarafından üst sınırlanan w ( G ) , yani t ağırlık ( G ) ≤ f ( ω ( G ) ) ?t w ( G )tw(G,)tw(G)ω ( G )ω(G,)\omega(G)t w ( G ) ≤ f( ω ( …

10 graph-theory  treewidth 

Fano'nun eşitsizliği birçok biçimde ifade edilebilir ve özellikle kullanışlı olan biri Oded Regev'e (küçük bir değişiklikle) bağlıdır : Let rasgele bir değişken olabilir ve izin burada rastgele bir süreçtir. verilen bir prosedür varlığının olasılığı ile yeniden yapılandırabileceğini varsayın . Sonra XXXY=g(X)Y=g(X)Y = g(X)g(⋅)g(⋅)g(\cdot)fffy=g(x)y=g(x)y = g(x)xxxpppI(X;Y)≥pH(X)−H(p)I(X;Y)≥pH(X)−H(p) I(X; Y) \ge pH(X) − …

10 it.information-theory  randomized-algorithms 

Bu soru, "tersinir" in Axelsen ve Glück anlamında ve "tarpit" in çok daha gayri resmi bir kavram olduğu (ve çok iyi bir kelime seçimi olmayabileceği) bilinen herhangi bir tersinir Turing brandasının olup olmadığıyla ilgilidir. ama ne demek istediğimi açıklamak için elimden geleni yapacağım. Ne demek istediğim "tarpit" Bazı hesaplama modelleri …

10 fl.formal-languages  computability  machine-models 

Polinom-zaman algoritmaları üreten permütasyon grupları kümeleri bulmak için bilinir, bu ilginçtir, çünkü bu grupları bu gruplarla ilgili birçok ilginç soruyu cevaplamak için polinom-zaman algoritmalarından vazgeçmeden özlü bir şekilde temsil edebiliriz. Bununla birlikte, bazen bir grup oluşturmayan bir dizi permütasyon ile ilgilenebiliriz , böylece set ile temsil edilir , burada bir …

10 permutations  gr.group-theory 

Basit yazılan lambda terimlerinin beta eşitliğinin karar verilebileceğini biliyoruz. M, N: σ → τ verildiğinde, tüm X: σ, MX NX için karar verilebilir mi ?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Bir süredir dil teorisi ve süreç hesaplarını programlamakla çok ilgileniyorum ve bunları incelemeye başladım. Dürüst olmak gerekirse, kariyer için aklıma gelmeyecek bir şey. Teoriyi inanılmaz büyüleyici buluyorum. Sürekli devam ettiğim bir soru, PL Teorisi veya Proses Hesaplarının modern programlama dili gelişiminde hiç önemi olup olmadığıdır. Pi-matematikte çok fazla varyant görüyorum …

10 pl.programming-languages  process-algebra 

Devre Minimizasyonu , verilen bir devrenin boyutunu en aza indirmek için problemdir. Genel programlar için benzer bir şey var mı? Özellikle benim sorum - Belirli bir program için talimatların # sayısını en aza indirecek algoritmalar var mı? Bu karar verilemez bir sorun olduğunu biliyorum ama optimal bir şey döndüren bir …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Arızalara dayanıklı dağıtılmış algoritmalar deterministik veya olasılıklı olabilir. Örneğin fikir birliği problemini ele alalım. Paxos yaptığı varsayım dikkate alındığında her zaman işe yarıyor. Aksine, randomize konsensüs belirli bir olasılıkla çalışır. Deterministik bir algoritma tasarlamanın ve kullanmanın avantajı nedir? Deterministik algoritmaların dayandığı varsayımlar aynı zamanda gerçekte de tutma olasılığına sahiptir ( …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

hatası için, rastgele iletişim karmaşıklığının en kötü durum tanımının ve ortalama vaka tanımının eşdeğer olduğu bilinmektedir . Ancak hata , en kötü durum randomize iletişim karmaşıklığı deterministik iletişim karmaşıklığı ile aynıdır.Θ ( 1 )Θ(1)\Theta(1)000 Süper sabit deterministik iletişim karmaşıklığına sahip, ancak sabit sıfır hata rastgele iletişim karmaşıklığına sahip olduğu bilinen …

10 communication-complexity 

Yönlendirilmiş bir grafik verildiğinde, grafiğin eşit uzunlukta yönlendirilmiş bir döngü içerip içermediğine karar vermek istiyoruz. YUSTER ve ZWICK'in 1997 tarihli bu makalesinde , sorunun olarak bilinmediği veya N P-tamamlandığı bilinmemektedir .PPPNPNPNP Yönlendirilmiş grafiklerde çift döngü sorununun karmaşıklığını çözen yeni bir sonuç var mı?

10 cc.complexity-theory  reference-request  graph-theory 

Nancy Lynch'in "Dağıtılmış Algoritmalar" kitabının 13.Bölümünün "Atomik Nesneleri" nde doğrusallaştırılabilirliğin (atomisite olarak da bilinir) bir güvenlik özelliği olduğu kanıtlanmıştır. Yani, karşılık gelen izleme özelliği Bölüm 8.5.3'te tanımlandığı gibi boş, önek kapalı ve sınır kapalıdır . Gayri resmi olarak, bir güvenlik mülkü genellikle belirli bir “kötü” şeyin asla gerçekleşmediğini söyleyerek yorumlanır. …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

olduğunu ispatlayabilirsek , N L = N P olduğunu ima eder mi?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Durum böyle olduğunu düşündüm, ama bunu kanıtlayamıyorum (ayrıca sohbet için).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Bir deterministik otomat olarak adlandırılır -local için k> 0 ise, her için X ^ k \ W grubu \ {\ delta (q, w): q \ in Q \} en fazla bir öğe içeriyor. Bir kelime varsa, sezgisel araçlarının ağırlık uzunluğu k bir duruma yol açar, bu durum benzersiz veya uzunluğunun …

10 fl.formal-languages  automata-theory  synchronization 

FFT ile polinomları artı / çoğaltmak için konvolüsyon yapabiliriz . Bununla birlikte, yaklaşım genel olarak halkalar için çok genelleştirilebilir görünmemektedir. Maks / artı halkası için saf evrişimi üzerinde ilerleme oldu mu?O ( n günlüğün )Ö(ngünlük⁡n)O(n\log n)O ( n2)Ö(n2)O(n^2) Ben bir üs ile yumuşak max / artı artı / ürün dönüştürebilirsiniz …

10 algebra  polynomials  fft  convolution 

3 veya daha fazla terim yan tümceleri toplam sayısı (genişlik değil) bir CNF SAT sorunu NP yukarıda sabit ile sınırlanmış mı? Özellikle böyle bir madde olduğunda ne olur?

10 np-hardness  sat  upper-bounds