«pcp» 태그된 질문

PCP 정리 (주로 근사 알고리즘) 를 사용하는 많은 결과에 익숙 하지만 PCP 정리에 대한 명확한 설명을 얻지 못했습니다 (즉, ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) 읽을만한 좋은 논문 / 책은 무엇입니까?

64 cc.complexity-theory  reference-request  pcp 

과 G 2 가 정점 세트 { 1 , … , n } 에 대한 두 개의 무 방향 그래프 라고 가정 합니다. 순열있다 경우만 그래프는 동형 Π 같은 그 G 1 = Π ( G 2 ) ,보다 형식적으로, 순열이 경우 Π 되도록 ( 난 , j는 ) 의 …

53 cc.complexity-theory  graph-isomorphism  pcp 

PCP 정리의 중요한 적용은 "근사 경도"유형 결과를 산출한다는 것입니다. 비교적 간단한 경우에는 PCP없이 그러한 경도를 증명할 수 있습니다. 그러나 근사 결과의 경도가 PCP 정리를 사용하여 처음 증명 된 경우, 즉 결과는 이전에 알려지지 않았지만 나중에 PCP에 의존하지 않는 더 직접적인 증거가 발견 되었습니까? 다시 말해서 PCP가 먼저 필요하지만 나중에 제거 …

36 cc.complexity-theory  approximation-hardness  pcp 

PCP 정리는 아닌 한 만족할만한 3SAT 공식의 절을 만족하는 할당을 찾기 위해 MAX 3SAT에 대한 다항식 시간 알고리즘이 없다고 명시하고 있습니다 .7 / 8 +ϵ7/8+ϵ7/8+ \epsilonP=N피피=엔피P = NP 절의 을 만족시키는 사소한 다항식 시간 알고리즘이 있습니다. 그래서 우리가 다항식 알고리즘을 허용한다면 보다 더 잘할 수 있습니까 ? 준 다항식 시간 …

20 cc.complexity-theory  pcp 

"고유 게임 추측"과 "PCP 정리"의 관계가 무엇인지 어떻게 알 수 있습니까? "독특한 게임 추측"이 "PCP 정리"의 더 강력한 형태라고 어떻게 설명합니까?

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

확률 론적 증명 시스템 은 일반적으로 의 제한이라고하며 , 여기서 Arthur는 임의 비트 만 사용할 수 있고 만 검사 할 수 있습니다. Merlin이 보낸 증명 인증서 비트 ( http://en.wikipedia.org/wiki/Interactive_proof_system#PCP 참조 )M 경우 → F ( N ) g ( N )PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) 그러나, 1990 년 Babai, Fortnow 및 룬드 입증 , …

15 cc.complexity-theory  pcp  interactive-proofs 

주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …

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의 병렬 예측 정리 는 PCP, 근사치 등에서 중요한 결과입니다. 정리는 다음과 같이 정리됩니다. 게임 , 여기서 S , T , A , B 는 유한 세트이고, π 는 S × T 의 분포 이고 술어는 V : S × T × A × B → { 0 , 1 …

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

PCP 정리의 등가 공식은 다음과 같습니다. Max 3-SAT의 경우, 만족할 수있는 공식과 절의 최대 r- 분획이 만족할 수있는 공식 (일부 r \ lt 1 ) 을 구별 하는 것은 - hard입니다 .NPNPNPrrrr<1r<1r\lt 1 모든 Max CSP가 격차가 있는지 여부에 따라 분류되는 알려진 이분법 정리가 있습니까? 2010 년 12 월 16 …

12 cc.complexity-theory  pcp  csp 

나는 여기서 증거를 읽고 있는데 기술적 (아직 결정적인) 문제에 걸려 넘어졌다. 나는 이것이 다소 구체적이고 상황이 문제가 있다는 것을 알고 있지만 스스로 알아낼 수는 없습니다. 51 페이지와 55 페이지에서 "표준"검증기를 제시 한 후 분할 할당을 확인하기 위해 검증기를 수정합니다. 첫 번째 사례 (51 페이지)에서 f1,…,fkf1,…,fkf_1,\dots,f_k 가 다항식 코드와 0.010.010.01 가까운 …

12 cc.complexity-theory  pcp 

다음은 어리석은 것처럼 보일 수 있습니다. (아마도 나의 이해 부족을 반영한 것이므로 제발 참아주세요) PCP 정리에 대한 질문이있었습니다. 우리는 처음 세 단계 이후에 알고 있습니다. 정도 감소, 확장 및 갭 증폭, 우리는 개선 된 간격과 큰 알파벳 크기 (예 : Σ d t )를 갖는 구속 그래프 가지고 있습니다. 알파벳 …

11 cc.complexity-theory  pcp 

가장 확률 방지 시스템 (예를 들어 PCP 정리,)에서 오류 확률은 보통 즉, 가양의 측면에 정의되어, 일반적인 정의는 볼 수 있었다 같은 경우 다음 항상 있지만에서 받아 검증 다른 경우 거부 확률은 1/2 이상입니다.x∈Lx∈Lx \in L 다른 쪽에서 오류가 발생하는 데 문제가 있습니까? 즉, 검증자는 항상 필요할 때 거부하고 수락해야 할 …

10 cc.complexity-theory  pcp  interactive-proofs 

확률 적으로 확인할 수있는 증거의 크기에 대해 가장 잘 알려진 점근 적 상한은 무엇입니까? 이상적으로, 나는이 광범위한 질문에 대한 현대적인 설문 조사를 찾고 있지만 아무것도 없다면 3-SAT의 근사성에 특히 관심이 있습니다. 7 / 8 + ε-3-SAT를 3-SAT로 설정하고 절의 7 / 8 + ε 비율이 만족스러운 경우 인스턴스를 만족시킬 수 …

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

나는 독특한 게임 추측과 Max-Cut of Khot 등의 유명한 축소를 공부하고 있습니다. 논문과 인터넷의 다른 곳에서 대부분의 저자는 MAX-CUT 축소와 긴 코드에 대한 특정 테스트 구성 간의 암시 적 동등성을 사용합니다. 그 동등성에 대한 명확성이 부족하기 때문에 나는이 생각의 흐름을 따르기 위해 고군분투한다. 또한 이러한 설명에서 감소는 순전히 그래프의 관점에서 …

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

Arora와 Barak의 저서에는 PCP에 관한 장 노트가 있습니다 Dinur의 일반적인 전략은 확장 그래프의 지그재그 구성과 20 장에 설명 된 무 방향 연결을위한 Reingold의 결정적 로그 스페이스 알고리즘을 다소 연상시키는 것입니다. (pg 494) 이 회상은 정확히 무엇을 의미합니까? 이 두 가지 증거를 "배제"할 수있는 것보다 일반적인 재산 / 부상이 있습니까?

9 cc.complexity-theory  pcp