특수 최대 매칭의 상한과 하한에 관한 새로운 경계

본 논문은 그래프 G에서 최대 매칭 F를 하나 제거한 뒤 얻어지는 서브그래프 G\F 의 최대 매칭 크기를 조사한다. 이를 통해 두 파라미터 L(G)=max_{F∈𝓜(G)} ν(G\F)와 l(G)=min_{F∈𝓜(G)} ν(G\F) 를 정의한다(𝓜(G)는 G의 모든 최대 매칭 집합). 첫 번째 주요 결과는 모든 그래프에 대해 L(G) ≤ 2 l(G) 라는 전역적 상한을 증명한 것이다. 증명은 두 임의의 최대 매칭 F, F′ 에 대해 ν(G\F′) ≤ |F\F′|+ν(G\F) ≤ 2 ν(G\F) 임을 보이는 간단한 카운팅 논리와 베르제 정리(매칭이 최대이려면 교대 경로가 없어야 함)를 결합한다. 두 번째 결과는 G가 완전 매칭을 포함할 경우 L(G) ≤ 3⁄2 l(G) 임을 보인다. 여기서는 두 완전 매칭 F_L, F_l 을 각각 L(G), l(G) 를 달성하도록 선택하고, F_L ∩ F_l 의 구조를 정밀히 분석한다. 특히, F_L ∩ F_l 에 포함된 가장자리들의 개수를 k, 그 중 F_l 에 포함된 가장자리와 겹치는 부분을 x 라 두어, l(G) ≥ max{L−k+x, 2k−2x} 이라는 부등식을 얻는다. 경우별로 x ≥ k−L/3 또는 x ≤ k−L/3 을 고려하면, 결국 l(G) ≥ 2L/3, 즉 L(G) ≤ 3⁄2 l(G) 가 된다. 세 번째 섹션에서는 L(G)=2 l(G)인 그래프를 완전히 특성화한다. 먼저, 차수가 1인 정점과 차수가 2인 정점이 포함된 삼각형을 모아 V₁(G) 를 정의한다. 그런 다음, G\V₁(G) 가 이분 그래프이며 파티션을 (X,Y) 라 할 때, |V₁(G)|=|Y| 이고 Y 의 각 정점이 V₁(G) 와 정확히 하나만 인접해야 한다. 마지막으로, G\V₁(G) 는 |X| 개의 서로 독립적인 2‑경로(길이 2인 경로)를 포함해야 한다. 위 세 조건을 만족하면, F₁ (차수 1 정점에 연결된 가장자리들의 집합)와 F₂ (삼각형에서 차수 2 정점에 연결된 가장자리들의 집합)를 합쳐 만든 매칭 F가 최대 매칭이며, G\F 는 |X| 개의 4‑경로(길이 4인 경로)로 분해된다. 두 개의 매칭 M₁, M₂ 를 각각 4‑경로의 첫 번째·세 번째와 두 번째·네 번째 가장자리로 구성하면, ν(G\F)=2|X| 이 되고, l(G)=|X| 이므로 L(G)=2 l(G)임을 확인한다. 반대로, L(G)=2 l(G)라 가정하면 일련의 명제와 보조 정리를 통해 위 세 조건을 역으로 도출한다. 핵심은 F_L, F_l 이라는 두 최대 매칭 사이의 교대 성분이 모두 2‑경로이며, 차수가 1이거나 차수가 2인 정점이 포함된 삼각형에만 특수하게 나타난다는 점이다. 이를 통해 V₁(G) 와 G\V₁(G) 의 구조를 명확히 파악하고, 위 조건을 만족함을 보인다. 이 특성화는 다항시간 알고리즘으로 구현 가능하다. 구체적으로는 (i) V₁(G) 를 찾고, (ii) G\V₁(G) 가 이분 그래프인지 검사하고 파티션을 구하며, (iii) Y 의 각 정점이 V₁(G) 와 정확히 하나 인접하는지 확인하고, (iv) X 에 대한 2‑경로 커버를 찾는 절차를 차례대로 수행하면 된다. 각 단계는 그래프 탐색·매칭 알고리즘으로 다항시간에 해결 가능하므로, L(G)=2 l(G) 여부를 효율적으로 판별할 수 있다. 마지막으로, L(G)=3⁄2 l(G) 인지를 판단하는 문제의 복잡도에 대해 논한다. 저자는 브리지 없는 3‑정규 그래프(즉, 브리지를 갖지 않는 입방체 그래프)를 입력으로 하는 변환을 설계한다. 페터센 정리에 의해 이러한 그래프는 항상 완전 매칭을 포함한다. 변환 과정에서 L(G)와 l(G) 의 비율이 정확히 3⁄2 가 되도록 구성함으로써, 원래의 NP‑완전 문제(예: 3‑정규 그래프의 최대 독립 집합)와의 다항시간 환원을 보인다. 검증 절차는 주어진 매칭 F에 대해 ν(G\F) 를 계산하는 것이므로 다항시간에 가능하고, 따라서 문제는 NP‑complete 임을 결론짓는다. 전체적으로, 논문은 매칭 제거 후 남는 그래프의 최대 매칭 크기에 대한 새로운 상한을 제시하고, 그 상한이 정확히 달성되는 경우를 구조적으로 규명함으로써 이론적 통찰과 실용적 알고리즘을 동시에 제공한다. 또한, 특정 비율(3⁄2)의 판별이 계산적으로 어려운 문제임을 증명함으로써 매칭 이론의 복잡도 경계에 중요한 기여를 한다.