[논문 리뷰] A New Game Invariant of Graphs: the Game Distinguishing Number

Sylvain Gravier, Kahina Meslem외 2명|arXiv (Cornell University)|2014. 10. 13.

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

한 줄 요약

이 논문은 그래프에 대한 새로운 조합 게임 불변량인 게임 구별 수를 소개한다. 두 명의 플레이어인 게 gentle와 래스컬이 고정된 수의 색으로 정점을 번갈아 칠한다. 게 gentle는 최종 색칠이 비자명한 대칭성을 모두 깨뜨릴 경우(즉, 구별 가능한 색칠이 될 경우) 승리하고, 래스컬은 그 외의 경우 승리한다. 주요 기여는 초입방형의 차원 $ n \geq 5 $에 대해 래스컬이 먼저 수를 두는 게임 구별 수가 정확히 2임을 증명한 것이며, 짝수 사이클과 치환 그래프의 경우 게임 불변량이 고전적 구별 수에 대해 제곱적으로 유계임을 보인 것이다.

ABSTRACT

The distinguishing number of a graph $G$ is a symmetry related graph invariant whose study started two decades ago. The distinguishing number $D(G)$ is the least integer $d$ such that $G$ has a $d$-distinguishing coloring. A distinguishing $d$-coloring is a coloring $c:V(G) ightarrow\{1,...,d\}$ invariant only under the trivial automorphism. In this paper, we introduce a game variant of the distinguishing number. The distinguishing game is a game with two players, the Gentle and the Rascal, with antagonist goals. This game is played on a graph $G$ with a set of $d\in\mathbb N^*$ colors. Alternately, the two players choose a vertex of $G$ and color it with one of the $d$ colors. The game ends when all the vertices have been colored. Then the Gentle wins if the coloring is distinguishing and the Rascal wins otherwise. This game leads to define two new invariants for a graph $G$, which are the minimum numbers of colors needed to ensure that the Gentle has a winning strategy, depending on who starts. These invariants could be infinite, thus we start by giving sufficient conditions to have infinite game distinguishing numbers. We also show that for graphs with cyclic automorphisms group of prime odd order, both game invariants are finite. After that, we define a class of graphs, the involutive graphs, for which the game distinguishing number can be quadratically bounded above by the classical distinguishing number. The definition of this class is closely related to imprimitive actions whose blocks have size $2$. Then, we apply results on involutive graphs to compute the exact value of these invariants for hypercubes and even cycles. Finally, we study odd cycles, for which we are able to compute the exact value when their order is not prime. In the prime order case, we give an upper bound of $3$.

연구 동기 및 목표

• 구별 수의 새로운 게임 이론적 변종을 정의하고 연구함. 플레이어들이 번갈아 정점을 칠하면서 그래프의 대칭성을 유지하거나 깨뜨리는 것을 목표로 함.
• 게임 구별 수가 유한하거나 무한한 조건을 규명함. 특히 자동형군의 구조에 초점을 맞춤.
• 치환 그래프의 클래스를 도입하고 특성화함. 이 그래프에서 게임 불변량은 고전적 구별 수에 대해 제곱적으로 유계임.
• 구조적 및 군론적 성질을 활용하여 초입방형과 짝수 사이클의 게임 구별 수의 정확한 값을 계산함.
• 홀수 사이클, 특히 소수 차수의 사이클에서의 게임 행동을 조사하고, 계산적 증거에 기반한 추측을 제시함.

제안 방법

• d개의 색을 사용하는 그래프에서 두 플레이어가 번갈아 색을 칠하는 게임으로서의 구별 게임을 정의함. 게 gentle는 구별 가능한 색칠을 이루고자 하고, 래스컬은 이를 방지하고자 함.
• 두 가지 불변량을 도입함: $ D_{\mathcal{G}}(G) $는 게 gentle가 먼저 수를 두는 경우 승리 보장이 되는 최소 색 수이며, $ D_{\mathcal{R}}(G) $는 래스컬이 먼저 수를 두는 경우 동일한 조건을 만족하는 최소 색 수임.
• 특히 자동형군이 치환을 갖지 않거나 특정 원시적 작용을 가질 경우 $ D_{\mathcal{G}}(G) $와 $ D_{\mathcal{R}}(G) $가 무한이 되는 충분조건을 확립함.
• 치환 그래프의 클래스를 자동형군 작용 하에서 크기가 2인 완전한 블록 체계를 갖는 그래프로 정의함. 이를 통해 궤도 크기와 대칭성 깨뜨리기 전략에 대한 구조적 통제를 가능하게 함.
• 군 작용 이론과 궤도 수 계산을 활용하여, 치환 그래프에 대해 $ D_{\mathcal{R}}(G) \leq D(G)^2 $임을 증명함. 여기서 $ D(G) $는 고전적 구별 수임.
• 이 결과를 적용하여 정확한 값을 계산함: $ D_{\mathcal{R}}(Q_n) = 2 $ for $ n \geq 5 $, $ D_{\mathcal{R}}(Q_2) = D_{\mathcal{R}}(Q_3) = 3 $, $ D_{\mathcal{R}}(Q_4) \in \{2,3\} $.

실험 결과

연구 질문

• RQ1 게임 구별 수가 언제 유한하고, 언제 무한한가?
• RQ2 특정 그래프 클래스에 대해 게임 구별 수가 고전적 구별 수에 대해 유계가 될 수 있는가?
• RQ3 차원 $ n \geq 4 $인 초입방형에 대해 래스컬이 먼저 수를 두는 게임 구별 수의 정확한 값은 무엇인가?
• RQ4 자동형군의 구조—특히 원시성 또는 비원시성—은 게임 결과에 어떤 영향을 미치는가?
• RQ5 소수 차수의 홀수 사이클에 대해 게임 구별 수가 3 이하로 유계가 되는가? 이 유계는 더 큰 소수에 대해서도 성립하는가?

주요 결과

• 차원 $ n \geq 5 $인 초입방형에 대해 래스컬이 먼저 수를 두는 게임 구별 수는 정확히 2이다. 즉, $ D_{\mathcal{R}}(Q_n) = 2 $.
• 차원 $ n = 2 $ 및 $ n = 3 $일 경우 초입방형에 대해 래스컬이 먼저 수를 두는 게임 구별 수는 3이다. 즉, $ D_{\mathcal{R}}(Q_2) = D_{\mathcal{R}}(Q_3) = 3 $.
• 초입방형에 대해 게 gentle가 먼저 수를 두는 게임 구별 수는 모든 $ n \geq 2 $에 대해 무한하다. 즉, $ D_{\mathcal{G}}(Q_n) = \infty $.
• 짝수 사이클과 기타 치환 그래프에 대해 래스컬이 먼저 수를 두는 게임 구별 수는 고전적 구별 수의 제곱 이내이다.
• 비소수 차수의 홀수 사이클에 대해선 두 게임 구별 수의 정확한 값을 계산하였으며, 이는 유한하며 사이클 길이에 따라 달라짐을 보여줌.
• 소수 차수 $ p \geq 11 $인 홀수 사이클에 대해선 게 gentle가 먼저 수를 두는 게임 구별 수가 2일 것으로 추측되나, 모든 이러한 사이클에 대해 최대 3 이하로 알려져 있음.