The palette sparsification theorem (PST) of Assadi, Chen, and Khanna (SODA 2019) states that in every graph $G$ with maximum degree $\Delta$, sampling a list of $O(\log{n})$ colors from $\{1,\ldots,\Delta+1\}$ for every vertex independently and uniformly, with high probability, allows for finding a $(\Delta+1)$ vertex coloring of $G$ by coloring each vertex only from its sampled list. PST naturally leads to a host of sublinear algorithms for $(\Delta+1)$ vertex coloring, including in semi-streaming, sublinear time, and MPC models, which are all proven to be nearly optimal, and in the case of the former two are the only known sublinear algorithms for this problem. While being a quite natural and simple-to-state theorem, PST suffers from two drawbacks. Firstly, all its known proofs require technical arguments that rely on sophisticated graph decompositions and probabilistic arguments. Secondly, finding the coloring of the graph from the sampled lists in an efficient manner requires a considerably complicated algorithm. We show that a natural weakening of PST addresses both these drawbacks while still leading to sublinear algorithms of similar quality (up to polylog factors). In particular, we prove an asymmetric palette sparsification theorem (APST) that allows for list sizes of the vertices to have different sizes and only bounds the average size of these lists. The benefit of this weaker requirement is that we can now easily show the graph can be $(\Delta+1)$ colored from the sampled lists using the standard greedy coloring algorithm. This way, we can recover nearly-optimal bounds for $(\Delta+1)$ vertex coloring in all the aforementioned models using algorithms that are much simpler to implement and analyze.
翻译:Assadi、Chen和Khanna(SODA 2019)提出的调色板稀疏化定理(PST)指出:在任意最大度为$\Delta$的图$G$中,以独立均匀的方式为每个顶点从$\{1,\ldots,\Delta+1\}$中采样$O(\log{n})$种颜色,则高概率地,仅从各顶点的采样颜色列表中为其着色,即可得到$G$的$(\Delta+1)$顶点着色方案。PST自然地催生了一系列针对$(\Delta+1)$顶点着色的亚线性算法,包括半流式计算、亚线性时间计算和MPC模型中的算法。这些算法均被证明是近乎最优的,且在前两种计算模型中,这是目前已知的唯一亚线性算法。尽管PST是一个表述简洁自然的定理,它仍存在两个缺陷:首先,其所有已知证明均依赖于复杂的图分解和概率论证等技巧性论述;其次,从采样颜色列表中高效地构造图着色方案需要相当复杂的算法。我们证明,对PST进行一种自然的弱化处理可以在保持算法质量(至多相差多对数因子)的同时解决这两个缺陷。具体而言,我们提出了非对称调色板稀疏化定理(APST),该定理允许各顶点的颜色列表具有不同大小,仅需约束这些列表的平均大小。这种弱化要求的优势在于,我们现在可以轻松证明:使用标准的贪心着色算法即可从采样颜色列表中获得图的$(\Delta+1)$着色方案。通过这种方式,我们能够以更易于实现和分析的简洁算法,在上述所有计算模型中恢复近乎最优的$(\Delta+1)$顶点着色边界。