Teorik Bilgisayar Bilimi

Hangi makine öğrenimi sınıflandırıcıları en paralelleştirilebilir? Zor bir sınıflandırma sorunu, sınırlı bir süre, ancak çalışmak için iyi bir bilgisayar LAN varsa, hangi sınıflandırıcılar denemek istiyorsunuz? El dışında bana aşağıdaki gibi yığını bildiğim bazı standart sınıflandırıcılar gibi görünüyor ama tamamen yanlış olabilir: Rastgele Ormanlar - Her makine tüm verileri tutabildiği sürece …

10 lg.learning  machine-learning  dc.parallel-comp 

Bir kanıtlayıcının, bazı HORN-SAT ifadelerinin tatmin edilebilir olduğunu doğrulayıcıyı ikna etmesinin bir yolu var mı? Elbette bu saçma görünebilir, çünkü HORN-SAT için doğrusal zaman algoritmaları vardır. Öte yandan, HORN-SAT P-complete'tır, yani P = L olmadığı sürece log-space algoritmalarına sahip değildir. Buna göre, doğrulayıcının hesaplama yeteneklerini L ile sınırlayın. Şimdi doğrulayıcı …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Sonlu bir düzlem verildiğinde, o düzlemin sabit boyutlu düzenli bir altıgen ile altıgen bir mozaiklemesine sahibim. Daha sonra mozaik için Delaunay grafik G'yi hesaplıyorum. Böyle bir G grafiği göz önüne alındığında, G'nin birden fazla alt-çizgisini vermek için o grafikteki belirli düğüm kümelerini silerim. Bunu yapmak için bir polinom-zaman algoritması var …

10 ds.algorithms  graph-algorithms  graph-isomorphism 

David Rodríguez - dribeas , StackOverflow'a yaptığı açıklamada, "Tüm koleksiyonlar kilitsiz uygulanamaz" yazdı . Bunun doğru olup olmadığından emin değilim ve her iki şekilde de kanıt bulamıyorum. Bu ifade çok kesin değil, ama biraz daha resmi bir şekilde yeniden ifade etmeye çalışmama izin verin: Her koleksiyon türü için C, aynı …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Aşağıdaki yazılı teori var |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) tüm terimler için denklemlerle: f : A -> B, g : B …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

Gelen bu soruya , bu Rice'ın teoremin açıklayıcı karmaşıklığı versiyonları olduğu belirtilmişti. Aşağıdaki teoremin bir kanıtı buldum: Bir karmaşıklık sınıf Verilen C , dillerin nontrivial özellikleri C de hesaplanamaz C Daha önce bulduğum kanıtları yayınlamıştım, ama çok uzun olduğu ve yorumlarda bu makalenin zaten bu teoremin bir kanıtını içerdiği belirtildiğinden, …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Aşağıdaki veri yapıları hakkında biraz okudum: Bagwell'in İdeal Karma Denemeleri Larson's Dynamic karma tabloları Kırmızı-Siyah ağaçlar Patricia ağaçları ... ve eminim dışarıda bir sürü başka var. Her birinin neye daha uygun olduğuna ya da neden birini diğerine tercih ettiğime dair çok az şey gördüm. İşte, bu satırlar boyunca birkaç soru: …

10 ds.data-structures  functional-programming  tree  hash-function 

Bu soru son sınıf lise öğrencileri için ilham verici konuşma ile aynıdır . Doktora danışman benden yeni M.Sc. için ilham verici bir konuşma yapmamı istedi. öğrenciler. Konu en iyi Goldreich'in kitabı tarafından gösterilen kriptografinin temelleri . Konuşma yaklaşık bir saat sürecek ve öğrencileri ana yapılara (tek yönlü işlevler / permütasyonlar, …

10 reference-request  soft-question  cr.crypto-security  teaching 

Let TTT bir köklü ikili ağaç olmak. kökünden bir yaprağa giden her yolun uzunluğu . Her düğümü her zaman bir sol ve bir sağ alt düğüme sahiptir, ancak bunların aynı olması mümkündür (Yani her zaman yol vardır). büyüklüğü ile sınırlıdır . Farklı alt düğümleri olan bir düğüme dallanma düğümü denir …

10 graph-theory  tree 

Zaman hiyerarşisi ile ilgili önceki bir soruda, iki sınıf arasındaki eşitliklerin daha karmaşık sınıflara yayılabileceğini ve eşitsizliklerin daha az karmaşık sınıflara, dolgu kullanılarak kullanılan argümanlarla yayılabileceğini öğrendim. Bu nedenle akla bir soru gelir. Neden mümkün olan en küçük (kapalı) sınıftaki farklı hesaplama türleri (veya kaynakları) hakkında bir soru inceliyoruz? Çoğu …

10 cc.complexity-theory  big-picture 

Smyth'in bilgisayar bilimi mantığı el kitabındaki bölümü ve diğer referanslar, metrik uzayların alan olarak nasıl kullanılabileceğini açıklar. Tam metrik uzayların benzersiz sabit noktalar verdiğini anlıyorum, ancak metrik uzayların neden önemli olduğunu anlamıyorum. Aşağıdaki sorularla ilgili düşünceleri gerçekten takdir ediyorum. Anlambilimde (ultra / yarı / sözde) metrik uzayların kullanımına iyi örnekler …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Alan teorik kategorileri (CPO ve CPO diyelim) ile uğraşırken , sıklıkla alan teorisinde kategori teorisi dili için bir sözlük isterim.ωω\omega Yani, bir kavram verildiğinde, monik ok, sözlüğe bakabilir ve farklı etki alanı kategorilerinde bilinen karakterizasyonlarını görebilirim. Bu dileğin umulmayacak kadar çok olduğunu biliyorum, ama ona yaklaşan herhangi bir metin veya …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Belirli alanlarda karmaşık özelliklerinin bazı ampirik testleri gerçekleştirmek için düzenli ifadeleri otomata dönüştürmek için algoritmalar bir taksonomi çizmek çalışıyorum. Birkaç 'büyük' ​​adın farkındayım, ör. Thompson "Düzenli İfade Arama Algoritması", Thompson, 1968 Glushkov "Düzenli Bir İfadeyi Otomasyona Dönüştüren Yeni Bir Karesel Algoritma", Ponty, et. al, 1996 Antimirov "Düzenli İfadelerin Kısmi Türevleri …

10 automata-theory  fl.formal-languages  regular-expressions 

Arka fon Devre karmaşıklığı , sınırsız derinlik ve sınırsız fan girişi VE, VEYA ve DEĞİL kullanılarak oluşturulan polinom boyutu olan devre ailelerinin (yani, her giriş boyutu için bir devre dizisi) kümesi olarak tanımlanır .A C0AC0AC^0 Parite fonksiyonu ile -bit giriş giriş bit XOR eşittir.n⊕⊕\oplusnnn Devre karmaşıklığında kanıtlanmış ilk devre alt …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Çözünürlük, CNF'lerin tatminsizliğini kanıtlayan bir şemadır. Çözümde bir kanıt, CNF'deki ilk maddeler için boş maddenin mantıksal olarak çıkarılmasıdır. Özellikle herhangi bir başlangıç ​​maddesi çıkarılabilir ve iki maddesinden ve maddesinden maddesi de çıkarılabilir. Çürütme, boş bir maddeyle biten bir çıkarım dizisidir.A∨xA∨xA \lor xB∨¬xB∨¬xB \lor \neg{x}A∨BA∨BA \lor B Böyle bir çürütme uygulanırsa, …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search