参考3色NP硬度？

我有一个历史问题。

我正在尝试为以下事实确定参考：图的3色性（或者，给定色性）是NP难的。ķ ≥ $k$$k\geq 3$

诱人的答案是“卡尔普的原始论文”，但这是错误的。扫描：组合问题之间的可约性，Karp（1972）。证明色数（输入：图形。输出：）很困难。这是一个更困难的问题，减少量与标准小工具结构（真，假和磨地3种颜色）不同，后者暗示了3种可着色性的硬度。$\chi(G)$

Garey和Johnson，《计算机与难处理性》，以[GT4]的形式呈现色性，参见Karp（1972）。$k$

LászlóLovász，《超图的覆盖和着色》，第四届东南组合论，图论和计算会议论文集，Utilitas Math。，温尼伯，曼彻斯特，1973年，第3--12页，证明色度数减少到3-着色性。

我认为，这是3色性NP完整性的第一个证明。

这是洛瓦兹的论文；另请参见瓦舍克·查瓦塔尔（VašekChvátal）对洛瓦斯（Lovász）降职的出色解释。

这是1973年的另一篇论文，证明了3色性是NP难处理的。

拉里·斯托克梅耶（Larry J.Stockmeyer）。“平面三色性是多项式完整的。” ACM SIGACT新闻，第一卷。5，没有 1973年3月。

（看来Lovász和Stockmeyer分别获得了他们的结果。）

更新：请参阅下面的评论。