토너먼트 소수관계의 완전 순서성

초록

본 논문은 방향 그래프의 소수(minor) 개념을 ‘강하게 연결된 부분그래프를 하나의 정점으로 수축하는 방식’으로 정의하고, 모든 토너먼트(완전 방향 그래프)가 이 소수 포함 관계 아래에서 well‑quasi‑order(WQO)를 이룬다는 것을 증명한다. 핵심은 토너먼트의 구조적 특성을 이용해 무한한 반사이클이나 무한한 반증 집합을 배제하는 귀류법과, ‘분할‑정복’ 기법을 결합한 새로운 정리와 보조 정리를 도입한 데 있다.

상세 분석

논문은 먼저 기존의 그래프 마이너 개념을 방향 그래프에 확장한다. 여기서 마이너는 (1) 서브다이그래프를 취하고, (2) 강하게 연결된 부분다이그래프를 하나의 정점으로 수축하는 연산을 반복함으로써 얻어진다. 이 정의는 토너먼트가 갖는 완전한 방향성(두 정점 사이에 정확히 하나의 호가 존재)과 강하게 연결된 성분이 자연스럽게 일치한다는 점에서 적절하다.

주요 정리는 “모든 토너먼트는 마이너 포함 관계 아래에서 WQO이다”이며, 이를 증명하기 위해 저자는 다음과 같은 전략을 채택한다. 첫째, 토너먼트를 ‘레벨’이라는 정수값으로 계층화한다. 레벨 k 토너먼트는 k개의 강하게 연결된 ‘블록’이 선형 순서대로 연결된 형태로, 각 블록 내부는 또다시 작은 토너먼트 구조를 가진다. 둘째, 레벨 k 토너먼트 집합에 대해 귀류법을 적용한다. 만약 무한히 많은 서로 비교 불가능한 토너먼트가 존재한다면, 이들 중 최소 레벨을 갖는 서브시퀀스를 선택해 블록 구조를 분석한다.

블록 내부는 강하게 연결된 부분그래프이므로, 수축 연산을 적용하면 블록 자체가 하나의 정점이 된다. 이때 블록 간의 관계는 여전히 토너먼트 형태를 유지한다. 따라서 레벨 k 토너먼트는 레벨 (k‑1) 토너먼트의 마이너로 표현될 수 있다. 이 귀납적 구조를 이용하면, 무한히 많은 반사이클이 존재한다는 가정은 레벨이 무한히 감소해야 함을 의미하지만, 레벨은 자연수이므로 모순이 된다.

또한, 저자는 ‘분할‑정복 마이너 정리’를 도입한다. 이는 임의의 토너먼트를 두 부분으로 나누어 각각을 마이너로 만든 뒤, 다시 하나의 토너먼트로 결합할 수 있음을 보인다. 이 정리는 기존의 그래프 마이너 이론에서 사용되는 ‘트리 디컴포지션’과 유사하지만, 방향성 때문에 추가적인 강연결성 검증이 필요하다.

보조 정리로는 (i) 강하게 연결된 서브다이그래프의 수축이 토너먼트의 완전성을 보존한다는 사실, (ii) 토너먼트의 ‘스코어 시퀀스’(각 정점의 승리 수)가 마이너 연산에 대해 단조 감소한다는 성질을 제시한다. 스코어 시퀀스의 단조성은 무한 반증 집합을 차단하는 핵심 도구로 활용된다.

결과적으로, 논문은 토너먼트가 마이너 관계 아래에서 WQO임을 보이며, 이는 방향 그래프 이론에서 중요한 구조적 통찰을 제공한다. 특히, 강연결성 기반 수축 연산이 토너먼트의 완전성을 해치지 않음이 증명됨으로써, 향후 방향 그래프 마이너 이론의 확장 가능성을 열어준다.