[논문 리뷰] The Wiener Index of Unicyclic Graphs with Girth and the Matching Number

Yahong Chen, Xiao‐Dong Zhang|arXiv (Cornell University)|2011. 02. 26.

Graph theory and applications참고 문헌 15인용 수 3

한 줄 요약

이 논문은 주어진 순서 $n$, 둘레 $g$, 매칭 수 $\beta \geq \frac{3g}{2}$를 갖는 순일그래프에 대한 위너 지수의 날카운 하한을 확립한다. 그래프 연산과 구조적 분석을 통해 최소 위너 지수가 유일하게 특정한 극값 그래프 $G_{(n,g,\beta)}^{*}$에 의해 달성됨을 증명하며, 이 그래프는 중심 순환에서 한 개의 분지가 $\beta - \frac{g}{2} - 1$개의 이중스타를 가지며, 나머지는 단일 간선 또는 고립 정점으로 구성됨을 특징으로 하며, 이러한 조건 하에서 극값 그래프의 완전한 특성화를 제공한다.

ABSTRACT

In this paper, we investigate how the Wiener index of unicyclic graphs varies with graph operations. These results are used to present a sharp lower bound for the Wiener index of unicyclic graphs of order $n$ with girth and the matching number $β\ge \frac{3g}{2}$. Moreover, we characterize all extremal graphs which attain the lower bound.

연구 동기 및 목표

• 고정된 둘레 $g$와 매칭 수 $\beta \geq \frac{3g}{2}$를 갖는 순일그래프 중에서 위너 지수의 최소값을 결정하는 것.
• 이 최소 위너 지수를 달성하는 모든 순일그래프를 특성화하는 것.
• 특정 그래프 연산, 특히 순일구조 내에서 분지 교환 및 간선 추가/제거에 의한 위너 지수의 변화를 분석하는 것.
• 주어진 조건 하에서 위너 지수를 최소화하는 극값 그래프 $G_{(n,g,\beta)}^{*}$의 완전한 구조적 기술을 수립하는 것.

제안 방법

• 저자는 순일그래프를 순환 $C_g$와 순환 정점 $u_i$에 부착된 $g$개의 나무 분지 $T_i$로 분해하며, 이를 $U(T_1, \dots, T_g)$로 표기한다.
• 각 분지 $T_i$ 내의 위너 지수와 정점 간 거리, 그리고 순환 내 정점 간 거리에 기반하여 위너 지수 $W(G)$의 닫힌 형태 공식을 유도한다.
• 분지 $T_1$을 더 작은 위너 지수와 더 작은 거리 합 $d_{T_1}(u_1)$를 갖는 것으로 교체하는 스위칭 연산을 적용하며, 이러한 교체가 총 위너 지수를 감소시킴을 증명한다.
• 특수한 루트를 갖는 나무 $T_{a,b}^*$를 정의하며, 이는 이중스타 유사 구조이자 후보 극값 그래프 $G_{(n,g,\beta)}^{*}$를 구성하는 데 사용된다.
• 모든 그래프에서 $a_1 \leq \beta - \frac{g}{2} - 1$ 또는 $a_1 = \beta - \frac{g}{2}$인 경우, 위너 지수를 감소시키는 연산을 통해 극값 형태로 변형할 수 있음을 증명한다.
• 조합적 부등식과 거리 합 비교를 통해 $W(G) \geq W(G_{(n,g,\beta)}^{*})$임을 보이며, 등호는 $G = G_{(n,g,\beta)}^{*}$일 때에만 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 순서 $n$, 둘레 $g$, 매칭 수 $\beta \geq \frac{3g}{2}$를 갖는 순일그래프의 위너 지수에 대한 최소 가능한 값은 무엇인가요?
• RQ2 어느 특정한 그래프 구조가 이 최소 위너 지수를 달성합니까?
• RQ3 순일그래프에서 분지 교체와 같은 제어된 그래프 연산에 의한 위너 지수의 변화는 어떻게 되나요?
• RQ4 극값 그래프는 분지 구조와 매칭 수 측면에서 유일하게 특성화될 수 있습니까?

주요 결과

• 둘레 $g$와 매칭 수 $\beta \geq \frac{3g}{2}$를 갖는 임의의 순일그래프의 위너 지수는 $W(G_{(n,g,\beta)}^{*})$로 아래에서 유계이며, 이 하한은 날카롭다.
• 극값 그래프 $G_{(n,g,\beta)}^{*}$는 $U(T_{\beta - \frac{g}{2} - 1, n - 2\beta + 1}^{*}, T_{0,1}^{*}, \dots, T_{0,0}^{*})$로 유일하게 특성화되며, 이는 한 분지가 $\beta - \frac{g}{2} - 1$개의 이중간선을 갖는 이중스타이며, 나머지는 단일 간선 또는 고립 정점으로 이루어져 있음을 의미한다.
• 최소 위너 지수가 오직 $G_{(n,g,\beta)}^{*}$와 동형인 그래프일 때에만 달성되며, 이는 극값 구조의 유일성을 확인한다.
• 더 작은 위너 지수와 더 작은 거리 합을 갖는 분지를 교체하는 특정 분지 스위칭 연산은 위너 지수를 감소시키며, 이는 구성된 극값 그래프의 최적성을 증명한다.
• 짝수 둘레 $g$의 경우 하한은 명시적으로 $W(G_{(n,g,\beta)}^{*}) = n^2 + \left(\beta - \frac{3g}{2} - 1 + \lfloor \frac{g^2}{4} \rfloor \right)n - \frac{g}{2}\lfloor \frac{g^2}{4} \rfloor + \frac{3g}{2} - 3\beta + 2$로 주어진다.