추상 밀링 문제의 턴 비용 파라미터화 복잡도

본 논문은 기하학적 밀링 문제를 그래프 이론으로 일반화한 ‘추상 밀링(Abstract Milling)’ 문제의 파라미터화 복잡도를 처음으로 체계적으로 분석한다. 문제 정의는 다음과 같다. 단순 그래프 G=(V,E)와 각 정점 x∈V에 대해 정의된 0/1 턴 비용 함수 fₓ:E(x)×E(x)→{0,1}가 주어지면, 모든 정점을 방문하는 워크가 k번 이하의 턴으로 존재하는지를 묻는다. 여기서 턴은 연속된 두 간선 (e,f) 사이에 fₓ(e,f)=1인 경우에 발생한다. 논문은 크게 세 부분으로 구성된다. 첫 번째는 격자 그래프에 한정된 ‘Grid Milling’ 문제에 대한 FPT 결과이다. 저자들은 트리폭이 6k−5보다 큰 격자 그래프는 k−2 턴 이하의 커버링 워크를 가질 수 없음을 보이고, 트리폭이 O(k) 이하인 경우에만 MSO 논리로 문제를 기술한다. Courcelle 정리를 적용해 트리폭이 제한된 구조에 대해 MSO 공식의 만족 여부를 선형 시간에 결정함으로써, Grid Milling은 턴 수 k 를 파라미터로 하는 FPT임을 증명한다. 두 번째는 일반 그래프에 대한 ‘Abstract Milling’의 파라미터화 복잡도 분석이다. 여기서는 복합 파라미터 (k, t, d)를 사용한다. k는 허용 턴 수, t는 그래프의 트리폭, d는 최대 차수이다. 저자들은 입력 그래프 G를 ‘주석화된(directed) 그래프’ M(G) 로 변환한다. 변환 과정은 다음과 같다. - 각 정점 v∈V를 l