Teorik Bilgisayar Bilimi

Sık sık η-dönüşümü ile uzantısallık arasındaki ilişkiden kafam karışıyor. Edit: Yorumlara göre, ben de genişleme denklik ve gözlemsel eşdeğerlik arasındaki ilişki hakkında karışık görünüyor. Ama en azından işlevler için genişleme eşitliğine sahip bir Agda'da (bir postüla olarak) ve basit bir şekilde yazılmış bir lambda hesabı için (ki yanlış değilse, tamamen …

14 pl.programming-languages  lambda-calculus 

Arkaplan : Matematik yüksek lisans derecemin sonuna geliyorum ve Ağustos ayında Mantık doktora programına başlayacağım. Daha fazla mantık çalıştığımda, daha fazla teorik bilgisayar bilimine maruz kalıyorum, örneğin özyineleme teorisi, lambda hesabı, ancak altta yatan CS, halının altında fırçalanıyor. Başlıca ilgi alanlarım - belirlenmiş teori ve kategori teorisi - bilgisayar bilimlerinde …

14 reference-request  soft-question 

Makalelerinde Yaklaşık Uzaklık Oracles , Thorup ve Zwick bir ağırlıklı yönsüz grafik için, bir veri büyüklüğü yapısını inşa etmek mümkün olduğunu göstermiştir bir dönebilir ( 2 k - 1 ) -approximate grafikteki herhangi bir köşe çifti arasındaki mesafe.O(kn1+1/k)O(kn1+1/k)O(k n^{1+1/k})(2k−1)(2k−1)(2k-1) Temel düzeyde, bu yapı uzaya yakın bir değiş tokuş yapar - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Dışbükey bir set Löwner-John elipsoidi, onu çevreleyen minimum hacimli elipsoiddir (MVE). Elipsoid, Khachiyan'ın yöntemi kullanılarak hesaplanabilir ve , bir dizi noktaysa (dışbükey gövde) mevcut bir dizi yaklaşım vardır .CCCCCCC Sınırlı bir polihedronun MVE'sine sadece kesişimleri tanımlayan yarım düzlemler açısından sunulan hızlı (yani, elipsoid-yöntem tabanlı olmayan) yaklaşımlar var mı? Özellikle, boyut …

14 cg.comp-geom  convex-geometry 

Girdi olarak bir tamsayı nnn ve { 1 , öğelerinden oluşan bir dizi SSS kümesi verilir . . . , n } , { 1 , öğelerinin T kümesini bulmanın karmaşıklığı nedir . . . , N } , öyle ki , T az önem düzeyi vardır ve T setleri …

14 cc.complexity-theory  ds.algorithms 

Makalede , RANKING algoritmasının ( 1 - 1) olduğunu kanıtlarken, Online Bipartite Matching için RANKING'in Randomize Primal-Dual analizi.-Rekabetçi, yazarlar ikili ikili beklenti içinde uygulanabilir olduğunu göstermektedir (bkz. Lemma 3 sayfa 5). Sorum şu:( 1 - 1e)(1−1e)\left(1 - \frac{1}{e}\right) Doğrusal program kısıtlamalarının beklentide karşılanması yeterli mi? Nesnel işlevin beklenen değerinin bir …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

Kuzey Amerika'daki tatil partilerinde popüler bir oyun beyaz fil hediye değişimidir . Kısaca (varyasyonları göz ardı ederek) şu şekilde çalışır: Orada insanlar ve n sarılmış hediyeler. Oyuncular keyfi olarak sipariş edilir. In i inci yuvarlak, oyuncu i yannnnnnbeninciithi^{\text{th}}benii sarılmış bir hediye seçer ve hediye olarak açar önceden açılmış hediyelerden birini …

14 gt.game-theory  mechanism-design 

Kapsamlı arama algoritmalarıyla ilişkili karmaşıklık sınıfı nedir? (Eğer biri varsa) NP mi yoksa PSPACE mi? Açgözlü ve dinamik programlama modellerine benzer kapsamlı arama algoritmaları sınıfını yakalayan sınırlı hesaplama modelleri var mı?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Ben "okuyorum Düzenli Diller ve Betimsel Karmaşıklık Birleştirme (Galina Jiraskova tarafından) iki normal dillerin birleştirme kaynaklanan devlet karmaşıklığına Galina Jiraskova, 2009 yılına kadar" ama devlet karmaşıklık pratik yansımaları olacağını anlayamıyorum . Beni etkileyen ilk önemsiz düşünce, daha yüksek karmaşıklığın makine tarafından daha fazla zaman ve yer gerektirmesiydi. Bu doğru mu? …

14 fl.formal-languages  automata-theory  regular-language 

boyutlu alanı düşünün ve , formunun doğrusal bir kısıtlaması olsun , burada , ve .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Bir süre önce, son birkaç on yılda bilgisayar programlarında görülen hızlanmanın çoğunun daha hızlı donanımdan ziyade daha iyi algoritmalardan geldiğini iddia eden bir çalışma veya makale gördüğümü hatırlıyorum. Çalışmayı veya makaleyi bilen var mı?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

GI ve Knot Probleminin her ikisi de matematiksel nesnelerin yapısal eşdeğerliğine karar verme problemidir. Aralarında bağlantı kuran herhangi bir sonuç var mı? Düğüm probleminin istatistiksel fizikle güzel bağlantıları düğüm polinomları aracılığıyla araştırılmıştır , için benzer sonuçlar var mı?GIGIGI Biri bakarak başlamadan önce herhangi bir standart sonuçlar / uyarı / öneri …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Aşağıdaki süreçte üretilebilen nnn köşelerdeki grafiklerle ilgileniyorum . Rasgele bir grafik ile başlayın GGG ile k≤nk≤nk\le n köşe. Tüm köşe etiketleyin GGG olarak kullanılmayan . Yeni bir grafik üretmek G′G′G' yeni tepe noktası ekleyerek vvv bir veya daha fazla bağlı olan, kullanılmayan bir köşe GGG ve herhangi bir bağlı olmayan …

14 ds.algorithms  graph-theory  treewidth 

İyi hiçbir deterministik iki partili protokolü üzerinde ayrık olma problemi (DISJ) çözebilir bilinmektedir göndermeden -bit girdileri (Kushilevitz ve Nisan tarafından, örneğin bkz kitabı) en kötü durumda bit. Sınırlı hata rastgele protokoller için, bazı sabit için alt sınırı Razborov [Razborov92] tarafından bir seminal makalede de gösterilmiştir. Sorum şu:nnnn + 1n+1n+1δnδn\delta nδδ\delta …

14 lower-bounds  communication-complexity 

İşlevsel bir dil , nesnelerinin türleri olduğu ve aralarındaki morfizmlerin işlev gördüğü bir kategori olarak görülebilir . Tür sınıfları bu modele nasıl uyuyor? Sadece çoğu tip sınıfının sahip olduğu kısıtlamayı karşılayan ancak Haskell'de ifade edilmeyen uygulamaları dikkate almamız gerektiğini varsayıyorum. Örneğin, yalnızca bu uygulamaları göz önünde bulundurmalıdır Functorkendisi için fmap …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems