[논문 리뷰] On the fractional metric dimension of corona product graphs and lexicographic product graphs

Min Feng, Kaishun Wang|arXiv (Cornell University)|2012. 06. 09.

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

한 줄 요약

이 논문은 인자 그래프의 매개변수로 환원함으로써 코로나 곱 및 렉소그래픽 곱 그래프의 분수 차원에 대한 닫힌 형식의 공식을 수립한다. 위치 함수 매개변수 $ l_f(H) $ 를 도입하고, $ \dim_f(G \odot H) = \dim_f(G) + |V(G)| \cdot l_f(H) $ 를 증명하며, $ H $ 가 정점 치환적일 경우 $ \dim_f(G[H]) = |V(G)| \cdot l_f(H) $ 를 유도한다. 이때 $ l_f(H) $ 는 차수 및 공통 이웃 매개변수를 통해 명시적으로 계산된다.

ABSTRACT

A vertex $x$ in a graph $G$ resolves two vertices $u$, $v$ of $G$ if the distance between $u$ and $x$ is not equal to the distance between $v$ and $x$. A function $g$ from the vertex set of $G$ to $[0,1]$ is a resolving function of $G$ if $g(R_G\{u,v\})\geq 1$ for any two distinct vertices $u$ and $v$, where $R_G\{u,v\}$ is the set of vertices resolving $u$ and $v$. The real number $\sum_{v\in V(G)}g(v)$ is the weight of $g$. The minimum weight of all resolving functions for $G$ is called the fractional metric dimension of $G$, denoted by $\dim_f(G)$. In this paper we reduce the problem of computing the fractional metric dimension of corona product graphs and lexicographic product graphs, to the problem of computing some parameters of the factor graphs.

연구 동기 및 목표

• 코로나 곱 그래프 $ G \odot H $ 의 분수 차원을 $ G $ 와 $ H $ 의 매개변수로 표현하는 것.
• 요소 그래프의 구조적 매개변수를 사용하여 렉소그래픽 곱 그래프 $ G[H] $ 의 분수 차원을 표현하는 것.
• 정점 쌍을 해소하는 데 필요한 최소 무게를 캡처하는 위치 함수 매개변수 $ l_f(H) $ 를 도입하고 계산하는 것.
• 정점 치환적 $ H $ 에 대해 $ l_f(H) = \frac{|V(H)|}{2k(H) - \max\{2\lambda(H), 2\mu(H) - 2\}} $ 를 확립함으로써 $ \dim_f(G[H]) $ 의 정확한 계산이 가능하도록 하는 것.

제안 방법

• 그래프 $ H $ 에서의 위치 함수 $ g $ 의 개념을 도입하며, 모든 서로 다른 $ v_1, v_2 $ 에 대해 $ g(S_H\{v_1,v_2\}) \geq 1 $ 이어야 하며, 여기서 $ S_H\{v_1,v_2\} $ 는 그들의 열린 이웃의 대칭차이다.
• $ l_f(H) $ 는 이러한 위치 함수 중 최소 무게로 정의되며, 이는 곱 그래프의 분수 차원을 계산하는 데 핵심적인 매개변수이다.
• 렉소그래픽 곱의 구조를 활용하여 $ G[H] $ 를 $ H $ 의 복수의 복제본으로 분해하고, $ f_i(v) = \frac{1}{2}(\overline{f_i}((w_1,v)) + \overline{f_i}((w_2,v))) $ 를 통해 $ G[H] $ 에서의 해소 함수를 구성한다. 여기서 $ \overline{f_i} $ 는 $ K_2[H_i] $ 에서의 해소 함수이다.
• 대칭성과 정점 치환성을 활용하여 $ l_f(H) $ 의 닫힌 형식의 표현을 유도하며, 모든 정점 쌍에 대해 $ S_H\{v_1,v_2\} $ 의 최소 크기를 기반으로 한다.
• 코로나 곱의 구조를 분석하고 $ G $ 와 $ H $ 의 해소 함수와 관련지어, $ \dim_f(G \odot H) = \dim_f(G) + |V(G)| \cdot l_f(H) $ 를 증명한다.
• 쌍정점이 없는 $ G $ 에 대해 $ \dim_f(G[H]) = |V(G)| \cdot l_f(H) $ 를 확립하며, 쌍정점이 존재할 경우 $ m_1(G), m_2(G), m_3(G) $ 를 포함한 일반 공식을 제공한다.

실험 결과

연구 질문

• RQ1 코로나 곱 $ G \odot H $ 의 분수 차원은 $ G $ 와 $ H $ 의 매개변수로 어떻게 표현될 수 있는가?
• RQ2 위치 함수 매개변수 $ l_f(H) $ 는 곱 그래프의 분수 차원을 결정하는 데 어떤 역할을 하는가?
• RQ3 렉소그래픽 곱 $ G[H] $ 의 분수 차원은 $ G $ 와 $ H $ 의 매개변수로 환원될 수 있는가? 특히 $ H $ 가 정점 치환적일 경우에 대해 어떻게 되는가?
• RQ4 정점 치환적 그래프에 대해 $ l_f(H) $ 의 정확한 값은 무엇이며, 차수, $ \lambda(H) $, $ \mu(H) $ 와 같은 그래프 불변량과 어떻게 관련되는가?

주요 결과

• 코로나 곱의 분수 차원은 $ \dim_f(G \odot H) = \dim_f(G) + |V(G)| \cdot l_f(H) $ 를 만족하며, 문제를 $ \dim_f(G) $ 와 $ l_f(H) $ 의 계산으로 환원한다.
• 정점 치환적 그래프 $ H $ 에 대해 위치 함수 매개변수는 $ l_f(H) = \frac{|V(H)|}{2k(H) - \max\{2\lambda(H), 2\mu(H) - 2\}} $ 이며, 여기서 $ k(H) $ 는 차수, $ \lambda(H) $ 는 인접한 정점 쌍의 최대 공통 이웃 수, $ \mu(H) $ 는 비인접 정점 쌍의 최대 공통 이웃 수이다.
• 렉소그래픽 곱의 분수 차원은 $ \dim_f(G[H]) = m_1(G)l_f(H) + \frac{m_2(G)}{2}\dim_f(K_2[H]) + \frac{m_3(G)}{2}\dim_f(K_2[\overline{H}]) $ 로 주어지며, $ m_1, m_2, m_3 $ 는 쌍정점 유형에 따라 정점 집합을 세는 데 사용된다.
• 만약 $ G $ 가 쌍정점을 갖지 않으면 $ \dim_f(G[H]) = |V(G)| \cdot l_f(H) $ 이며, 이 식은 $ H $ 가 정점 치환적일 경우 등호로 성립한다.
• 상수 함수 $ \overline{f}((u,v)) = \frac{1}{s} $ (여기서 $ s = 2k(H) - \max\{2\lambda(H), 2\mu(H) - 2\} $) 가 $ G[H] $ 에서 유효한 해소 함수임을 보이며, 이는 상한을 증명하고 공식의 정당성을 확인한다.