다양한 길이의 유도 사이클과 트리폭 제한의 새로운 연결고리

초록

이 논문은 $K_{t+1}$와 $K_{t,t}$를 포함하지 않으며 유도 사이클 길이 종류가 $c$ 이하인 모든 그래프가 일정한 트리폭을 갖는다는 구조적 정리를 증명한다. 이를 바탕으로 트리폭이 제한된 그래프에서 $cl(G)\ge c$ 여부를 선형 시간에 판단하는 알고리즘과, 일반 그래프에서 $cl(G)\ge3$ 여부를 $O(|V|^{2})$ 시간에 결정하는 다항시간 알고리즘을 제시한다. 핵심 증명은 ‘돔’, ‘바나나’, ‘키트’ 등 복잡한 구조를 정의하고, 큰 트리폭을 가진 그래프가 이러한 구조를 반드시 포함한다는 사실을 단계별로 보여준다.

상세 분석

논문의 핵심은 “트리폭이 충분히 크면 반드시 큰 구조(돔, 바나나, 키트)를 포함한다”는 명제와, 이러한 구조가 존재하면 유도 사이클의 길이 종류가 임의의 $c$만큼 증가한다는 두 가지 연결고리를 구축하는 데 있다. 먼저 저자들은 $(s,d)$‑돔을 정의한다. 이는 $s$개의 잎을 가진 분할 별과, 그 잎들을 각각 인접하게 하는 경로 $P$가 존재하며, 각 잎이 $P$와 적은 수($\le d$)의 인접을 갖는 구조다. 돔이 ‘정렬(aligned)’되면 잎들의 인접 순서가 경로 위에서 일관되게 정렬되어, 잎‑경로‑뿌리 삼각형을 이용해 길이가 서로 다른 사이클을 연속적으로 만들 수 있다.

다음 단계에서는 ‘바나나’를 도입한다. $q$‑바나나는 두 정점 $x,y$ 사이에 $q$개의 내부가 서로 독립적인 $x$–$y$ 경로 집합이다. 바나나가 ‘강인(rigid)’하면 서로 다른 경로 사이에 완전 연결이 존재한다. 저자들은 큰 $q$‑바나나가 존재하면, 혹은 그 바나나가 $l$‑dense(특정 $\theta$‑구조를 포함하지 않음)하면, 반드시 충분히 큰 돔을 구성할 수 있음을 보인다. 이 과정에서 ‘키트’라는 복합 구조를 사용한다. $(k,q)$‑키트는 $k$개의 서로 겹치지 않는 $q$‑타일드 $\theta$를 한 쌍의 정점 $(x,z)$에 대해 결합한 형태이며, 각 $\theta$의 꼬리 경로가 서로 독립적이다. 키트를 ‘깨끗(clean)’하게 만들면 각 $\theta$ 내부의 정점들이 정확히 두 차수만을 갖게 되고, 이것이 다시 정렬된 돔을 형성하는 데 이용된다.

구조적 정리(Theorem 1.3)는 위의 과정을 역으로 적용한다. 그래프 $G$가 $K_{t+1}$와 $K_{t,t}$를 제외하고 트리폭이 $f_{1.3}(c,t)$보다 크다면, $G$는 (1) 큰 바나나를 포함하거나, (2) 바로 큰 돔을 포함한다. 바나나 경우는 Theorem 4.1에 의해 큰 돔으로 변환되고, 돔이 존재하면 Lemma 3.6에 의해 $cl(G)\ge c$가 된다. 따라서 트리폭이 큰 그래프는 반드시 많은 유도 사이클 길이를 갖는다.

알고리즘적 측면에서는 트리폭이 제한된 경우 동적 프로그래밍을 통해 각 bag에서 가능한 사이클 길이 집합을 합산한다. 트리분해가 주어지면 $O(|V|)$ 시간에 $c$개의 서로 다른 길이의 유도 사이클을 찾거나 존재하지 않음을 판정한다(Theorem 1.2). 일반 그래프에 대해서는 먼저 $K_{3}$와 $K_{2,2}$를 제거하고, Theorem 1.3을 이용해 트리폭이 제한된 부분 그래프를 추출한다. 이후 위의 DP 알고리즘을 적용해 $cl(G)\ge3$ 여부를 $O(|V|^{2})$ 시간에 결정한다(Theorem 1.1).

전체적으로 논문은 그래프 이론의 전통적인 도구(라미, 에르되시‑모세르, 토너먼트 정리)와 최신 구조적 분해 기법을 결합해, 유도 사이클 길이의 다양성 문제를 트리폭과 직접 연결시키는 새로운 프레임워크를 제시한다.