如何证明三色是可决定的？

为了证明3色是可判定的，仅需说一下：

那是否证明三色是可决定的？还是我需要建造图灵机以进行适当的证明？

通过三色，我说的是图形着色问题。也就是说，将3种颜色之一分配给无向图中的每个节点，以使没有两个相邻的节点具有相同的颜色。

computability turing-machines colorings

— 珍妮
source

这对我来说已经足够了。顺便说一句，即使您想很正式，也不必提供图灵机。使用任何图灵完整语言的程序就足够了。（实际上，该语言甚至不必是图灵完备的，我们只需要它来定义可计算的函数即可。）

— Yuval Filmus

对于大多数人来说确实如此。在入门课程中，可能没有。同样，对于某些人来说，“形式证明”意味着不同的东西，如果您学习逻辑课程，可能会发现。

— Yuval Filmus'1

@YuvalFilmus谢谢。逻辑课程中的“形式证明”是什么样的，请问您能举一个例子吗？

— 詹妮

@Jenny如果您有兴趣，请参加逻辑课程。

— Yuval Filmus'1

@YuvalFilmus我无法访问逻辑课程，您是否可以推荐一本书或在线资源？

— 詹妮

Answers:

这完全取决于您要达到的正式程度。您问题中算法的非正式描述足以说服我确定3色性。如果您想更正式一点，可以提供伪代码。如果您想要更加正式，可以用英语描述图灵机。如果您想要更加正式，可以写下图灵机的完整描述，并证明它确实决定了3色性。

话虽如此，在我列出的选项中，图灵机的描述或正确性证明更有可能出现错误！因此，尚不清楚哪个证据最可信。

— 大卫·里奇比
source

-5

$3^{n}$

— 胡安·曼努埃尔·达托·鲁伊斯
source

嗨，欢迎来到CS。不幸的是，您的帖子似乎并没有有意义地回答问题。

— vonbrand '16