NP에서 포스트 서신 문제가 있습니까?

12

나는 Sipser의 책 서신 후 문제에 대한 계산 이론 소개의 일부 페이지를 읽었으며 PCP가 실제로 NP에 있다고 생각합니다. 인증 자이다 : 더미의 입력 구성 연접 문자열로서 와 연접 을 문자열 로 설정 한 다음 와 를 비교 하여 둘이 같은지 확인한 다음 입력이 실제로 PCP에 대한 솔루션이라고 결론을 내립니다.

(t_{1} / b_{1}, t_{2} / b_{2}, . . . t_{n} / b_{n})

$(t_1/b_1, t_2/b_2,...t_n/b_n)$

t_{1}, t_{2}, . . ., t_{n}

$t_1, t_2,...,t_n$

t

$t$

b_{1}, b_{2}, . . ., b_{n}

$b_1, b_2, ..., b_n$

b

$b$

t

$t$

b

$b$

— 포앙
소스

2

a / 이 문제 의 한계 버전 / 변형은 NP 완료입니다. 예를 들어, 제한된 PCP NP 완료 / 이론적 컴퓨터 과학

— vzn

19

사후 서신 문제는 결정할 수 없으며 특히 NP에 있지 않습니다 . 당신의 생각이 효과가없는 이유는 증인이 반드시 다항식 크기 일 필요는 없기 때문입니다 (사실, 당신은 단지 그것을 증명했습니다). 즉, 인증자가 사후 대응 문제가 NP에 있음을 증명하려면 다항식 시간 (PCP 인스턴스 크기로)으로 실행해야합니다 . 이 경우 문제를 해결할 수있는 경우에도 항상 다항식 크기 솔루션이있는 것은 아닙니다. 실제로, 잠재적 솔루션의 크기에는 계산 가능한 한계가 없습니다. 그렇지 않으면 문제를 결정할 수 있기 때문입니다!

— 유발 필름 러스
소스

11

목격자는 입력 크기가 아닌 솔루션 크기에서 다항식입니다 . 잠재적 솔루션의 길이를 제한 할 방법이 없습니다. 귀하의 증거는 PCP가 재귀 적으로 열거 가능하다는 것을 보여줍니다.

— phs
소스