P7 프리 그래프에서 지배적 유도 매칭을 선형 시간에 찾는 방법

초록

본 논문은 P7-프리(길이 7 이하의 경로가 없는) 그래프에서 가중치가 부여된 지배적 유도 매칭(DIM) 문제를 선형 시간 알고리즘으로 해결한다. 구조적 분석을 통해 강제(필수) 간선과 동질 집합을 효율적으로 식별하고, 이를 기반으로 그래프를 단계적으로 축소하면서 최적 매칭을 구성한다. 알고리즘은 입력 그래프가 실제로 P7-프리인지 여부도 동시에 검증하므로 강건(robust)하다.

상세 분석

논문은 먼저 지배적 유도 매칭(DIM)의 정의와 기존 복잡도 결과를 정리한다. DIM은 각 선택된 간선 사이의 거리≥2(유도 매칭)와 동시에 그래프의 모든 간선이 선택된 간선 하나와 인접하도록 하는(지배) 조건을 만족해야 한다. 이 문제는 일반 그래프에서 NP‑완전이며, 특히 Pk‑프리 그래프(k≥5)에서의 복잡도는 오랫동안 미해결 상태였다. 저자들은 P7‑프리 그래프에 대해 새로운 구조적 특성을 밝혀낸다.

핵심 관찰은 다음과 같다.

1. 필수 간선: 다이아몬드(4‑정점, 5‑간선) 구조의 중간 간선은 반드시 매칭에 포함된다. 이러한 간선을 발견하면 해당 두 정점을 그래프에서 제거하고, 거리 1에 있는 모든 간선에 무한 가중치를 부여해 이후 단계에서 제외한다.
2. 동질 집합(Homogeneous Set): 그래프에서 어떤 정점 집합 H가 외부 정점과 완전 연결 혹은 완전 비연결이면 H는 동질 집합이다. P7‑프리 그래프가 DIM을 가질 경우, 동질 집합 내부는 매우 제한된 형태(정점 집합, 혹은 서로 독립인 간선들의 집합)만을 허용한다. 이를 이용해 그래프를 선형 시간에 분할하고, 각 블록을 별도로 처리한다.
3. 정점 주변 구조: 임의의 정점 v에 대해 N(v) (이웃 집합)는 별개의 별(star)과 단일 간선·정점들의 합집합이어야 한다. 만약 N(v) 안에 C4, P4, 혹은 K4와 같은 구조가 존재하면 DIM이 존재할 수 없으며, 알고리즘은 즉시 종료한다.

위 관찰을 바탕으로 저자들은 Hom‑1‑DIM 절차를 설계한다. 이 절차는 동질 집합이 단일 외부 이웃을 가질 때, 내부 구조에 따라 필수 간선을 결정하거나 불가능을 판정한다. 절차는 모든 동질 집합을 한 번씩 탐색하므로 O(n+m) 시간에 수행된다.

다음 단계에서는 그래프에서 삼각형 리프 블록(triangle leaf block) 을 제거하고, 필요 시 트리 변환(Tr) 을 적용한다. 트리 변환은 삼각형을 경로 형태로 바꾸어 거리‑2 조건을 유지하면서도 구조를 단순화한다. 이 변환은 P7‑프리 그래프가 내부에 거리‑상속 이분 그래프를 포함할 경우에만 적용되며, 변환 후에도 P7‑프리 성질이 유지된다.

알고리즘 전체 흐름은 다음과 같다.

• 입력 그래프에서 모든 동질 집합을 선형 시간에 찾고, Hom‑1‑DIM 절차로 필수 간선을 추출한다.
• 필수 간선을 제외한 나머지 그래프를 G* 로 정의하고, 삼각형 리프 블록을 트리 변환한다.
• 변환된 그래프가 거리‑상속 이분 그래프 형태라면, 기존의 선형 시간 최대 매칭 알고리즘을 적용해 최적 DIM을 구한다.
• 최종적으로 원래 그래프의 필수 간선과 변환 단계에서 얻은 매칭을 합쳐 전체 최적 지배적 유도 매칭을 구성한다.

이 과정에서 각 단계마다 그래프가 P7‑프리인지 검증한다. 만약 어느 단계에서 P7‑프리 조건이 위배되면, 알고리즘은 즉시 “P7‑프리가 아니다” 혹은 “DIM이 존재하지 않는다”는 결론을 반환한다. 따라서 알고리즘은 강건(robust) 하며, 입력이 P7‑프리인지 사전 검증이 필요하지 않다.

시간 복잡도 분석에서는 모든 단계가 O(n+m)이며, 특히 동질 집합 탐색, 필수 간선 식별, 트리 변환, 그리고 최종 매칭 단계가 각각 선형 시간에 수행된다는 점을 증명한다. 이는 기존의 클리크 폭(clique‑width) 기반 접근법이 요구하는 O(n²) 혹은 복잡한 구조식 구축을 필요로 하지 않으며, 실제 구현에서도 메모리와 실행 시간 면에서 효율적이다.

결과적으로, 저자들은 P7‑프리 그래프에서 가중치가 부여된 DIM 문제를 선형 시간에 정확히 해결하는 알고리즘을 제시함으로써, k≥5인 Pk‑프리 그래프 계열에서 최초로 다항(선형) 시간 해결책을 제공하였다. 이는 그래프 이론 및 알고리즘 분야에서 중요한 진전이며, 네트워크 라우팅, 병렬 자원 할당 등 실용적 응용에도 직접적인 영향을 미칠 수 있다.