GESP二级数字黑洞真题解析：C++实现与避坑指南

四位数经过一次简单的重排求差最多七步就会跌进6174这个数字漩涡再也出不来。这个被称作“数字黑洞”的卡普雷卡常数2023年9月被GESP二级原封不动搬进了考场于是就有了《B3866 [GESP202309 二级] 数字黑洞》这道经典模拟题。这篇文章我想从题目背后的数学现象讲起一路拆到C实现细节再把我批改学生代码时看到的那些典型翻车现场全部摊开给正在备赛GESP的读者一条完整的食用路线。这道题在二级里属于“看着不难、写起来全是细节”的典型代表核心逻辑只有一个循环但输入处理、排序方向、计数器位置、前导零处理每一个环节都能卡掉一批人。如果你正准备考GESP二级或者单纯对数字黑洞这个数学游戏感兴趣这篇文章应该能让你少走不少弯路。1. 藏在数学里的彩蛋6174黑洞是怎么回事1.1 卡普雷卡常数一个让人上头的数字游戏1949年印度数学家D.R. Kaprekar发现了一个有趣的现象随便取一个各位数字不完全相同的四位数比如1234先把四个数字按从大到小排成4321再按从小到大排成1234两者相减得到3087然后对3087重复同样的操作8730减去0378得到8352继续做下去8532减去2358得到6174。到了6174之后7641减去1467还是6174它就钉在这里不动了。这个过程最多只需要七步。所有满足条件的四位数最终都会掉进6174这个深渊里所以它又被称为Kaprekar常数也就是我们常说的“数字黑洞”。三位数也有类似的黑洞收敛到495两位数则会掉进一个循环而不是定点。这个对称与收敛的规律让数字黑洞成了数学科普里的经典例子也非常适合拿来做成编程题目。我也尝试过换几个数手算比如取20233220 - 0223 29979972 - 2799 71737731 - 1377 63546543 - 3456 30878730 - 0378 83528532 - 2358 6174一共六步收敛。手算一遍之后你就明白程序里那个循环到底在模拟什么了每一步都是一次“拆位、排序、重组、相减”直到结果等于6174为止。1.2 这道题为什么会被选中当二级考题GESP二级的考察范围主要集中在顺序结构、选择结构、循环结构、数组和字符串的初步使用。数字黑洞这道题恰好把这些知识点全部串了起来循环不断执行“变换”直到遇到6174数组把四位数字拆开存进数组排序把数组从小到大、从大到小各排一遍选择结构判断循环终止条件字符串/整数的转换如果选择字符串写法还会用到数字字符和整数的互相转换。从能力分层角度看这道题的设计也很聪明。逻辑链条短思维难度不高但实现细节多。基础扎实的学生十五分钟能写完粗心的学生可能调试半小时都过不了。它能有效区分“背过语法”和“真能写代码”两类考生所以在二级真题里是一道很有代表性的综合题。2. 读题时的三个关键细节决定你代码的生死2.1 用字符串读入还是用整数读入这是我在指导备赛时遇到的第一个分水岭。题目给的输入是“一个四位数”很多学生第一反应是int n; cin n;这本身没问题但你要想清楚如果输入是0123这种带前导零的数用int读进来就变成了123前导零的信息就丢了。那么问题来了前导零丢了对结果有影响吗我们以0123为例验证一下字符串视角0123从大到小排是3210从小到大排是0123相减是3210 - 123 3087整数视角123拆位得到数字1、2、3再加上隐含的0本质上就是0、1、2、3从大到小排是3210从小到大排是0123相减结果同样是3087。看出来了吗纯数字解法即使丢掉前导零也不影响结果因为拆位的时候数组里那个0会被排在最高位重新组合时它自然补上了千位的位置。这是“整数读入”方案能成立的数学基础。但如果你用字符串解法就必须主动处理前导零每次变换后得到的结果可能不足四位比如1112第一次相减得到999这时候要手动补零成0999再进入下一轮否则排序就乱了。所以两种方案各有各的注意点后面写完整代码的时候我会把这两种方式都给出并说明它们各自的适用场景。我的建议是如果题目明确保证输入是没有前导零的四位数用int读入是最省事的如果题目没有明说或者你希望代码更通用用string读入并在循环里补足四位是更稳的做法。2.2 “各位数字不全相同”这个限制条件为什么必须存在有些同学读题时会忽略“各位数字不全相同”这句话觉得这只是出题人顺手加的条件。实际上这个条件砍掉了一个致命情况如果四个数字完全相同比如5555那么从大到小排是5555从小到大排也是5555相减得到0继续处理00000从大到小和从小到大都是0减完还是0程序就陷入了永远无法到达6174的死循环。这道题要求我们“输出操作次数”如果输入里出现5555这种数据而代码没有退出机制考试时就会超时或者死循环卡住。出题人加这个限制本质上是帮我们排除掉这个数学上的退化情况让我们只需要关心正常收敛的输入即可。但这里我要多提醒一句即使题目保证了输入合法你写的代码在循环体里也要做好保护比如设置最多循环次数或者确保在n 0时能正确退出。因为很多在线评测系统对死循环的判罚很严格一旦超时整道题的分就没了。虽然标准数据里不会出现全同数字但养成“循环必须有界”的思维习惯对以后写算法题非常有帮助。2.3 “次数”的边界输入6174时输出几这个细节很多学生根本没想过但严谨的程序员一定要考虑。6174本身经过一次变换后还是6174因为7641减去1467等于6174。那么如果输入恰好是6174应该输出0还是1按照题目常见的表述“不断重复操作直到结果为6174输出操作次数”如果一开始就是6174那么一次操作都不用做答案应该是0。用while循环实现的话条件为while (n ! 6174)循环体一次都不执行计数器保持0这正好符合语义。但如果把循环写成do...while或者把计数器放在循环体最后而判断条件放在了前面就有可能出现“多算一次”的问题。我在批改代码时见过不少学生因为这个边界情况被扣分。虽然很多评测数据里不会专门放6174这个输入但你自己在本地测试时还是应该把可能出现的边界情况都跑一遍这是编程习惯问题。3. 从自然语言到C把规则拆成可执行的代码3.1 拆分一个四位数的三种姿势要把一个四位数按照规则变换第一步永远是“拆位”。这里有三种常见的写法我一个个说。第一种是用除法和取模。假设n是一个四位数那么个位n % 10十位n / 10 % 10百位n / 100 % 10千位n / 1000 % 10原理很简单整数的除法会丢掉右侧的位数取模会保留当前最低位。例如n 3087时3087 % 10得到73087 / 10 % 10先变成308再取余得到8以此类推。这种写法的优点是不需要任何额外头文件缺点是代码看起来稍微啰嗦一点。第二种是用字符串遍历。如果输入是string s那么for (int i 0; i s.length(); i)逐个取s[i]再通过s[i] - 0把字符转成数字。这种写法的好处是代码自然处理四位数时逻辑非常清晰而且如果题目要求保留前导零字符串天然就支持。第三种是直接对字符串排序后用stoi把子串转成整数。严格说这不算“拆位”而是把整个排序、转换过程一步到位。它最省代码但对库函数的依赖也更重。如果是在GESP考场环境一般支持C11及以上stoi和to_string都是可以用的。我的习惯是纯数字方案用第一种拆位字符串方案用第二种遍历转数字。两者各有适用场景不要迷信其中某一种。3.2 排序库函数与手写到底怎么选拆完位之后需要排序。GESP二级大纲里数组是必考内容排序算法中冒泡排序和选择排序属于“应该会手写”的范畴。但这道题没有禁止使用库函数所以实战场上你其实有两个选择选择一直接用sort。这是C标准库提供的排序算法默认升序。要降序的话可以这样写sort(a.begin(), a.end(), greaterint());或者用反转迭代器sort(a.rbegin(), a.rend());优点是一行搞定速度快不用自己造轮子。缺点是如果你对sort的原理不熟出了bug排错会比较困难。选择二手写一个冒泡排序。二级考生完全有能力写出来for (int i 0; i 3; i) { for (int j 0; j 3 - i; j) { if (d[j] d[j 1]) { swap(d[j], d[j 1]); } } }这个代码把数组从小到大排好。如果要降序把改成就行。从备考角度说我建议你两种方式都掌握平时练习时用手写冒泡加深理解考场上用sort节省时间。但要注意如果你决定用sort一定要记住sort是左闭右开区间sort(d, d 4)排序的是一个长度为4的数组别写成sort(d, d 5)导致越界访问这种错误非常隐蔽。3.3 重组数字时前导零为什么不闹鬼排序之后我们得到了一个升序数组和一个降序数组接下来要把它们重组成两个整数。假如排序后的数组是d[0] d[1] d[2] d[3]那么从大到小组成的大数d[3] * 1000 d[2] * 100 d[1] * 10 d[0]从小到大组成的小数d[0] * 1000 d[1] * 100 d[2] * 10 d[3]这里有个很有趣的细节如果d[0]是0那么“从小到大”组成的数实际上是一个三位数甚至更小的数。比如0、1、2、3这四个数字从小到大组成的数是123而不是0123。这在数学上是完全正确的因为0123作为数值就是123。而“从大到小”组成的数3210是四位数3210减123得到3087这正好就是数字黑洞规则在0123上的正确结果。换句话说纯数字做法并不需要专门“补前导零”因为前导零在数值计算中自然被忽略了但这种忽略并不会破坏规则。这一点想通了你对数字黑洞的理解就直接上了一个台阶。4. 两套完整题解代码照着敲就能过4.1 解法一字符串解法逻辑直观如果你习惯用字符串处理下面的代码非常适合你。#include iostream #include algorithm using namespace std; int main() { string s; cin s; // 保证字符串是四位形式补足前导零 while (s.length() 4) s 0 s; int cnt 0; while (s ! 6174) { // 升序排列 string a s; sort(a.begin(), a.end()); // 降序排列 string b s; sort(b.begin(), b.end(), greaterchar()); int small stoi(a); int big stoi(b); s to_string(big - small); // 每次变换后同样补足四位 while (s.length() 4) s 0 s; cnt; } cout cnt endl; return 0; }这里的核心逻辑是每次循环都基于当前字符串s生成两个排序版本a是升序b是降序相减后把结果重新转成字符串并补足四位继续下一轮直到等于6174。这个方案的优点是读起来非常贴合自然语言每一步都很直观。缺点是使用了stoi和to_string如果你所在的考试环境不支持需要手动写转换函数。不过GESP的C环境支持标准库一般没有问题。4.2 解法二纯数字解法效率更高如果你更享受纯数学运算的简洁可以看看这个版本#include iostream #include algorithm using namespace std; int transform(int n) { int d[4]; d[0] n % 10; d[1] n / 10 % 10; d[2] n / 100 % 10; d[3] n / 1000 % 10; sort(d, d 4); int small d[0] * 1000 d[1] * 100 d[2] * 10 d[3]; int big d[3] * 1000 d[2] * 100 d[1] * 10 d[0]; return big - small; } int main() { int n; cin n; int cnt 0; while (n ! 6174) { n transform(n); cnt; } cout cnt endl; return 0; }这个版本把“一次变换”封装成一个独立的函数transform主程序只需要不断调用并计数即可。它的效率更高因为没有字符串和整数之间的反复转换同时拆位逻辑一目了然非常适合在考场上快速书写。我在第2.1节讨论过即使输入是0123这种带前导零的数用int读取变成123后transform函数内部的拆位逻辑依然能得到正确结果这一点是这个解法的隐含优势。4.3 两种思路的对比与选择建议对比维度字符串解法纯数字解法代码可读性高贴近规则描述中需要理解拆位重组前导零处理需要手动补零天然兼容运行效率较低有字符串转换开销高纯整数运算依赖库函数用了stoi、to_string只用了sort调试难度中字符串拼接易看花眼中拆位公式易错就这道题的数据规模来说两种解法都能轻松通过运行时间几乎无差别。真正决定你选哪种的是你自己更熟悉哪种思维模式。如果你是“字符串派”就坚持字符串思路把所有细节理清楚如果你是“数学派”纯数字版会让你觉得整个计算过程非常干净漂亮。没有绝对的好坏考场上的稳定性最重要。5. 代码评审现场那些翻车与排查过程5.1 没补前导零循环像掉进无底洞这是字符串解法中最常见的错误我见过至少有十个学生栽在这里。他们的代码大概是这样的while (s ! 6174) { sort(s.begin(), s.end()); // ... 计算差值 s to_string(big - small); cnt; }问题出在哪以输入1112为例第一次变换得到999s变成了999长度是3而不是4。下一轮循环再处理999时排序后得到999升序和降序都是999相减得到0s变成0然后永远卡在0上出不来。实际上正确的规则要求对0999进行变换降序9990升序0999相减得到8991这样才能继续往下走。排查方法是在循环里加一句打印cout 第 cnt 次: s endl;看到输出停在0上基本就能锁定是没有补前导零。修复方式就是每次更新s之后加一段while (s.length() 4) s 0 s;不要嫌麻烦这个操作在数字黑洞规则里是必需的因为减法运算要求两个比较的数都是四位数形式前导零虽然不影响数值大小但影响排序时的位数结构。5.2 大小顺序写反减出负数还有一种很常见的错误是把大数和小数搞反了写成small - big而不自知。比如把big - small写成small - big输入1234时会得到1234减4321等于-3087然后下一轮对负数做拆位结果完全乱套。这里要强调的是数字黑洞规则明确要求“从大到小排列的数”减去“从小到大排列的数”也就是“大减小”。不要想当然地加一个abs绝对值函数。虽然在这个问题里取绝对值似乎也能让结果变成正数但数学逻辑完全不对后续的排列结果也会受到影响。我在测试中发现单纯用abs确实能收敛到6174看起来“歪打正着”但这属于不懂原理的运气不推荐在正式代码里这么写。正确做法是先明确big来自降序排列small来自升序排列然后再相减。写代码时命名要清晰int big d[3] * 1000 d[2] * 100 d[1] * 10 d[0]; int small d[0] * 1000 d[1] * 100 d[2] * 10 d[3];这样一眼就能看出谁大谁小不容易写反。5.3 计数器位置不对答案永远多1另一个高频bug是计数器到底放在哪里。看下面这个错误示例int cnt 0; while (n ! 6174) { cnt; n transform(n); } cout cnt endl;这段代码本身逻辑是对的先计数再变换和先变换再计数结果一样因为循环体每次执行时n都还不是6174。真正有问题的是另一种写法int cnt 0; do { n transform(n); cnt; } while (n ! 6174);如果输入恰好是6174这个循环会先执行一次变换得到6174然后输出1。但按照题目语义输入6174时应该输出0。虽然评测数据里大概率不会出现这种情况但如果你养成习惯用do...while就埋下了一个边界隐患。我的建议是循环条件判断使用while (n ! 6174)这样如果一开始已经收敛循环一次都不执行计数器自然为0语义最干净。5.4 考场上的边界测试清单每次写完这道题我建议你在本地至少测试下面几组数据1234标准例子3步收敛1112测试字符串解法是否处理了中间结果999的补零问题1000测试包含0的数字验证拆位和重组是否正常6174测试边界情况预期输出00123如果评测允许字符串输入测试前导零输入9995测试大数字与0的组合预期收敛步数合理。把这些数据跑一遍都没有问题再上交给评测系统基本就稳了。我在教学实践中发现愿意花五分钟做边界测试的学生考场上出bug的概率至少低一半。6. 从这道题看GESP二级备考的底层逻辑6.1 这道题对应二级考纲里的哪些能力很多人备考GESP二级时习惯刷题但刷完就忘没有总结题目背后的能力要求。数字黑洞这道题其实是一个非常典型的“考纲覆盖样本”它考察了循环结构重复执行变换、数组存储四位数字、排序算法重排数字、基本输入输出以及数学逻辑思维。对照GESP二级大纲这些正是核心考点。如果你能独立写出这道题的正确题解说明你已经掌握了二级考试的大部分关键技能。反过来如果你在这道题上卡了很久说明你在“循环边界条件处理”或“数组操作”这两块还有薄弱点应该回头把相关基础题再练一练。二级考试整体上不要求你懂高深的算法但要求你能把简单的事情做严谨。很多学生在简单题上丢分不是因为不会而是因为“想当然”没有考虑前导零、没有考虑边界输入、没有考虑死循环。这类习惯问题光靠刷题解决不了必须有意识地训练。6.2 刷真题的正确姿势先手算再上机我经常跟学生说拿到数字黑洞这道题不要急着打开编辑器写代码。先把题目给的规则用纸笔跑通几组数据比如1234手算一遍得到3步再在程序里验证输出是不是3。这叫“预期对照”是初学者最容易忽略却最有效的调试手段。手算几组数据之后你对规则的理解会深刻很多。比如你会发现每次变换后的数不一定都是四位数有时会出现999这样的三位数这时就需要补零。这些规律如果你不手算光靠看题目是发现不了的。有了手算结果作为参照再写程序时就不是盲人摸象了。程序跑出来的结果和手算不一致时你可以一步步打印中间过程和纸上的记录对比很快就能定位到是哪一步出了问题。这种“手算-比对-定位”的流程是竞赛生应该尽早养成的习惯。6.3 考场时间分配与自查习惯GESP二级考试的整体题量适中但如果你在一道模拟题上卡太久后面的题会很被动。以我的经验数字黑洞这种综合题时间控制在10到15分钟是比较合理的前5分钟理解题目和构思后10分钟编码和本地测试。如果超过20分钟还在调很可能说明你的循环思维或者数组基础还不够熟练应该战略性放弃先做后面的题最后再回头补。交卷前最后三分钟一定要做一次全代码自查。我给自己定的检查清单是变量有没有初始化循环条件会不会死循环数组下标有没有越界计数器计数位置对不对输入输出的格式和题目要求是否一致。这些检查点几乎每个都能在历年真题里找到对应的坑。最后再分享一个我自己在教学中的体会很多学生考前会觉得“二级这么简单刷几道题就行了”结果一上考场就被数字黑洞这道题的教育。它的可怕之处不在算法难而在细节多。平时训练时多对自己狠一点把每种边界情况和每种写法的差异都理清楚考场上自然从容很多。编程考试从来不只看“会不会”更看“稳不稳”而稳定来自对细节的敬畏。