정점·간선 지정 사이클을 통한 히팅 정리와 폭 측정 개선

초록

이 논문은 임의의 정점 집합 S 에 대해, 방향 그래프 D 에서 S‑사이클을 최대한 많이 포함하는 서로 다른 사이클 집합의 크기가 S‑사이클을 모두 차단하는 최소 정점 집합의 크기보다 작지 않음을 증명한다. 이를 이용해 기존에 알려진 이차적 상한을 넘어, 방향 그래프의 트리‑폭이 사이클‑폭에 선형적으로 제한된다는 새로운 상한을 얻는다. 또한, 동일한 정리의 양방향 그래프 버전을 증명하고, 정점‑버전은 무방향 그래프에서는 아직 미해결인 반면, 간선‑버전은 무방향·방향 그래프 모두에서 성립하지만 양방향 그래프에서는 실패함을 보인다.

상세 분석

본 연구는 “S‑사이클”이라는 개념을 중심으로 피드백 정점·간선 집합과 사이클 집합 사이의 정량적 이중성을 탐구한다. 기존의 Erdős‑Pósa 정리와 Younger’s conjecture(리드·로버트슨·시모어·토마스 증명)에서는 전체 사이클에 대한 정점‑불연속 사이클 집합과 피드백 정점 집합 사이에 로그‑선형 혹은 상수‑선형 관계가 있음을 보여준다. 그러나 S‑사이클에 대해서는 이러한 관계가 일반적으로는 성립하지 않는다(정점‑버전은 Ω(k log k) 하한을 갖는 반례 존재). 논문은 이 문제를 “S‑사이클을 가능한 많이 포함하는 사이클 집합”과 “S‑사이클을 모두 차단하는 최소 정점 집합” 사이의 직접적인 비교로 전환한다.

핵심 정리는 다음과 같다.

• 정점‑버전 (방향 그래프): 임의의 정점 집합 S 에 대해, 서로 다른 사이클들의 집합 C 가 포함하는 S 정점 수의 최댓값은 S‑사이클을 모두 차단하는 최소 정점 집합의 크기와 같거나 크다. 이는 양방향 그래프에서의 정점‑버전이 먼저 증명된 뒤, 방향 그래프는 양방향 그래프의 특수 경우로서 바로 따라온다.
• 정점‑버전 (양방향 그래프): 양방향 그래프는 각 절반‑에지에 +/− 부호를 부여한 구조이며, 이때 정점‑버전이 성립한다. 증명은 정점 문제를 적절히 변형한 “두 개의 복제 정점(v⁺, v⁻)”을 도입해 간선‑버전 문제로 환원하고, 선형계획법(LP)의 강한 이중성 및 행렬의 k‑regular 성질을 이용한다.
• 간선‑버전 (무방향·방향 그래프): 무방향 그래프에서는 사이클 공간을 Z₂ 위에서 다루어, 행렬의 열공간이 서로 다른 사이클 집합을 생성함을 보인다. 방향 그래프에서는 인시던스 행렬과 단위 행렬을 결합한 행렬이 전적으로 전역 비정수 행렬(totally unimodular)임을 이용해, LP의 정수 최적해가 존재함을 보인다. 두 경우 모두 “최대 차단된 간선 수 ≥ 최소 차단 집합 크기”라는 부등식이 성립한다.
• 간선‑버전 (양방향 그래프): 반대로, 양방향 그래프에서는 전역 비정수성질이 깨져 동일한 부등식이 성립하지 않는다. 논문은 Menger 정리의 양방향 그래프 버전이 실패하는 사례를 이용해 반례를 구성한다.

이러한 정리들을 활용해 **사이클‑폭(cycle‑width)**과 방향 트리‑폭(directed tree‑width) 사이의 관계를 새롭게 정립한다. 기존에는 Gianopoulou·Kreutzer·Wiederrecht가 제시한 이차적 상한 dtw(D) ≤ O(cycw(D)²)만 알려져 있었으나, 정점‑버전 정리를 통해 dtw(D) ≤ 9·cycw(D) – 2 라는 선형 상한을 얻는다. 이는 증명 과정이 크게 단순화된 점도 주목할 만하다. 또한, 동일한 논리를 양방향 그래프에 적용해 양방향 트리‑폭도 사이클‑폭에 선형적으로 제한됨을 보인다.

마지막으로, 무방향 그래프에서 정점‑버전이 아직 해결되지 않은 채 남아 있음을 강조한다. 기존의 변환 기법(무방향 간선을 두 개의 반대 방향 간선으로 바꾸는 방법)에서는 길이 2 사이클이 새로 생겨 원래 사이클 구조와 일대일 대응이 깨지는 문제가 발생한다. 따라서 무방향 그래프에 대한 정점‑버전은 새로운 기법이 필요하며, 이는 향후 연구 과제로 남는다.