«pcp» etiketlenmiş sorular

PCP teoremini kullanan (çoğunlukla yaklaşık algoritmalarda) birçok sonuç hakkında bilgim var, ancak PCP teoreminin net bir açıklamasına hiç rastlamadım (yani, ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Bunun için okunacak iyi makaleler / kitaplar nelerdir?

64 cc.complexity-theory  reference-request  pcp 

Diyelim ki ve G 2 , { 1 , … , n } tepe noktasında yönlendirilmemiş iki grafiktir . Bir permütasyon mevcuttur, ancak ve ancak grafikleri izomorfik Π öyle ki G 1 = Π ( G 2 ) , ya da daha çok resmi, bir permütasyon varsa Π öyle ki …

53 cc.complexity-theory  graph-isomorphism  pcp 

PCP teoreminin önemli bir uygulaması "yaklaşıklık sertliği" tipi sonuç vermesidir. Nispeten basit bazı durumlarda, PCP olmadan böyle bir sertlik kanıtlanabilir. Bununla birlikte, yaklaşım sonucunun sertliğinin ilk olarak PCP teoremi kullanılarak kanıtlandığı, yani sonucun daha önce bilinmediği, ancak daha sonra PCP'ye bağlı olmayan daha doğrudan bir kanıtın bulunduğu tespit edildi mi? …

36 cc.complexity-theory  approximation-hardness  pcp 

Tatmin edici bir atama bulmak MAX 3SAT için bir polinom zaman algoritması olduğu PCP teoremi durumları bir karşılanabilir 3SAT formül sürece ait maddeler P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Maddelerin karşılayan önemsiz bir polinom zaman algoritması vardır . Yani, biz daha iyisini Can 7 / 8 + ε …

20 cc.complexity-theory  pcp 

"Eşsiz oyun varsayımı" ile "PCP teoremi" arasındaki ilişkinin ne olduğunu nasıl gösterebiliriz? "Eşsiz oyunlar varsayımı" nın "PCP teoremi" nin daha güçlü bir şekli nasıl açıklanabilir?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Olasılıksal ispat sistemi genellikle kısıtlaması olarak adlandırılır , burada Arthur sadece rastgele bitleri kullanabilir ve yalnızca Merlin tarafından gönderilen kanıt sertifikasının bitleri (bkz . http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n ) ]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]M birMbir\mathcal{MA}f( n )f(n)f(n)g( n)g(n)g(n) Bununla birlikte, 1990'da …

15 cc.complexity-theory  pcp  interactive-proofs 

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 

Raz en Paralel pretition teoremi PCP, inapproximation vb şöyle teoremi fomalized edilir önemli bir sonuçtur. Bir oyun , burada sonlu kümelerdir, üzerinde bir dağılımdır ve yüklemini yapar . Oyunun değerini tanımlayın Ve n- oyun G ^ n = (\ mathcal {S} ^ n, \ mathcal {T} ^ n, \ mathcal …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

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 

Buradan kanıtı okuyorum ve teknik (henüz önemli) bir sorunla karşılaştım. Bunun oldukça spesifik olduğunu ve bağlamın sorunlu olduğunu biliyorum, ama kendim anlayamadım. 51 ve 55. sayfalarda, "standart" doğrulayıcıları sunduktan sonra, bölünmüş atamaları kontrol etmek için doğrulayıcıları değiştirmeye yönelirler. İlk durumda (s. 51), bu kontrol o f1, … , Fkf1,...,fkf_1,\dots,f_k olan …

12 cc.complexity-theory  pcp 

Aşağıdakiler aptalca görünebilir (ve muhtemelen zayıf anlayışımı yansıtıyor - lütfen bana katlanın) PCP teoreminde bir sorgu vardı. İlk üç adımdan sonra biliyoruz. Derece İndirgeme, Expanderization ve Boşluk Amplifikasyon, bir kısıtlama grafik bilgisi geliştirilmiş boşluk ve benzeri (büyük harf boyutu ile Σ d t ). Alfabe küçültme adımının ele aldığı bu …

11 cc.complexity-theory  pcp 

Çoğu olasılıklı ispat sisteminde (örneğin PCP teoremi), hata olasılıkları genellikle yanlış pozitiflerin yanında tanımlanır, yani tipik bir tanım şöyle görünebilir: eğer varsa doğrulayıcı her zaman kabul eder, ancak diğer durumda reddetme olasılığı en az 1 / 2'dir.x∈Lx∈Lx \in L Hatanın diğer tarafında olmasına izin verirken bir sorun mu var? Bu, …

10 cc.complexity-theory  pcp  interactive-proofs 

Olasılıkla kontrol edilebilir kanıt boyutlarında en iyi bilinen asimtotik üst sınırlar nelerdir? İdeal olarak, bu geniş soru hakkında çağdaş bir araştırma arıyorum, ancak hiç değilse, özellikle 3-SAT'ın yakınlığıyla ilgileniyorum. 7/8 + ε-3-SAT, cümlelerin 7/8 + ε kısmı tatmin edici ise, o zaman örnek tatmin edilebilir olacak sözüyle 3-SAT olsun. 3-SAT …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Eşsiz Oyunlar Konjonktürü ve Max-Cut of Khot ve ark. Makalelerinden ve internetteki başka yerlerden, çoğu yazar MAX-CUT azaltması ile uzun kodlar için özel testler oluşturma arasında örtük bir denklik kullanır (benim için ne). Bu denklik konusundaki kendi netliğim olmadığından, bu düşünce trenini takip etmek için mücadele ediyorum. Ayrıca, bu açıklamalardan, …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Arora ve Barak'ın kitabı PCP hakkında bölüm notlarında bulunuyor Dinur'un genel stratejisinin, genişletici grafiklerin zig-zag yapısını ve Reingold'un Bölüm 20'de açıklanan yönlendirilmemiş bağlantı için belirleyici günlük alanı algoritmasını anımsatan, bu farklı araştırma alanları arasında daha fazla bağlantı yapılmasını beklediğini gösteriyor. (sf 494) Bu anımsama ile tam olarak ne kastedilmektedir? Bu …

9 cc.complexity-theory  pcp