Teorik Bilgisayar Bilimi

Modsal altyapı mantıkları hakkında makaleler ve makaleler arıyorum - doğrusal mantık yöntemlerinin anlambilimi üzerinde değil, ancak standart mod operatörleri, örneğin altyapı K (kutu operatörü ile MALL gibi bir şey, gereklilik ve K kuralları) ile güçlendirilmiş alt yapı mantıkları hakkında arıyorum.

15 reference-request  lo.logic  proof-theory 

Bu soruyu bir süre önce Stack Overflow'da sordum: Sorun: Bob'un satışı . Birisi de soruyu buraya göndermeyi önerdi. Birisi zaten bu sorunla ilgili bir soru sordu - Verilen kardinalitenin minimum ağırlık alt ormanı - ama anladığım kadarıyla sorunumda bana yardımcı olmuyor. StackOverflow'daki en yüksek cevabı da incelemeye değer. İşte StackOverflow …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Doğrusal türleri destekleyen bir programlama diliyle uğraştığımızı varsayalım (doğrusal tip terimleri en fazla bir kez kullanılabilir). Bu, bazı hesaplama etkilerinin (mutasyon, hatta işlenen türünü değiştirme gibi), tür sistemleri yalnızca "sonsuz gerçekler" üzerinde çalışan diller için sorunlu bir şekilde tedavi edilmesine izin verir. Birçok veri yapısı endüktif tiplerle karakterize edilebilir (listeler …

15 pl.programming-languages  type-theory  linear-logic 

Banach'ın sabit nokta teoremi, boş olmayan bir tam metrik uzay sahipsek , o zaman eşit bir büzülme fonksiyonunun benzersiz bir sabit noktası olduğunu söyler . Bununla birlikte, bu teoremin kanıtı, seçim aksiyomunu gerektirir - Cauchy dizisini almak için yinelemeye başlamak için da keyfi bir eleman seçmemiz gerekir. . f : …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Herkesin bildiği gibi, Garey ve Johnson'ın ünlü kitabı (ve diğerleri) klasik ortamda azaltma tekniği için mükemmel bir referans sağlar. Fpt indirgeme, parametreleştirilmiş algoritmada indirgeme tekniği konusunda herhangi bir anket veya kitap var mı?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

" FPH için uygulamalı bir teori " makalesini okurken aşağıdaki bölümle karşılaşabilirsiniz: Hesaplama karmaşıklığı sınıflarını karakterize eden teoriler göz önüne alındığında, üç farklı yaklaşım vardır: birincisi, teori içinde tanımlanabilen fonksiyonlar belirli bir karmaşıklık sınıfında “otomatik” tir. Böyle bir hesapta, sözdiziminin uygun sınıfta kalmasını garanti etmek için kısıtlanması gerekir. Bu, genel …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Son zamanlarda karar ağacı modelindeki bir sorunun karmaşıklığına ikinci dereceden bir alt sınır keşfettim ve bu sonucun rastgele erişim makinesi modeline kısmen genelleştirilip genelleştirilemeyeceğini merak ediyorum . Tarafından kısmen , bir belirli bir zaman / boşluk arasında denge programları RAM bir genelleme anlamına gelir. Örneğin, problemimin doğrusal zaman ve -uzay …

15 cc.complexity-theory  lower-bounds 

Kendi sıralama algoritmamı tasarlamaya çalışırken, karşılaştırabileceğim en uygun ölçütü arıyorum. Elementler sıralanmamış bir sipariş için A ve sıralanmış bir sipariş B , almak transpozisyonlarının optimum sayısını hesaplamak için etkili bir yolu nedir A için B ? Bir aktarma, listedeki 2 öğenin konumunu değiştirme olarak tanımlanır, örneğin 1 2 4 3 …

15 ds.algorithms  co.combinatorics  sorting 

Sorum genel bir soru: Algoritma Tasarım ve Karmaşıklık açısından düşünmeye nasıl başlayabilirim? Algoritma Tasarımı üzerine Yüksek Lisans Dersi alacağım. Daha önce kayıt olmuştum ama daha sonra bıraktım çünkü yetişemedim. Bu dersi zorunlu olarak almak zorundayım. Bu şekilde düşünmek için bir 'hile' var mı? Bunun oldukça kabaca koyduğunu biliyorum, ancak bazen …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Kriptografi için yalancı rasgele sayılar üretmekle ilgileniyorum. Menezes / Oorschot / Vanstone'un 5. Bölümü dışında ; Stinson Bölüm 8 ; ve Goldreich'in 3. Bölümünden başka nereden daha fazla bilgi edinebilirim ? PRNG'lerin (istenen özellikler, testler, vb.) Tasarımıyla ilgili genel ilkelerle ilgileniyorum.

15 cc.complexity-theory  reference-request  pseudorandomness 

Let ve Y , iki ikili sayılar n bit ve z = x ⋅ y ikili sayı (uzunluk 2 , n 'nin ürününün) x ve y . Z = z 2 n - 1 … z 0 ürününün en anlamlı bitini z 2 n - 1 hesaplamak istiyoruz .xxxyyynnnz=x⋅y z=x⋅y …

15 cc.complexity-theory  binary-decision-diagrams 

Maksimum akış probleminin klasik bir uzantısı "zaman içindeki maksimum akış" problemidir: size, her iki yayın iki parametreye sahip bir kapasiteye sahip olan iki düğüm, kaynak ve lavabo olarak ayırt edilen bir digraf verilir. -birim zamanı ve gecikme. Ayrıca bir zaman ufku de verilir TTT. Amaç, zamanla, kaynaktan kadar maksimum malzemeyi …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

Bu soru, Boole devrelerinin devre karmaşıklığı çerçevesinde veya cebirsel karmaşıklık teorisi çerçevesinde veya muhtemelen birçok başka ortamda sorulabilir. Argümanları sayarak, N girişlerinde üstel olarak çok sayıda kapı gerektiren Boole işlevleri olduğunu göstermek kolaydır (tabii ki açık örneklere sahip değiliz). Aynı fonksiyonu M kez, bazı tamsayı M için, M farklı girdi …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Bu ise kübik Hamilton grafiklerde uzun döngüsünün değişmez bir yaklaşımının bulunması için -Sert. Kübik Hamilton grafikleri en az iki Hamilton döngüsüne sahiptir.N-PN-PNP Kübik Hamilton grafiklerinde Hamilton çevrimlerinin sayısında en iyi bilinen üst sınır ve alt sınır nedir? Kübik bir Hamilton grafiği göz önüne alındığında, Hamilton çevrimlerinin sayısını bulmanın karmaşıklığı nedir? …

15 cc.complexity-theory  counting-complexity 

Razborov-Rudich'in Doğal Kanıtları belgesinde, sayfa 6'da, " monoton devre modellerine karşı güçlü alt sınır kanıtları " olduğunu ve resme nasıl uyduklarını tartışıyorlar : Burada sorun yapıcılık değildir - bu kanıtlarda kullanılan özelliklerin hepsi mümkündür - ancak büyüklük durumunun iyi bir resmi analogu olmadığı görülmektedir. Özellikle, hiç kimse "rastgele monoton fonksiyon" …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions