文章基本信息
- 标题：Recoloring Interval Graphs with Limited Recourse Budget
- 本地全文：下载
- 作者：BartÅ,omiej Bosek ; Yann Disser ; Andreas Emil Feldmann 等
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2020
- 卷号：162
- 页码：17:1-17:23
- DOI：10.4230/LIPIcs.SWAT.2020.17
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：We consider the problem of coloring an interval graph dynamically. Intervals arrive one after the other and have to be colored immediately such that no two intervals of the same color overlap. In each step only a limited number of intervals may be recolored to maintain a proper coloring (thus interpolating between the well-studied online and offline settings). The number of allowed recolorings per step is the so-called recourse budget. Our main aim is to prove both upper and lower bounds on the required recourse budget for interval graphs, given a bound on the allowed number of colors. For general interval graphs with n vertices and chromatic number k it is known that some recoloring is needed even if we have 2k colors available. We give an algorithm that maintains a 2k-coloring with an amortized recourse budget of ð'ª(log n). For maintaining a k-coloring with k ⤠n, we give an amortized upper bound of ð'ª(kâ<. k! â<. â^Sn), and a lower bound of Ω(k) for k â^^ ð'ª(â^Sn), which can be as large as Ω(â^Sn). For unit interval graphs it is known that some recoloring is needed even if we have k+1 colors available. We give an algorithm that maintains a (k+1)-coloring with at most ð'ª(k²) recolorings per step in the worst case. We also give a lower bound of Ω(log n) on the amortized recourse budget needed to maintain a k-coloring. Additionally, for general interval graphs we show that if one does not insist on maintaining an explicit coloring, one can have a k-coloring algorithm which does not incur a factor of ð'ª(k â<. k! â<. â^Sn) in the running time. For this we provide a data structure, which allows for adding intervals in ð'ª(k² log³ n) amortized time per update and querying for the color of a particular interval in ð'ª(log n) time. Between any two updates, the data structure answers consistently with some optimal coloring. The data structure maintains the coloring implicitly, so the notion of recourse budget does not apply to it.
- 关键词：Colouring; Dynamic Algorithms; Recourse Budget; Interval Graphs
