cstheory Archives - Page 36 of 170

PCP 정리는 아닌 한 만족할만한 3SAT 공식의 절을 만족하는 할당을 찾기 위해 MAX 3SAT에 대한 다항식 시간 알고리즘이 없다고 명시하고 있습니다 . $7 / 8 + ϵ$

7/8+ϵ

$P = N P$

피=엔피

절의 을 만족시키는 사소한 다항식 시간 알고리즘이 있습니다. 그래서 우리가 다항식 알고리즘을 허용한다면 보다 더 잘할 수 있습니까 ? 준 다항식 시간 알고리즘 ( ) 또는 하위 지수 시간 알고리즘 ( )으로 얻을 수있는 근사 비율은 무엇입니까 ? 그러한 알고리즘에 대한 참조를 찾고 있습니다. $7 / 8$

7/8

$7 / 8 + ϵ$

7/8+ϵ

$n^{O (\log n)}$

nO(log⁡n)

$2^{o (n)}$

2o(n)

답변

하나는 얻을 수 MAX3SAT에 대한 근사치를한다는 점에서 실행 너무 많은 문제가없는 시간입니다. 여기 아이디어가 있습니다. 변수 세트를 각각 변수 의 그룹으로 나눕니다 . 각 그룹에 대해 모든 노력 그룹의 변수를 할당하는 방법을. 각각 감소 화학식 들어 Karloff Zwick의 실행 및 -approximation한다. 이러한 모든 시행에서 최대 수의 조항을 만족하는 과제를 출력합니다. $7 / 8 + ε / 8$

7/8+ε/8

$2^{O (ε n)}$

2O(εn)

$O (1 / ε)$

O(1/ε)

$ε n$

εn

$2^{ε n}$

2εn

$7 / 8$

7/8

요점은 최적의 할당 (해당 블록으로 제한됨)이 이미 충족 된 최대 절 수의 분율을 충족하도록 일부 가변 블록이 있다는 것입니다 . 여분의 절은 정확히 맞을 것이고 Karloff와 Zwick을 사용하여 나머지 부분의 을 얻습니다 . $ε$

$7 / 8$

7/8

동일한 유형의 근사치에 대해 시간을 얻을 수 있다면 흥미로운 질문 입니다. 3SAT를 다항식 시간에서 MAX3SAT로 줄일 수있는 “선형 PCP 추측”이 있습니다. $2^{O (ε^{2} n)}$

2O(ε2n)

3SAT 인스턴스를 만족할 수 있으면 MAX3SAT 인스턴스를 완전히 만족시킬 수 있습니다.
3SAT 인스턴스 시켰음이면 MAX3SAT 인스턴스가 아닌 만족할 및 $7 / 8 + ε$
감소는 공식 크기를 만큼 증가시킵니다. $p o l y (1 / ε)$

이 선형 PCP 추측하는 가정 – 시간 모두, 근사 및 , 3SAT는 것을 수반 모든 시간 . (여기서 은 절 수입니다.)이 증거는 Impagliazzo, Paturi 및 Zane의 Sparsification Lemma를 사용합니다. $2^{O (ε^{c} m)}$

2O(εcm)

$7 / 8 + ε$

7/8+ε

$c$

$ε$

$2^{ε n}$

2εn

$ε$

$m$

답변

Ryan Williams가 마지막 단락에서 쓴 내용을 다소 다시 설명하려면 :

함수가 있다는 Moshkovitz-라즈 정리 프로그램 등 맥스 3Sat가 될 수 있다면 있음 에 -approximated 시간 이면 3Sat의 결정 버전은 시간 $T (n) = 2^{n^{1 - o (1)}}$

T(n)=2n1−o(1)

$(7 / 8 + 1 / (\log \log n)^{.000001})$

(7/8+1/(log⁡log⁡n).000001)

$T (n)$

T(n)

$2^{o (n)}$

2o(n)

. 후자는 불가능하다 (이것은 지수 시간 가설이다).이 경우 전자도 불가능하다. 정확하게 표현하지 않기 위해 Max-3Sat의 경우 전체 지수 시간보다 을 뛰어 넘을 수 없습니다 . $7 / 8$

7/8

답변

Exit mobile version

How IT

언제든지 물어보세요.

카테고리 보관물: cstheory

MAX 3SAT를위한 초 다항식 시간 근사 알고리즘 시간 알고리즘이 없다고 명시하고 있습니다 .7

답변

답변

답변