그래프의 일반화된 요인‑임계와 k‑d‑임계에 대한 크기·스펙트럼 조건

초록

본 논문은 홀수 차수 k(≥3) 에 대해 일반화된 요인‑임계(GFCₖ), 일반화된 양임계(GBCₖ) 및 k‑d‑임계 그래프를 판별하기 위한 충분조건을 그래프의 크기(e(G))와 인접 행렬의 스펙트럼 반경(ρ(G)) 관점에서 제시한다. 또한 네 종류의 인자( {K₂,{C_t (t≥3)}‑팩터, {K₂,{C_{2t+1}}‑팩터, 분수 완전 매칭, 짝수 k 에 대한 완전 k‑매칭}) 가 서로 동치임을 보이고, 이를 이용해 임의의 정점 v를 제거한 그래프 G−v 가 위 네 인자 중 하나를 갖는 충분조건도 제시한다.

상세 분석

이 연구는 기존의 Berge‑Tutte 정리를 k‑매칭 형태로 일반화한 k‑Berge‑Tutte 공식에 기반한다. 정의에 따르면, k가 짝수일 때는 defₖ(G)=max_{S⊆V}(k·i(G−S)−k|S|), 홀수일 때는 odd(G−S)+k·i(G−S)−k|S| 로 표현된다. 여기서 i(·)는 고립 정점 수, odd(·)는 비자명한 홀수 컴포넌트 수이다. k‑barrier는 위 식에서 최대값을 주는 정점 집합 S이며, 빈 집합만이 k‑barrier인 경우를 각각 홀수 차수 그래프에서는 일반화된 요인‑임계(GFCₖ), 짝수 차수 그래프에서는 일반화된 양임계(GBCₖ)라 정의한다.

논문은 먼저 Lemma 2.3을 활용해 GFCₖ와 GBCₖ의 구조적 특징을 정리한다. 특히 k가 짝수이면 “i(G−S) ≤ |S|−1”(GFCₖ) 혹은 “i(G−S) ≤ |S|−1”(GBCₖ) 조건이, k가 홀수이면 “odd(G−S)+k·i(G−S) ≤ k|S|−1”(GFCₖ) 및 “odd(G−S)+k·i(G−S) ≤ k|S|−2”(GBCₖ) 조건이 필요함을 보인다. 이러한 불등식은 그래프가 충분히 많은 간선을 가질 경우 자동으로 만족한다는 점을 이용해 크기 조건을 도출한다.

Theorem 3.1에서는 홀수 차수 k≥3에 대해 n≥7인 경우 e(G) ≥ C(n−1,2)+1이면 G는 GFCₖ가 된다. 예외 그래프는 K₁ ∨ (K_{n−2}+K₁) 뿐이며, n=5,3에 대해서도 특수한 예외를 명시한다. 증명은 “최대 간선 수를 갖는 비 GFCₖ 그래프”를 가정하고, Lemma 2.5의 그래프 합성 부등식을 이용해 해당 그래프가 반드시 위의 두 형태 중 하나임을 보인다.

Theorem 3.2는 스펙트럼 반경 조건을 제시한다. ρ(G) ≥ ρ(K₁ ∨ (K_{n−2}+K₁))이면 G는 GFCₖ이며, 위 예외 그래프를 제외한다. 여기서는 Lemma 2.1(ρ(G) ≤ √(2m−n+1))을 이용해 간선 수와 스펙트럼 반경 사이의 관계를 연결하고, 예외 그래프의 스펙트럼을 직접 계산해 경계값을 확인한다.

짝수 차수 k에 대한 GBCₖ 결과는 Theorem 4.1·4.2에서 유사하게 전개된다. 특히 n이 짝수이고 e(G) ≥ C(n−1,2)+1이면 G는 GBCₖ가 되며, 예외는 K₁ ∨ (K_{n−2}+K₁)이다. 작은 n(4≤n≤8) 구간에 대해서는 별도의 임계값을 제시하고, 해당 구간에서 발생할 수 있는 특수 그래프(K_{n/2} ∨ (n/2)K₁ 등)를 예외로 명시한다. 스펙트럼 조건 역시 ρ(G) ≥ ρ(K₁ ∨ (K_{n−2}+K₁))이면 G는 GBCₖ임을 보인다.

k‑d‑임계 그래프에 대해서는 Lemma 2.4를 기반으로 “odd(G−S)+k·i(G−S) ≤ k|S|−d”라는 불등식이 필요함을 정리한다. 논문은 이 불등식을 만족시키는 그래프의 최소 간선 수와 스펙트럼 경계를 각각 도출한다(구체적인 수식은 본문에 제시).

마지막으로 Section 6에서는 네 종류의 팩터( K₂와 일반 사이클, 홀사이클, 분수 완전 매칭, 짝수 k‑완전 매칭)의 존재가 서로 동치임을 증명한다. 이를 통해 G−v 가 위 팩터 중 하나를 갖는 충분조건을 크기와 스펙트럼 관점에서 다시 기술한다. 특히 “G가 GFCₖ이면 모든 정점 v에 대해 G−v 가 위 네 팩터 중 하나를 갖는다”는 명제를 이용해, 기존 연구에서 다루던 완전 매칭 조건을 보다 일반화된 형태로 확장한다.

전체적으로 이 논문은 그래프 이론에서 중요한 매칭·팩터 문제를 크기와 스펙트럼이라는 두 가지 전형적인 그래프 파라미터로 연결시킴으로써, 기존의 구조적 조건을 정량적·계산 가능한 형태로 변환한다는 점에서 의미가 크다. 특히 예외 그래프들을 정확히 규정하고, 경계값이 “tight”(즉, 더 강한 조건은 불가능)임을 증명한 점이 학문적 기여가 크다.