투란 그래프와 안정수 그리고 피보나치 지수의 최적 상한

** 이 논문은 그래프 이론에서 독립집합(안정집합)의 개수를 나타내는 피보나치 지수 \(F(G)\)에 대한 새로운 극값 결과를 제시한다. 연구 동기는 피보나치 지수가 화학 그래프 이론, 통계 물리학, 네트워크 과학 등 다양한 분야에서 중요한 역할을 수행한다는 점에 있다. 기존 연구들은 주로 그래프의 최대 차수, 평균 차수, 혹은 특정 구조(예: 트리, 사이클)에서의 \(F(G)\)를 다루었지만, 정점 수 \(n\)과 안정수 \(\alpha\)라는 두 개의 전역 파라미터를 동시에 고정했을 때의 최적값에 대해서는 충분히 알려지지 않았다. 논문은 먼저 기본 정의와 선행 연구를 정리한다. 독립집합의 개수는 그래프의 독립다항식 \(\mathrm{I}(G;x)=\sum_{k=0}^{\alpha} i_k x^k\)의 \(x=1\)에서의 값이며, 여기서 \(i_k\)는 크기 \(k\)인 독립집합의 수이다. 피보나치 지수는 \(\mathrm{I}(G;1)\)와 동일하다. 투란 그래프 \(T_{n,r}\)는 정점 수 \(n\)을 \(r\)개의 파트로 가능한 한 균등하게 나눈 완전 \(r\)-분할 그래프이며, \(\alpha(T_{n,r})=\lceil n/r\rceil\)이다. **1. 일반 그래프에 대한 상한** 저자들은 \(\mathcal{G}(n,\alpha)=\{G\mid |V(G)|=n,\ \alpha(G)=\alpha\}\)를 정의하고, 다음 정리를 증명한다. *정리 1.* \(\displaystyle \max_{G\in\mathcal{G}(n,\alpha)}F(G)=\prod_{i=1}^{\alpha}\bigl(1+s_i\bigr)\), 여기서 \(s_i\)는 \(n\)을 \(\alpha\)개의 정수로 나누어 만든 파트 크기이며, \(\sum_{i=1}^{\alpha}s_i=n\)이고 \(|s_i-s_j|\le1\)이다. 증명은 Zykov‑symmetrization을 이용한다. 임의의 그래프 \(G\)에 대해 두 정점 \(u,v\)가 같은 파트에 속하도록 변형하면, 독립집합의 수는 감소하지 않는다. 이 과정을 반복하면 그래프는 완전 \(\alpha\)-분할 형태, 즉 투란 그래프 \(T_{n,\alpha}\)로 수렴한다. 변형 과정에서 파트 내부는 완전 그래프가 되므로 독립집합은 각 파트에서 최대 하나의 정점만 선택할 수 있다. 따라서 독립집합의 총 개수는 \(\prod_{i=1}^{\alpha}(1+s_i)\)가 된다. 또한, \(\prod_{i=1}^{\alpha}(1+s_i)\)는 파트 크기가 균등할수록 커지므로, \(s_i\)를 \(\lfloor n/\alpha\rfloor\)와 \(\lceil n/\alpha\rceil\)로 배분하는 것이 최적임을 보인다. **2. 연결 그래프에 대한 상한** 연결성을 추가하면 투란 그래프 자체가 항상 연결되지 않을 수 있다(예: 파트가 2개 이상이면 파트 간에만 간선이 존재하고, 파트 내부는 독립이므로 그래프가 분리될 가능성이 있다). 이를 해결하기 위해 저자들은 “연결 투란 그래프” \(T^{*}_{n,\alpha}\)를 정의한다. 구체적인 구성은 다음과 같다. - 먼저 \(T_{n-1,\alpha-1}\)를 만든다(정점 수 \(n-1\), 파트 수 \(\alpha-1\)). - 새로운 정점 \(v\)를 추가하고, \(v\)를 기존 모든 정점에 연결한다. 이렇게 하면 그래프는 연결되고, 안정수는 여전히 \(\alpha\)이다. 왜냐하면 \(v\)를 포함하는 독립집합은 오직 \(\{v\}\) 하나뿐이며, 나머지 \(\alpha-1\)개의 파트 중 하나에서 최대 하나의 정점을 선택할 수 있기 때문이다. *정리 2.* \(\displaystyle \max_{G\in\mathcal{C}(n,\alpha)}F(G)= (1+n-\alpha)\prod_{i=1}^{\alpha-1}(1+s_i)\), 여기서 \(\mathcal{C}(n,\alpha)=\{G\mid |V(G)|=n,\ \alpha(G)=\alpha,\ G\text{ 연결}\}\)이며, \(s_i\)는 \(n-\alpha\)을 \(\alpha-1\)개의 정수로 균등하게 나눈 값이다. 증명은 연결성을 보존하면서 Zykov‑symmetrization을 적용하는 “연결성 보존 변형”을 도입한다. 변형 과정에서 새로 생긴 보편 정점은 독립집합의 선택을 제한하지만, 전체 독립집합 수는 위 식과 정확히 일치한다. 또한, 변형 후 그래프가 \(T^{*}_{n,\alpha}\)와 동형임을 보이며, 이는 최적성을 보장한다. **3. 계산식 및 예시** 투란 그래프와 연결 투란 그래프의 피보나치 지수는 각각 \