부합 (그래프 이론)

그래프 이론에서 부합(附合, )은 서로 만나지 않는 변들의 집합이다.

정의 
그래프 의 부합 은 다음을 만족시키는, 변들의 부분 집합이다.
 임의의 에 대하여, 과 가 하나 이상의 꼭짓점을 공유한다면 이다.
의 부합들은 포함 관계에 따라서 부분 순서 집합을 이룬다. 이 부분 순서에 대하여 극대인 부합을 극대 부합()이라고 한다. 최대 부합()은 극대 부합 가운데, 변의 수가 최대인 부합이다.

완벽 부합 
완벽 부합(完璧附合, )은 모든 꼭짓점을 덮는 부합이다. 따라서 완벽 부합은 꼭짓점이 짝수 개인 경우에만 존재할 수 있다. 완벽 부합은 당연히 최대 부합이다.

부합 다항식 
유한 그래프 가 주어졌으며, 그 가운데 크기(즉, 포함된 변의 수)가 인 부합의 수를 이라고 하자. 그렇다면, 그 생성 함수

를 의 부합 다항식(附合多項式, )이라고 한다. (여기서 이다.)

또한, 유한 그래프 의 모든 부합의 수, 즉

를 의 호소야 지표([細矢]指標, )라고 한다.

만약

로 치환하였을 때, 이는 단량체-이합체 모형의 분배 함수와 같다.

성질 
(유한 또는 무한) 그래프  위의 두 부합 에 대하여, 그래프

를 생각하자. 그렇다면, 은 다음과 같은 종류의 연결 성분들로만 구성된다.
 짝수 길이의 순환 그래프 . 또한, 그 변들은 번갈아 가며 에 속하거나 에 속하게 된다.
 유한한 길이의 경로 그래프 . 또한, 그 변들은 번갈아 가며 에 속하거나 에 속하게 된다.
 한 쪽의 끝을 갖는 무한 경로 그래프 . 또한, 그 변들은 번갈아 가며 에 속하거나 에 속하게 된다.
 끝점을 갖지 않는 무한 경로 그래프 . 또한, 그 변들은 번갈아 가며 에 속하거나 에 속하게 된다.
증명:
의 각 꼭짓점은 2개 또는 1개의 변에 인접하며, 2개의 변에 인접할 경우 그 가운데 하나는 에 속하며, 다른 하나는 에 속하게 된다. 이 조건을 만족시키는 연결 그래프는 위의 네 족 밖에 없다.

베르주 보조정리 

임의의 유한 그래프  속의 부합 의 덧붙임 경로()는 다음 조건을 만족시키는 경로 이다.
 시작 꼭짓점  및 끝 꼭짓점 은 에 속한 변과 인접하지 않는다.
 경로의 변들은 에 속한 것과 속하지 않은 것들이 교대된다. 즉, 모든 에 대하여, 이지만, 이다.

베르주 정리()에 따르면, 임의의 유한 그래프  속의 부합 에 대하여 다음 두 조건이 서로 동치이다.
 최대 부합이다.
 덧붙임 경로를 갖지 않는다.
(다시 말해, 덧붙임 경로를 갖는 부합에는 덧붙임 경로를 “덧붙여서” 더 큰 부합을 만들 수 있다.)
증명 (덧붙임 경로의 존재 ⇒ 최대 부합이 아님):
유한 그래프 와 그 속의 부합  및 그 덧붙임 경로 가 주어졌다고 하자. 그렇다면, 은 부합을 이루며, 이다.
증명 (최대 부합이 아님 ⇒ 덧붙임 경로의 존재):
유한 그래프  위의 두 부합 , 이 주어졌다고 하고, 이라고 하자. 그렇다면, 그래프

를 생각하자. 이는 두 부합의 대칭차이므로, 경로 그래프 및 짝수 길이 순환 그래프로 구성된다. 이므로, 은 처음 및 끝 변이 에 속하는 홀수 길이의 경로 그래프 를 포함한다. 는 의 덧붙임 경로를 이룬다.

텃-베르주 공식 
텃-베르주 공식(Tutte-Berge公式, )에 따르면, 유한 그래프 의 최대 부합의 크기는 다음과 같다.

여기서
 는 의 모든 꼭짓점들의 집합이다.
 는 의 모든 가능한 꼭짓점 집합에 대하여 취한 최솟값이다.
 는 에서 에 속한 꼭짓점 및 와 인접하는 변들을 제거하여 얻는, 의 부분 그래프이다.
 는 어떤 그래프의 연결 성분 가운데, 홀수 개의 꼭짓점들을 갖는 연결 성분의 수이다.

특히, 만약 어떤 유한 그래프 가 완벽 부합을 갖는 경우

이므로, 임의의 에 대하여

이다. 이를 텃 정리()라고 한다.

알고리즘 
임의의 그래프의 호소야 지표를 계산하는 것은 샤프-P-완전 문제이므로, 매우 어렵다. 다만, 평면 그래프의 경우, 파프 방향을 사용하여
P 알고리즘이 가능하다.

예 

완전 그래프 의 부합 다항식은 다음과 같이 에르미트 다항식 으로 주어진다.

여기서

이다.

마찬가지로, 완전 이분 그래프 의 부합 다항식은 다음과 같은 (일반화) 라게르 다항식으로 주어진다.

역사 
텃 정리는 윌리엄 토머스 텃이 1947년에 증명하였다. 이후 1958년에 클로드 자크 베르주가 이를 텃-베르주 공식으로 일반화하였다.

베르주 정리는 1957년에 프랑스의 수학자 클로드 자크 베르주(, 1926~2002)가 증명하였다.

호소야 지표는 일본의 화학자 호소야 하루오(, 1936~)가 1971년에 유기화학에서의 응용을 위하여 도입하였다.

참고 문헌

외부 링크 
 
 
 
 
 
 
 
 
 
 
 
 

그래프 이론의 계산 문제
조합 최적화