Tips turingmachine

没有悖论

在出题规则中有两个铁则： 1. 不可能出现多解的结果，所有卡牌的答案必然会给你正好1个的结果。 2. 每一张卡牌都有其用处，不可能有其他卡牌导致一张卡牌无用。

这两个铁则尤其在简单模式中有必要学习，依靠它们可以0-1次验证就能获得答案。 最常见的一个例子是：【是否有一对】和【升序|降序|无序】这两张牌同时出现的时候，我们可以知道如果升序/降序都必然没有一对，而如果有一对的话也必然不是升序和降序，基于前面一条我们可以得出必然无序，基于后面一条我们可以得出必然没有一对。

再举个简单模式的例子： A. 黄色 < 3 | 黄色 = 3 | 黄色 > 3 B. 黄色是奇数 | 黄色是偶数 C. 没有4 | 1个4 | 2个4 | 3个4 D. 偶数 多于 奇数 | 偶数 少于 奇数

按铁则2先排除一些可能： 1. 首先拿出C，假如答案是444的话，则ABD都无用了。因此必然不会是3个4。 2. 假如是2个4的话，有两个偶数了，偶数必然多于奇数，因此D无用了，所以也必然不会是2个4。 3. 然后拿出A，如果黄色是3的话，3是奇数，B没有悬念了，所以也将黄色是3的可能性排除了。

然后按铁则1开始穷举，这次拿出D来看吧，假如说 偶数少于奇数： 4. A和B可以用于确定黄色必然是什么数字，假如黄色是偶数，另外两个都是奇数，假如黄色是奇数，则另外两个可能有一个偶数也可能没有，即便C可以确定有4，奇数部分还是有多解。因此，偶数不可能少于奇数。 5. 在得出偶数必然多于奇数后，根据B，黄色如果是偶数，我们又会回到3个偶数还是2个偶数的多解问题上，因此黄色必然是奇数。

这里可能有点绕，我们先停下来总结一下： AB. 黄色 = 1 | 黄色 = 5 （排除了 = 3 和偶数） C. 没有4 | 1个4 D. 偶数 多于 奇数

我们来继续推理： 6. 根据B和D，蓝黄紫 必然分别是 偶 奇 偶。 假如C是 1个4，另一个偶数就是2，但是我们无从判定蓝色和紫色哪个是4哪个是2，也就是有两个可能性，因此也排除了1个4，剩余的可能就是0个4，两个偶数都是2。 7. 目前剩下212 和 252 两个可能性，假如A是黄色 > 3，同时因为C必然会给出没有4的结果，黄色就会是5，B这张卡又没用了。因此黄色不能 > 3，那就代表黄色必然 < 3。 综上，我们不难看出，在上述题目中答案会且只会是212。