Teorik Bilgisayar Bilimi

Bir kitaplıktaki bir hatayı düzeltmeye çalışırken, kırmızı ve siyah ağaçlarda sübvansiyon bulmak için yazılar aradım. Değişmez veri yapıları için silme algoritmalarında kullanılan normal ekleme işlemine benzer fermuarlar ve benzer bir şey kullanarak bir çözüm düşünüyorum , ancak hala bulamadığım daha iyi bir yaklaşım olup olmadığını ve hatta minimum karmaşıklık sınırını …

14 ds.data-structures  tree 

Rice teoremi, bir Turing makinesi tarafından tanınan setin önemsiz her özelliğinin kararsız olduğunu belirtir. Karmaşıklık teorisi arıyorum NP tipi hangi önemsiz özelliklerin inatçı olduğunu söyleyen Rice tipi teorem arıyorum.

14 cc.complexity-theory  computability  np 

Başka bir soruya yanıt olarak , lambda hesabı beta teorisinin uzantıları , Evgenij cevap verdi: beta + kural {s = t | s ve t çözülemeyen terimlerdir} bir terim burada M çözülebilir böyle bu terimlerin bir sekans bulabilirse M kendilerine 'başvurusu eşittir I . Evgenij'in cevabı, lambda hesabı üzerinde denklem …

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

Özyineleme fikrini kim tanıttı ? Birisi nereden geldiğini ve bilgisayar bilimini nasıl etkilediğini açıklayabilir mi?

14 reference-request  ho.history-overview  recursion 

Program doğrulamasını biliyorsanız , Arka Plandan önce Soruyu okumayı tercih edebilirsiniz . Program doğrulamasına aşina değilseniz, yine de bu soruya cevap verebilirsiniz, ancak önce Arka Plan'ı okumayı tercih edebilirsiniz . Arka fon Kısmi doğruluk kontrolünün kararsız olduğu sıklıkla ifade edilir. Tartışma uğruna, bu ifadeyi Floyd - Hoare tarzında kesinleştirmenin çok …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Robin Milner, bigrafları grafik benzeri yapıya sahip ancak düğümlerin yuvalanabileceği bir tür grafik yapı olarak tanımladı . Onlar CCS ve benzeri süreç taşı genelleme -calculus ama Milner onları çok daha genel olarak kullanılacak yönelik gibi görünüyor: Seminer notları kısaca onun ölümü detay son gelişmeler öncesinde.ππ\pi İleriye bakmak yerine, Milner'ın 2009 …

14 process-algebra  ho.history-overview 

G 2n köşelerinde bir ağaç olsun. G, tw (G) = 1 trewidth. Şimdi bir H grafiği elde etmek için G'ye n kenarı eklediğimizi varsayalım. Tw (H) 'de kolay bir üst sınır n + 1' dir. Bir şekilde tw (H) 'nin O (sqrt (n)) olması gerektiği anlaşılıyor, ancak bu sadece belirsiz …

14 upper-bounds  treewidth 

Bir bilgisayar bilimi öğrencisi olarak, oyun teorisiyle tanıştım, ancak konuyla ilgili çok fazla ayrıntı görmedim. Google'da arama yaptım ve oyun teorisi hakkında bazı kitaplara baktım ve bilgisayar bilimlerinde kullanımının doğrulanmasını sağladım. Ekonomist bakış açısından resmi bir oyun teorisi çalışması başlattım. Şimdi oyun teorisinin bilgisayar bilimindeki uygulamalarını bilmek istiyorum. Oyun zekası …

14 reference-request  gt.game-theory 

Seyrek yönlendirilmemiş bir grafiğin çevresini nasıl bulacağımı merak ediyorum . Seyrek olarak kastediyorum . Optimum olarak en düşük zaman karmaşıklığını kastediyorum.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Tarjan'ın yönlendirilmemiş grafikler için algoritmasında bazı değişiklikler yapmayı düşündüm , ancak iyi sonuçlar bulamadım. Aslında 2 bağlantılı bir bileşen bulabilirsem, o zaman ilk bölümü elde edebilecek bir tür indüksiyonla …

14 ds.algorithms  graph-theory  open-problem 

JM Siskind'in araştırma bildirisinde şunlar belirtiliyor: Stalin, tüm program statik analizi yapan ve son derece verimli kod üretmek için bu analiz sonuçlarını kullanan Scheme için optimize edici bir derleyicidir. Stalin geniş bir statik analiz teknikleri koleksiyonu kullanır. Akışa yönelik bölünmeyi gerçekleştirmek için yinelenen monovaryant akış analizini kullanan yeni bir polivaryant …

14 compilers 

Bu konuda biraz araştırma yapmıştım ama her iki şekilde de bir cevap bulamadım. Huck buna tamamen cevap verdi. Teşekkürler :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Son zamanlarda sıkıştırma ile ilgili algoritmalar ile uğraşıyordum ve kayıpsız veri sıkıştırma ile elde edilebilecek en iyi sıkıştırma oranının hangisi olduğunu merak ediyordum . Şimdiye kadar, bu konuda bulabildiğim tek kaynak Wikipedia idi: Video, sayısallaştırılmış film ve ses gibi sayısallaştırılmış verilerin kayıpsız sıkıştırılması, tüm bilgileri korur, ancak verilerin gerçek entropisi …

14 it.information-theory  data-streams 

değişkenleri ve cümleleri olan bir CNF formülü olsun . değişken bir atamayı temsil etsin ve değişken atama tarafından yerine getirilen cümle sayısını . Daha sonra Median-SAT'ı nin tüm medyan değerini hesaplama sorunu olarak tanımlayın . Örneğin, bir totoloji ise, Median-SAT çözümü olacaktır, çünkü atamadan bağımsız olarak her fıkra tatmin edilecektir. …

14 cc.complexity-theory  sat  counting-complexity 

Bu sorun için oluşturduğum bir isim. Ben daha önce hiçbir yerde tarif görmedim. Bu problem için henüz NP tamlığına dair bir kanıt ya da polinom zaman algoritması bulamadım. Bu bir ev ödevi sorunu değildir - işimde karşılaştığım bir sorunla ilgilidir. EN AZ AYRIMCILIK BİTLERİ INSTANCE: Her bit vektörünün tam olarak …

14 cc.complexity-theory  np-hardness 

hesaplama karmaşıklığı büyük miktarda Kombinatorik ve sayı teorisi, stokastiklerden bir miktar ingriding ve yükselen bir cebir içerir. Bununla birlikte, bir analiz uzmanı olarak, bu alanda analiz uygulamaları mı yoksa analizden ilham alan fikirler mi olduğunu merak ediyorum. Biraz buna karşılık gelen tek bildiğim, Sonlu gruplar üzerindeki Fourier dönüşümüdür. Bana yardım …

14 cc.complexity-theory  reference-request  soft-question  big-picture