완전 매칭 개수에 대한 상한: 정점 차수 기반 일반화

1. 서론 논문은 짝수 개의 정점을 가진 무방향 단순 그래프 \(G=(V,E)\)에 대해 완전 매칭(모든 정점을 짝지은 간선 집합)의 개수를 정점 차수 \(\deg v\)만을 이용해 상한하는 새로운 부등식을 제시한다. 기존에 알려진 Bregman‑Minc 부등식은 이분 그래프의 영구값에 대한 상한으로, \(\operatorname{perm}B\le\prod_i (r_i!)^{1/r_i}\) 형태였다. 저자는 이를 일반 그래프에 적용하기 위해 하피안(hafnian) 개념을 도입한다. 2. 영구와 하피안의 관계 이분 그래프에서는 인접 행렬 \(B\)가 0‑1 행렬이며, 완전 매칭 수는 \(\operatorname{perm}B\)와 동일하다. 일반 그래프의 경우 인접 행렬 \(A\)는 대칭이며 대각선이 0이다. 하피안 \(\operatorname{haf}A\)는 모든 완전 매칭을 가중치 없이 합산한 값이며, \(\operatorname{perfmat}(G)=\operatorname{haf}A(G)\)가 된다. 하피안 전개식 \(\operatorname{haf}A=\sum_{j\neq i}a_{ij}\operatorname{haf}A(i,j)\)는 영구 전개와 구조적으로 유사하다. 3. 주요 부등식 및 예시 주요 결과는 \