[论文解读] Equitable block colourings

Paola Bonacini, Lucia Marino|arXiv (Cornell University)|Jun 20, 2014

graph theory and CDMA systems参考文献 5被引用 3

一句话总结

本文研究了阶为 $v = 1 + 8k$ 的 4-圈系中均衡的块着色，重点关注 $s$ 整除 $k$ 时的 $c$-着色类型 $s$。通过结构化的块分解与模运算，构造了 $c \in \{s, s+1, \dots, \lfloor (2s^2 + s)/3 \rfloor\}$ 的均衡着色，证明了最小 $s$-色数指数恰好为 $s$，并建立了其最大指数的界限。

ABSTRACT

Let $Σ=(X,\mathcal B)$ a $4$-cycle system of order $v=1+8k$. A $c$-colouring of type $s$ is a map $ϕ\colon \mathcal B ightarrow \mathcal C$, with $C$ set of colours, such that exactly $c$ colours are used and for every vertex $x$ all the blocks containing $x$ are coloured exactly with $s$ colours. Let $4k=qs+r$, with $q,r\ge 0$. $ϕ$ is \emph{equitable} if for every vertex $x$ the set of the $4k$ blocks containing $x$ is parted in $r$ colour classes of cardinality $q+1$ and $s-r$ colour classes of cardinality $q$. In this paper we study colourings for which $s|k$, giving a description of equitable block colourings for $c\in \{s,s+1,\dots,\lfloor frac{2s^2+s}{3} floor \}$.

研究动机与目标

• 刻画阶为 $v = 1 + 8k$ 的 4-圈系中在 $s \mid k$ 条件下的均衡块着色。
• 确定类型为 $s$ 的 $c$-着色的谱，使得每个顶点恰好关联 $s$ 种颜色。
• 建立此类系统中 $s$-色数指数的下界与上界。
• 利用组合块分解技术，为广泛的 $c$ 值构造显式的均衡着色。
• 证明当 $s \mid k$ 时，最小 $s$-色数指数恰好为 $s$。

提出的方法

• 通过不相交集合 $A_i$ 和一个中心顶点 $\infty$ 构造阶为 $v = 1 + 8k$ 的 4-圈系 $\Sigma = (X, \mathcal{B})$，其中块由 $\mathcal{B}_i$ 和交叉集合 $[A_p, A_q]$ 构成。
• 通过模运算定义着色 $f$：当 $c = s+1$ 时，若 $p + q \equiv i \pmod{s+1}$，则 $f([A_p, A_q]) = i$。
• 通过为选定的 $[A_p, A_q]$ 块分配新颜色来扩展着色，以避免颜色冲突并保持均衡分布。
• 对于更高的 $c$ 值，将完全图 $K_{2s}$ 去掉一个 1-因子后分解为 3-圈和 4-圈，并通过这些圈结构分配颜色。
• 使用方程 $2s^2 - 2s = 4t \cdot 3 + (\frac{s^2 - s}{2} - 3t) \cdot 4$ 来平衡最终构造中颜色类的大小。
• 应用已知的 1-因子分解与圈分解结果（来自 [7, 定理 2.4]），将 $K_{2s} - I$ 划分为 3-圈和 4-圈以用于颜色分配。

实验结果

研究问题

• RQ1 当 $s \mid k$ 时，在阶为 $v = 1 + 8k$ 的 4-圈系中，对于哪些 $c$ 值存在类型为 $s$ 的均衡 $c$-着色？
• RQ2 均衡类型为 $s$ 的块着色所需的最少颜色数是多少？
• RQ3 此类着色中可能的最大颜色数是多少？如何对其进行界定？
• RQ4 是否可以系统地构造 $c \in \{s, s+1, \dots, \lfloor (2s^2 + s)/3 \rfloor\}$ 的均衡着色？
• RQ5 4-圈系的结构以及围绕每个顶点的块分布如何影响均衡着色的可行性？

主要发现

• 当 $s \mid k$ 时，$s$-色数指数 $\chi'_s(v)$ 恰好为 $s$，意味着 $s$ 种颜色对于类型为 $s$ 的均衡 $c$-着色而言既必要又充分。
• 对于 $c \in \{s, s+1, \dots, \lfloor (2s^2 + s)/3 \rfloor\}$，在阶为 $v = 1 + 8k$ 的 4-圈系中存在类型为 $s$ 的均衡 $c$-着色。
• 当 $c = s+1$ 时的构造使用了 $s$ 个不相交的阶为 $1 + 8h$ 的 4-圈系，并通过交叉块上的模运算实现 $s+1$-着色。
• 当 $c > s+1$ 时，该方法通过为 $c - s - 1$ 个选定的交叉块 $[A_p, A_q]$ 分配新颜色来扩展着色，且不破坏均衡性。
• 当 $c \geq \frac{s^2 + s}{2} + 1$ 时，构造方法利用 $K_{2s} - I$ 到 3-圈和 4-圈的分解，将颜色分配给 $[A_p, A_q]$ 块，从而确保颜色类大小的平衡。
• 对 $s$-色数指数的上界为 $\overline{\chi}'_s(v) \leq \frac{s^2 v}{v + s - 1}$，该结果通过统计顶点关联次数与块颜色类大小推导得出。