최대 매칭 문제의 최소차수 정점 간 간선 선택 알고리즘

Algorithm for Minimum Degree Inter-vertex Edge Selection of Maximum Matching Problem

Abstract

본 논문은 최대 매칭 문제(MCM)를 다루었다. MCM은 일반적으로 증대경로 기법으로 구한다. 일반 그래프에 대한 MCM을 구하는 증대경로 알고리즘으로는 $O({\sqrt{n}}m)$ 복잡도, 이분 그래프에 대해서는 O(m log n) 복잡도를 갖고 있다. 반면에, 본 논문에서는 주어진 그래프가 일반 그래프나 이분그래프의 그래프 종류에 상관없이 항상 O(n) 복잡도로 MCM을 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 "최대 매칭을 구하기 위해서는 가능한 많은 정점 쌍의 간선을 선택해야만 한다."는 기본 원리에 근거하여 최소차수 정점 u와 N_G(u)들 중 최소차수 정점 𝜐간 간선 {u,𝜐}를 𝜈(G)=k회 단순히 선택하는 간단한 방법이다. 제안된 알고리즘을 일반그래프와 이분그래프의 다양한 실험 데이터들에 적용한 결과 𝜈(G)를 정확하게 구할 수 있음을 보였다.

This paper deals with the maximum cardinality matching(MCM) problem. The augmenting path technique is well known in MCM. MCM is obtained by $O({\sqrt{n}}m)$ time complexity augmenting path algorithm for the general graph, and O(m log n) algorithm for the bipartite graph. On the other hand, this paper suggests O(n) linear time algorithm. The proposed algorithm based on the basic principle of as possible as largest selected inter-vertex edges in order to obtain the MCM. This paper simply selects edge {u,𝜐} that the minimum degree vertex u and minimum degree vertex 𝜐 in N_G(u) 𝜈(G)=k times iteration. For various general and bipartite graphs experimental data, this algorithm can be get the 𝜈(G) exactly.

Ⅰ. 서론

일반 그래프 G = (V, E), n = |V|, m = |E|와 이분 그래프 K_m,n (m ≤ n)에서 최대 매칭(maximum matching 또는 maximum cardinality matching, MCM)을 구하는 문제는 이분그래프를 활용하는 빅 데이터로부터 유용한 정보를 추출하는 데이터마이닝이나 작업할당 문제에서 중요한 부분을 차지하고 있다.^[1]

매칭이란 두 정점 u와 ν가 인접하여 간선 {u, ν}가 존재할 경우 간선 {u, ν}를 1:1로 선택함으로서 정점 u와 v를 매칭시킴을 의미한다. 따라서 일단 {u, ν} 간선을 매칭시키면 u와 ν에 부속된 나머지 간선들은 삭제되어야만 한다.^[2]

이와 같이 매칭 M의 간선 수 \(\begin{aligned}\nu(G)=k\end{aligned}\)를 최대로 할 수 있는 경우를 MCM이라 하며, 일반 그래프는 최대 ⌊n/2⌋, K_m,n (m ≤ n)이분그래프는 최대 m이다.

MCM을 구하는 알고리즘으로는 정확한 해를 다항시간으로 구할 수 있는 알고리즘이 알려져 있지 않다는 가정 하에 컴퓨터 프로그램을 활용해 다항시간으로 근사해를 구하는 메타휴리스틱 기법과 다항시간으로 정확한 해를 구하는 규칙이 존재한다는 휴리스틱 알고리즘으로 분류될 수 있다.

메타휴리스틱 기법의 일종인 진화 알고리즘(evolutionary algorithm, EA)으로는 Giel과 Wegener^[3], He와 Tao^[4]가 있으며, 유전자 알고리즘(genetic algorithm, GA)으로는 Shetter와 Angadi^[5]가 있다.

휴리스틱 알고리즘의 일종인 증대경로법으로는, Hofcroft와 Karp^[6]의 O(n^5/2)알고리즘, Micali와 Vazirani^[7]의 O(\(\begin{aligned}\sqrt{n} m\end{aligned}\))알고리즘, Blum^[8]의 O(\(\begin{aligned}\sqrt{n} m\end{aligned}\))알고리즘, Witzgall과 Zahn^[2]의 O(n³) Edmond’s 알고리즘, Kameda와 Munro^[9]의 O(mn) 알고리즘이 있으며, 우선순위 큐를 활용한 Galil^[10]의 O(mlogn)알고리즘, 분광학습법을 적용한 Witzgall과 Zahn^[11]의 O(m) 알고리즘이 있다.

G = (V, E),n = |V|, m = |E|, m > n의 MCM을 구하는 데 있어 본 논문에서는 O(n)의 선형시간 복잡도를 갖는 알고리즘을 제안한다. 2장에서는 최대로 가능한 매칭(최대한, maximal matching)과 최대 매칭 (maximum matching) 개념을 정의하고, 증대경로 기법으로 MCM을 찾는 과정을 논한다. 3장에서는 최소 차수 정점 간 간선을 단순히 \(\begin{aligned}\nu(G)=k\end{aligned}\)회 선택하는 알고리즘을 제안한다. 4장에서는 제안된 알고리즘을 적용하여 MCM을 찾을 수 있는지 검증하여 본다.

Ⅱ. 용어 정의와 증대경로법

그림 1은 그래프 G₁, G₂, G₃의 3개 그래프를 보여주고 있다. 이 그래프들에 대한 최대한 매칭(maximal matching)과 최대 매칭(maximum matching) 결과는 그림 2에 제시되어 있다.

그림 1. 예제 그래프

Fig. 1. Example graphs

그림 2. 예제 그래프에 대한 최대한과 최대 매칭

Fig. 2. Maximal and maximum matching for example graphs

[정의 1] 최대한 매칭(maximal matching, MM)이란 매칭 M에 속하지 않은 어떤 간선이 M에 추가된다면 더 이상 매칭이 되지 않는 속성을 가진 그래프 G의 매칭 M을 의미한다. 다시 말해, 그래프 G에 있는 모든 간선이 M에 있는 적어도 하나의 간선과 비공집합 교차(non-empty intersection)를 가진다면 G의 매칭 M이 최대한 매칭이라 한다.

그래프 G₁에서 {2,3} 간선이 M에 포함되면 정점 ②와 ③에 부속된 간선으로 연결된 인접하는 정점 ①,④,⑤,⑥은 {2,3} 간선이 지배하여 더 이상 M에 포함시킬 간선이 없게 된다. 따라서 {2,3}은 MM이다. 마찬가지로 M={{1,3}, {2,4}}인 경우도 MM이 된다.

[정의 2] 최대 매칭(maximum matching, or maximum cardinality matching, MCM)은 가능한 간선 수를 최대로 갖는 매칭으로 매칭 수를 \(\begin{aligned}\nu(G)\end{aligned}\)로 표기한다.

그래프 G₁에서 M={{2,3}}과 M={{1,3}, {2,4}}의 MM이 존재한다. 따라서 MCM은 \(\begin{aligned}\nu(G)=2\end{aligned}\)인 M={{1,3}, {2,4}}가 된다. 따라서 모든 MCM은 MM이 성립하지만 역은 성립하지 않는다.

MCM을 MMEDS(maximum maximal edge dominating set) 또는 MEDS(maximum edge dominating set)라고도 한다.

[정리 1] 일반 그래프의 MCM은 최대 \(\begin{aligned}\nu(G)=\left\lfloor\frac{n}{2}\right\rfloor\\\end{aligned}\)개, K_m,n (m ≤ n)이분그래프는 최대 \(\begin{aligned}\nu(G)=m\end{aligned}\)이다.

MCM을 구하는 널리 알려진 방법으로 Hopcroft-Karp 알고리즘(HKA)가 있다.^[6] HKA는 이분그래프에 한정하여 수행되며, 너비우선탐색과 깊이우선탐색 법으로 증대경로(augmenting path)를 찾는 방법으로 O(mlogn)수행 복잡도를 갖고 있다.

그림 3의 G₄와 G₅ 그래프에 대해 HKA를 수행한 결과는 그림 4에 제시되어 있다. HKA는 U 집합에 대해서 임의의 정점부터 매칭 M에 간선을 계속적으로 추가하면서 증대경로를 확장하는 방법으로 반복 #1에서 미 방문한 정점이 있을 경우 이 정점부터 다시 이 과정을 반복 수행하는 반복 #2를 수행한다.

그림 3. G₄와 G₅그래프

Fig. 3. G₄ and G₅ graph

그림 4. G₄와 G₅ 그래프에 대한 HKA

Fig. 4. HKA for G₄ and G₅ graph 그래프

일반그래프에 대한 MCM을 구하는 알고리즘으로는 O(\(\begin{aligned}\sqrt{n} m\end{aligned}\)) 복잡도의 Micali-Vazirani 알고리즘(MVA)^[7]이 있으나 매우 복잡하고, 저자는 이 알고리즘을 증명하지 못하였으며, 추후 Vazirani^[12]가 증명하였다.

따라서 3장에서는 최소차수 정점 간 간선을 최대 \(\begin{aligned}\nu(G)\end{aligned}\) = ⌊n/2⌋ = k회 수행하는 O(n) 수행 복잡도 알고리즘을 제안한다.

Ⅲ. 최소차수 정점 간 간선 선택 알고리즘

이분그래프에 한정하지 않은 어떠한 그래프에서 정점수 n에 대해 최대 \(\begin{aligned}\nu(G)\end{aligned}\) = ⌊n/2⌋의 MCM을 구하려면 가능한 최소차수 정점 간의 간선을 선택해야 한다. 이러한 규칙은 그림 2에서 MM과 MCM을 설명한 부분에서 증명되었으며, 최대독립집합(maximum independent set, MIS)을 구하는 경우와 마찬가지 논리이다. 따라서 본 장에서는 이러한 단순한 논리에 근거하여 O(m)의 선형시간 복잡도 알고리즘을 제안하며, 이를 최소차수 정점 간 간선 선택 알고리즘(minimum degree inter-vertex edge selection algorithm, MDVESA)이라 칭한다.

MDVESA는 그림 5에 제시되어 있다. 그래프의 모든 정점에 대한 차수를 구하고, 최소차수 정점 u와 이 정점에 인접한 정점 N_G(u)들 중 최소차수 정점 ν를 선정하여 간선 {u, ν}를 선정하는 방법으로 일반그래프는 ⌊n/2⌋회를, 이분그래프는 k_m,n (m ≤ n)에 대해 m회 반복 수행한다.

그림 5. 최소 차수 정점 간 간선 선택 알고리즘

Fig. 5. Minimum degree vertex pair edge selection algorithm(MDVESA)

그림 1의 G₁, G₂, G₃와 그림 3의 G₄, G₅ 그래프에 대해 MDVESA를 수행하는 과정은 그림 6에 제시되어 있다. G₄와 G₅의 K_5,5이분 그래프에 대해 HKA는 반복 #1에서 \(\begin{aligned}\nu(G)\end{aligned}\) = 5를 구하지 못하고 매칭되지 않은 정점들이 남아 있어 반복 #2에서 이들 정점을 재방문하는 방식으로 수행되었다. 반면에, 제안된 MDVESA는 단순히 ν(G)회의 최소 차수 간 정점을 선택하여 해를 구하였다.

그림 6. G₄와 G₅ 그래프에 대한 MDVESA

Fig. 6. MDVESA for G₄ and G₅ graph 그래프

Ⅳ. 알고리즘 적용 및 결과 분석

MDVESA를 그림 7의 다양한 실험 데이터에 적용하여 MCM을 구하여 본 결과는 그림 8에 제시되어 있다.

그림 7. 실험 데이터

Fig. 7. Experimental data

그림 8. 실험 데이터에 대한 MDVESA의 MCM

Fig. 8. MCM of MDVESA for experimental data

MDVESA를 그림 9의 다양한 추가 실험 데이터에 적용하여 MCM을 구하여 본 결과는 그림 10에 제시되어 있다.

그림 9. 추가 실험 데이터

Fig. 9. Additional experimental data

그림 10. 추가 실험 데이터에 대한 MDVESA의 MCM

Fig. 10. MCM of MDVESA for additional experimental data

제안된 MDVESA의 성능을 표 1에 요약되어 있다. 제안된 알고리즘은 최소차수 정점 간 간선을 \(\begin{aligned}\nu(G)\end{aligned}\)회 선택하여 MCM을 구함을 알 수 있다.

표 1. MDVESA 성능

Table 1. Performance of MDVESA

Ⅴ. 결론

일반 그래프에 대한 MCM은 O(\(\begin{aligned}\sqrt{n} m\end{aligned}\)) 복잡도 알고리즘이, 이분 그래프에 대해서는 O(mlogn)의 증대경로 알고리즘이 알려져 있다. 반면에, 본 논문은 주어진 그래프가 일반그래프 또는 이분 그래프와 상관없이 항상 O(n) 복잡도로 최대 매칭(MCM) M을 구하는 알고리즘을 제안하였다.

제안된 알고리즘은 “최대 매칭을 구하기 위해서는 가능한 많은 정점 쌍의 간선을 선택해야만 한다.”는 기본 원리에 근거하여 최소차수 정점 u와 N_G(u)들 중 최소차수 정점 ν간 간선 {u,ν}를 \(\begin{aligned}\nu(G)\end{aligned}\) = k회 단순히 선택하는 방법으로 O(n) 수행 복잡도의 간단하면서도 정확한 결과를 얻을 수 있다. 제안된 알고리즘을 일반그래프와 이분그래프의 다양한 실험 데이터들에 적용한 결과 \(\begin{aligned}\nu(G)\end{aligned}\)를 정확하게 구할 수 있음을 보였다.