当前位置: X-MOL 学术Theor. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Dynamic data structures for interval coloring
Theoretical Computer Science ( IF 1.1 ) Pub Date : 2020-06-23 , DOI: 10.1016/j.tcs.2020.06.024
Girish Raguvir J. , Manas Jyoti Kashyop , N.S. Narayanaswamy

We consider the dynamic graph coloring problem restricted to the class of interval graphs in the incremental and fully dynamic setting. The input consists of a sequence of intervals that are to be either colored, or deleted, if previously colored. For the incremental setting, we consider the well studied optimal online algorithm (KT-algorithm) for interval coloring due to Kierstead and Trotter [1]. We present the following results on the dynamic interval coloring problem.

Any direct implementation of the KT-algorithm requires Ω(Δ2) time per interval in the worst case.

There exists an incremental algorithm which supports insertion of an interval in amortized O(logn+Δ) time per update and maintains a proper coloring using at most 3ω2 colors.

There exists a fully dynamic algorithm which supports insertion of an interval in O(logn+Δlogω) update time and deletion of an interval in O(Δ2logn) update time in the worst case and maintains a proper coloring using at most 3ω2 colors.

The KT-algorithm crucially uses the maximum clique size in an induced subgraph in the neighborhood of a given vertex. We show that the problem of computing the induced subgraph among the neighbors of a given vertex has the same hardness as the online boolean matrix vector multiplication problem [2]. We show that

Any algorithm that computes the induced subgraph among the neighbors of a given vertex requires at least quadratic time unless the OMv conjecture [2] is false.

Finally, we obtain the following result on the OMv conjecture.

If the matrix and the vectors in the online sequence have the consecutive ones property, then the OMv conjecture [2] is false.



中文翻译:

用于间隔着色的动态数据结构

我们认为动态图着色问题仅限于增量和完全动态设置中的间隔图类。输入由一系列间隔组成,这些间隔将被着色或删除(如果先前已着色)。对于增量设置,由于Kierstead和Trotter [1],我们考虑对间隔着色进行了充分研究的最佳在线算法(KT-algorithm)。我们提出以下有关动态间隔着色问题的结果。

KT算法的任何直接实施都需要ΩΔ2 最坏情况下每个时间间隔的时间。

存在一种增量算法,该算法支持在摊销中插入间隔 Ø日志ñ+Δ 每次更新的时间,并且最多使用一次来保持正确的着色 3ω-2 颜色。

存在一种全动态算法,该算法支持在 Ø日志ñ+Δ日志ω 更新时间和删除间隔 ØΔ2日志ñ 在最坏的情况下更新时间,并最多使用一次来保持正确的着色 3ω-2 颜色。

KT算法关键是在给定顶点附近的诱导子图中使用最大团规模。我们表明,计算给定顶点的邻居之间的诱导子图的问题与在线布尔矩阵向量乘法问题[2]具有相同的难度。我们证明

除非OMv猜想[2]为假,否则任何计算给定顶点邻居之间的诱导子图的算法都至少需要二次时间。

最后,我们在OMv猜想上获得以下结果。

如果在线序列中的矩阵和向量具有连续的1属性,则OMv猜想[2]为假。

更新日期:2020-06-23
down
wechat
bug