방향 그래프 차수폭 계산의 난제 해결

초록

저자들은 방향 그래프의 차수폭을 정의하고, 특히 방향 그래프가 차수폭 1을 가질지 여부를 판별하는 문제가 NP‑hard임을 증명하였다. 이는 기존에 남아 있던 마지막 미해결 케이스를 마감한다. 또한 백에지 그래프를 이용한 파라미터 정의 방식을 일반화하여 여러 기존 그래프 파라미터와의 관계를 조명한다.

상세 분석

논문은 먼저 차수폭( degree‑width )이라는 새로운 방향 그래프 파라미터를 소개한다. 주어진 방향 그래프 D와 정점 순서 ≺에 대해, 뒤쪽으로 향하는 모든 호를 무방향 간선으로 바꾸어 만든 백에지 그래프 D≺의 최대 차수를 Δ(D≺)라 정의한다. 차수폭 →Δ(D)는 모든 가능한 정렬 ≺에 대해 Δ(D≺)의 최소값이다. 이 정의는 기존 무방향 그래프의 최대 차수 파라미터를 자연스럽게 방향 그래프로 확장한다는 점에서 의미가 크다.

주요 결과는 k‑Degree‑Width 문제, 즉 주어진 방향 그래프의 차수폭이 k 이하인지 판별하는 문제가 모든 k≥1에 대해 NP‑complete임을 보인 것이다. 특히 k=1인 경우는 이전 연구에서 열려 있었으며, 저자들은 3‑SAT으로부터 다중 다이어그램의 1‑서브디비전 형태로 변환하는 복잡한 가젯을 설계했다. 각 절을 표현하는 클라우스 가젯은 전이 다이어그램(Tp)과 리터럴 노드, 그리고 사이클 Cj 로 구성된다. 전이 다이어그램은 s에서 t로 가는 2k 혹은 2k+1개의 길이‑2 경로 집합이며, 이를 통해 피드백 아크 집합(FAS)의 크기와 최대 차수를 제어한다.

핵심 논증은 다음과 같다. 3‑SAT 식 φ가 만족가능하면, 각 절마다 만족하는 리터럴을 선택하고 해당 리터럴에 연결된 (eℓ, c) 아크를 피드백 아크 집합에 포함시켜 Δ(D