一、单项选择题
(共 15 题,每题 2 分,共计 30 分;每题有且仅有一个正确选项)
试卷解析 · 理解每一步
CSPJ-2025-R1
试卷解析总览,可直接查看每题答案与解析。
(共 15 题,每题 2 分,共计 30 分;每题有且仅有一个正确选项)
一个 位无符号整数可以表示的最大值,最接近下列哪个选项?
正确答案A
位无符号整数的最大值是 ,约为 ,最接近 A。
在 C++ 中,执行 `int x = 255; cout << (x & (x - 1));` 后,输出的结果是?
正确答案B
的低 8 位全为 1, 的最低位为 0;因此 `255 & 254 = 254`。
函数 `calc(n)` 的定义如下,则 `calc(5)` 的返回值是多少?( )
int calc(int n) {
if (n <= 1) return 1;
if (n % 2 == 0) return calc(n / 2) + 1;
else return calc(n - 1) + calc(n - 2);
}正确答案B
依次有 `calc(1)=1`、`calc(2)=2`、`calc(3)=3`、`calc(4)=3`,所以 `calc(5)=calc(4)+calc(3)=6`。
用 个权值 构造哈夫曼树,该树的带权路径长度是多少?
正确答案B
依次合并 、、、;合并值之和为 。
在一个有向图中,所有顶点的入度之和等于所有顶点的出度之和,这个总和等于?
正确答案B
每条有向边给起点贡献 1 个出度、给终点贡献 1 个入度,因此入度总和与出度总和都等于边数。
从 位男生和 位女生中选出 人组成一个学习小组,要求学习小组中男生和女生都有。有多少种不同的选法?
正确答案C
总选法为 ;减去全是男生的 和全是女生的 ,得到 。
假设 都是布尔变量,逻辑表达式 `(a && b) || (!c && a)` 的值与下列哪个表达式不始终相等?
正确答案C
原式可提取为 `a && (b || !c)`;A、B、D 都可化为该式,而 C 中括号内为 `!b || c`,并不恒等。
已知 , ,并且对于所有 有 。那么 的值是多少?
正确答案D
该序列模 7 的状态对以 16 为周期,;计算得 。
下列关于 C++ string 类的说法,正确的是?
正确答案B
`string` 长度可以改变,`length()` 与 `size()` 返回相同值,并且可以直接用 `+` 连接一个 `char`。
考虑以下 C++ 函数:
void solve(int &a, int b) {
a = a + b;
b = a - b;
a = a - b;
}
int main() {
int x = 5, y = 10;
solve(x, y);
}在 main 函数调用 solve 后, 和 的值分别是?
正确答案C
`a` 引用 `x`,三次赋值后 `x` 变为 10;`b` 是 `y` 的副本,函数内变为 5 不会修改 `y`,所以结果为 `(10,10)`。
一个 的棋盘,左上角坐标为 ,右下角为 。一个机器人从 出发,每次只能向右或向下走一格。要到达 ,有多少种不同的路径?
正确答案B
从 到 需要向下 3 步、向右 4 步,共 7 步,路径数为 。
某同学用冒泡排序对数组 进行升序排序,请问需要进行多少次元素交换?
正确答案B
冒泡排序的交换次数等于逆序对数:6 与后面四个数形成 4 对,5 与 2、4 形成 2 对,共 6 次。
十进制数 和八进制数 的和用十六进制表示是多少?
正确答案A
,所以 。
一棵包含 个结点的完全二叉树,其叶子结点的数量是多少?
正确答案C
完全二叉树按顺序编号时,有孩子的结点为 到 ,其余 个结点是叶子。
给定一个初始为空的整数栈 和一个空的队列 。我们按顺序处理输入的整数队列 。对于队列 中的每一个数,执行以下规则:如果该数是奇数,则将其压入栈 ;如果该数是偶数,且栈 非空,则弹出一个栈顶元素,并加入到队列 的末尾;如果该数是偶数,且栈 为空,则不进行任何操作。当队列 中的所有数都处理完毕后,队列 的内容是什么?
正确答案A
奇数依次入栈;遇到 8、4、2 时弹出的栈顶分别是 5、1、3,因此队列 为 `5,1,3`。
1 | #include <algorithm>
2 | #include <cstdio>
3 | #include <cstring>
4 | inline int gcd(int a, int b) {
5 | if (b == 0)
6 | return a;
7 | return gcd(b, a % b);
8 | }
9 | int main() {
10 | int n;
11 | scanf("%d", &n);
12 | int ans = 0;
13 | for (int i = 1; i <= n; ++i) {
14 | for (int j = i + 1; j <= n; ++j) {
15 | for (int k = j + 1; k <= n; ++k) {
16 | if (gcd(i, j) == 1 && gcd(j, k) == 1 && gcd(i, k) == 1) {
17 | ++ans;
18 | }
19 | }
20 | }
21 | }
22 | printf("%d\n", ans);
23 | return 0;
24 | }( 分)当输入为 时,程序并不会执行第 行的判断语句。( )
正确答案正确
当 时,`i=1,j=2` 后 `k` 从 3 开始,已经大于 ,最内层循环和判断语句都不会执行。
将第 行中的 `&& gcd(i,k)==1` 删去不会影响程序运行结果。( )
正确答案错误
删去 `gcd(i,k)==1` 后会错误计入如 :前两对互质,但 2 与 4 不互质,因此结果会改变。
(错题,请选择 B 获得分数)当输入的 的时候,程序总是输出一个正整数。( )
正确答案正确(另接受:错误)
对任意 ,三元组 都存在且两两互质,所以程序至少输出 1,原判断在数学上正确;洛谷题面标记本题为错题,因此系统同时接受两种作答。
将第 行的 `gcd(b, a%b)` 改为 `gcd(a, a%b)` 后,程序可能出现的问题是( )。
正确答案B
改写后第二个参数仍严格减小,函数不会死循环,但最终总返回第一个参数;三个 `gcd` 判断无法同时为 1,输出降为 0。
当输入为 的时候,输出为( )。
正确答案D
枚举 并检查三对最大公约数,共有 25 个合法三元组,因此输出 25。
调用 会返回( )。
正确答案A
,,所以 `gcd(36,42)` 返回 6。
1 | #include <algorithm>
2 | #include <cstdio>
3 | #include <cstring>
4 | #define ll long long
5 | int n, k;
6 | int a[200007];
7 | int ans[200007];
8 | int main() {
9 | scanf("%d%d", &n, &k);
10 | for (int i = 1; i <= n; ++i) {
11 | scanf("%d", &a[i]);
12 | }
13 | std::sort(a + 1, a + n + 1);
14 | n = std::unique(a + 1, a + n + 1) - a - 1;
15 | for (int i = 1, j = 0; i <= n; ++i) {
16 | for (; j < i && a[i] - a[j + 1] > k; ++j)
17 | ;
18 | ans[i] = ans[j] + 1;
19 | }
20 | printf("%d\n", ans[n]);
21 | return 0;
22 | }当输入为 `3 1 3 2 1` 时,输出结果为 。( )
正确答案正确
输入排序去重后为 `1,2,3`;递推得到 `ans[1]=1`、`ans[2]=1`、`ans[3]=2`,最终输出 2。
假设输入的 为正整数,输出的答案一定小于等于 ,大于等于 。( )
正确答案正确
`ans[i]=ans[j]+1` 且 ,从 `ans[0]=0` 出发可得最终答案至少为 1、至多为去重后的 。
将第 14 行的 `n = std::unique(a + 1, a + n + 1) - a - 1;` 删去后,有可能出现与原本代码不同的输出结果。( )
正确答案错误
数组已经排序,重复值只会落在同一段内部;保留这些重复值不会改变由差值 决定的分段次数,因此输出不变。
假设输入的 数组和 均为正整数,执行第 18 行代码时,一定满足的条件不包括( )。
正确答案B
循环退出只保证下一候选 `a[j+1]` 与 `a[i]` 的差不超过 ;当 时,`a[i]-a[j]>k` 未必成立,所以 B 不是必然条件。
当输入的 、、 时,输出为( )。
正确答案A
时每组最多覆盖 3 个连续整数,递推相当于每 3 个数增加一组,故答案为 。
假设输入的 数组和 均为正整数,但 数组不一定有序,则若误删去第 13 行的 `std::sort(a + 1, a + n + 1);`,程序有可能出现的问题有( )。
正确答案B
去掉排序后,`j` 单调前移所依赖的有序性被破坏;例如适当的乱序输入会漏计分组,使输出小于原程序。
1 | #include <algorithm>
2 | #include <cstdio>
3 | #include <cstring>
4 | #define ll long long
5 | int f[5007][5007];
6 | int a[5007], b[5007];
7 | int n;
8 | int main() {
9 | scanf("%d", &n);
10 | for (int i = 1; i <= n; ++i) {
11 | scanf("%d", &a[i]);
12 | }
13 | for (int i = 1; i <= n; ++i) {
14 | scanf("%d", &b[i]);
15 | }
16 | for (int i = 1; i <= n; ++i) {
17 | for (int j = 1; j <= n; ++j) {
18 | f[i][j] = std::max(f[i][j], std::max(f[i - 1][j], f[i][j - 1]));
19 | if (a[i] == b[j]) {
20 | f[i][j] = std::max(f[i][j], f[i - 1][j - 1] + 1);
21 | }
22 | }
23 | }
24 | printf("%d\n", f[n][n]);
25 | return 0;
26 | }当输入 `4 1 2 3 4 1 3 2 2` 时,输出为 2。( )
正确答案正确
两个序列分别为 `[1,2,3,4]` 和 `[1,3,2,2]`,最长公共子序列可取 `[1,2]` 或 `[1,3]`,长度为 2。
当程序运行完毕后,对于所有的 ,都一定有 。( )
正确答案正确
`f[i][j]` 是两个前缀的 LCS 长度;扩大任一前缀不会让最优值下降,因此所有状态都不超过 `f[n][n]`。
将第 18 行的 `f[i][j] = std::max(f[i][j], std::max(f[i-1][j], f[i][j-1]));` 删去后,并不影响程序运行结果。( )
正确答案错误
删除从 `f[i-1][j]` 和 `f[i][j-1]` 的转移后,程序无法表示跳过某个不匹配元素,会改变一般情况下的 LCS 结果。
输出的答案满足的性质有( )。
正确答案D
LCS 长度一定在 到 之间;两个序列可能没有公共元素,所以它不一定至少为 1,A、B、C 均成立。
如果在 16 行的循环前加上以下两行:
std::sort(a+1, a+n+1);
std::sort(b+1, b+n+1);则答案会( )。
正确答案A
分别排序后,相同元素按相同顺序排列,LCS 可达到两个多重集合的交集大小;原 LCS 不会超过该值,所以答案只会变大或不变。
(本题在原卷中被删除)如果输入的 ,而且 数组中数字均为 中的正整数,则上述代码等价于下面哪个问题:( )。
正确答案B
当 时,任何与 公共的子序列都严格递增,因此求 与 的 LCS 等价于求 的最长上升子序列。
(1)(字符串解码)“行程长度编码”(Run-Length Encoding)是一种无损压缩算法,常用于压缩重复字符较多的数据,以减少存储空间。假设原始字符串不包含数字字符。压缩规则如下:i) 如果原始字符串中一个字符连续出现 次(),在压缩字符串中它被表示为“字符 + 数字 ”。例如,编码 `A12` 代表 个连续的字符 A。ii) 如果原始字符串中一个字符只出现 次,在压缩字符串中它就表示为该字符本身。例如,编码 `B` 代表 个字符 B。
以下程序实现读取压缩字符串并输出其原始的、解压后的形式。试补全程序。
#include <cctype>
#include <iostream>
#include <string>
using namespace std;
int main() {
string z;
cin >> z;
string s = "";
for (int i = 0; i < z.length(); ) {
char ch = z[i];
if (__①__ && isdigit(z[i + 1])) {
i++;
int count = 0;
while (i < z.length() && isdigit(z[i])) {
count = __②__;
i++;
}
for (int j = 0; j < __③__; ++j) {
s += ch;
}
} else {
s += __④__;
__⑤__;
}
}
cout << s << endl;
return 0;
}①处应填( )
i < z.length()i - 1 >= 0i + 1 < z.length()isdigit(z[i])正确答案C
条件随后访问 `z[i+1]`,所以必须先保证 `i+1 < z.length()`,避免越界。
②处应填( )
count + (z[i] - '0')count * 10 + (z[i] - '0')z[i] - '0'count + 1正确答案B
逐位读取数字时应使用 `count = count * 10 + (z[i]-'0')`,才能正确处理 `12` 这类多位次数。
③处应填( )
count - 1count10z[i] - '0'正确答案B
`count` 已保存字符连续出现的次数,因此循环边界应为 `j < count`。
④处应填( )
z[i+1]chz.back()(char)z[i] + 1正确答案B
未跟数字时当前字符只出现一次,应把保存的当前字符 `ch` 追加到结果字符串。
⑤处应填( )
i--i = i + 2i++// 不执行任何操作正确答案C
单字符处理完成后必须执行 `i++`,让下一轮读取下一个编码字符。
(2)(精明与糊涂)有 个人,分为两类: i) 精明人:永远能正确判断其他人是精明还是糊涂; ii)糊涂人:判断不可靠,会给出随机的判断。
已知精明人严格占据多数,即如果精明人有 个,则满足 。
你只能通过函数 让第 个人判断第 个人:返回 表示判断结果为“精明人”;返回 表示判断结果为“糊涂人”。你的目标是,通过这些互相判断,找出至少一个百分之百确定的精明人。同时,你无需关心 的内部实现。
以下程序利用“精明人占多数”的优势。设想一个“消除”的过程,让人们互相判断并进行抵消。经过若干轮抵消后,最终留下的候选人必然属于多数派,即精明人。
例如,假设有三人 。如果 说 是糊涂人,而 也说 是糊涂人,则 和 至少有一个是糊涂人。程序将同时淘汰 和 。由于三人里至少有两个精明人,我们确定 是精明人。
试补全程序。
#include <iostream>
#include <vector>
using namespace std;
int N;
bool query(int i, int j);
int main() {
cin >> N;
int candidate = 0;
int count = __①__;
for (int i = 1; i < N; ++i) {
if (__②__) {
candidate = i;
count = 1;
} else {
if (__③__) {
__④__;
} else {
count++;
}
}
}
cout << __⑤__ << endl;
return 0;
}①处应填( )
01N-1正确答案B
初始候选人 0 自己提供 1 票,因此 `count` 应初始化为 1;更换候选人时也同样重置为 1。
②处应填( )
count < 0count == 1count == 0query(candidate, i) == false正确答案C
当抵消后 `count == 0` 时,旧候选人已无净优势,应把当前的 `i` 设为新候选人并把计数重置为 1。
③处应填( )
query(candidate, i) == falsequery(i, candidate) == truequery(candidate, i) == false && query(i, candidate) == falsequery(candidate, i) == false || query(i, candidate) == false正确答案D
只要两人中任意一方判断另一方为糊涂人,两人中就至少有一名糊涂人,可以执行一次抵消;对应两个判断结果以 `||` 连接。
④处应填( )
count--breakcount++candidate = i正确答案A
触发消除条件时,当前人与候选人的一票相互抵消,因此应执行 `count--`。
⑤处应填( )
N - 1countcandidate0正确答案C
循环结束后 `candidate` 保存抵消过程留下的多数派候选人,程序应输出该变量。