그래프 군에서의 배낭 문제와 구조적 전이 결과

초록

본 논문은 그래프 군(우측각 아티인 군)에서 배낭 문제를 NP 내에 해결할 수 있음을 보이며, 입력을 선형 압축된 SLP 형태로 허용한다. 또한, 유한 확장, 유한 연관 부분군을 갖는 HNN-확장 및 유한 식별 부분군을 갖는 합성곱군으로의 전이 정리를 증명한다. 풀이 집합이 반선형(semilinear)임을 보이고, 자유 군 두 개의 직접곱 F₂×F₂에 대해 NP‑완전성을 확보한다.

상세 분석

논문은 먼저 그래프 군을 트레이스 모노이드(M(A,I))와 동형인 자유 부분 가환 구조로 모델링한다. 이 구조를 이용해 ‘지수 방정식’(exponent equation)이라는 일반형을 정의하고, 배낭 문제는 변수들이 서로 다른 경우의 특수형으로 본다. 핵심은 해가 존재한다면 각 변수 x_i의 값을 입력 길이의 지수적 상한 안에 제한할 수 있다는 ‘지수 상한 정리’이다. 이를 증명하기 위해 레비의 보조정리와 트레이스의 연결성 분석을 활용한다. 상한이 확보되면, 비트 문자열 형태의 후보 해를 비폭발적으로 추측하고, 이를 검증하는 단계는 압축된 단어 문제(Compressed Word Problem)로 환원된다. 압축된 단어 문제는 SLP(직선 프로그램)로 표현된 단어들의 동치성을 다루며, 기존 연구