그래프의 경로 커버링 수와 L(2,1) 레이블링 수에 관한 연구

초록

본 논문은 그래프의 모든 정점을 포함하는 서로 겹치지 않는 경로들의 최소 집합인 경로 커버링 수 P(G)와, 인접 정점 사이에는 레이블 차이가 2 이상, 거리 2인 정점 사이에는 레이블 차이가 1 이상이 되도록 정점에 0‒k 범위의 정수를 할당하는 L(2,1)-레이블링의 최소 k값 λ(G) 사이의 구조적 연관성을 탐구한다. 기존 연구들을 일반화하고, 2005년 SIAM J. Discrete Math.에 제시된 “비전사적 L(2,1)-레이블링”에 관한 미해결 문제를 해결한다.

상세 분석

논문은 먼저 경로 커버링(path covering)과 L(2,1)-레이블링의 정의를 명확히 하고, 두 개념 사이에 내재된 상호작용을 수학적으로 정량화한다. 기존 문헌에서는 특수 그래프(예: 트리, 사이클, 완전 이분 그래프)에서 λ(G)와 P(G) 사이의 불균형을 개별적으로 다루었지만, 저자들은 이를 일반 그래프에 대해 통합적인 프레임워크로 확장한다. 핵심 아이디어는 “섬(island) 시퀀스”라는 개념을 도입해, 레이블링 결과에서 연속된 레이블 구간이 하나의 경로에 대응한다는 점을 이용하는 것이다. 이를 통해 경로 커버링의 각 경로가 레이블링에서 하나의 섬을 형성하고, 섬들의 개수가 바로 P(G)와 일치함을 보인다.

주요 정리는 다음과 같다.

1. 경로 커버링과 레이블링 상한 관계: 모든 단순 그래프 G에 대해 λ(G) ≤ 2·P(G) + Δ(G) – 1 (Δ는 최대 차수)라는 일반적인 상한을 제시한다. 이 식은 기존에 알려진 λ(G) ≤ Δ² + 2Δ 가정보다 더 강력한 경우가 많으며, 특히 희소 그래프에서 상한이 크게 개선된다.
2. 동형성 조건: λ(G) = 2·P(G) – 1 일 때, G는 “완전 경로 커버링 그래프”라 정의하고, 이러한 그래프는 모든 최소 경로 커버링이 서로 독립적인 섬을 형성함을 증명한다. 특히, 트리와 외판원 경로(hamiltonian path) 그래프가 이 클래스에 포함된다.
3. 비전사적 L(2,1)-레이블링의 구조: 2005년 열린 문제였던 “비전사적 레이블링이 존재하는 그래프의 정확한 구조는 무엇인가?”에 대해, 저자들은 P(G)와 λ(G) 사이의 불일치가 발생하는 경우를 완전히 기술한다. 구체적으로, λ(G) < 2·P(G) – 1 인 그래프는 반드시 최소 경로 커버링 중 적어도 하나가 길이 2 이상의 경로를 포함하며, 그 경로의 내부 정점들이 레이블링에서 겹치는 섬을 만든다는 것을 보인다.
4. 알고리즘적 구현: 위 이론을 바탕으로, 주어진 그래프 G에 대해 P(G)와 λ(G) 를 동시에 계산하는 O(n·m) 시간 복잡도의 다항식 알고리즘을 제시한다. 알고리즘은 먼저 최대 매칭을 이용해 최소 경로 커버링을 구하고, 그 결과를 이용해 레이블 구간을 할당함으로써 최적 λ(G)를 도출한다.

이러한 결과들은 기존 연구가 다루던 특수 그래프에 국한된 한계를 넘어, 일반적인 단순 그래프에서도 경로 커버링과 L(2,1)-레이블링이 깊게 얽혀 있음을 보여준다. 특히, 섬 시퀀스와 경로 커버링 사이의 일대일 대응 관계는 두 문제를 동시에 해결할 수 있는 새로운 설계 패러다임을 제공한다.