다양한 팰린드롬 분해의 NP‑완전성

초록

본 논문은 문자열을 서로 다른 팰린드롬 조각들로만 나누는 “다양한 팰린드롬 분해” 문제가 NP‑완전임을 증명한다. 논문은 부울 회로의 만족 가능성 문제를 문자열 구성 문제로 변환하는 선형 시간 감소를 제시하고, 고정된 k‑다양성(k‑diverse) 및 이진 알파벳 제한에서도 NP‑완전성을 유지함을 보인다.

상세 분석

이 논문은 문자열을 서로 다른 팰린드롬으로만 분할하는 문제, 즉 ‘다양한 팰린드롬 분해(Diverse Palindromic Factorization)’가 NP‑완전임을 체계적으로 증명한다. 먼저 문제 정의를 명확히 하고, 입력 문자열 S를 팰린드롬 조각들의 집합 {F₁,…,F_t} 로 분할하면서 각 조각이 서로 다른 문자 집합을 가져야 함을 요구한다. 이 조건은 LZ77·LZ78과 같은 기존의 다양한 파싱과 유사하지만, 여기서는 모든 조각이 팰린드롬이라는 추가 제약이 있다.

NP‑완전성을 보이기 위해 저자들은 전통적인 부울 회로 만족 가능성(Circuit SAT) 문제를 이용한다. 회로 C를 NAND 게이트와 분할(splitter) 게이트만으로 구성하도록 변형한 뒤, 회로의 각 와이어에 고유한 기호 a 를 할당한다. 각 와이어 a에 대해 세 개의 심볼 a, ¯a, x_a 를 도입하고, x_a 를 여러 번 복제한 형태 x_a^j 를 사용한다. 이때 a와 ¯a는 서로 보완적인 역할을 하며, x_a^j는 팰린드롬 구조를 강제하는 “완전 팰린드롬” 요소로 작동한다.

저자들은 회로 C를 단계별로 구성하는 연산(와이어 추가, 와이어 분할, NAND 게이트 삽입)을 문자열 S_i 로 대응시킨다. 각 단계에서 S_i는 이전 단계 문자열 S_{i‑1}에 특수 구분 기호 $와 #를 삽입하고, 새로 도입되는 기호들을 적절히 배치함으로써 “다양한 팰린드롬 분해”가 회로의 진리값 할당과 일대일 대응하도록 만든다. 정의 1과 정의 2는 이러한 대응 관계를 형식화한다. 특히, 회로 출력이 true일 경우 x_a a x_a¯a 가 완전 팰린드롬으로 등장하고, false일 경우 ¯a x_a a x_a 가 완전 팰린드롬으로 등장한다는 점이 핵심이다.

와이어 추가 단계에서는 문자열 “x_a a x_a¯a”와 “x_a¯a a x_a” 두 가지 팰린드롬 형태가 서로 배타적으로 선택될 수 있게 하여, 해당 와이어가 true 혹은 false인 경우를 정확히 표현한다. 와이어 분할 단계에서는 복잡한 패턴을 삽입해 두 개의 새로운 와이어 b, c가 각각 true/false 상태를 독립적으로 선택하도록 만든다. NAND 게이트 삽입 단계에서는 입력 와이어 a, b에 대한 팰린드롬 조각들의 존재 여부가 출력 와이어 c의 팰린드롬 형태와 일치하도록 설계한다. 이러한 구성은 모든 가능한 진리값 할당이 문자열의 다양한 팰린드롬 분해와 일대일 매핑됨을 보장한다.

마지막으로, 전체 회로 C를 나타내는 문자열 S_t에 특수 구분 기호 $와 #를 추가하고, 출력 와이어에 대한 팰린드롬 x_o a_o x_o¯a_o 를 삽입함으로써, S_t가 다양한 팰린드롬 분해를 가질 경우와 회로 C가 만족 가능한 경우가 정확히 동치임을 증명한다. 따라서 회로 SAT이 다항 시간에 감소되므로, 다양한 팰린드롬 분해 문제는 NP‑hard이며, 명백히 NP에 속하므로 NP‑complete이다.

추가적으로 저자들은 고정된 k에 대해 “k‑다양성(k‑diverse)”을 요구하는 변형 문제와, 알파벳을 이진(0/1)으로 제한하는 경우에도 동일한 감소 과정을 적용해 NP‑완전성을 유지함을 보인다. 이는 문자열 문제에서 알파벳 크기가 복잡도에 미치는 영향을 조사한 최근 연구와 일맥상통한다.

전반적으로 이 논문은 부울 회로와 문자열 팰린드롬 구조 사이의 정교한 대응을 통해, 겉보기엔 단순해 보이는 문자열 분해 문제가 실제로는 매우 복잡한 논리적 판단을 내포하고 있음을 설득력 있게 보여준다.