Teorik Bilgisayar Bilimi

Macar algoritması, polinom zamanında maksimum ağırlık bipartit eşleştirme problemini çözen ve önemli primal-dual yönteminin daha sonra geliştirilmesini öngören bir kombinatoryal optimizasyon algoritmasıdır . Algoritma 1955 yılında Harold Kuhn tarafından geliştirilen ve "Macar algoritması" adını veren algoritma geliştirildi ve yayınlandı çünkü algoritma iki Macar matematikçinin eski eserlerine dayanıyordu: Dénes Kőnig ve …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

Ben tamamen işlevsel bir şekilde bir DBMS yazma fikrini araştırıyorum. İndeksleme için kullanılan geleneksel veri yapısı B-Tree'dir. Disk erişimini en aza indirgemek için optimize edilecek tamamen işlevsel bir B-Tree eşdeğerini bilmek istiyorum. Teşekkürler.

14 ds.data-structures  functional-programming  db.databases 

Beni doğal sayılar (listeler veya ağaçlar da iyi) gibi bir endüktif veri türü de dahil olmak üzere, sezgisel mantık için bir kesme-eliminasyon teoremini detaylandıran bir makaleye yönlendiren var mı? İlgileniyorum sisteminin tür bir örneği Godel'in gramer tarafından verilen tipleri vardır un T, . Doğal sayılar üzerindeki niceleyicilerle veya doğal sayılarla …

14 lo.logic  pl.programming-languages  sequent-calculus 

1) (karar versiyonu) A NP tamamlandığında ve B P'deyken # P-tamamlama problemi #A'dan sayım problemine #B kadar cimri bir azalma sağlamak mümkün müdür? Örneğin, B P'deyken #SAT'tan #B'ye ciddi bir azalma olabilir mi? 2) B P ise, #B'nin karmaşıklığı için farklı olasılıklar nelerdir?

14 cc.complexity-theory  complexity-classes  counting-complexity 

İki CNF verildiğinde, doğru yapmak için aynı sayıda ödeve sahiplerse, "Evet" yanıtı, aksi takdirde "Hayır" yanıtını verin. olduğunu görmek kolaydır , çünkü bu iki CNF'ye kesin çözüm sayısını bilirsek, sadece onları kamp eder ve "Evet" veya "Hayır" yanıtını veririz.P#PP#PP^{\#P} Bu sorunun karmaşıklığı nedir?

14 cc.complexity-theory  complexity-classes  counting-complexity 

Burada ve orada bulduğum ders notlarına dayanarak minimum ağırlıktaki iki taraflı mükemmel eşleme problemi için Kuhn-Munkres algoritmasının bir uygulamasını yazdım. Binlerce köşe noktasında bile gerçekten iyi çalışıyor. Ve arkasındaki teorinin gerçekten güzel olduğuna katılıyorum. Yine de neden bu kadar uzunluğa gitmem gerektiğini merak ediyorum. Bu ders notlarının neden sadece temel …

14 ds.algorithms  graph-theory  linear-programming  simplex 

Bazı şifreleme modellerini gözden geçiriyorum. Yetersizliğini göstermek için, grafik izomorfizmine dayanan bir protokol düzenledim. "Grafik İzomorfizm sorununun zor örnekleri" üretebilen BPP algoritmalarının varlığını varsaymak "sıradan" (henüz tartışmalı!). (İzomorfizmin bir tanığı ile birlikte.) Benim onaylanan protokolümde, bir ek gereksinimi karşılayan bu tür BPP algoritmalarının varlığını kabul edeceğim: Üretilen grafiklerdir olsun ve …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

Coq'u aşağıda verilen özyinelemeli fonksiyonun sona erdiğine nasıl ikna edebilirim? İşlev iki endüktif argüman alır. Sezgisel olarak, her iki argüman da ayrıştırıldığı için özyineleme sona erer. Özellikle, fonksiyon girdi olarak iki ağacı alır. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. Ağaçlarda, aşağıdaki indüksiyon stilini …

14 interactive-proofs  proof-assistants  coq 

Tamamen işlevsel bir ortamda, tek başına bağlı olmayan listeyi düşünün. Övgüler dağ tepelerinden söylenmiştir ve söylenmeye devam edecektir. Burada birçok güçlü yönünden birini ve bunun ağaçlara dayanan daha geniş bir tamamen işlevsel sekans sınıfına nasıl genişletilebileceği sorusunu ele alacağım. Sorun şudur: O (1) zamanında neredeyse kesin yapısal eşitliği güçlü bir …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

,sınırsız fanin VEYA ve sınırlı fanin AND kapılarıolan bir O ( log i n ) derinlik devresiailesi tarafından çözülebilen karar problemleri sınıfıdır. Olumsuzluklara yalnızca giriş düzeyinde izin verilir. İ ≥ 1 için S A C i'nin tamamlayıcı altında kapalı olduğu ve S A C 0'ın kapalıolmadığı bilinmektedir. Ayrıca, S A …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Algoritmik oyun teorisinde (veya genel olarak CS ile ilgili olarak oyun teorisinde) ne tür varsayımlar ve açık problemler en önemlisidir? Örneğin, NASH'ın PPAD-tam olarak çözülmesinin bence çözülene kadar en büyük çözüm olacağını düşünüyorum. (Eklendi: PPAD'ın P ve NP ile ilişkisini çözmek iyi bir açık sorundur, ancak hesaplama karmaşıklığına derinden yerleşmemiş …

14 big-list  gt.game-theory 

Tamsayı ilişkisine yönelik (küçük) bir çözümün yanıt vermesi için bir Altküme Toplamı veya Sayı Bölümü Sorunu örneğini kodlamanın bir yolu var mı? Kesinlikle değilse, o zaman bir olasılıkla? Seçilen sayı aralığının büyük olduğu 'düşük yoğunluklu' bölgedeki Altküme Toplamı sorunlarının çözümünde LLL'nin (ve belki de PSLQ'nun) ılımlı bir başarı ile kullanıldığını …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

#SAT sorunu standart # P-complete sorunudur. Bu bir karar probleminden ziyade bir fonksiyon problemidir. Bir boolean formülü verilen sorar nasıl tatmin birçok atamaları önermeler mantığında, F vardır. #SAT'daki en iyi alt sınırlar hangileri?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

(Bunu MathOverflow'da zaten sordum, ama orada cevaplarım yok.) Arka fon Türlenmemiş lambda hesabı, bir terimin bir (örneğin son derece farklı sonuçlar doğurabilir azaltmak için hangi sayıda redexes ve farklı seçenekler de içerebilir ki burada bir adım ( β -) y'ye veya kendisine indirgenir ). Nerede azaltılacağına ilişkin farklı (sıralı) seçimler …

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

Ekleyeceğim iki makale: D. Kozen, "Subremursif sınıfların indekslenmesi" , STOC, 1978. R. Ladner, "Polinom Zaman İndirgenebilirliğinin Yapısı Üzerine" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity