首页/论文/1502.02557

arXiv 1502.025572015-02-09cs.DScs.GTcs.SI

在线列表着色大图

List Colouring Big Graphs On-Line

Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文研究了在线环境下的图表着色问题。我们给出了Schauz [13]和Zhu [20]引入的模型中图的可画性的几个结果。我们证明了Ohba猜想的在线版本在平面图类中是正确的。我们还考虑了几个替代在线列表着色模型。

英文摘要：

In this paper, we investigate the problem of graph list colouring in the on-line setting. We provide several results on paintability of graphs in the model introduced by Schauz [13] and Zhu [20]. We prove that the on-line version of Ohba's conjecture is true in the class of planar graphs. We also consider several alternate on-line list colouring models.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

对数空间中的列表着色树

List Colouring Trees in Logarithmic Space

我们表明，列表着色可以解决$n$ -顶点树的确定性图灵机使用$O(\log n)$位上的worktape。给定$n$ -顶点图$G=(V,E)$和每个$v\in V$的可用颜色的列表$L(v)\subseteq\{1,\dots,n\}$，$G$的列表着色是适当的着色$c$，使得对于所有$v$，$c(v)\in L(v)$。

2022-06-20cs.CCcs.DMcs.DS

填充平面图和有界度图着色的复杂性缺口

Filling the Complexity Gaps for Colouring Planar and Bounded Degree Graphs

图$G=(V,E)$的着色是函数$c: V\rightarrow\{1,2,\ldots \}$，使得对于每个$uv\in E$，$c(u)\neq c(v)$。$k$-$G$的常规列表分配是具有域$V$的函数$L$，使得对于每个$u\in V$，$L(u)$是大小为$k$的$\{1, 2, \dots\}$的子集。如果对于每个$u\in V$都有$c(u)\in L(u)$，则$G$的着色$c$遵守$G$的$k$ -常规列表分配$L$。一个图$G$是$k$ -可选的，如果对于$G$的每个$k$ -正则列表分配$L$，存在一个尊重$L$的$G$着色。我们也可以问，对于给定的图$G$的给定的$k$ -正则列表分配$L$，是否存在尊重$L$的$G$的着色。这产生了$k$ -常规列表着色问题。对于$k\in \{3,4\}$，我们确定一个家庭的类${\cal G}$的平面图，这样，无论是$k$ -定期列表着色是NP-完全的实例$(G,L)$与$G\in {\cal G}$，或每一个$G\in {\cal G}$是$k$ -choosable。通过使用已知的非$3$ -可选和非$4$ -可选图的例子，这使得我们能够将$k$ -正则列表着色的复杂性限制到平面图、平面二部图、平面无三角形图以及没有$4$ -圈和没有$5$ -圈的平面图。我们还分类的复杂性$k$ -定期列表着色和一些相关的着色问…

2019-02-07cs.CCcs.DMcs.DS

列表着色的重构

Reconfiguration of List Colourings

本文研究图的列表着色重构，证明在每点列表大小至少为度数加一且最大度不小于3时，任意两个可重着色着色可在平方步内转换，并揭示列表减小导致的尖锐相变。

2025-05-12cs.DMcs.DSmath.CO

列表$k$ -着色$P_t$ -自由图：最小宽度透视

List $k$-Colouring $P_t$-Free Graphs: a Mim-width Perspective

图$G=(V,E)$的着色是一个映射$c\colon V\to \{1,2,\ldots\}$，使得对于$G$的每两个相邻顶点$u$和$v$，$c(u)\neq c(v)$。{ \sc List $k$ -Colouring}问题是决定具有用于每个$u\in V$的列表$L(u)\subseteq \{1,\ldots,k\}$的图$G=(V,E)$是否具有着色$c$，使得用于每个$u\in V$的$c(u)\in L(u)$。最近，Chudnovsky，Spirkl and Zhong（DM 2020）证明了对于每个$t\geq 1$和$K_{1,s}^1$，List $3$ -Colouring对于$(K_{1,s}^1,P_t)$ -free图是多项式时间可解的.我们将他们的结果推广到对每个$k\geq 1$列表$k$ -着色。我们的结果还推广了已知的结果，即对于每个$k\geq 1$和$s\geq 0$，列表$k$ -着色对于$(sP_1+P_5)$ -free图是多项式时间可解的，这是由Hoàng，Kamienski，Lozin，Sawada和Shu（Mimica 2010）证明的$s=0$，以及由Couturier，Golovach，Kratsch和Paulusma（Mimica 2015）证明的。我们证明了我们的结果，证明了一个潜在的宽度参数的有界性。也就是说，我们表…

2021-01-19cs.CCcs.DMcs.DS

顽固问题不再顽固（3相容着色的多项式算法和顽固列表划分问题）

The stubborn problem is stubborn no more (a polynomial algorithm for 3-compatible colouring and the stubborn list partition problem)

在CSP领域的驱动问题之一是二分法猜想，制定了在1993年由Feder和Vardi [STOC'93]，说明任何固定的关系结构G的约束满足问题CSP（G）是NP-完全或多项式时间可解。大量的研究已经进入检查各种具体情况下，这一猜想。其中一个变种，吸引了很多注意力，在最近几年是列表矩阵划分问题。在2004年，Cameron等人[SODA'04]对大小最多为4的矩阵的几乎所有LIST MATRIX PARTITION变体进行了分类。唯一一个抵制这种分类的案例被称为顽固问题。在本文中，我们展示了一个结果，使我们能够完成分类-从而解决了一个问题，抵御攻击的过去六年。我们的方法是基于一个组合的问题，已知至少是硬的顽固问题-3-相容的colorimetry问题。在这个问题中，我们给出了一个完全图，每个边都被分配了3种可能的颜色之一，我们希望将这3种颜色中的一种分配给每个顶点，使得没有边的颜色与它的两个端点相同。3-相容色问题的易处理性已经公开了好几年，在本文之前最著名的算法是Feder等人的[SODA'05] -一个具有n^O（log n / log log n）时间复杂度的拟多项式算法。在本文中，我们提出了一个多项式时间算法的3-相容色问题，从而我们证明了一个二分法的k-相容色问题。

2010-10-15cs.DS

为 $(P_r+P_s)$-free 图着色

Colouring $(P_r+P_s)$-Free Graphs

Charles University, Prague, Czech Republic（布拉格查理大学）；Czech Technical University in Prague, Czech Republic（捷克布拉格理工大学）；Durham University, Durham, UK（达勒姆大学）；University of Warsaw, Warsaw, Poland（华沙大学）

本文研究了 $(P_r+P_s)$-free 图的 $3$-着色和列表 $3$-着色问题，证明了在特定图类中这些问题的多项式时间可解性，并给出了复杂性分类。

2021-03-17cs.CCcs.DS

更多相关论文收起更多论文

最优地重构列表着色与对应着色

Optimally Reconfiguring List and Correspondence Colourings

本文研究列表着色与对应着色的重构直径，提出在列表大小至少为度数加2时的最优直径猜想，给出匹配构造，并证明更宽上界及高列表大小条件下的猜想，还验证了多类图。

2023-10-02cs.DSmath.CO

关于无$(2P_2,H)$和无$(P_5,H)$图的着色

On Colouring $(2P_2,H)$-Free and $(P_5,H)$-Free Graphs

着色问题的问题是，对于给定的整数$k$，图的顶点是否可以用至多$k$颜色着色，使得没有两个相邻的顶点接收相同的颜色。一个图是$(H_1,H_2)$ -free的，如果它没有同构于$H_1$或$H_2$的导出子图.如果已知$(H_1,H_2)$ -free图上的着色对于除有限个连通图$H_2$之外的所有图都是多项式时间可解或NP完全的，则连通图$H_1$几乎被分类。证明了除爪图$K_{1,3}$和$5$ -顶点路$P_5$外的所有连通图$H_1$几乎都是可分类的.我们还证明了一些新的硬度结果着色$(2P_2,H)$ -免费的图形。这使我们能够列出所有图$H$，其着色的复杂性在$(2P_2,H)$ -free图上是开放的，以及所有图$H$，其着色的复杂性在$(P_5,H)$ -free图上是开放的。事实上，我们证明这两个列表是一致的。此外，我们证明了$(2P_2,H)$ -free图和$(P_5,H)$ -free图的着色的复杂性对于所有已知的情况是相同的。

2017-12-06cs.CCcs.DSmath.CO

Brooks 型有向图染色问题的线性时间算法

Brooks-type colourings of digraphs in linear time

提出有向图的可变双退化度概念，定义F-dicolouring并证明Brooks定理的推广，给出线性时间算法计算此类染色或证明不存在，统一了多种中间推广。

2025-03-27cs.DSmath.CO

直径有界且不含小环的着色图

Colouring Graphs of Bounded Diameter in the Absence of Small Cycles

对于$k\geq 1$，$G$的$k$着色$c$是从$V(G)$到$\{1,2,\ldots,k\}$的映射，使得对于任何两个非相邻顶点的$c(u)\neq c(v)$为$u$和$v$ . $k$ -着色问题是判定图$G$是否具有$k$ -着色。对于图族${\cal H}$，如果$G$不包含任何来自${\cal H}$的图作为导出子图，则图$G$是${\cal H}$ -free的.令$C_s$为$s$ -顶点循环。在以前的工作（MFCS 2019）中，我们研究了直径对$(C_3,\ldots,C_s)$ -free图和$H$ -free图的$3$ -着色复杂性的影响，其中$H$是一些polyad。在这里，我们证明了$s$的某些小的值，$3$ -着色是多项式时间可解的$C_s$ -自由图的直径$2$和$(C_4,C_s)$ -自由图的直径$2$。事实上，我们的结果适用于更一般的问题列表$3$ -着色。我们补充这些结果与直径$4$的一些硬度结果。

2021-01-19cs.CCcs.DMcs.DS

局部 Hadwiger 猜想

Local Hadwiger's Conjecture

本文提出 Hadwiger 猜想的局部版本，证明局部无 $K_{t}$-minor 图在 $t \leq 5$ 时可 $t$-list-colouring，并对大 $t$ 给出基于 $h(t)$ 的颜色数界，均附带 LOCAL 模型中 $O(\log v(G))$ 轮分布式算法。

2023-09-14cs.DCcs.DSmath.CO

海量数据集的有效算法和数据结构

Efficient Algorithms and Data Structures for Massive Data Sets

对于许多算法的问题，传统的算法，优化的数量上执行的指令证明昂贵的I/O。新颖的和非常不同的设计技术，当应用到这些问题，可以产生算法的I/O效率。这篇论文加入了越来越多的合唱这样的结果。我们使用的计算模型是外部存储器模型和W流模型。在外部记忆模型下，我们得到了如下结果。(1)一种计算图的最小生成树的I/O高效算法，该算法改进了最佳已知算法的性能。(2)软堆的第一个外部存储器版本，一个近似可融合的优先级队列。(3)硬堆，第一个可合并的外部内存优先级队列，它与已知外部内存优先级队列的摊销I/O性能相匹配，同时允许以相同的摊销成本进行合并操作。(4)I/O高效的精确，近似和随机算法的最小割问题，这还没有探索之前的外部存储器模型。(5)区间图的I/O的一些下限和上限。在W-Stream模型上，我们得到了如下结果。(1)用于各种树问题和列表排序的算法，其性能与最知名的算法相匹配，并且比它们更容易实现。(2)通过有效的排序算法，以及最大独立集问题，改进了最知名的算法。(3)给出了求顶点着色、近似单源最短路、最大匹配和近似加权顶点覆盖等图问题的有效算法。(4)列表排序和最大匹配的传递的下界。我们提出了两个变种的W-流模型，并设计算法的最大独立集，顶点着色，平面图单源最短路径问题的模型。

2010-05-19cs.DS

非拥挤超图的独立数：匹配破碎阈值的界

List coloring uncrowded hypergraphs at the shattering threshold

University of Illinois Urbana–Champaign（伊利诺伊大学厄巴纳-香槟分校）

本文证明了非拥挤超图存在独立集大小至少达到破碎阈值常数，解决了关于独立数下界的猜想，并给出了高效算法。

2026-11-11cs.DMcs.DSmath.CO

k 着色比计算色数更快

k-Coloring is Faster than Computing the Chromatic Number

Tel Aviv University（特拉维夫大学）

研究 k 着色问题，通过推广和结合相关工具及新算法，得到从(k + 1)列表着色到 k 列表着色的可迭代归约，证明 k 着色有运行时间为(2 - ε_k)^n 的随机算法，解决了长期开放问题。

2026-09-10cs.DS

列表搜索的量子查询复杂度

Quantum Query Complexity for List Search

Mie University（三重大学）

本文研究量子查询模型中的链表搜索问题，证明判定和搜索版本的量子查询复杂度为$\Theta(\min\{\ell,(N\ell)^{1/4}\})$，揭示了地址空间可带来量子优势，并推广到双向链表。

2026-10-02cs.DSquant-ph

列表排序问题请求序列的特征和MTF算法的新理论结果

Characterization of Request Sequences for List Accessing Problem and New Theoretical Results for MTF Algorithm

列表搜索问题是线性搜索中的一个研究热点问题。列表访问问题的输入是一个未排序的不同元素的线性列表以及一系列请求，其中每个请求都是对列表元素的访问操作。表访问算法在处理表上的请求序列时对表进行重组，以使访问代价最小。Move-To-Front算法是迄今为止文献中性能最好的在线列表访问算法。列表访问问题的一个很大的挑战是如何描述与实际情况相对应的输入请求序列。据我们所知，没有表征的请求序列已在文献中完成，直到日期的列表访问问题。在本文中，我们的特点是基于几个因素，如列表的大小，请求序列的大小，元素的顺序和元素在请求序列中出现的频率的列表访问问题的请求序列。我们对MTF表访问算法进行了全面的研究，并对我们所描述的特殊请求序列类得到了新的理论结果。我们的表征将开辟一个新的研究方向，为现实生活中的输入列表访问算法的实证分析。

2011-09-10cs.DS

广义列表$T$ -着色问题的精确算法

An Exact Algorithm for the Generalized List $T$-Coloring Problem

广义列表$T$ -着色是许多图着色模型的通用推广，包括经典着色、$L(p,q)$ -标号、信道分配和$T$ -着色.输入图中的每个顶点都有一个允许标签列表。此外，每条边都有一组禁止的差异。我们要求输入图的顶点用自然数标记，其中每个顶点从其允许的标签列表中获得标签，并且每个边的端点的标签差不属于该边的禁止差集。在本文中，我们提出了一个精确的算法来解决这个问题，运行在时间$\mathcal{O}^*((τ+2)^n)$，其中$τ$是最大禁止差的所有边的输入图和$n$是它的顶点数。此外，我们展示了如何提高这个界，如果输入图有一些特殊的结构，例如有界的最大程度，没有大的诱导星或完美匹配。

2013-12-02cs.DMcs.DSmath.CO