Teorik Bilgisayar Bilimi

“ Fonksiyonel Algoritma Tasarımının İncileri ” ve daha sonra “ Programlama Cebiri ” ni okumaya çalışıyorum ve özyinelemeli (ve polinom olarak) tanımlı veri türleri ve birleştirici nesneler arasında, aynı özyinelemeli tanımlamaya sahip olan ve daha sonra da önde gelen bir yazışma var. kombinatoryal türlerin girişlerinde gösterildiği gibi aynı resmi güç …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Simon Peyton Jones'un Fonksiyonel Programlama Dillerinin Uygulanması'nı okuyorum ve beni biraz şaşırtan bir ifade var (sayfa 39): Zorunlu diller için olandan çok daha büyük ölçüde, işlevsel diller nispeten az anlamsal farklılıklarla birbirlerinin büyük ölçüde sözdizimsel varyasyonlarıdır. Şimdi, bu 1987'de yazıldı ve bu konudaki düşüncelerim o zamanlar etrafta olmayan veya popüler …

17 functional-programming  semantics  imperative-programming 

Programlama dilleri teorisinde yeniyim ve programlama dillerinin biçimsel semantiği için bir kaynak üzerinde iyi bir kaynak arıyorum. Özellikle yapısal operasyonel semantik aramak. Kitap önerileri aldım. Ama daha tanıtım seviyesinde bir kaynak arıyorum. Özellikle eğiticiler, web sitesi ve ücretsiz kitap önerileri memnuniyetle karşılanmaktadır.

17 reference-request  pl.programming-languages  semantics  formal-systems 

Burada düşündüğümüz sorun, iyi bilinen aralık renklendirme sorununun uzantısıdır. Aralıklar yerine, eksenlere paralel kenarları olan dikdörtgenleri dikkate alıyoruz. Amaç, üst üste gelen iki dikdörtgene farklı renkler atanacak şekilde dikdörtgenleri minimum sayıda renk kullanarak renklendirmektir. Bu sorunun NP-zor olduğu bilinmektedir. Xin Han, Kazuo Iwama, Rolf Klein ve Andrezej Lingas (Kutu Grafiklerinde …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Deterministik günlük alanında ( ) karar verilebilen herhangi bir sorunun en çok polinom zamanında ( P ) oluştuğunu görmek kolaydır . Bilinen birçok günlük alanı algoritması (Örneğin: yönlendirilmemiş st-bağlanabilirlik, düzlemsel grafik izomorfizmi) k'nin delice büyük olduğu O ( n k ) ' de çalışır.LLLPPPO(nk)O(nk)O(n^k)kkk Ben Çözülebilir eşzamanlı deterministik logspace ve …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

NP-komple problemine ikinci bir çözüm bulma probleminin NP-tamlığı ile ilgili herhangi bir genel sonuç veya örnek olup olmadığını anlamaya çalışıyorum. Daha doğrusu, aşağıdaki formdaki herhangi bir sorunla ilgileniyorum: Bir çözüm Verilen bir örnek için I NP-tam problemin, bir çözümü var S ' ≠ S için I ?SSSIIIS′≠SS′≠SS' \neq SIII NP-tam …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Bir grafik üzerinde rastgele bir yürüyüş verildiğinde, kapak süresi , her tepe noktasının yürüyüş tarafından vurulduğu (kaplandığı) ilk seferdir (beklenen adım sayısı). Bağlı yönlendirilmemiş grafikler için, kapak süresinin ile üst sınırda olduğu bilinmektedir . Kapak süresi üstel ile bağlı digraphs kuvvetle vardır n . Bunun bir örneği, bir yönlendirilmiş döngüsünün …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Bir doğrusal uzama bir poşet içinde elemanları üzerinde bir lineer sırasıdır , bu şekilde de eder içinde tüm .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Bir doğrusal uzama grafiğidir iki doğrusal uzantıları bitişik bir poşet, doğrusal uzantı kümesinin bir grafiktir tam olarak di ff halinde er elemanlarının bir bitişik takas. Aşağıdaki resimde …

17 graph-theory  co.combinatorics 

Anladığım kadarıyla, tüm bildiğimiz simpleks algoritmalar için deterministik pivot kuralları, algoritmanın optimum bulmak için üstel zaman (veya en azından polinom değil) gerektiren belirli girişlere sahiptir. Bu örnekleri 'patolojik' olarak adlandıralım, çünkü genellikle (çoğu girişte) simpleks algoritması hızla sona erer. Matematiksel programlama dersimden, belirli kurallar için standart patolojik örneklerin oldukça yapılandırılmış …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Diyelim ki, gelecekte belirli bir noktada Evrendeki tüm atomların durumunu hesaplayacak bir bilgisayar inşa ediyorsunuz. Evren, tanım gereği, var olan her şey (ve geri kalanıyla etkileşime giren herhangi bir şey) olduğu için, inşa ettiğiniz bilgisayarı da içerir. Bilgisayarın atomları da dahil olmak üzere bilgisayarınızı kullanarak Evrendeki tüm atomların durumunu hesaplayabilir …

17 computability 

Geçmişte, motorlarındaki ana işgücü olarak SAT ve düzenli kısıtlama memnuniyetini kullanarak koordinasyon modelleri uyguladım. Bu çalışma çizgisine devam ederken, modelleri daha etkileşimli hale getirmek istiyorum ve bunu yapmanın en iyi yolu, artık bir kara kutu olmayacak şekilde kısıtlayıcı çözücüyü açmaktır. Bu nedenle, kısıtlamaların dış değişkenler , tahminler ve işlevler olarak …

17 sat  lo.logic  csp 

Bazı indüklenmiş altgrafları tespit etmek için cebirsel yöntemleri kullanma hakkında bir makale okurken, kenar idealinin değişmeli cebir ve grafik teorisini birleştiren önemli bir araç olduğu görülmektedir . Cebirsel nesnelerin hesaplamalarına aşina olmadığım için, bu konuda iyi referanslar veya kitaplar var mı? Bir Turing makinesindeki bir R halkasını temsil etmede özellikle …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

Bu sorudan, Georgia Tech Algoritmaları ve Rasgelelik Merkezi'nin "Randomize edip etmediğini soran" tişörtünden esinlenilmiştir. Rastgeleleştirmenin, özellikle de rakip ortamlarda çalışırken yardımcı olduğu birçok örnek vardır. Ayrıca, rasgeleleştirmenin yardımcı olmadığı veya zarar vermediği bazı ayarlar da vardır. Sorum şu: Rastgeleleştirme (görünüşte makul bir şekilde) gerçekten acı verirken bazı ayarlar nelerdir? Sorun …

17 randomness  big-picture  randomized-algorithms 

Bir dağıtım söylenir ε bir işlev -fool f eğer | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Ve eğer o sınıftaki her fonksiyonu kandıracaksa bir sınıf fonksiyonunu kandırdığı söylenir. Ε- dışı alanların …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Bırakın 0≤p≤10≤p≤10\le p\le 1 ve karar problemini düşünün CLIQUE p Giriş: tamsayı s , t köşeleri olan grafik G ve ⌈ p ( tpp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceilkenarları Soru:etmezGGGen az bir klik ihtivasssköşe? CLIQUE p örneği, olası tüm kenarlardan bir p oranı içerir . Açıkça CLIQUE p , bazı p değerleri …

17 cc.complexity-theory  np  parameterized-complexity  clique