표준 2 행 변형보다 2 개 이상의 행이 더 어려워지는 게시 대응 문제가 있습니까?
-
29-09-2020 - |
문제
표준 포스트 대응 문제는 두 개의 기호가있는 타일과 타일의 상단 심볼의 시퀀스가 하단 하나와 동일하도록 타일 배열이 이루어질 수 있는지 여부에 관한 것이다.
$ \ text {n-pcp}, \ text {n-pcp}> 0 $ 타일이 $ \ text {n} $ 행, 그리고 기호의 시퀀스는이 모든 행에 대해 동일해야합니다.
분명히 $ \ text {1-pcp} $ 은 아프다는 것입니다 (실제로 문제에 대한 답변이 항상 true이기 때문에 사소한 것입니다). $ \ text {2-pcp} $ 은 표준 PCP입니다.
그러나 $ \ text {n}> 2 $ 그것은 더 힘들거나 표준 PCP로 줄일 수 있습니다 (예 : 3-SAT는 3-SAT로 축소됨)
해결책
$ \ text {n-pcp} $ 은 $ \ text {2-pcp} $ 다음과 같이.
$ m $ $ \ text {n-pcp} $ 인스턴스 입력으로서 해당 인스턴스의 솔루션을 추측 한 다음 올바른지 확인합니다.분명히 $ m $ 은 입력 인스턴스에 대한 해결책이있는 경우에만 허용됩니다.
이제 $ P $ $ \ text {n-pcp} $ ...에감소는 $ m (p) $ $ \ text {2-pcp} $ 인스턴스로표준 패션.
제휴하지 않습니다 cs.stackexchange