Distributed Edge Coloring and a Special Case of the Constructive Lovász Local Lemma
Distributed Edge Coloring and a Special Case of the Constructive Lovász Local Lemma
复制标题
分布式边缘着色和构造性 Lovász 局部引理的特例
DOI:
10.1145/3365004
复制
发表时间:
2020
影响因子:
1.3
通讯作者:
Uitto, Jara
中科院分区:
文献类型:
--
作者:
Chang, Yi-Jun;He, Qizheng;Li, Wenzheng;Pettie, Seth;Uitto, Jara
The complexity of distributed edge coloring depends heavily on thepalette sizeas a function of the maximum degree Δ. In this article, we explore the complexity of edge coloring in the LOCAL model in different palette size regimes. Our results are as follows.Lower Bounds:First, we simplify theround eliminationtechnique of Brandt et al. [16] and prove that (2Δ −2)-edge coloring requires Ω (logΔlogn) time with high probability and Ω (logΔn) time deterministically,even on trees. Second, we show that a natural approach to computing (Δ +1)-edge colorings (Vizing’s theorem), namely, extending an arbitrary partial coloring by iteratively recoloring subgraphs, requires Ω (Δ logn) time.Upper Bounds on General Graphs:We give a randomized edge coloring algorithm that can use palette sizes as small as Δ + Õ(√Δ), which is a natural barrier for randomized approaches. The running time of our (1+ε)Δ-edge coloring algorithm is usually dominated byO(\log ε−1) calls to a distributed Lovász local lemma (LLL) algorithm. For example, using the Chung-Pettie-Su LLL algorithm, we compute a (1+ε)Δ-edge coloring inO(logn) time when ε ≥ (log3Δ) / √ Δ , orO(logΔn) + (log logn)3 +o(1)time when ε = Ω (1). When Δ is sublogarithmic innthe performance is improved with the Ghaffari-Harris-Kuhn LLL algorithm.Upper Bounds on Trees:We show that the Ω (logΔlogn) lower bound can be nearly matched on trees. To establish this result, we develop a new distributed Lovász local lemma algorithm fortree-structured dependency graphs, which arise naturally fromO(1)-round probabilistic algorithms run on trees. Specifically, our (1+ε)Δ-edge coloring algorithm for trees takesO(log (1 / ε)) ⋅ max { log logn\ log log logn, loglog Δlogn} time when ε ≥ (log3Δ) / √ Δ, orO(max { log logn\ log log logn, logΔlogn}) time when ε = Ω (1).
登录
查看更多内容
影响因子:
1.3
作者:
Kai-Min Chung;Seth Pettie;Hsin-Hao Su
通讯作者:
Kai-Min Chung;Seth Pettie;Hsin-Hao Su
DOI:
10.1002/rsa.3240020402
发表时间:
1991-12
期刊:
Random Struct. Algorithms
影响因子:
--
作者:
J. Beck
通讯作者:
J. Beck
DOI:
--
发表时间:
2009
期刊:
Symposium on the Theory of Computing
影响因子:
--
作者:
Leonid Barenboim;Michael Elkin
通讯作者:
Michael Elkin
DOI:
--
发表时间:
2008
期刊:
SIAM journal on computing (Print)
影响因子:
--
作者:
Leonid Barenboim;Michael Elkin;F. Kuhn
通讯作者:
F. Kuhn
DOI:
--
发表时间:
1982
期刊:
影响因子:
--
作者:
E. Arjomandi
通讯作者:
E. Arjomandi