Teorik Bilgisayar Bilimi

S ve K birleştiricilerinin Turing Complete olduğu bilinmektedir. İlkel özyinelemeli işlevler (yalnızca) vermek için yeterli birleştiriciler var mı?

19 lo.logic  computability 

Toplam fonksiyonel programlamanın sınırlamaları nelerdir? Turing-complete değildir, ancak yine de olası programların büyük bir alt kümesini destekler. Turing-complete dilinde yazabileceğiniz, ancak tamamen işlevsel bir dilde yazamayacağınız önemli yapılar var mı? Toplam işlevsel dilde yazılmış programların tamamen statik olarak analiz edilebileceğini söylemek doğru mudur, Turing-complete dillerinde statik analiz durdurma problemi ile …

19 computability  pl.programming-languages  functional-programming 

Geri Bildirim Vertex Seti, genel grafikler için NP-eksiksizdir. Köşe örtüsünün azalmasından dolayı derece-8 sınırlı grafikler için NP-tam olduğu bilinmektedir. Wikipedia makalesi o derece-3 sınırlanmış grafikler için poli-time çözülebilir ve derece-4 sınırlanmış grafikler için NP-tam olduğunu söylüyor. Ama bunun için hiçbir yerde kanıt bulamadım. Bu doğru mu? Derece-d sınırlı grafiklerde FVS'nin …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

Köşe renklendirme probleminin P'de olduğu, ancak bağımsız küme probleminin NP tamamlanmış olduğu bir grafik sınıfı örneği var mı?

19 cc.complexity-theory  graph-theory  complexity-classes 

Aşağıdaki modeli göz önünde bulundurun: n = bit 1 r = r 1 ... r n rastgele bir şekilde seçilir. Daha sonra, her bir i∈ {1, ..., n} endeksi, 1/2 olasılıkla bağımsız bir A kümesine konur. Son olarak, bir düşmana, her i∈A için ayrı ayrı, eğer isterse r i'yi çevirmesine …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

Bir grafik verilmiştir ile köşe. İsterseniz iki taraflı olabilir. (birbirinden deyin) kenar kümesi vardır . Ben indüklenen grafik her bir sınıfından en az bir kenarı , mümkün olduğunca küçük (veya daha küçük) bir alt küme bulma sorunu ile ilgileniyorum .G = ( V, E)G,=(V,E)G = (V,E)nnnmmmE1, … , Em⊆ EE1,...,Em⊆EE_1,\ldots, …

19 ds.algorithms  graph-theory  optimization 

Kısa bir süre önce Turing Makineleri hakkında "Turing Makinesi otomatlardan mı geliyor, yoksa tam tersi mi?" Cevabını bilmiyordum tabii, ama merak ediyorum. Turing Makinesi temel olarak Push-Down Automata'nın biraz daha sofistike bir versiyonudur. Bundan Turing Makinesi'nin otomatadan türetildiğini varsayıyorum, ancak kesin bir kanıtım veya açıklamam yok. Ben sadece yanlış olabilirim …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Ben keyfi k (ve asal güçlere özel bir ilgi ile) için doğrusal denklemler modulo k çözme karmaşıklığı , özellikle: Sorun. Belirli bir sistem için içinde denklemlerin doğrusal n bilinmeyenler modülo k , herhangi bir çözüm var varız?mmmnnnkkk Kağıt üstündeki için soyut olarak Yapısı ve logspace-MOD sınıfların önemi sınıflarında Mod k …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

, köşeli ve kenarlı , ağırlıksız yönlendirilmemiş bir grafik olsun . önişlemek ve O (n) zamanında " ile arasındaki mesafe" biçimindeki sorguları yanıtlayabilmesi için büyüklüğünde bir veri yapısı üretmek mümkün müdür ?n m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv …

19 graph-theory  graph-algorithms  ds.data-structures 

Yönlendirilmemiş ağırlıklı bir grafiğimiz G=(V,E,w)G=(V,E,w)G = (V, E, w) (negatif olmayan ağırlıklarla) varsayalım . en kısa yolların GGGbenzersiz olduğunu varsayalım . Bu yollarımız olduğunu (ağırlıksız kenar dizileri), ancak kendisini bilmediğini varsayalım . Bu yolları polinom zamanında en kısa olarak verebilecek herhangi bir G üretebilir miyiz ? Daha zayıf versiyon: böyle …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

Bilgisayar bir grafik Cheeger sabit (esas olarak en az alanı / hacim oranı nedeniyle), aynı zamanda Kümenin sabiti olarak da bilinen, NP, bitmiş olduğu bilinmektedir. Genellikle yaklaşıktır. Özel grafik sınıfları için kesin polinom algoritmalarının bilinip bilinmediğini öğrenmek istiyorum. Örneğin, normal grafikler için hala NP-tamamlanmış mı? İçin mesafeye düzenli grafikler ? …

19 ds.algorithms  reference-request  graph-algorithms 

Şu anda tatmin edici olmayan ve minimum büyüklükte 3-CNF formüllerini elde etmek (veya oluşturmak) ve çalışmakla ilgileniyorum. Yani, mümkün olduğunca az cümle (tercihen m = 8) ve en az bir cümlenin kaldırılması formülü tatmin edici kılacak şekilde mümkün olduğunca az farklı değişken (n = 4 veya daha fazla) içermelidir. Daha …

19 cc.complexity-theory  sat 

Arka plan: Chao Xu, aşağıdaki soruyu bir süre önce yayınladı: " Her bir öğenin kez karşılaştırılacağı şekilde, sıralama ağlarına indirgenmeyen bilinen bir karşılaştırma sıralama algoritması var mı?O ( günlükn )Ö(günlük⁡n)O(\log n) " Görünüşe göre sorunla biraz sıkıştık; 2009'da Valentin Polishchuk ile aynı sorunu tartıştım ve hiçbir yere ulaşmadık. Bazı yeni …

19 ds.algorithms  sorting  sorting-network 

Tamsayı çarpanlarına ayırma, asal / kompozit ayrık logaritma problemi ve eliptik eğrilerin nokta grubu (ve daha yüksek boyutlu abelyan çeşitleri) ve genel özellikleri gibi kriptografide ortaya çıkan belirli zor problemler için devre alt sınırları hakkında ayrıntı sağlayan herhangi bir referans var mı? gizli alt grup sorunu? Özellikle bu problemlerden herhangi …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Soru basit ve doğrudan: Sabit bir , boyutunda bir DFA (yani eyaletleri) tarafından kaç (farklı) dil kabul edilir ? Ben resmen bunu bildirecektir:n nnnnnnnnnn DFA'yı olarak tanımlayın , burada her şey her zamanki gibi ve (muhtemelen kısmi) bir işlevdir. Bunu belirlemek zorundayız çünkü bazen sadece toplam fonksiyonlar geçerli sayılır.δ : …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa