We give polynomial time algorithms for the seminal results of Kahn, who showed that the Goldberg-Seymour and List-Coloring conjectures for (list-)edge coloring multigraphs hold asymptotically. Kahn's arguments are based on the probabilistic method and are non-constructive. Our key insight is to show that the main result of Achlioptas, Iliopoulos and Kolmogorov for analyzing local search algorithms can be used to make constructive applications of a powerful version of the so-called Lopsided Lovasz Local Lemma. In particular, we use it to design algorithms that exploit the fact that correlations in the probability spaces on matchings used by Kahn decay with distance.
翻译:我们为Kahn的开创性结果给出了多元时间算法。 Kahn 显示, Goldberg-Seymour 和 List-Coloration 的( 列表- 列表- 彩色) 多色( 列表- 列表) 的猜想无一例外。 Kahn 的论据基于概率法,且不具有建设性。 我们的主要洞察力是显示, Achlioptas、 Iliopoulos 和 Kolmogorov 分析本地搜索算法的主要结果可以被用来对所谓的 Lopside Lovasz 本地Lemma 进行建设性应用。 特别是, 我们用它来设计算法, 利用Kahn 腐烂与距离匹配概率空间的关联性相关性。