«csp» etiketlenmiş sorular

"Karmaşıklığı saymada zafer ilan etme zamanı mı?" Başlıklı yazıyı okurken. üzerinden en "Godel'in Kayıp Mektubu ve p = NP" blog, onlar CSP en için ikilemi söz etti. Bazı bağlantıların ardından, googling ve wikipeding, Ladner Teoremine rastladım : Ladner Teoremi: Eğer P≠NPP≠NP{\bf P} \ne {\bf NP} , daha sonra sorunlar var …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Yaklaşım algoritmaları tasarlanırken, bazen bir yuvarlama basamağı izleyen yarı-yarı zamanlı bir program çözülür. Bunu göstermek için sıklıkla kullanılan bir örnek Max-Cut. (Bkz. Örneğin Vijay Vazirani'nin Yaklaşım Algoritmaları.) Analizlerinde kullanılan daha karmaşık yuvarlama algoritmalarını ve tekniklerini açıklamak için Max-Cut probleminin ötesine geçen iyi eğitim kaynakları veya anketler var mı? SDP çözümünün …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

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 

Arkaplan : Subhash Khot'ın orijinal UGC belgesinde ( PDF ), üçlü bir alfabe üzerinde tüm form eşit olmayan (a, b, c) kısıtlamaları olan belirli bir CSP örneğinin tatmin edici bir ödevi kabul edip etmediğine karar vermenin UG-sertliğini kanıtlıyor 1 - kısıtlamaların veya keyfi olarak küçük için kısıtlamaların satiring hiçbir atama …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Schaefer'in ikilik teoremi, üzerindeki her CSP sorununun polinom zamanında çözülebildiğini veya NP-tamamlandığını göstermektedir. Bu, yalnızca SAT ve Horn-SAT hariç sınırlı genişlikteki CSP sorunları için geçerlidir. Sınırsız genişlikteki genel CSP sorunları çok zor olabilir (hatta hesaplanamaz), bu yüzden kendimizi "doğal" ve NP'de olan problemlerle sınırlayalım.{ 0 , 1 }{0,1}\{0,1\} Sınırsız genişlikte …

12 cc.complexity-theory  lo.logic  csp 

Let bir 2CNF formülü olabilir ve negatif olmayan bir tamsayı. Bu makalede , varphi'yi tatmin edici hale getirmek için en fazla maddesinden birini silip silemeyeceğine karar verme sorununun sabit parametre izlenebilir olduğu, burada parametresidir. Benim sorum, bu sonucu diğer ikili boole CSP'sinde genelleştiren bir çalışma olup olmadığıdır. (Bu bir en …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Aşağıdaki soru, bir sistemin veya modelin güvenliğini test ederken birkaç kez ortaya çıkmıştır . Motivasyon: Yazılım güvenlik kusurları genellikle geçerli girişler nedeniyle hatalardan değil, basit geçerlilik kontrollerinin çoğunu geçmek için geçerli girişlere yeterince yakın olan geçersiz girişlerden kaynaklanan hatalardan kaynaklanır. Klasik örnek, çok büyük olması dışında, girdinin makul olduğu tampon …

12 lo.logic  csp  security 

PCP teoremi eşdeğer bir formülasyondur: En fazla 3-SAT için o en karşılanabilir formüller ve formüller ayırt -Sert r maddelerin -fraksiyonu (bazıları için karşılanabilir olan r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Tüm Max CSP'yi sert boşlukları olup olmadıklarına göre sınıflandıran bilinen bir ikilik teoremi var mı? Edit 16 Ara 2010 : Sert …

12 cc.complexity-theory  pcp  csp 

N-kraliçesi sorunu şudur: Giriş: N Çıktı: NXN satranç tahtasına N "kraliçelerinin" yerleştirilmesi, aynı satırda, sütunda veya köşegende iki kraliçenin bulunmaması. Bu konuda bir google araması yaparak, birçok profesörün birçok slaytının bunun bir NP-Zor problemi olduğunu iddia ettim. (Örn. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Ancak bir kanıt bulamadım (veya bir kanıt elde ettim). Bu soruyu …

11 cc.complexity-theory  np-hardness  csp 

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 

Sabit bir yönlendirilmiş grafik verildi (digraph) DDD, DDD-COLORING karar problemi bir girdi digrafisi olup olmadığını sorar G,GG homomorfizması var DDD. (Bir homomorfizmasıG,GG için DDD bir eşleme fff nın-nin V( G )V(G)V(G) için V( D )V(D)V(D) yayları koruyan, yani sen vuvuv bir yay G,GG, sonra f(u)f(v)f(u)f(v)f(u)f(v) bir yay DDD.) Sınıfı DDD-RENKLEME …

9 reference-request  graph-theory  np-hardness  csp  homomorphism