그래프 독립수의 하한을 차수로 표현

초록

Δ≥3인 연결 그래프 집합 𝔊_Δ에서 정점 차수별 개수를 이용해 독립집합 크기 α(G)의 새로운 하한을 제시한다. 계수 c_i는 c_Δ=1/Δ와 i·c_i+ c_{i+1}=1(1≤i<Δ) 로 정의되며, α(G)≥∑_{i=1}^Δ c_i|V_i(G)| 가 성립한다. 또한 ε>0, j∈{1,…,Δ}에 대해 α(G)≥ε|V_j(G)|+∑c_i|V_i(G)| 가 무한히 많은 그래프에서 실패함을 보이며, 차수에 기반한 추가 하한식도 제시한다.

상세 분석

본 논문은 최대 차수 Δ≥3인 연결 그래프 G∈𝔊_Δ(단, K_{Δ+1} 제외)에서 정점들의 차수 분포를 이용해 독립집합의 크기 α(G)에 대한 강력한 하한을 도출한다. 핵심은 Kelly‑Postle의 정리(정점 가중치 함수 g가 각 정점 v에 대해 g(v)≤2/(2d(v)+1)이며 모든 클리크 K에 대해 ∑{v∈K}g(v)≤1이면 α(G)≥∑{v∈V}g(v)임을 이용하는 것이다. 저자들은 각 차수 i에 대해 상수 c_i를 정의하고, g(v)=c_i when v∈V_i(G) 로 설정한다. c_i는 재귀식 ic_i + c_{i+1}=1 (i=1,…,Δ−1)와 최종값 c_Δ=1/Δ 로 완전히 결정되며, 이는 c_i가 감소하고 0<c_i<1을 만족함을 보인다. 이때 각 클리크 K의 크기는 최대 Δ이므로 ∑{v∈K}g(v)≤ic_i + c{i+1}=1이 되어 Kelly‑Postle 조건을 만족한다. 따라서 α(G)≥∑_{i=1}^Δ c_i|V_i(G)| 가 바로 얻어진다.

정리 2는 위 결과를 정리하여 (2)식 형태로 명시하고, Δ=3인 경우 기존 알려진 식과 일치함을 확인한다. Δ≥4에 대해서는 귀납적 증명을 통해 일반성을 확보한다. 정리 3에서는 계수 c_i가 최적임을 보이기 위해, 임의의 ε>0와 차수 j에 대해 α(G)≥ε|V_j(G)|+∑c_i|V_i(G)| 가 무한히 많은 그래프에서 성립하지 않음을 구성을 통해 증명한다. 이는 c_i가 더 이상 개선될 여지가 없음을 의미한다.

정리 4와 5는 차수가 Δ′<Δ인 부분 그래프 혹은 다른 형태의 가중치를 이용한 하한을 제시한다. 정리 4는 Δ′-정규 부분 그래프에 대해 동일한 계수 c_i를 적용해 α(G)≥∑{i=1}^{Δ′}c_i|V_i(G)| 를 얻으며, Δ와 Δ′ 사이의 계수 차이로 인해 두 하한식이 직접 비교될 수 없음을 강조한다. 정리 5에서는 오일러 수 e와 팩토리얼을 이용해 새로운 계수 d_i를 정의하고, d_i는 c_i보다 계산이 용이하면서도 비슷한 수준의 하한을 제공한다. 특히 d_i는 재귀식 d{i+1}=1−i·d_i 로 정의되어, 큰 Δ에서도 효율적으로 계산 가능하다.

증명 부분에서는 Lemma 1을 통해 c_i의 명시적 형태와 감소성을 보이고, Lemma 2·3을 이용해 최소 차수 정점 제거와 부분 그래프에 대한 독립집합 크기 하한을 연결한다. 귀납적 구조는 그래프를 최소 차수 정점과 그 이웃을 제거한 뒤 남은 성분에 대해 동일한 하한을 적용하는 방식으로 전개된다. 정리 3의 반례 구성은 Δ‑정규 그래프에 K_Δ 복제와 매칭을 추가하는 방법으로, α(G)값이 정확히 c_i·|V_i| 합과 일치하도록 만든다.

전체적으로 이 논문은 차수 분포 기반 독립집합 하한에 대한 이론적 최적성을 확립하고, 기존 결과(예: Brooks 정리 기반 α(G)≥|V|/Δ)보다 정밀한 추정치를 제공한다. 또한 계산 효율성을 고려한 새로운 계수 체계(d_i)를 제시함으로써 실용적인 적용 가능성도 높인다.