Teorik Bilgisayar Bilimi

Soru şudur. Genellikle kişininΛX.tΛX.t\Lambda X.t, bu terimi bir türe örnek olarak uygulayarak forall'i ortadan kaldırabiliriz(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T]. Şimdi, bunun bir ok olduğunu ve ona bir argüman vermek istediğimizi varsayalım, o zaman bu terimi, böyle bir argümanı alabilecek şekilde uygun türe uygulamak zorundayız. Otomatikleştirebilir miyim diye soruyorum: Bir işlev oluşturmak mümkün …

9 type-theory  polymorphism  type-inference 

IP (2pfa) ve AM (2pfa), iki yönlü giriş kafalı olasılıklı sonlu otomata olan doğrulayıcılara sahip etkileşimli prova sistemlerinin sırasıyla özel ve genel para sürümleri tarafından sınırlı hata ile tanınan dil sınıflarıdır. Bu sınıfların kapatma özellikleri biliniyor mu?

9 cc.complexity-theory  interactive-proofs 

Let bir alfabe, yani boş olmayan bir sonlu ayarlanmalıdır. Dize, öğesinden herhangi bir sonlu öğe dizisidir (karakter) . Örnek olarak, ikili alfabe veΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 bu alfabe için bir dizedir. Genellikle, ΣΣ\Sigma 1'den fazla öğe içeriyorsa, ΣΣ\Sigmaönemli değil: en iyi ihtimalle bir yerlerde farklı bir sabitle karşılaşırız. Başka bir deyişle, …

9 big-list  encoding  examples 

Özellikle, n bit veya karar listeleri veya {0,1} ^ n'de bulunan diğer herhangi bir "basit" dil üzerinde bağlaçlar değil, keyfi olarak uzun dizeleri kabul eden dil ailelerini kastediyorum. "Mantık-teorik" olanların aksine "otomata-teorik" normal dilleri soruyorum: parçalı test edilebilir diller, başlangıç-yüksekliği-sıfır dilleri, yerel olarak test edilebilir diller, bu tür şeyler. İlgili …

9 automata-theory  machine-learning  lg.learning 

(Yavaşça) SIGACT News için Kemoinformatik Algoritmaları El Kitabı'nı gözden geçiriyorum . Bir bölüm, mevcut yazılım uygulamalarını tartışır ve veritabanı aramaları (ve diğer uygulamalar) grafikler hakkında olabildiğince fazla bilgi kullanmıyor gibi görünmektedir. Öte yandan, belki daha teorik algoritmaların uygulanması çok zor olacaktır. Yine de potansiyel bir açık alan gibi görünüyor. İşte …

9 reference-request 

Bu yüzden, canlı, sürekli akışlı verilerle kümelenmeyle ilgili bir sorunum var. Sürekli büyüyen bir veri setim olduğundan, verimli ve etkili kümelemeyi çalıştırmanın en iyi yolunun ne olduğundan emin değilim. Ben de dahil olmak üzere birkaç olası çözüm buldum: Kaç veri noktasına izin verileceğine ilişkin bir sınır belirlemek, böylece başka bir …

9 ds.algorithms  clustering  online-algorithms  data-streams 

Spesifik hesaplanabilir özelliklere sahip sonlu grafiklerin varlığının (veya yokluğunun) belirli karmaşıklık sonuçlarını (P = NP gibi) ima ettiğini gösteren bilinen herhangi bir sonuç var mı? İşte tamamen varsayımsal bir sonuç: Belirgin A, B, C ve D kenarları olan sonlu bir grafik varsa, tüm maksimum eşleşmeler A, B, C ve D'nin …

9 cc.complexity-theory 

Bir grup iç içe çözüm kavramları sınıfını biliyoruz ve seviyoruz: PN: Saf Nash Dengesi MN: Karışık Nash Dengesi CE: İlişkili denge CCE: Dersle ilişkili denge. Bu kümeler arasındaki ilişki: PN-⊂ MN-⊂ CE⊂ CCEPN-⊂MN-⊂CE⊂CCEPN \subset MN \subset CE \subset CCE Anarşinin fiyatını şu çözüm kavramlarından herhangi biri üzerinde düşünebiliriz: kümedeki herhangi …

9 gt.game-theory