[논문 리뷰] Cover pebbling cycles and certain graph products

Maggy Tomova, Cindy Wyels|ArXiv.org|2004. 10. 01.

Graph theory and applications참고 문헌 5인용 수 4

한 줄 요약

이 논문은 고정된 그래프(예: 나무, 완전 그래프)를 포함한 순환 및 경로의 곱 그래프의 커버 페블링 수를 결정하고, 이러한 곱 그래프가 또한 양호한 그래프임을 증명한다. 저자들은 새로운 색상 기반의 페블링 번역 기법을 사용하여, 곱 그래프의 커버 페블링 수가 개별 그래프의 커버 페블링 수의 곱과 같음을 증명하며, 그로써 그래프 곱에 대한 그레고리의 추측에 해당하는 커버 페블링의 유사 추측을 지지한다.

ABSTRACT

A pebbling step on a graph consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. A graph is said to be cover pebbled if every vertex has a pebble on it after a series of pebbling steps. The cover pebbling number of a graph is the minimum number of pebbles such that the graph can be cover pebbled, no matter how the pebbles are initially placed on the vertices of the graph. In this paper we determine the cover pebbling numbers of cycles, finite products of paths and cycles, and products of a path or a cycle with good graphs, amongst which are trees and complete graphs. In the process we provide evidence in support of an affirmative answer to a question posed in a paper by Cundiff, Crull, et al.

연구 동기 및 목표

• 순환 및 경로 및 순환의 유한 곱 그래프의 커버 페블링 수를 결정하기 위해.
• 정규 페블링에 대해 그레고리가 추측한 바와 같이, 곱 그래프의 커버 페블링 수가 그 요소들의 커버 페블링 수의 곱과 같은지 여쭤보기 위해.
• 순환이 양호한 그래프임을 증명하기 위해, 즉 그들의 커버 페블링 수가 핵심 정점에서의 거리에 대한 2^dist의 합과 같음을 의미하기 위해.
• 경로 또는 순환과의 곱이 양호한 그래프임을 증명하여, 양호한 그래프의 범주를 확장하기 위해.
• 경로 및 순환의 유한 곱에 대한 커버 페블링 수의 일반 공식을 제공하기 위해.

제안 방법

• 페블이 색상으로 할당되고, 페블링 단계에서 같은 색상의 페블만 사용될 수 있는 색상 유지 페블링 모델을 도입한다.
• 그래프 $G \square H$ 위의 분포를 $H$ 위의 색상 분포로 변환함으로써, $H$의 성질을 이용해 상한을 추정할 수 있도록 한다.
• 양호한 그래프에서의 '핵심 정점' 개념을 사용하여 커버 페블링 분석을 단순화함. 이 경우 커버 페블링 수는 모든 정점 $w$에 대해 $2^{\text{dist}(u,w)}$의 합과 같다.
• 색상 번역 기법을 적용하여 $G \square P_n$ 및 $G \square C_n$에 대한 상한을 유도함. 이 상한은 $G$가 양호할 경우 정확하다.
• 만약 $G$와 $H$가 모두 양호하다면, $G \square H$가 양호함과 $\gamma(G \square H) = \gamma(G)\gamma(H)$가 동시에 성립하는 것과 동치임을 증명함. 이는 핵심적 동치 관계를 확립한다.
• 기존에 알려진 경로, 나무, 완전 그래프가 양호한 그래프임을 이용하여, 귀납법과 곱의 구조를 활용해 복잡한 곱 그래프의 커버 페블링 수 계산을 확장한다.

실험 결과

연구 질문

• RQ1 순환 그래프 $C_n$의 커버 페블링 수는 무엇인가요?
• RQ2 곱 그래프 $G \square H$의 커버 페블링 수가 $G$와 $H$의 커버 페블링 수의 곱과 같은가요?
• RQ3 순환은 양호한 그래프인가요? 즉, 핵심 정점 $u$에서의 거리에 대한 $2^{\text{dist}(u,w)}$의 합과 커버 페블링 수가 같은가요?
• RQ4 양호한 그래프와 경로 또는 순환의 곱도 양호한 그래프인가요?
• RQ5 격자, 초입방체, 웹 그래프와 같은 복잡한 곱 그래프의 커버 페블링 수는 곱 공식을 사용해 계산할 수 있는가요?

주요 결과

• 순환 그래프 $C_n$의 커버 페블링 수는 $\gamma(C_n) = 2^r + 2^{n-r+1} - 3$이며, 여기서 $r = \lceil n/2 \rceil$이다.
• 순환이 양호한 그래프임이 증명되었으며, 핵심 정점 $u$에서의 거리에 대한 $2^{\text{dist}(u,w)}$의 합과 커버 페블링 수가 일치한다.
• 모든 양호한 그래프 $G$에 대해 $\gamma(G \square P_n) = \gamma(G)\gamma(P_n)$ 및 $\gamma(G \square C_n) = \gamma(G)\gamma(C_n)$이며, $\gamma(P_n) = 2^n - 1$이다.
• 어떤 양호한 그래프와 경로 또는 순환의 곱도 또한 양호한 그래프이며, 이는 양호한 그래프의 범주를 모든 경로 및 순환의 유한 곱으로 확장한다.
• 유한 곱 그래프 $H = (\square_i P_{n_i}) \square (\square_j C_{m_j})$의 커버 페블링 수는 $\gamma(H) = \prod_i \gamma(P_{n_i}) \prod_j \gamma(C_{m_j})$이다.
• $k$차원 초입방체 $Q^k$의 커버 페블링 수는 $\gamma(Q^k) = 3^k$이며, $Q^k \cong \square^k P_2$ 이고 $\gamma(P_2) = 3$ 이므로 성립한다.