[논문 리뷰] On Extremal Graphs of Weighted Szeged Index

Jan Bok, Boris Furtula외 2명|arXiv (Cornell University)|2019. 01. 15.

Graph theory and applications참고 문헌 12인용 수 7

한 줄 요약

이 논문은 가중치가 부여된 즈에게드 지표(wSz)의 극값 행동을 조사한다. 트리 중에서 별 그래프가 wSz를 최대화함을 증명하고, 모든 연결 그래프 중에서 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$가 이를 최대화할 것이라 추측한다. 최소화의 경우, 컴퓨터 검색을 통해 최소 트리의 구조적 제약 조건을 규명하고, 최소 wSz 그래프가 항상 트리임을 추측한다.

ABSTRACT

An extension of the well-known Szeged index was introduced recently, named as weighted Szeged index ($ extrm{sz}(G)$). This paper is devoted to characterizing the extremal trees and graphs of this new topological invariant. In particular, we proved that the star is a tree having the maximal $ extrm{sz}(G)$. Finding a tree with the minimal $ extrm{sz}(G)$ is not an easy task to be done. Here, we present the minimal trees up to 25 vertices obtained by computer and describe the regularities which retain in them. Our preliminary computer tests suggest that a tree with the minimal $ extrm{sz}(G)$ is also the connected graph of the given order that attains the minimal weighted Szeged index. Additionally, it is proven that among the bipartite connected graphs the complete balanced bipartite graph $K_{\left\lfloor n/2 ight floor\left\lceil n/2 ight ceil}$ attains the maximal $ extrm{sz}(G)$\,. We believe that the $K_{\left\lfloor n/2 ight floor\left\lceil n/2 ight ceil}$ is a connected graph of given order that attains the maximum $ extrm{sz}(G)$.

연구 동기 및 목표

• 최근에 도입된 위상적 기술자인 가중치가 부여된 즈에게드 지표(wSz)를 극값화하는 그래프를 특성화하는 것.
• wSz를 최대화하는 트리의 형태를 규명하고, 별 그래프가 최댓값을 도달함을 증명하는 것.
• 컴퓨터적 증거에 기반하여, 모든 연결 그래프 중에서 최소 wSz를 갖는 그래프가 트리인지 여부를 조사하는 것.
• 25개 이하 정점까지의 컴퓨터 생성 예제를 활용하여, wSz를 최소화하는 트리의 구조적 성질을 규명하는 것.
• 모든 순서 $n$의 연결 그래프 중에서 wSz를 최대화하는 그래프가 항상 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$임을 추측하는 것.

제안 방법

• 엣지 수축과 지표 차이 분석을 사용하여 별 그래프의 최대성과 증명함. 비별 트리를 변형할 경우 wSz가 증가함을 보임.
• 변환 기반 증명 전략을 적용함: 비별 부분트리를 더 중심에 가까운 구조로 대체하여 wSz를 증가시킴.
• 조합적 분석을 활용하여 원래 트리와 변환된 트리 간의 wSz 값 차이($\Delta$)를 계산함. 정점 분할과 차수 가중 기여도를 사용함.
• 컴퓨터를 활용한 순열을 통해 25개 이하 정점까지의 최소 wSz 트리를 생성하고 반복되는 구조적 패턴을 식별함.
• 예를 들어 4개의 레이를 가진 정점이나 두 개의 3레이를 가진 차수 3 정점과 인접한 정점 등 구조적 제약 조건을 적용하여 최소가 아닌 구성 요소를 제거함.
• 정의 $wSz(G) = \sum_{e=\{uv\} \in E(G)} [\deg(u)+\deg(v)] \cdot n_u(e) \cdot n_v(e)$를 활용함. 여기서 $n_u(e)$는 $u$보다 $v$에 더 가까운 정점의 수를 세는 것으로 정의됨.

실험 결과

연구 질문

• RQ1 모든 $n$-정점 트리 중에서 어떤 트리가 가중치가 부여된 즈에게드 지표를 최대화하는가?
• RQ2 모든 순서 $n$의 그래프 중에서 어떤 연결 그래프가 가중치가 부여된 즈에게드 지표를 최대화하는가?
• RQ3 모든 $n$-정점 트리 중에서 어떤 트리가 가중치가 부여된 즈에게드 지표를 최소화하는가?
• RQ4 최소 wSz 트리가 보이는 구조적 성질은 무엇인가?
• RQ5 모든 연결 그래프 중에서 최소 wSz 그래프가 반드시 트리인가?

주요 결과

• 별 그래프 $S_n = K_{1,n-1}$는 모든 $n$-정점 트리 중에서 최대 가중치가 부여된 즈에게드 지표를 도달한다.
• 모든 이분 연결 그래프 중에서 균형 잡힌 완전 이분 그래프 $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$가 가중치가 부여된 즈에게드 지표를 최대화한다.
• $n \geq 7$일 경우, 최소 wSz 트리는 4레이(중심 정점에서 시작하는 네 개의 간선으로 이루어진 경로)를 가진 정점을 포함하지 않는다.
• $n > 7$일 경우, 최소 wSz 트리의 차수 3 정점은 두 개의 3레이(세 개의 간선으로 이루어진 경로)를 가진 정점과 인접하지 않는다.
• 4레이 또는 두 개의 3레이를 변환할 경우의 차이 $\Delta = wSz(T_{\min}) - wSz(T)$는 양수이다 (예: $n \geq 7$일 경우 $\Delta = 2n - 12 > 0$), 이는 최소성이 아님을 증명한다.
• 25개 이하 정점까지의 컴퓨터 생성 최소 트리는 모든 연결 그래프 중 최소 wSz 그래프가 아마도 트리일 것임을 시사하며, 이는 추측 2를 뒷받침한다.