[论文解读] Interval colorings of complete balanced multipartite graphs

Petros A. Petrosyan|arXiv (Cornell University)|Nov 22, 2012

Advanced Graph Theory Research参考文献 12被引用 5

一句话总结

该论文证明了：当且仅当 $nk$ 为偶数时，每个部分包含 $n$ 个顶点的完全平衡 $k$-部图是区间可染色的。它进一步证明，当 $nk$ 为偶数时，此类图对所有满足 $(k-1)n \leq t \leq \left(\frac{3}{2}k - 1\right)n - 1$ 的 $t$ 值均存在区间 $t$-染色；当 $k = p2^q$ 且 $p$ 为奇数时，上界可扩展至 $(2k - p - q)n - 1$，从而为区间染色谱提供了紧确界。

ABSTRACT

A graph $G$ is called a complete $k$-partite ($k\geq 2$) graph if its vertices can be partitioned into $k$ independent sets $V_{1},...,V_{k}$ such that each vertex in $V_{i}$ is adjacent to all the other vertices in $V_{j}$ for $1\leq i

研究动机与目标

• 确定完全平衡 $k$-部图区间可染色的充要条件。
• 在区间可染色成立时，确定此类图可能存在的完整区间染色范围。
• 扩展已知关于完全多部图区间染色中最大颜色数 $W(G)$ 的上界，尤其针对平衡情形。
• 当 $k$ 具有特定二进制结构（即 $k = p2^q$）时，为完全平衡 $k$-部图提供 $W(G)$ 的精确上界。

提出的方法

• 通过从完全图 $K_k$ 的区间染色构造出一个基染色 $eta$，显式构造完全平衡 $k$-部图 $G$ 的边染色 $eta$。
• 利用 $K_k$ 中区间染色的结构（特别是当 $k = p2^q$ 时），通过模算术构造将染色提升至 $G$：$\beta(v_i^r v_j^s) = (\alpha(u_i u_j) - 1)n + r + s - 1$。
• 应用引理 7 分析每个顶点 $v_j^{(i)}$ 的关联颜色集合，证明其关联颜色构成一个连续区间。
• 通过验证每个顶点的颜色集合均为连续整数区间，证明所得染色 $eta$ 是区间染色。
• 利用已知的完全图 $K_{2n}$ 的区间染色结果，推导出平衡情形下 $W(G)$ 的界。
• 通过分析所有顶点中使用的最大颜色，推导出在 $k = p2^q$ 条件下，上界 $W(G) \geq (2k - p - q)n - 1$。

实验结果

研究问题

• RQ1 对于哪些 $k$ 和 $n$ 值，每个部分包含 $n$ 个顶点的完全平衡 $k$-部图是区间可染色的？
• RQ2 当 $nk$ 为偶数时，完全平衡 $k$-部图在哪些 $t$ 值下存在区间 $t$-染色？
• RQ3 当 $k$ 为 $p2^q$ 形式（$p$ 为奇数）时，能否为完全平衡 $k$-部图建立更紧的 $W(G)$ 上界？
• RQ4 完全平衡 $k$-部图 $K_{n,\text{...},n}$ 的 $W(K_{n,\text{...},n})$ 的精确值是多少，特别是在 $K_{2n}$ 的情形下？

主要发现

• 每个部分包含 $n$ 个顶点的完全平衡 $k$-部图是区间可染色的，当且仅当 $nk$ 为偶数。
• 若 $nk$ 为偶数且 $(k-1)n \leq t \leq \left(\frac{3}{2}k - 1\right)n - 1$，则图存在区间 $t$-染色。
• 当 $k = p2^q$ 且 $p$ 为奇数、$q \in \mathbb{N}$ 时，图对所有满足 $(k-1)n \leq t \leq (2k - p - q)n - 1$ 的 $t$ 值均存在区间 $t$-染色。
• 通过构造性染色方法，为偶数 $n \geq 2$ 建立了上界 $W(G) \geq \left(\frac{3}{2}k - 1\right)n - 1$。
• 当 $k = p2^q$ 时，证明了 $W(G) \geq (2k - p - q)n - 1$，从而改进了此类图的区间染色范围。
• 结果推广了已知的完全图和完全二部图的区间染色结果，将其扩展至平衡多部图情形。