[논문 리뷰] Connectedness and Hamiltonicity of graphs on vertex colorings

Daniel C. McDonald|arXiv (Cornell University)|2015. 07. 19.

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

한 줄 요약

이 논문은 정점이 그래프 $ H $의 올바른 $ k $-색칠임을 나타내는 그래프 $ G^j_k(H) $를 소개하고 분석한다. 여기서 간선은 최대 $ j $개의 정점으로 구성된 연결된 부분그래프에서만 다름을 보이는 색칠 간에 존재한다. 주요 기여는 $ H $가 각 부분집합의 크기가 홀수인 완전 $ k $-분할 그래프일 때, $ G^1_{k+1}(H) $에서 해밀턴성의 필요충분조건을 증명하는 것이다. 즉, $ h_{k+1}(H) = 1 $이 되기 위한 조건은 $ H $의 각 부분집합이 홀수 크기를 가져야 한다는 것이다.

ABSTRACT

Given a graph $H$, let $G^j_k(H)$ be the graph whose vertices are the proper $k$-colorings of $H$, with edges joining two colorings if $H$ contains a connected subgraph on at most $j$ vertices that includes all vertices where the colorings differ. Properties of $G^1_k(H)$ have been investigated before, including connectedness and Hamiltonicity. We introduce and study the parameters $g_k(H)$ and $h_k(H)$, which denote the minimum $j$ such that $G^j_k(H)$ is connected or Hamiltonian, respectively.

연구 동기 및 목표

• 그래프 $ G^j_k(H) $를 정의하고 분석하는 것. 여기서 정점은 그래프 $ H $의 올바른 $ k $-색칠이며, 두 색칠 간에 간선이 존재하는 조건은 최대 $ j $개의 정점으로 구성된 연결된 부분그래프에서만 다름을 보일 때이다.
• 매개변수 $ g_k(H) $와 $ h_k(H) $를 도입하고 연구하는 것. 여기서 $ g_k(H) $는 $ G^j_k(H) $가 연결되도록 하는 최소 $ j $이며, $ h_k(H) $는 $ G^j_k(H) $가 해밀턴일 때의 최소 $ j $이다.
• 특히 완전 $ k $-분할 그래프이면서 각 부분집합의 크기가 홀수인 경우에 대해 $ h_k(H) = 1 $이 되는 필요충분조건을 규명하는 것.
• 완전 $ k $-분할 그래프에서 부분집합 크기의 홀짝성과 $ G^1_k(H) $의 해밀턴성 간의 구조적 연결 고리를 규명하는 것.

제안 방법

• 정점이 그래프 $ H $의 올바른 $ k $-색칠인 그래프 $ G^j_k(H) $를 정의한다. 두 색칠 간에 간선이 존재하는 조건은 최대 $ j $개의 정점으로 구성된 연결된 부분그래프에서만 다름을 보일 때이다.
• 단일 정점의 재색칠 단계를 통해 올바른 색칠 간의 전이를 탐색하기 위해 정점 색칠의 혼합 과정을 사용한다.
• 각 부분집합 $ X_i $에서 두 색깔만을 사용하는 색칠을 모두 포함하는 하이퍼큐브 $ Q_{|X_i|}(b_i, c_i) $의 경로를 조합하여 $ G^1_{k+1}(H) $에서 해밀턴 순환을 구성한다. 이 경로는 단색 끝점인 $ b_i\cdots b_i $와 $ c_i\cdots c_i $를 제외한다.
• 해밀턴 순환은 $ G^1_{k+1}(H) $에 존재할 수 있으려면 각 부분집합 $ X_i $의 크기가 홀수여야 한다는 것을 보여줌으로써, 이러한 순환이 하이퍼큐브 $ Q_{|X_i|}(b,c) $에서 $ b\cdots b $와 $ c\cdots c $ 사이의 해밀턴 경로를 유도한다는 것을 증명한다.
• 유도법과 부분집합 간 경로 연결을 통해 $ G^1_{k+1}(H) $ 전체에 걸쳐 해밀턴 순환을 구성한다. 이 과정에서 모든 올바른 $ (k+1) $-색칠이 정확히 한 번씩 포함되도록 보장한다.
• 만약 $ h_{k+1}(H) = 1 $이라면 각 $ |X_i| $가 홀수여야 한다는 것을 증명한다. 이는 $ G^1_{k+1}(H) $에서 인접한 색칠 간의 구조와 전이 제약 조건을 분석함으로써 이루어진다.

실험 결과

연구 질문

• RQ1 주어진 그래프 $ H $와 정수 $ k $에 대해 $ G^j_k(H) $가 연결되도록 하는 최소 $ j $는 무엇인가?
• RQ2 주어진 그래프 $ H $와 정수 $ k $에 대해 $ G^j_k(H) $가 해밀턴이 되도록 하는 최소 $ j $는 무엇인가?
• RQ3 완전 $ k $-분할 그래프일 때 $ G^1_k(H) $가 해밀턴일 조건은 무엇인가?
• RQ4 완전 $ k $-분할 그래프의 부분집합 크기의 홀짝성이 $ G^1_k(H) $의 해밀턴성에 영향을 미칠 수 있는가?
• RQ5 $ h_k(H) = 1 $이 되기 위한 필요충분조건은 $ H $의 모든 부분집합의 크기가 홀수여야 하는가?

주요 결과

• 완전 $ k $-분할 그래프일 때, 매개변수 $ h_{k+1}(H) = 1 $이 되기 위한 조건은 $ H $의 각 부분집합 $ X_i $의 정점 수가 홀수여야 한다는 것이다.
• 각 $ |X_i| $가 홀수일 경우, 하이퍼큐브 $ Q_{|X_i|}(b_i, c_i) $에서 단색 끝점인 $ b_i\cdots b_i $와 $ c_i\cdots c_i $를 제외한 경로들을 연결하여 $ G^1_{k+1}(H) $에서 해밀턴 순환을 구성할 수 있다.
• 만약 $ h_{k+1}(H) = 1 $이라면 각 $ |X_i| $는 홀수여야 한다. 이는 그렇지 않으면 해당 하이퍼큐브에서 $ b\cdots b $와 $ c\cdots c $ 사이에 해밀턴 경로가 존재할 수 없기 때문이다.
• 해밀턴 순환의 구성은 $ H $의 모든 올바른 $ (k+1) $-색칠이 정확히 한 번씩 포함되도록 보장한다. 이는 $ k $개의 색깔만을 사용하는 색칠과 $ k+1 $개의 색깔을 모두 사용하는 색칠을 모두 포함한다.
• 그래프 $ G^1_{k+1}(H) $의 인접 구조는 서로 다른 부분집합의 경로 간 전이가 유효함을 보장한다. 이는 순환 내에서 인덱스 $ a_i $와 $ a_{i+1} $가 인접하지 않음을 기반으로 한다.