비연속 행렬의 비호환 그래프에서 홀순환 길이의 최적 상한

초록

**
이 논문은 연속 1 속성(C1P)을 만족하지 않는 이진 행렬의 비호환 그래프에서 존재하는 가장 짧은 홀순환의 길이에 대한 정확한 상한을 제시한다. 기존 연구가 제시한 k+2 (k는 열 수)라는 상한이 실제로는 k가 짝수일 때 k+3, 홀수일 때 k+2가 최적임을 Tucker 패턴을 이용해 증명한다.

**

상세 분석

**
연속 1 속성(C1P)은 행렬의 열을 재배열해 각 행의 1이 연속하도록 만드는 성질로, 그래프 이론에서는 구간 그래프와 깊은 연관이 있다. McConnell(2004)는 행렬의 비호환 그래프를 정의하고, 이 그래프가 이분 그래프이면 C1P를 만족한다는 중요한 결과를 제시했으며, 따라서 홀순환은 C1P 위반의 증거가 된다. 그러나 McConnell은 “k+2”라는 상한을 제시했는데, 이는 모든 비C1P 행렬에 대해 열 수 k에 대해 최소 홀순환 길이가 k+2 이하라고 주장한 것이다.

본 논문은 Tucker(1972)가 제시한 5가지 최소 비C1P 패턴(이하 Tucker 패턴)을 활용한다. Tucker 패턴은 C1P를 위반하는 최소 구조이며, 모든 비C1P 행렬은 이러한 패턴을 부분행렬로 포함한다. 따라서 비호환 그래프에서 가장 짧은 홀순환을 찾는 문제는 각 Tucker 패턴에 대해 별도로 분석하면 전체 행렬에 대한 상한을 얻을 수 있다.

저자들은 각 패턴에 대해 비호환 그래프와 강제 그래프(Forcing graph)를 구성하고, Lemma 2.2를 이용해 강제 그래프에서 (c_i, c_j)와 (c_j, c_i) 사이의 경로 길이와 비호환 그래프의 홀순환 길이 사이의 정확한 변환 관계를 증명한다. 구체적으로, T_I_k(정사각형 형태)와 T_II_k에 대해서는 최소 홀순환 길이가 k(홀수) 혹은 k+1(짝수)임을 보였으며, 이는 기존 상한과 일치한다.

핵심적인 새로운 결과는 세 번째 패턴 T_III_k(열 k, 행 k‑1)에서 나타난다. 여기서는 비호환 그래프가 복잡한 클리크와 경로 구조를 가지며, 중요한 “critical edge”가 그래프를 두 부분으로 연결한다. 저자들은 강제 그래프에서 (c_1, c_k)와 (c_k, c_1) 사이의 최단 경로가 k+3(짝수 k) 혹은 k+2(홀수 k)임을 보이고, 이를 Lemma 2.2에 적용해 비호환 그래프의 최소 홀순환 길이가 동일함을 증명한다. 또한, 더 짧은 홀순환이 존재한다면 Tucker 패턴 자체가 C1P를 만족하게 되어 모순이 발생함을 논증함으로써 상한의 최적성을 확정한다.

네 번째와 다섯 번째 패턴은 각각 4×5, 4×6 크기로, 이들에서도 최소 홀순환 길이가 각각 5와 9로, 앞서 제시된 상한(k+2 혹은 k+3)과 일치한다.

결과적으로, 논문은 “k가 짝수일 때 최소 홀순환 길이는 k+3, 홀수일 때는 k+2”라는 정확한 상한을 제시하고, 이는 기존 McConnell의 주장보다 더 정밀하며, Tucker 패턴을 통한 직접적인 증명이 가능함을 보여준다. 또한, 이 상한이 실제로 달성되는 예시(T_III_k)와 알고리즘적 함의를 논의하며, 기존 선형 시간 인증 알고리즘이 최악의 경우 2k‑1 길이의 순환을 반환할 수 있음을 지적한다.

**