GESP 六级 · GESP202609 C++ 六级 第 23 题

在 n 位格雷码中，任意两个编码之间都只相差一个二进制位。

看到题先想格雷码的核心定义——相邻两码仅差一位。但题目说的是"任意两个编码"，这就把"相邻"偷换成了"所有对"。用3位格雷码举反例：000与011差两位，直接证伪。这类题通法是抓住"任意"二字，立刻联想是否存在反例，而不是默认命题成立。

选项B看似反直觉，因为格雷码确实有"相邻差一位"的性质。命题人利用考生对术语的模糊记忆，把"相邻"偷换成"任意"，制造逻辑陷阱。最阴险处在于"任意两个"这个绝对化表述，它要求所有对都满足条件，只要找到一个反例就能推翻。

考纲定位

本题考查《GESP 六级》信息学基础模块中的"编码与逻辑"知识点。命题人放这道题，就是要卡住考生对"任意"与"相邻"这两个词的混淆——绝大多数人只记得"格雷码相邻差一位"，却忽略了"任意两个"意味着所有对都要满足，这是六级逻辑推理的典型陷阱。

解题思维

格雷码的标准定义是：n位格雷码序列中，相邻两个编码恰好相差一个二进制位。命题人故意把"相邻"偷换成"任意"，制造逻辑陷阱。用3位格雷码举反例：序列为000、001、011、010、110、111、101、100。取000和011，二者相差两位（第1位和第3位），直接证伪。这类题通法是抓住"任意"二字，立刻联想是否存在反例，而不是默认命题成立。

陷阱拆解

选项B看似反直觉，因为格雷码确实有"相邻差一位"的性质。命题人利用考生对术语的模糊记忆，把"相邻"偷换成"任意"，制造逻辑陷阱。最阴险处在于"任意两个"这个绝对化表述，它要求所有对都满足条件，只要找到一个反例就能推翻。

反命题思维

如果把"任意两个"改成"相邻两个"，命题就成立，答案变A。若改成"任意两个编码的汉明距离不超过n"，则变为真命题，但已超出六级范围。这类变式题在GESP六级常出现，考察对术语精确性的敏感度。