×

线性时间中的线性内核,或如何在(O(n^{2})步骤中保存(k)颜色。 (英语) Zbl 1112.68412号

Hromković,Juraj(编辑)等人,《计算机科学中的图论概念》。2004年6月21日至23日,2004年工作组第30次国际研讨会,德国巴德洪内夫。修订论文。柏林:施普林格出版社(ISBN 3-540-24132-9/pbk)。计算机科学课堂讲稿3353257-269(2004)。
摘要:本文研究了一个参数化问题,我们称之为“(n-k)图着色”,即确定具有(n-)顶点的图(G)是否可以使用(n-k)颜色着色的问题。作为本文的主要结果,我们证明了对于每个固定的(k),存在一个(O(kn^{2}+k^{2{+2^{3.8161k})=O(n^{2neneneep)图着色算法。这种新的参数化算法背后的核心技术是通过最大(和某些最大)匹配进行内核化。
本文的核心技术内容是一个用于团覆盖的近线性时间核化算法。我们为团覆盖提出的近线性时核化算法在具有顶点和边的图上产生一个线性大小的(3k-3)核。该算法以团覆盖(Clique Covering)的实例(langle G,k\rangle)为例,询问是否可以使用(|V|-k\)团覆盖图(G\),并将其简化为确定大小为(leq 3k-3\)的图(G'=(V',E')是否可以使用\(|V'|-k')团覆盖的问题。我们还提出了一种类似的近似线性时间算法,该算法为顶点覆盖生成一个3k核。这个第二个核化算法是冠部缩减规则。
关于整个系列,请参见[Zbl 1067.68006号].

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C15号 图和超图的着色
05C85号 图形算法(图形理论方面)
65年第68季度 算法和问题复杂性分析

软件:

边缘破碎机
PDF格式BibTeX公司 XML格式引用
全文: 内政部