每年CSP-J1的卷子发下来阅读程序永远是考场上的“时间黑洞”。2022年CCF非专业级别软件能力认证第一轮CSP-J1入门级C语言试题里阅读程序第1题看似是一道基础题但它把二维数组、嵌套循环、边界判断和计数器全部揉在了一起恰恰是检验选手基本功的试金石。我带学生复盘这套真题时每次讲到这道题都会强调一句话阅读程序不是“读”而是“跑”你得把自己当成一台没有编译器的电脑一行一行把代码执行完所有结果用纸笔推出来而不是靠感觉猜答案。这篇文章就围绕2022年CSP-J1阅读程序第1题把题目考查意图、代码逻辑、手工推演方法和考场失分点完整拆一遍希望能帮正在备赛的你把这一类题彻底吃透。1. 拿到题先别慌这道题到底在考什么1.1 2022年CSP-J1阅读程序的整体定位CSP-J1是第一轮认证也就是笔试全部闭卷完成不允许上机调试。整张试卷由单项选择、阅读程序和完善程序三大部分组成其中阅读程序部分一般给四段C代码每段代码后面跟着几道判断题和选择题分值占比相当可观。这部分最大的特点是代码都不长通常20到40行考的也不是什么冷门语法但你必须在没有任何运行环境的情况下准确推出输出结果。2022年这套卷子里的阅读程序第1题被放在整个阅读板块的最前面承担的是“定基调”的功能。它不能太简单否则区分不出水平也不能太难否则一上来就打击心态。实际命题时这类题目通常会选择循环、数组、条件判断组合的经典结构让大部分选手能读懂大体框架但想要全对就必须在边界条件、计数逻辑和输出细节上足够细心。1.2 阅读程序第1题的能力模型拆解如果把这道题考查的能力拆开看我觉得可以分成四个层次每个层次对应的失分点也不一样能力维度具体表现常见失分点语法理解能正确识别数组定义、循环嵌套、自增运算把数组下标从1开始还是从0开始搞混逻辑推理能跟踪每个变量在每一轮循环中的变化忽略循环变量变化对判断条件的影响边界意识能注意到i0、in-1这类边界判断的作用想当然认为所有格子都有上下左右四个邻居输出精度能算清楚最后的输出表达式比如除法、取整忘记最后输出的表达式本身就是计算结果的一部分这四层能力说起来抽象落到具体代码里就是一个个细节。比如数组下标从0开始那么最后一个元素的下标就是n-1访问a[n]就已经越界了再比如计数类变量ans每加一次就代表什么含义最后输出前还要不要做额外的算术变换这些都是阅读程序题最喜欢放“坑”的地方。2. 复现真题一道同考点题目的完整拆解2.1 题目原文与初印象2022年CSP-J1阅读程序第1题碍于官方试题文本不便完整引用我用一道与它考查点高度一致、难度相当的同源题目来还原完整的解题过程。这道题具备同类题目最典型的特征给定一个二维数组统计相邻且数值相同的格子对一共有多少对。代码很短全部加起来不过二十几行但信息量很大。#include iostream using namespace std; int main() { int n, m; cin n m; int a[105][105]; for (int i 0; i n; i) { for (int j 0; j m; j) { cin a[i][j]; } } int ans 0; for (int i 0; i n; i) { for (int j 0; j m; j) { if (i 0 a[i][j] a[i - 1][j]) ans; if (i n - 1 a[i][j] a[i 1][j]) ans; if (j 0 a[i][j] a[i][j - 1]) ans; if (j m - 1 a[i][j] a[i][j 1]) ans; } } cout ans / 2 endl; return 0; }输入格式是第一行两个整数n和m表示矩阵的行数和列数。接下来n行每行m个整数表示矩阵的内容。输出只有一个整数就是相邻且数值相同的格子对数量。这里的“相邻”指的是上下左右四个方向不包括斜对角方向。2.2 逐段解读代码的设计意图这段代码的结构非常清晰就是“读入统计输出”三段式。读入部分定义了一个105乘105的整型数组。为什么不是刚好n乘m或者100乘100这是竞赛里的常见习惯。因为你不知道题目会不会有额外限制数组开得稍微大一点可以防止越界访问。105看起来随意其实就是在告诉你这道题的数据范围不会超过100多出来的几行只是保险。读入用两层for循环外层控制行i内层控制列j一行一行地把矩阵填满。统计部分是整个程序的核心。注意看四个if用的是并列关系不是else if。这说明每一个格子都要独立检查四个方向上方、下方、左方、右方。每发现一个方向的邻居和自己数值相等ans就自增一次。这里最关键的理解点是每个格子会重复计算“同一对格子”。举个例子格子A检查右边发现和格子B相等ans加一次等循环跑到格子B的时候它检查左边发现和格子A相等ans又加一次。同一对关系被统计了两次所以最后输出之前必须除以2。输出部分是cout ans / 2这里用的是整数除法。由于ans永远是偶数ans / 2得到的一定是一个整数不会出现整除截断的问题。这个细节也是命题人故意设计的考点之一后面我会细说。3. 手工推演把代码变成一张过程表3.1 准备一组测试数据纸上谈兵没有用我们真正把这段代码跑一遍。我构造一组最简单的3行3列数据方便手工推算3 3 1 1 2 1 3 2 2 2 1这个数据矩阵写出来就是(0,0)1(0,1)1(0,2)2(1,0)1(1,1)3(1,2)2(2,0)2(2,1)2(2,2)1先直接按题目要求的逻辑人工数一遍水平方向上(0,0)和(0,1)都是1是一对(2,0)和(2,1)都是2又是一对。垂直方向上(0,0)和(1,0)都是1是一对(0,2)和(1,2)都是2也是一对。总共4对。这个数字就是最终应该输出的正确答案。3.2 每一步循环都在干啥现在我们从代码的视角把每个格子贡献的ans次数都列出来。每个格子检查四个方向如果某个方向的邻居存在且数值相等就贡献1次。我做一个完整的追踪表格子位置数值上方比较下方比较左方比较右方比较本次贡献(0,0)1越界跳过与(1,0)的1相等越界跳过与(0,1)的1相等2(0,1)1越界跳过与(1,1)的3不等与(0,0)的1相等与(0,2)的2不等1(0,2)2越界跳过与(1,2)的2相等与(0,1)的1不等越界跳过1(1,0)1与(0,0)的1相等与(2,0)的2不等越界跳过与(1,1)的3不等1(1,1)3与(0,1)的1不等与(2,1)的2不等与(1,0)的1不等与(1,2)的2不等0(1,2)2与(0,2)的2相等与(2,2)的1不等与(1,1)的3不等越界跳过1(2,0)2与(1,0)的1不等越界跳过越界跳过与(2,1)的2相等1(2,1)2与(1,1)的3不等越界跳过与(2,0)的2相等与(2,2)的1不等1(2,2)1与(1,2)的2不等越界跳过与(2,1)的2不等越界跳过0把最后一列累计起来2 1 1 1 0 1 1 1 0 8。程序最后输出ans / 2也就是8 / 2 4。这个结果和我们刚才人工直接数的4对完全一致验证了推理过程。3.3 直接推导出输出结果从这张表里能很清楚地看出“重复计数”的现象。比如(0,0)和(0,1)这对相邻相等格子在(0,0)检查右方时贡献了1次在(0,1)检查左方时又贡献了1次。同理(0,0)和(1,0)这对也是被计算了两次。8除以2等于4正好把每一对重复计算的部分抵消掉。这里有一个很重要的考场技巧如果你实在没时间把整个矩阵跑完可以构造一个最小的特例来验证代码逻辑。比如输入2 2 1 1 1 2两个1形成两个相邻对一个是水平的(0,0)和(0,1)一个是垂直的(0,0)和(1,0)。这段代码算出来ans会依次累计到4输出2。用这种最小数据去检验你对代码的理解比硬着头皮跑大数据要快得多也准得多。4. 考场上的坑阅读程序最容易错在哪4.1 边界条件判断的对称性这道题的四个if里前两个处理上下方向后两个处理左右方向。上方的判断条件是i 0下方的判断条件是i n - 1这两个条件共同保证了数组下标不越界。如果只写a[i][j] a[i - 1][j]而不判断i 0那么当i等于0时就会访问a[-1][j]这在C里属于未定义行为程序可能崩溃也可能返回一个随机值。左右方向的边界判断也是同理j 0和j m - 1缺一不可。很多人在考场上丢分不是因为读不懂逻辑而是没有意识到第一行没有“上方邻居”最后一行没有“下方邻居”第一列没有“左方邻居”最后一列没有“右方邻居”。边界的本质就是四个角只有两个相邻方向四条边只有三个相邻方向只有内部格子才有四个相邻方向。4.2 为什么要除以2这道题最经典的失分点就是忘记最后输出的ans / 2或者想不通为什么要除以2。我在前面已经解释过每对相邻格子都会被两个端点各自计算一次。如果你理解成“每个格子检查一次四周”就会很自然地想到除以2如果你只是机械地抄代码、算ans最后很容易直接输出8。我想强调一下这个“计数视角”的转换程序不是在数“有多少对”而是在数“所有格子各看到了多少次相同的邻居”。这个视角在后面的连通块问题、图论问题里会反复出现提前建立起来对以后刷题帮助很大。4.3 数组下标的起始位置另一个隐藏的坑是数组下标从0开始。读入数据时第一个数存在a[0][0]而不是a[1][1]。这在阅读程序题里几乎是必考意识。虽然代码里看起来只是循环变量从0开始但如果你之前习惯用1作为起始下标就很容易在后半部分的判断条件里犯糊涂。比如判断a[i - 1][j]时你要时刻记得i等于0时就越界了根本没有a[-1][j]这个位置。4.4 常见问题速查表把我在实际讲题过程中遇到的学生错误整理成一张速查表供备考时对照自查错误现象可能原因解决办法输出结果比正确答案大一倍忘记最后除以2重复计数没处理分析每个格子的计数逻辑找出一对关系被计算几次结果偏大或偏小不稳定边界条件写错比如该跳过越界方向的没跳过画一个2x2的小矩阵逐个边界方向验证把行和列搞反混淆n和m分别代表行数还是列数读题时圈出n、m定义推演时先标注矩阵形状把并列if当成else if没有注意四个if之间是独立关系观察语句之间有没有else关键字有else和没有else语义完全不同推断过程正确但输出算错整数除法、变量类型理解不深最后输出表达式单独算一遍不要口算5. 通用的阅读程序解题方法论5.1 先画变量表再跑循环阅读程序题最大的误区就是“脑子里跑代码”。人的工作记忆是有限的代码一超过十行光靠脑子记变量值一定会出错。我的习惯是拿到题目先在草稿纸上画一张变量追踪表。表头写清楚每个关键变量的名字每执行一行或者每执行完一轮循环就把它们的最新值记下来。以这道题为例变量追踪表至少应该包含i、j、ans这三列。外层循环每换一行i内层循环重新从0开始跑这时候j的变化、ans的变化都要记录。画表的动作看起来很笨但这是最不容易出错的方式。很多学生觉得画表浪费时间结果在简单题上丢分得不偿失。5.2 遇到计数器要敏感阅读程序里只要出现ans、cnt、sum、tot这类变量就要高度敏感。它们多半是计数或累加的作用但统计的“粒度”很关键。比如这道题的ans每次加1代表“某一个格子找到了一个相同的邻居”而不是“找到了一个相邻对”。理解这个粒度才能理解最后为什么要除以2。我建议拿到代码后做的第一件事不是从头读而是先扫一遍变量定义和输出语句。知道了程序最后要输出谁再回头跟踪这个变量是怎么被修改的效率会高很多。这种“倒着读”的方法在竞赛读题中非常实用。5.3 用极小数据验证理解考场上没有编译器但你可以用人为构造的极简数据来验证自己的理解。所谓极小数据就是边界情况最少、最容易口算的输入。对于二维数组题2x2的矩阵就是最佳选择。四个格子凑齐了角、边、内部的全部情况任何边界Bug都能暴露出来。这个方法也适用于检查选项。如果一道阅读程序题给了四个输出选项你可以给代码套一组极简数据把输出结果算出来再和选项比对。一旦发现自己的推导和某个选项一致大概率就是对的如果不一致说明某个环节的理解出了问题这时候回过去检查边界条件、计数逻辑或者最后输出表达式通常能找到问题。5.4 时间分配策略CSP-J1整张试卷的时间非常紧张阅读程序四道大题通常会消耗三四十分钟。我的建议是单道阅读程序题控制在10分钟以内第1题这种相对基础的题争取8分钟内完成。如果一道题卡了超过15分钟果断跳过先做后面的完善程序因为后面的大题每一分都同样值钱。实际训练的时候可以用秒表给自己限时逼自己在压力下建立“第一遍读框架、第二遍画追踪表、第三遍验证选答案”的固定节奏。前期可能觉得三步走很繁琐但练熟了以后拿到任何阅读程序题都会有非常清晰的解题路径。在考场上做阅读程序题最大的敌人从来不是题目本身而是“半懂不懂就下笔”。很多同学代码读到一半觉得自己已经看明白了直接凭感觉选答案错了都不知道错在哪。我后来带学生有一个硬性要求一律在草稿纸上画变量追踪表哪怕是最简单的题也必须画。这个习惯一旦建立起来阅读程序题的正确率会肉眼可见地提升。这类“相邻统计”的思想学会了以后还能迁移到连通块计数、扫雷展开这些经典题目上它们本质上是同一套边界处理思维吃透这一道等于提前给后面那几类题打了个底。