[论文解读] Connectedness and Hamiltonicity of graphs on vertex colorings

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

Graph Labeling and Dimension Problems参考文献 8被引用 3

一句话总结

本文引入并分析了图 $ G^j_k(H) $，其中顶点代表图 $ H $ 的合法 $ k $-染色，边连接在大小至多为 $ j $ 个顶点的连通子图上不同的染色。主要贡献是证明了当 $ H $ 为各部分集大小为奇数的完全 $ k $-部图时，$ h_{k+1}(H) = 1 $ 当且仅当 $ H $ 的每个部分集大小为奇数，从而建立了 $ G^1_{k+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^j_k(H) $ 连通或哈密顿的最小 $ j $ 值。
• 确定 $ h_k(H) = 1 $ 的必要与充分条件，特别是在完全 $ k $-部图且各部分集大小为奇数的背景下。
• 建立部分集大小奇偶性与染色图 $ G^1_k(H) $ 哈密顿性之间的结构化关联。

提出的方法

• 将 $ G^j_k(H) $ 定义为以 $ H $ 的合法 $ k $-染色为顶点的图，若两个染色在大小至多为 $ j $ 个顶点的连通子图上不同，则在它们之间连边。
• 利用顶点染色的混合过程，通过单个顶点重染色步骤探索合法染色之间的转换。
• 通过组合超立方体 $ Q_{|X_i|}(b_i, c_i) $ 中遍历仅使用两种颜色的染色路径（排除单色极端情况）来构造 $ G^1_{k+1}(H) $ 中的哈密顿圈。
• 通过证明此类圈在超立方体 $ Q_{|X_i|}(b,c) $ 中诱导出从 $ b\cdots b $ 到 $ c\cdots c $ 的哈密顿路径，证明 $ G^1_{k+1}(H) $ 中哈密顿圈存在的必要条件是每个部分集 $ X_i $ 的大小为奇数。
• 通过归纳法与在不同部分集间拼接路径，构建覆盖 $ G^1_{k+1}(H) $ 中所有合法 $ (k+1) $-染色的完整哈密顿圈，确保每种染色恰好出现一次。
• 通过分析相邻染色的结构及 $ G^1_{k+1}(H) $ 中转换的约束，证明若 $ h_{k+1}(H) = 1 $，则每个 $ |X_i| $ 必须为奇数。

实验结果

研究问题

• RQ1 对于给定图 $ H $ 与整数 $ k $，使 $ G^j_k(H) $ 连通的最小 $ j $ 是多少？
• RQ2 对于给定图 $ H $ 与整数 $ k $，使 $ G^j_k(H) $ 哈密顿的最小 $ j $ 是多少？
• RQ3 当 $ H $ 为完全 $ k $-部图时，$ G^1_k(H) $ 在何种条件下是哈密顿图？
• RQ4 完全 $ k $-部图中部分集大小的奇偶性是否可决定 $ G^1_k(H) $ 的哈密顿性？
• RQ5 $ h_k(H) = 1 $ 当且仅当 $ H $ 中所有部分集大小为奇数吗？

主要发现

• 当 $ H $ 为完全 $ k $-部图时，参数 $ h_{k+1}(H) = 1 $ 当且仅当 $ H $ 的每个部分集 $ X_i $ 的顶点数为奇数。
• 当每个 $ |X_i| $ 为奇数时，$ G^1_{k+1}(H) $ 中存在哈密顿圈，该圈通过拼接超立方体 $ Q_{|X_i|}(b_i, c_i) $ 中排除单色顶点 $ b_i\cdots b_i $ 与 $ c_i\cdots c_i $ 的路径构造而成。
• 若 $ h_{k+1}(H) = 1 $，则每个 $ |X_i| $ 必须为奇数，否则在对应超立方体中无法存在从 $ b\cdots b $ 到 $ c\cdots c $ 的哈密顿路径。
• 在 $ G^1_{k+1}(H) $ 中构造哈密顿圈时，确保每种合法 $ (k+1) $-染色恰好被包含一次，涵盖仅使用 $ k $ 种颜色与使用全部 $ k+1 $ 种颜色的染色。
• 在 $ G^1_{k+1}(H) $ 中，不同部分集间路径的转换结构确保了其有效性，依赖于循环中索引 $ a_i $ 与 $ a_{i+1} $ 的非邻接性。