접근성 문제와 포스트 대응 문제의 연결 고리: 결정 불가능성 한계 정리

초록

본 논문은 k규칙 반-투 시스템의 단어 문제(ACCESSIBILITY(k))가 결정 불가능하면, 일반화된 포스트 대응 문제(GPCP)와 원래 포스트 대응 문제(PCP)의 최소 불가능 인스턴스 크기가 각각 k+2, k+4가 된다는 사실을 깔끔하게 증명한다. 이를 통해 현재 알려진 최선의 불가능성 경계인 GPCP(5)와 PCP(7)을 재확인한다.

상세 분석

논문은 먼저 세 가지 문제를 명확히 정의한다. PCP(k)는 k개의 문자열 쌍 (u_i, v_i) 로 구성된 입력에 대해, 양쪽 문자열을 같은 문자열로 만들 수 있는 인덱스 열을 찾는 문제이며, GPCP(k)는 시작·종료 문자열을 추가로 허용한다. ACCESSIBILITY(k)는 알파벳 Σ 위의 k개의 생산 규칙 a→b 로 이루어진 반-투 시스템에서, 주어진 두 문자열 s, t 사이에 변환 경로가 존재하는지를 묻는 단어 문제이다. Claus(1980)의 핵심 아이디어는 ACCESSIBILITY(k)의 불가능성을 GPCP(k+2)로 옮긴 뒤, 다시 GPCP(k)에서 PCP(k+2)로 전이시키는 두 단계의 구성이다. 첫 단계에서는 각 규칙 a→b 를 두 개의 새로운 심볼 X_a, Y_b 로 인코딩하고, 시작·종료 심볼을 삽입해 GPCP 인스턴스를 만든다. 이때 변환 과정은 GPCP의 두 문자열 열이 정확히 일치하도록 설계되어, 원래 반-투 시스템의 접근 가능성 여부와 일대일 대응한다. 두 번째 단계에서는 GPCP 인스턴스에 “프리픽스·서픽스” 문자열을 부착해, 시작·종료 조건을 없애고 순수한 PCP 형태로 변환한다. 여기서는 각 GPCP 쌍 (p_i, q_i) 에 대해 새로운 쌍 (αp_iβ, αq_iβ) 를 만든다(α,β는 고정 문자열). 이렇게 하면 GPCP의 해가 존재하면 PCP에서도 동일한 인덱스 열이 존재한다는 것을 보인다. 논문은 이 두 변환이 다항 시간 내에 수행됨을 증명하고, 따라서 ACCESSIBILITY(k)의 불가능성이 PCP(k+4)와 GPCP(k+2)의 불가능성으로 바로 이어진다. 마지막으로, Matiyasevich와 Senizergues가 ACCESSIBILITY(3)의 불가능성을 증명한 결과를 이용해, GPCP(5)와 PCP(7)의 불가능성을 즉시 도출한다. 전체 증명은 기존 문헌에 비해 구성 요소를 최소화하고, 각 단계의 직관적 의미를 강조함으로써 이해를 돕는다.