平面图最小四着色计算复杂度之注
计算复杂性
2007-05-23 v2
摘要
我们证明计算平面图的字典序第一个四着色问题是 P^{NP}-hard 的。这一结果在 Khuller 和 Vazirani 的结果之上进行了优化，他们证明该问题为 NP-hard，并得出结论在假设 P ≠ NP 时，该问题不具备按 Schnorr 定义的自归纳性。我们讨论了这一非自归纳性质的应用，并提供了一个一般相关结果。
关键词
引用
@article{arxiv.cs/0106045,
title = {A Note on the Complexity of Computing the Smallest Four-Coloring of Planar Graphs},
author = {Andre Grosse and Joerg Rothe and Gerd Wechsung},
journal= {arXiv preprint arXiv:cs/0106045},
year = {2007}
}
备注
9 pages, appears in part in an ICTCS 2001 paper by the same authors, minor revision of the above