Teorik Bilgisayar Bilimi

Bu soru András Salamon ve Colin McQuillan'ın önceki soruma katkısını okuduktan sonra kafamda yükseldi Monotone-2CNF formüllerinin sayım çözümleri . DÜZENLEME 30 inci Mar 2011 Eklendi sorusuna n ° 2 EDIT'e 29 inci Eki 2010 Soru kavramı aracılığıyla resmileştirmek Andras teklifinden sonra rephrased bir çözüm kümesinin güzel temsil (Ben onun düşüncesi …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Bir ağırlıklı grafik olduğu ki G = ( V, E, w )G,=(V,E,w)G = (V,E,w) , öyle ki w : E→ [ - 1 , 1 ]w:E→[-1,1]w:E\rightarrow [-1,1] negatif ağırlıkları kabul edilmektedir - ağırlık fonksiyonudur. Diyelim ki f: 2V→ Rf:2V→R,f:2^V\rightarrow \mathbb{R} , köşelerinin herhangi bir alt kümesinin bir özelliğini tanımlar S⊂ …

10 ds.algorithms  graph-theory  co.combinatorics 

Daha önce sorulup sorulmadığını görmek için forumu araştırdım ve algoritmik oyun teorisi tartışılırken bu özel konuyu ele alamadım. Sonlu bir n-kişilik oyunda yaklaşık (karışık strateji) Nash dengesini hesaplamak için en iyi bilinen algoritmanın ne olduğunu anlamaya çalışıyorum. Tabii ki, bu algoritma PPAD olacaktır. Hız / verimlilik ile algoritmanın kusursuz doğruluğundan …

10 ds.algorithms  gt.game-theory 

N değişkenleri ve m cümleleri göz önüne alındığında, üst ve alt sınırlar için en iyi bilinen c = m / n olan rastgele k-sat için faz geçişinin mevcut durumunu bilmek istiyorum.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Dağıtılmış sistemlerde hataların ele alınmasına ilişkin hangi belgeleri öneriyorsunuz?

10 reference-request  dc.distributed-comp 

a´a´\acute{\rm a}H ∈ P T I M EHHHHHH∈PTIME∈PTIME\in PTIME Tanımlar vb. Standart ağaç ayrışmaları ve trewidth ile ilgili harika bir araştırma için buraya bakın (Zaman ayırdığınız için teşekkürler, JeffE!). Let HHH , bir hypergraph olabilir. Sonra bir hipergraf HHH ve \ gamma eşlemesi için : E (H) \ tekrar baş …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Ben NPI seyrek dil (hatta gecikmiş diagolanization tarafından inşa) varsayımı bunun altında bulunmaktadır Hava bilmek merak .P≠ NPP≠N-PP \neq NP

10 cc.complexity-theory  complexity-classes 

H (.) Ve R (.,.) Kümeleri üzerinde bir karma işlevi arıyorum, böylece A B'ye dahil edilirse R (H (A), H (B)). Elbette, R (.,.) Doğrulaması kolay olmalı (sabit zaman) ve H (A) doğrusal zamanda hesaplanmalıdır. H ve R'nin bir örneği: 'H( A ) = ⋁x ∈ A1 < < ( …

10 ds.algorithms  hash-function 

Optimizasyon problemlerinin çevrimiçi muadillerini içeren herhangi bir karmaşıklık sınıfı var mı? Değilse, böyle bir sınıf nasıl tanımlanabilir? Birçok sorunun kendi çevrimiçi sürümüne sahip olduğunu biliyoruz: örneğin, bin paketleme sorununun çevrimiçi sürümü. Çevrimiçi problemler, rekabetçi oranlarıyla ölçüldüğünde daha zordur. Ve karmaşıklık hayvanat bahçesinde benzer bir şey bulamadım . Esasen, çevrimiçi sorun …

10 cc.complexity-theory  complexity-classes 

varsayalımP≠NPP≠NPP \neq NP Aşağıdaki simgelem Izin (tetrasyon için, yani. ).iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | x örneğinin boyutudur. L dil olsun,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i \in \mathbb{N}\mbox{, } f(i) \leq |x| …

10 cc.complexity-theory  np-hardness  complexity-classes 

Yenilmez jeneratörler aşağıdaki gibi tanımlanır: Let bir NP bağıntı ve kabul eden bir makine olabilir . Gayri resmi olarak, girişinde ile örnek tanık çiftleri üretiyorsa, gayri resmi bir program değişmez bir üreticidir. , altında verilen herhangi bir polinom-zaman düşmanının, cinsinden , kayda değer olasılıkla çok sayıda uzunluk için bir tanık …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Stratego bir programlama dönüşüm dilidir / DSL'i Yeniden Yazmaktır. Anthony Sloane, Scala üzerinde çalışan bir uygulama yaparak bazı çalışmalar yaptı . İşlevsel bir dil olarak Stratego'nun teorik sınırları nelerdir? (uygulamadan bağımsız olarak). Stratego'da bir başvuru emri hazırlayıcısı yazılabilir mi?

10 functional-programming 

Buradaki birçoğu, Alon'un doğal bir geometrik ortamda ağları için son zamanlarda süper-lineer alt sınırlarının farkındadır [PDF] . Böyle bir alt sınırın herhangi bir şey varsa, ilişkili Set Kapağı / İsabet Seti problemlerinin yakınlığı hakkında ne anlama geldiğini bilmek istiyorum. ϵϵ\epsilon Biraz daha spesifik olmak gerekirse, örneğin, ailenin bir aralık alanı …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

NP-komple problemlerinin "zor" bireysel örnekleriyle ilgileniyorum. Ryan Williams , Richard Lipton'un blogunda SAT0 sorununu tartıştı . SAT0, bir SAT örneğinin 0'dan oluşan özel bir çözüme sahip olup olmadığını sorar. Bu da beni "zor" olabilecek SAT örnekleri oluşturmayı düşündürdü. Hemen hemen tüm örneklerin tatmin edilemez olduğu faz geçişinin ötesindeki bölgeye düşmesi …

10 cc.complexity-theory  sat  hard-instances 

Les Valiant'ın seminal gazetesinden geçiyordum ve makalenin 10. sayfasında Öneri 4.3 ile zor zamanlar geçirdim. Neden temelli için belirli değerlere sahip bir jeneratör varsa, o zaman herhangi biri için aynı değerlerine sahip bazı jeneratör var temel ( ) veya ( ) herhangi bir .{ ( a 1 , b 1 …

10 ds.algorithms  counting-complexity  survey