[논문 리뷰] Irregular Labellings of Circulant Graphs

Marcin Anholcer|arXiv (Cornell University)|2011. 11. 01.

Graph Labeling and Dimension Problems참고 문헌 11인용 수 11

한 줄 요약

이 논문은 순환 그래프 $Ci_n(1,2,\dots,k)$에 대한 총 정점 비정규성 강도(tvs)와 비정규성 강도(s)의 정확한 값을 결정하며, $tvs(Ci_n(1,2,\dots,k)) = \left\lceil\frac{n+2k}{2k+1}\right\rceil$ 및 $s(Ci_n(1,2,\dots,k)) = \left\lceil\frac{n+2k-1}{2k}\right\rceil$임을 증명한다. 유일한 예외 케이스에서는 추가로 1이 필요하다.

ABSTRACT

We investigate the extit{irregularity strength} ($s(G)$) and extit{total vertex irregularity strength} ($tvs(G)$) of circulant graphs $Ci_n(1,2,...,k)$ and prove that $tvs(Ci_n(1,2,...,k))=\lceil\frac{n+2k}{2k+1} ceil$, while $s(Ci_n(1,2,...,k))=\lceil\frac{n+2k-1}{2k} ceil$ except the case when $(n \bmod 4k = 2k+1 \wedge k\bmod 2=1) \vee n=2k+1$ and $s(Ci_n(1,2,...,k))=\lceil\frac{n+2k-1}{2k} ceil+1$.

연구 동기 및 목표

• 순환 그래프 $Ci_n(1,2,\\dots,k)$에 대한 총 정점 비정규성 강도(tvs)의 정확한 값을 결정하기.
• 동일한 유형의 순환 그래프에 대한 비정규성 강도(s)의 정확한 값을 확립하기.
• s(G)가 n과 k의 함수로 유계임이라는 추측을, s와 tvs에 대해 엄밀한 공식을 증명함으로써 해결하기.
• 일반 공식이 1을 추가로 필요로 하는 예외적인 경우를 식별하고 특성화하기.

제안 방법

• tvs에 대한 증명은 그래프를 세그먼트로 분할하고, 각 세그먼트에서 정점의 가중치 차수를 모두 다르게 만들도록 간선 가중치를 할당하는 구축 전략을 사용한다.
• 핵심 기술적 보조정리는 2k+1개 정점으로 구성된 부분그래프 $S^{(k)}$에 대해, 레이블 0, 1, 2를 사용하여 특정 가중치 차수 성질을 만족하는 레이블링을 구성한다.
• 간선 레이블에 $s/2$를 곱하고 정점 레이블을 더하여 세그먼트 간에 서로 다른 가중치 차수를 생성하는 변환 기법을 적용한다.
• 비정규성 강도 s에 대해서는, 정점 사이에 부분그래프 $S^{(r')}\text{ or }R^{(r')}$를 삽입하여 가중치 차수를 조정하는 재귀적 구성 기법을 사용한다.
• k의 기수성과 나머지 $r = n \mod 4k$에 따라 레이블링을 조정하며, $r = 2k+1$ 이며 $k$가 홀수인 경우 특수 처리를 한다.
• 가중치 차수의 합의 기수성에 기반한 모순 논증을 사용하여, 예외적인 경우에 레이블 $s+1$이 반드시 필요함을 증명한다.

실험 결과

연구 질문

• RQ1 순환 그래프에 대해 $tvs(Ci_n(1,2,\\dots,k))$의 정확한 값은 무엇인가?
• RQ2 이 그래프에 대해 $s(Ci_n(1,2,\\dots,k))$의 정확한 값은 무엇이며, 일반 공식에 대한 예외는 있는가?
• RQ3 표준 공식이 부족한 조건은 언제이며, 어떤 조정이 필요한가?
• RQ4 Ci_n(1,2,\\dots,k)에 대해 $s(G)$와 $tvs(G)$의 하한값이 정확히 달성될 수 있는가?

주요 결과

• n \geq 2k+1 일 때, $Ci_n(1,2,\dots,k)$의 총 정점 비정규성 강도는 정확히 $\left\lceil\frac{n+2k}{2k+1}\right\rceil$이다.
• 모든 경우에서 $s(Ci_n(1,2,\dots,k))$는 $\left\lceil\frac{n+2k-1}{2k}\right\rceil$과 같다. 유일한 예외는 $(n \bmod 4k = 2k+1 \land k \bmod 2 = 1)$ 또는 $n = 2k+1$인 경우이며, 이 경우 $\left\lceil\frac{n+2k-1}{2k}\right\rceil + 1$이 된다.
• tvs와 s에 대한 공식은 이론적 하한값과 정확히 일치하며, 이 그래프 유형에 대해 이러한 하한값이 엄밀함을 증명한다.
• 레이블 $s+1$이 필요한 예외 케이스는 가중치 차수의 합의 기수성에 기반한 논증을 통해 증명된다.
• 구성은 알고리즘적이고 구축 가능하며, 레이블 1부터 $s$ 또는 $s+1$까지만을 사용하여 비정규 레이블링을 생성하는 방법을 제공한다.