이분 그래프의 최대 고유 제한 매칭을 다항시간에 판별하는 새로운 접근법

초록

본 논문은 이분 그래프의 매칭을 방향 그래프로 변환하는 BD‑매핑을 이용해, 매칭이 고유 제한(uniquely restricted)인지 여부를 해당 방향 그래프가 비순환(acyclic)인지와 동등하게 만든다. 이를 바탕으로 모든 최대 매칭이 고유 제한인지 여부를 다항시간 알고리즘으로 결정할 수 있음을 증명하고, 기존에 제기된 Levit‑Mandrescu의 열린 문제를 해결한다.

상세 분석

논문은 먼저 기존 연구에서 사용된 “forcing set” 문제와의 연관성을 강조한다. 매칭 M을 포함하는 이분 그래프 G의 포화 정점 집합을 V₁이라 하고, 각 매칭 간선 (x, y)∈M을 정점 x에 대응시킨 뒤, 매칭 외의 인접 간선 (x, y′)∈E\M을 이용해 방향 간선 ⟨x, x′⟩을 만든다. 이렇게 정의된 방향 그래프 D(G,M)를 “BD‑매핑”이라 부른다. 핵심 정리인 정리 3은 D(G,M)가 사이클을 포함하지 않을 때, 즉 D가 DAG일 때와 M이 고유 제한 매칭일 때가 동치임을 보인다. 증명은 M이 고유 제한이면 교대 사이클이 존재할 수 없다는 기존 정리 1(“alternating‑cycle‑free”)을 방향 그래프의 구조에 그대로 옮겨 적용한다. 반대로 D에 사이클이 존재하면, 매칭 M에 교대 사이클을 삽입해 새로운 매칭 M′을 만들 수 있기에 M이 고유 제한이 아님을 보인다.

이 동등성을 이용해, 완전 매칭(perfect matching)인 경우 D가 DAG이면 강제 집합이 필요 없으므로 강제 매칭 수가 0임을 즉시 도출한다(정리 6). 또한, 완전 매칭이 고유 제한이면 |V(D)|=n/2이라는 정리 7을 통해 매칭 크기와 방향 그래프 정점 수 사이의 관계를 명확히 제시한다.

다음 단계에서는 “모든 최대 매칭이 고유 제한인지”를 판별하기 위한 확장된 BD‑매핑을 제안한다. 여기서는 매칭 M이 “greedy”라 가정하고, 자유 정점 집합 V_f(=포화되지 않은 정점)와 기존 BD‑매핑 D를 결합해 확장 그래프 D(G,M,V_f)를 만든다. 정리 9는 이 확장 그래프에서 자유 정점이 터미널(또는 시작) 정점으로 향하는 경로가 하나 이하이거나, 두 자유 정점 사이에 동시에 존재할 수 있는 공통 도착(또는 출발) 정점이 하나 이하인 경우에만 모든 최대 매칭이 고유 제한임을 제시한다. 이는 자유 정점이 두 개 이상의 서로 다른 경로를 통해 연결될 경우 교대 사이클이 형성되어 고유 제한성이 깨진다는 직관적 논증과 일치한다.

알고리즘 1은 완전 매칭에 대한 고유 제한 여부를 단순히 DAG 검증으로 해결하고, 알고리즘 2는 위 정리 9의 조건을 다항시간에 검사함으로써 “모든 최대 매칭이 고유 제한인지”를 결정한다. 복잡도 분석에 따르면, 방향 그래프의 사이클 검사는 O(|V|+|A|) 시간에 가능하고, 자유 정점과 터미널/시작 정점 사이의 경로 개수 검사는 BFS/DFS 기반의 제한된 탐색으로 충분히 다항시간에 수행된다.

이러한 결과는 Levit와 Mandrescu가 2004년에 제시한 “모든 최대 매칭이 고유 제한인 이분 그래프를 인식하는 다항시간 알고리즘이 존재하는가?”라는 질문에 직접적인 답을 제공한다. 또한, 기존에 NP‑complete로 알려진 고유 제한 최대 매칭 찾기 문제와는 달리, 전체 그래프 수준에서의 특수한 구조(모든 최대 매칭이 고유 제한)를 판별하는 문제는 효율적으로 해결될 수 있음을 보여준다.

전체적으로 논문은 매칭‑방향 그래프 변환이라는 강력한 도구를 활용해, 매칭 이론의 여러 난제들을 그래프 순환성 문제로 귀결시킴으로써 복잡도 관점에서 새로운 통찰을 제공한다.