[论文解读] On cyclically-interval edge colorings of trees

Rafael R. Kamalian|arXiv (Cornell University)|May 1, 2012

Advanced Graph Theory Research参考文献 22被引用 4

一句话总结

本文证明了每棵树都存在循环区间边染色，且可行染色存在的充要条件是：对于任意树 $H$，当且仅当 $t$ 属于区间 $[\Delta(H), M(H)]$ 时，可行染色集 $\mathfrak{M}_t$ 非空，其中 $\Delta(H)$ 表示最大度数，$M(H)$ 表示最长路径中的边数。关键结果为 $W_{\text{cyc}}(H) = M(H)$，从而完全刻画了树的可行染色范围。

ABSTRACT

For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $φ:E(G) ightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $φ$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,φ)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $φ$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,φ)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,φ)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ For an arbitrary tree $G$, it is proved that $G\in\mathfrak{M}$ and all possible values of $t$ are found for which $G\in\mathfrak{M}_t.$

研究动机与目标

• 确定给定树 $G$ 存在循环区间边 $t$-染色的整数 $t$ 的集合。
• 刻画此类染色存在的最小和最大颜色数 $w_{\text{cyc}}(G)$ 与 $W_{\text{cyc}}(G)$。
• 证明每棵树都是循环区间可染色的，即 $G \in \mathfrak{M}$，并完全描述可行 $t$ 值的集合 $\Theta(G)$。

提出的方法

• 将循环区间边染色定义为一种正常边染色，使得对每个顶点，其关联边的颜色集合或其补集在 $[1,t]$ 中构成一个区间。
• 引入 $\theta(G)$、$w_{\text{cyc}}(G)$ 和 $W_{\text{cyc}}(G)$ 的概念，分别表示可行 $t$ 值的集合及其极值边界。
• 通过树的结构分析，包括最长路径和顶点距离函数，来界定所需颜色数的上下界。
• 运用归纳法和基于路径的论证，证明 $W_{\text{cyc}}(H) = M(H)$，其中 $M(H)$ 表示树 $H$ 中最长路径的边数。
• 利用 $[1,t]$ 中区间与循环区间的性质，证明顶点处的颜色集合满足循环区间条件。
• 通过反证法和路径扩展论证，证明对任意树 $H$，$\mathfrak{M}_t$ 非空当且仅当 $t \in [\Delta(H), M(H)]$。

实验结果

研究问题

• RQ1 对于哪些 $t$ 值，给定树 $G$ 存在循环区间边 $t$-染色？
• RQ2 树 $G$ 的循环区间边染色所需的最少颜色数 $w_{\text{cyc}}(G)$ 是多少？
• RQ3 树 $G$ 的循环区间边染色存在的最大颜色数 $W_{\text{cyc}}(G)$ 是多少？
• RQ4 每棵树是否都是循环区间可染色的，即是否对所有树 $G$ 都有 $G \in \mathfrak{M}$ 成立？
• RQ5 树的结构，特别是其最长路径，如何与循环区间染色的存在性及其界相关联？

主要发现

• 每棵树 $H$ 都是循环区间可染色的，即 $H \in \mathfrak{M}$，这意味着存在某个 $t \geq 1$ 使得此类染色存在。
• 树 $H$ 的循环区间边染色所需的最少颜色数等于其最大度数：$w_{\text{cyc}}(H) = \Delta(H)$。
• 存在循环区间边染色的最大颜色数等于 $H$ 中最长路径的边数，即 $W_{\text{cyc}}(H) = M(H)$。
• 使得 $H \in \mathfrak{M}_t$ 的可行 $t$ 值集合恰好为区间 $[\Delta(H), M(H)]$，即 $\Theta(H) = [\Delta(H), M(H)]$。
• 对于树 $H$ 的任意循环区间 $t$-染色，存在两个顶点 $x'$ 和 $x''$，使得 $t \leq |TP(x', x'')|$，其中 $TP(x', x'')$ 表示它们之间路径上的边集。
• 存在 $W_{\text{cyc}}(H)$-染色意味着存在某对顶点使得 $W_{\text{cyc}}(H) \leq |TP(x', x'')|$，且该界是紧的，从而确认 $W_{\text{cyc}}(H) = M(H)$。