无单色圈的顶点 2-着色
计算复杂性
2014-07-29 v1 数据结构与算法
摘要
本文研究无向图的顶点二着色问题，要求图中不存在给定长度的单色圈。我们证明了该问题是难解的，并通过从可满足性（SAT）问题的一个变体进行归约给出了证明。我们展示了用两种颜色对团（cliques）进行着色的良好性质，这在归约构造中起到了关键作用。
引用
@article{arxiv.1407.7423,
title = {Vertex 2-coloring without monochromatic cycles},
author = {Michał Karpiński},
journal= {arXiv preprint arXiv:1407.7423},
year = {2014}
}