사이클 4~7이 없는 그래프의 가중치 균등 커버링

초록

본 논문은 4·5·6·7 길이 사이클을 포함하지 않는 단순 그래프에 대해, 모든 최대 독립집합이 동일한 가중치를 갖도록 하는 가중치 함수들의 벡터 공간을 다항시간에 찾는 알고리즘을 제시한다. 핵심은 “생성 부분그래프”(generating subgraph)를 이용해 제약식을 도출하고, 이를 최대 흐름 문제로 변환해 효율적으로 해결하는 것이다.

상세 분석

논문은 먼저 그래프 G가 w‑well‑covered임을 정의한다. 즉, 정점 가중치 함수 w에 대해 모든 최대 독립집합 I가 동일한 가중치 w(I)를 갖는 경우를 말한다. 이러한 w들의 전체 집합은 벡터 공간을 이루며, 이를 구하는 것이 핵심 문제이다. 저자들은 사이클 C₄, C₅, C₆, C₇을 전혀 포함하지 않는 그래프에 한정함으로써 구조적 제약을 확보한다.

핵심 개념인 생성 부분그래프(generating subgraph) B는 완전 이분 그래프 B = (B_X, B_Y)이며, 어떤 독립집합 S가 존재해 S∪B_X와 S∪B_Y가 각각 G의 최대 독립집합이 되는 경우를 말한다. 이때 B_X와 B_Y는 반드시 같은 가중치를 가져야 하므로, B는 “w‑에 대한 제약식 w(B_X)=w(B_Y)”를 만든다. Proposition 2.1은 B가 생성되기 위한 필요충분조건을 제시한다: N₂(B) 안에 존재하는 독립집합이 N₁(B_X)△N₁(B_Y) 를 지배하면 된다.

Theorem 2.2에서는 C₄, C₆, C₇을 금지한 그래프에서 생성 여부를 다항시간에 판정할 수 있음을 보인다. 핵심 아이디어는 B_X가 하나의 정점 x(=|B_X|=1)라는 사실을 이용해, 각 파티션에 속한 정점 y_i에 대해 주변 구조를 세밀히 분석하고, M₁(y_i), M₂(y_i) 라는 층을 정의한다. 이후 M₁과 M₂ 사이의 관계를 흐름망 F_P에 매핑하고, Ford‑Fulkerson 알고리즘으로 최대 흐름을 구한다. 흐름이 양의 값을 갖는 M₂ 정점 집합 S_P가 M₁을 지배하면 B는 생성된다. 이 과정은 O(|V|·(|V|+|E|)) 시간에 수행된다.

다음으로 저자들은 헤리터리 시스템(hereditary system) 이론을 도입한다. (G, w)의 독립집합 전체를 feasible set으로 보는 가중치 헤리터리 시스템은 “greedy”일 때, 즉 모든 maximal feasible set이 동일한 가중치를 가질 때 w‑well‑covered와 동치이다. Theorem 3.3은 “G가 w‑well‑covered ⇔ 모든 생성 부분그래프가 만든 제약을 만족한다”는 강력한 등가성을 증명한다.

마지막으로 벡터 공간 L_v를 정의한다. 각 정점 v에 대해 B_X={v}인 모든 생성 부분그래프가 만든 제약을 모아 L_v를 얻는다. 전체 가중치 공간은 ⋂_{v∈V} L_v 로 표현된다. Theorem 4.1은 위에서 설계한 흐름 기반 판정 절차를 v마다 적용하면 각 L_v를 다항시간에 구할 수 있음을 보인다. 따라서 전체 벡터 공간을 구하는 전체 알고리즘도 O(|V|·(|V|+|E|)) 시간에 해결된다.

이 결과는 기존에 알려진 “well‑covered 그래프 인식이 co‑NP‑complete”인 문제를, 사이클 제한이라는 자연스러운 구조적 가정 하에 다항시간으로 해결한다는 점에서 의미가 크다. 또한, 생성 부분그래프와 흐름망 변환이라는 새로운 기법은 다른 그래프 최적화 문제에도 적용 가능성을 시사한다.