[논문 리뷰] The Metric Dimension of Regular Bipartite Graphs

Suhadi Wido Saputro, Edy Tri Baskoro외 3명|arXiv (Cornell University)|2011. 01. 19.

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

한 줄 요약

이 논문은 $k$-정규 이분할 그래프 $G(n,n)$ 에 대해 $k = n-1$ 및 $k = n-2$ 인 경우의 거리 차원을 결정한다. $(n-1)$-정규 이분할 그래프의 거리 차원은 $n-1$ 임을 증명하며, $(n-2)$-정규 그래프의 경우는 누락된 간선의 사이클 분해를 바탕으로 한 공식을 제공한다. 이 공식은 사이클 크기에 대한 모듈로 산술을 포함하며, 부분그래프에서의 해집합 기여도를 해결한다.

ABSTRACT

A set of vertices $W$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $W$. A metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. A bipartite graph G(n,n) is a graph whose vertex set $V$ can be partitioned into two subsets $V_1$ and $V_2,$ with $|V_1|=|V_2|=n,$ such that every edge of $G$ joins $V_1$ and $V_2$. The graph $G$ is called $k$-regular if every vertex of $G$ is adjacent to $k$ other vertices. In this paper, we determine the metric dimension of $k$-regular bipartite graphs G(n,n) where $k=n-1$ or $k=n-2$.

연구 동기 및 목표

• 모든 $n \geq 3$ 에 대해 $(n-1)$-정규 이분할 그래프 $G(n,n)$ 의 거리 차원을 결정하는 것.
• 누락된 간선이 서로소인 짝수 사이클로 분해되는 방식을 분석하여 $(n-2)$-정규 이분할 그래프 $G(n,n)$ 의 거리 차원을 특성화하는 것.
• 각 사이클의 크기를 5로 나눈 나머지에 기반한 공식을 유도하여 거리 차원을 결정하는 것.
• 해결 집합에 하위그래프 기반의 합을 초월해 추가 정점이 필요한 조건을 설정하는 것.

제안 방법

• 각 정점가 해결 집합 $W$ 의 원소들까지의 거리 벡터가 유일한 집합인 해결 집합 $W$ 의 개념을 사용한다.
• 특히 $K_{m,m} \setminus E(C_{2m})$ 형태의 완전 이분할 그래프에서 사이클을 제거한 경우의 거리 차원에 관한 이전 연구 결과를 적용한다.
• 하위그래프의 거리 차원을 결정하기 위해 사이클 크기 $m_i$ 에 대해 모듈로 산술(모듈로 5)을 사용한다.
• 각 $m_i \mod 5$ 에 따라 하위그래프 $G_i = K_{m_i,m_i} \setminus E(R_i)$ 의 명시적 기반을 구성하며, 기반 내의 간격이 최대 2개 정점 이내가 되도록 보장한다.
• 하위그래프 $G_i$ 의 거리 차원을 합산하고, $k_1$, $k_2$, $k_3$ 라는 수량에 기반한 보정 항을 추가한다.
• 최종 공식을 유도하기 위해 $n$, $r$ (사이클 수), $k_1$, $k_2$, $k_3$ 의 값에 기반한 케이스 분석을 수행한다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 3$ 에 대해 $(n-1)$-정규 이분할 그래프 $G(n,n)$ 의 거리 차원은 무엇인가?
• RQ2 $(n-2)$-정규 이분할 그래프 $G(n,n)$ 의 거리 차원은 누락된 간선이 서로소인 짝수 사이클로 분해될 때 어떻게 달라지는가?
• RQ3 각 누락된 사이클의 크기(모듈로 5)는 거리 차원을 결정하는 데 어떤 역할을 하는가?
• RQ4 언제 $G(n,n)$ 의 거리 차원이 하위그래프 $G_i$ 의 거리 차원의 합과 같아지는가?
• RQ5 언제이고 왜 해결 집합에서 하위그래프 기반의 합을 초월해 추가 정점이 필요로 하는가?

주요 결과

• 모든 $n \geq 3$ 에 대해 $(n-1)$-정규 이분할 그래프 $G(n,n)$ 의 거리 차원은 정확히 $n-1$ 이다.
• 모든 $n \geq 5$ 에 대해, 만약 모든 누락된 사이클의 크기가 $m_i \equiv 0, 1, 2, 3, 4 \pmod{5}$ 라면, $G(n,n)$ 의 거리 차원은 하위그래프 $G_i = K_{m_i,m_i} \setminus E(R_i)$ 의 거리 차원의 합에 $k_1$, $k_2$, $k_3$ 에 기반한 보정을 더하여 결정된다.
• 모든 $n \geq 5$, $r \geq 2$, $k_1 \leq r-2$, $k_3 \geq 2$ 라면, 거리 차원은 $\sum \beta(G_i) + k_2 + k_3 - 2$ 이다.
• 모든 $n \geq 5$, $r \geq 2$, $k_1 \leq r-2$, $k_3 \in \{0,1\}$ 라면, 거리 차원은 $\sum \beta(G_i) + k_2 + k_3 - 1$ 이다.
• 모든 $n = 4$ 에 대해 거리 차원은 정확히 2이며, 이는 짝수 사이클 $C_8$ 에 해당한다.
• 모듈로 5에서 $m \equiv 1 \pmod{5}$ 인 $K_{m,m} \setminus E(C_{2m})$ 에 대한 기반은 최소한 세 개의 정점 간격이 있는 두 개의 간격을 포함해야 하며, 이는 증명 과정에서 경계와 모순을 유도하는 데 사용된다.