Teorik Bilgisayar Bilimi

Sonuçları bir araya getirirken, MS Paint'te bir araya getirilen şemalardan ziyade bazı profesyonel görünümlü şemalara sahip olmak genellikle arzu edilir. Veri yapılarını çizmek için standart nedir?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Birisi lütfen #SAT çözücüsünün çalışan bir uygulamasını indirmek için mümkün olan bir veya daha fazla web sitesine işaret edebilir mi? Yaklaşıma değil, tam çözüm sayısını geri dönenlere ilgi duyuyorum.

21 ds.algorithms  sat  software 

önsöz İnteraktif ispat sistemleri ve Arthur-Merlin protokolleri Goldwasser, Micali ve Rackoff ve Babai tarafından 1985 yılında tanıtıldı . İlk önce, eskiden ikincisinden daha güçlü olduğu düşünülüyordu, ancak Goldwasser ve Sipser aynı güce sahip olduklarını gösterdiler ( dil tanıma konusunda). Dolayısıyla, bu yazıda iki kavramı birbirinin yerine kullanacağım. Let ile interaktif …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

Bu soruyu bir süre önce MathOverflow'a zaten göndermiştim , ancak bildiğim kadarıyla hala açık, bu yüzden burada birisinin duymuş olabileceği umuduyla burada yeniden gönderiyorum. Sorun bildirimi Let , ve içine üç bölüm olmak boş olmayan parça (ile gösterilmiş 'in, ' in ve kümesinin { 'ler) }. İki permütasyon Bul ve …

21 co.combinatorics  np-hardness 

Eğer fff o zaman bir konveks fonksiyonu Jensen eşitsizliği devletler f(E[x])≤E[f(x)]f(E[x])≤E[f(x)]f(\textbf{E}[x]) \le \textbf{E}[f(x)] ve gerekli değişiklikler yapılmış olarak fff içbükeydir. Açıkça en kötü durumda üst bağlı olamaz E[f(x)]E[f(x)]\textbf{E}[f(x)] cinsinden f(E[x])f(E[x])f(\textbf{E}[x]) dışbükey için fff , ama orada bu yönde gider bağlanmış fffdışbükey ama "çok dışbükey" değil mi? dışbükey işlevinde şartlar sağlayan …

21 randomness  pr.probability  randomized-algorithms 

Farklı çıkarıcıları, yoğunlaştırıcıları ve süper yoğunlaştırıcıları karşılaştıran ve rastgelelik, zaman ve mekan arasındaki tradeoff açısından en iyi yöntemleri ortaya koyan iyi bir anket var mı?

21 reference-request  randomness  derandomization 

(Polinom büyüklüğü) sabit derinlikli devrelerin sınırlamaları hakkında çok şey biliyoruz. (Polinom büyüklüğü) sabit derinlikteki formüller daha da sınırlı bir hesaplama modeli olduğundan, AC 0'da bulunmadığı bilinen tüm problemler sabit derinlikli bir formül ile de hesaplanamaz. Ancak, daha kolay bir model olduğundan, bu modelde hesaplanabilir olmadığı bilinen daha fazla sorun olduğunu …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

Bir karmaşıklık sınıfı ayırma kanıtı, temel olarak üniforma olmayan sürümün sonucunu kanıtlamazsa, örneğin, köşegenleştirmeye dayanan kanıtlar (zaman ve uzay hiyerarşisi teoremleri gibi) programlardaki programları simüle etmek için ihtiyaç duydukları şekilde aynı kullanımdan yararlanırsa, karmaşıklık sınıflarının tek biçimliliği kullanır; küçük sınıf Karmaşıklık teorisinde (köşegenleştirme kanıtları dışında) hangi sonuçlar esas olarak bir …

21 cc.complexity-theory 

Güvenlik teorisi ve pratiği ile kriptografi arasındaki ilginç farklar nelerdir? Elbette en ilginç irade, pratik deneyime dayanan teorik araştırmalar için yeni yollar öneren örnekler olacaktır :). Cevaplar içerebilir (ancak bunlarla sınırlı değildir): Teorinin bir şeyin mümkün olduğunu öne sürdüğü, ancak pratikte hiç kullanılmadığı örnekler Teorinin pratikte güvenli olmayan bir şeyin …

21 cr.crypto-security 

Bana öyle geliyor ki, tarafından kullanılan makro dili , bir tür terim yeniden yazma sistemi veya ad-by-scoping ile bir çeşit programlama dili olarak görülebilir.TEXTEX\TeX motorunun modern uygulamaları bile (örn. ) kodu oldukça doğrudan bir şekilde yorumlamaktadır ve yürütmeyi optimize etme girişimlerinin farkında değilim (modern optimizasyon çevirmenlerinin yapabileceği gibi). Bununla birlikte, …

21 pl.programming-languages  semantics  term-rewriting-systems 

Diyelim ki bir dizi problem örneği (olası girdiler) olan hesaplama problemimiz var, örneğin 3-SAT . Normalde algoritmaların veya hesaplama karmaşıklığı teorisinin analizinde, uzunluktaki tüm girdilerin ve bir fonksiyonu bir çözelti algoritması çalışma süresini verir girişi . Zaman dizisini çalıştıran en kötü durum daha sonra SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Shor'un farklı NP-tamlık kavramları ile ilgili cevabını motive ederek , P indirimleri altında NP-tamamlanmış, ancak Logspace indirimleri altında NP-tam olduğu bilinmeyen (tercihen uzun süre) bir sorun arıyorum. Ayrıca, NP-tamamlanmış problemler arasında Logspace azaltmalarını bulmak P azaltmalarını bulmaktan daha mı zor?

21 cc.complexity-theory  np-hardness 

Bu sorudan polinom Hirsch varsayımı (PHC) esinlenmiştir. Bir göz önüne alındığında -facet politop P içinde R, d onun kenar tepe grafik spektral aralık, (çağrı G ile sınırlı alt) Q ( 1 / p O l y ( n ) ) ? N köşelerindeki döngü grafiğinin, d = 2 için bile …

21 co.combinatorics  linear-programming  expanders 

1- Bir düzlem düzlemdeyken bitişiklik matrisi için belirli özellikler var mı? 2- Bir grafik düzlemsel olduğunda, bitişiklik matrisinin kalıcıını hesaplamak için özel bir şey var mı?

21 graph-theory  co.combinatorics  permanent 

László Babai geçtiğimiz günlerde Grafik İzomorfizmi probleminin kuasipolinom zamanda olduğunu kanıtladı . Ayrıca Chicago Üniversitesi'ndeki konuşmasına bakın , Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 tarafından yapılan görüşmelerden not alın . Ladner teoremine göre, eğer , boş değilse, yani ne ne de problemleri içerir …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate