计算机科学导论:速成包

公式表、每个专题的关键方法步骤和 20 道练习题,完整解答附在最后。

新题目返回课程

在打印窗口中选择“另存为 PDF”,即可在设备上保存一份副本。

1公式与方法

数制

位权
二进制 2k,八进制 8k,十六进制 16k
转为十进制
Σ dk·bk
从十进制转换
除以基数,余数从下往上读
十六进制 ↔ 二进制
一位十六进制数 = 4 位二进制
二进制补码
按位取反后加 1

命题逻辑与证明

真值表的行数
2ⁿ
蕴涵
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
蕴涵的否定
¬(p → q) ≡ p ∧ ¬q
双条件
p ↔ q ≡ (p → q) ∧ (q → p)
德摩根律
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
分配律
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
量词的否定
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
肯定前件,否定后件
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

方法

  1. 数一数不同变量的个数:真值表有 2ⁿ 行,从全为 1 的一行开始。
  2. 给每个子公式单独一列,由内向外逐列填写。
  3. 按各联结词的规则计算:→ 只有在 1 → 0 时为 0,↔ 在两边相同时为 1。
  4. 判断等价时,逐行比较最后一列;判断论证时,只看所有前提都为 1 的那些行。
  5. 否定带量词的命题时,把 ¬ 移到内部,交换 ∀ 和 ∃,并否定内部的公式。

数字逻辑:门电路、卡诺图与触发器

基本逻辑门
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
布尔规则
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
德摩根律
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
卡诺图的顺序
00, 01, 11, 10 (Gray code)
由 2ᵏ 个格子组成的圈
消去 k 个变量
4 选 1 多路选择器
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
触发器
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
计数器
n 位:2ⁿ 个状态; 模 N:满足 2ⁿ ≥ N 的最小 n; fout = fclk/N
行波计数器
fmax = 1/(n·tpd)
环形计数器与约翰逊计数器
n 个和 2n 个状态

方法

  1. 对于电路,从输入到输出一个门一个门地分析,并在每根线上写出值;或者写出它的表达式并填写真值表。
  2. 化简时,把 1(以及标为 X 的无关项)填入行列按格雷码 00, 01, 11, 10 排列的卡诺图。
  3. 用尽可能少而大的圈(由 1、2、4、8 或 16 个格子组成)覆盖所有 1,可以绕过边界;每个圈对应一个乘积项,由保持不变的变量构成。求 POS 形式时圈 0。
  4. 对于触发器和计数器,在每个有效时钟边沿读取输入,写出每个边沿之后的状态,并记住 n 位计数器在 2ⁿ 个状态之后回绕。

数论与模运算

带余除法
a = q·n + r, 0 ≤ r < n
欧几里得
gcd(a, b) = gcd(b, a mod b)
最小公倍数
lcm(a, b) = a·b/gcd(a, b)
逆矩阵
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
线性同余方程
a·x ≡ b → x ≡ a⁻¹·b (mod n)
欧拉函数
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
费马
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

方法

  1. 先把每个数对 n 取模;余数在 0 到 n − 1 之间。
  2. 求最大公约数时,用欧几里得算法反复做除法;最后一个非零余数就是最大公约数。
  3. 求逆元时,运行扩展算法并保留 a 的系数;若为负数则加上 n。
  4. 解 a·x ≡ b 时,两边乘以 a⁻¹;合并两个同余式时,写成 x = r₁ + m₁k。
  5. 求幂时,把指数写成二进制并反复平方;在 RSA 中,d = e⁻¹ mod φ(n),其中 φ(n) = (p − 1)(q − 1)。

图论

握手引理
Σ deg(v) = 2|E|
完全图
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
正则图
|E| = n·k/2
树与森林
|E| = n − 1, |E| = n − c
树的叶子
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
欧拉
回路:所有顶点度数为偶数; 通路:恰有 2 个奇度顶点
Kn 中的哈密顿回路
(n − 1)!/2
迪杰斯特拉更新
d(v) = min(d(v), d(u) + w(u, v))
长度为 L 的途径
(Mᴸ)ij

方法

  1. 写出每个顶点的度数;所有度数之和等于边数的两倍。
  2. 对于欧拉问题,先检查图是否连通,再数一数奇度顶点的个数。
  3. 对于树,利用 n − 1 条边和握手引理。
  4. 对于迪杰斯特拉算法,保留一张暂定距离表,每一轮确定未确定顶点中距离最小的那个。
  5. 对于最小生成树,把边按权重排序,跳过每条会形成圈的边(克鲁斯卡尔算法),或者从一个起点出发扩展一棵树(普里姆算法)。

IPv4 子网划分

每个子网的主机数
2(32 − prefix) − 2 (/31: 2, /32: 1)
块大小
256 − (mask octet)
网络地址
IP AND 掩码
广播地址
IP OR (NOT 掩码):主机位全部置 1
借用 n 位得到的子网数
2n

2练习题

1.数制中等
8 位补码0−12806403201608040201

设置各位,使其以 8 位补码存储 −30。按无符号数读取,该位模式的值 U 是多少?

N = −308 bit
U =
2.数制困难
点击各位来设置012806403201608040201

把各位设置为 1010 0110 >> 1 的 8 位结果。该结果的十进制值 R 是多少?

1010 0110>> 1
R =
3.命题逻辑与证明中等
r → p¬r ∧ ¬p¬p → ¬r¬r → ¬p

哪个公式与 p → r 在逻辑上等价?点选它。

p → r
  1. 1r → p
  2. 2¬r ∧ ¬p
  3. 3¬p → ¬r
  4. 4¬r → ¬p
4.命题逻辑与证明困难
∃y ∀x ¬R(x, y)∀x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)∃x ∀y ¬R(x, y)

把否定完全移到内部之后,哪个命题与 ¬∀x ∃y R(x, y) 等价?点选它。

¬∀x ∃y R(x, y)
  1. 1∃y ∀x ¬R(x, y)
  2. 2∀x ∀y ¬R(x, y)
  3. 3∀x ∃y ¬R(x, y)
  4. 4∃x ∀y ¬R(x, y)
5.数字逻辑:门电路、卡诺图与触发器中等
ABC000111100101324576

把 F = A′B + AB′ + AB′C + AB 化简为最简积之和形式。化简后的表达式包含多少个文字 L?

F = A′B + AB′ + AB′C + AB
L =
6.数字逻辑:门电路、卡诺图与触发器困难
CLKT123456

一个上升沿触发的 T 触发器从 Q = 0 开始,在 6 个时钟上升沿接收到所示的输入。Q 改变状态的次数 N 是多少?

Q₀ = 0T
N =
7.数论与模运算中等

求欧拉函数 φ(1083),即 1 到 1083 中与 1083 互素的整数个数。

n = 1083 = 3·192
φ(1083) =
8.数论与模运算困难
31c = me​ mod n?m = cd​ mod nm(n, e) = (133, 11)d

用 RSA 公钥 (n, e) = (133, 11) 加密消息 m = 31。求密文 c。

n = 133e = 11m = 31
c =
9.算法与复杂度中等

下面代码的时间复杂度是多少:for i = 1 to n: (j = 1; while j < n: j = j × 2)?

  1. AO(n log n)
  2. BO(log n)
  3. CO(n)
  4. DO(n²)
10.算法与复杂度困难

关于 little-o 记号,下列哪个说法是正确的?

  1. An = o(n²),但 n 不是 o(n)
  2. Bn² = o(n)
  3. Cn = o(n),因为每个函数都是自身的 little-o
  4. D2n = o(n),因为 2n 增长得慢
11.数据结构中等

在平衡二叉搜索树中查找一个键的时间复杂度是多少?

  1. AO(log n)
  2. BO(n)
  3. CO(1)
  4. DO(n log n)
12.数据结构困难

对以邻接矩阵存储的、有 V 个顶点的图进行广度优先搜索,运行时间是多少?

  1. AO(E log V)
  2. BO(V)
  3. CO(V²)
  4. DO(V + E)
13.图论中等

完全图 K8 有多少条不同的哈密顿回路 H?只是起点或方向不同的回路算作同一条。

K8
H =
14.图论困难
1231311891217ABCDEF

求带权图的最小生成树的总权重 W。

|V| = 6|E| = 9
W =
15.数据库与 SQL中等

为什么要在列上创建索引?

  1. A为了加快这些列上的查找和连接
  2. B为了加快这些列上的插入和更新
  3. C为了防止出现 NULL 值
  4. D为了节省磁盘空间
16.数据库与 SQL困难

表 b 的 y 列包含值 1、2 和 NULL。SELECT * FROM a WHERE x NOT IN (SELECT y FROM b) 返回什么?

  1. A根本不返回任何行
  2. B只返回 a 中 x 为 NULL 的行
  3. C返回 a 的每一行
  4. D返回 a 中 x 不是 1 或 2 的行
17.计算机网络中等

客户端从 DHCP 获取地址时,报文的通常顺序是什么?

  1. ARequest、Offer、Discover、Acknowledge
  2. BDiscover、Offer、Request、Acknowledge
  3. COffer、Discover、Acknowledge、Request
  4. DDiscover、Request、Offer、Acknowledge
18.计算机网络困难

一个 TCP 连接的窗口为 64 KB,往返时间为 100 ms,且没有窗口扩大。它的最大吞吐量大约是多少?

  1. A约 50 Mbit/s
  2. B约 0.5 Mbit/s
  3. C约 640 Mbit/s
  4. D约 5 Mbit/s
19.IPv4 子网划分中等
/22 → /2411111111111111111111111100000000网络位主机位

网络 10.28.4.0/22 被划分为前缀为 /24 的等大子网。共有多少个子网 N?

10.28.4.0/22/24
N =
20.IPv4 子网划分困难
最后一个八位组 = 119012816413211608141211网络主机

某主机地址为 10.20.71.119/30。其子网广播地址的最后一个数(第四个八位组)x 是多少?

10.20.71.119/30
x =

3溶液

1.数制

答案: U = 226

设置比特位:每一位对应 2 的一个幂(128、64、…、1)。一个十六进制数字恰好是四位,在 8 位补码中最左边的位权重为 −128。按位运算对每个位位置分别进行。

取反加一

30 = 0001 1110
取反后: 1110 0001
+1 → 1110 0010

按无符号数读取

1110 0010₂ = 256 − 30 = 226

答案

U = 226
2.数制

答案: R = 83

设置比特位:每一位对应 2 的一个幂(128、64、…、1)。一个十六进制数字恰好是四位,在 8 位补码中最左边的位权重为 −128。按位运算对每个位位置分别进行。

逐位计算

右移 1 位,把每一位向右移动 1 个位置;从右端移出的位丢失,左侧补入 0。

1010 0110 >> 1
= 0101 0011

结果的值

0101 0011₂ = 83

答案

R = 83
3.命题逻辑与证明

答案: ¬r → ¬p

逻辑等价:两个公式在真值表的每一行取值都相同时,它们是等价(≡)的。重言式在每一行都为 1,矛盾式在每一行都为 0,偶然式则两者都不是。常用定律:德摩根律,¬(a ∧ b) ≡ ¬a ∨ ¬b 和 ¬(a ∨ b) ≡ ¬a ∧ ¬b;a → b ≡ ¬a ∨ b ≡ ¬b → ¬a(逆否命题);¬(a → b) ≡ a ∧ ¬b;以及分配律,a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c)。

定律

蕴涵与它的逆否命题 ¬b → ¬a 等价,而与它的逆命题 b → a 或否命题 ¬a → ¬b 不等价。
p → r ≡ ¬r → ¬p

用真值表检验

p = 1, r = 1: 1 | 1 0 1 1
p = 1, r = 0: 0 | 1 0 1 0
p = 0, r = 1: 1 | 0 0 0 1
p = 0, r = 0: 1 | 1 1 1 1

答案

¬r → ¬p

竖线之后的各列是按所示顺序排列的各个选项。

4.命题逻辑与证明

答案: ∃x ∀y ¬R(x, y)

量词与论证:¬∀x P(x) ≡ ∃x ¬P(x),¬∃x P(x) ≡ ∀x ¬P(x)。把否定向内移动,交换它经过的每个量词,并用命题逻辑的定律否定内部的公式,例如 ¬(a → b) ≡ a ∧ ¬b。当所有前提为 1 的每一行中结论也为 1 时,论证是有效的。只要有一行前提为真而结论为假,它就是反例,说明论证无效。

把否定移到内部

¬∀x ∃y R(x, y) ≡ ∃x ∀y ¬R(x, y)

答案

∃x ∀y ¬R(x, y)

其他选项要么保持某个量词不变,要么改变了量词的顺序,要么错误地否定了内部的公式。

5.数字逻辑:门电路、卡诺图与触发器

答案: L = 2

布尔代数:化简表达式的规则有 X + X′ = 1 和 X·X′ = 0、X + X = X、吸收律 X + X·Y = X、合并律 X·Y + X·Y′ = X、X + X′Y = X + Y,以及一致性定理 XY + X′Z + YZ = XY + X′Z。德摩根律把 (X·Y)′ 变成 X′ + Y′,把 (X + Y)′ 变成 X′·Y′。卡诺图以图形方式应用这些规则:每个由两个相邻格子组成的圈,就是一次使用 XY + XY′ = X。

表达式的最小项

A′B → m(2, 3)
AB′ → m(4, 5)
AB′C → m(5)
AB → m(6, 7)
ABC00011110010001131214151716

圈组并读出结果

F = B + A

数出文字个数

L = 2

答案

L = 2
6.数字逻辑:门电路、卡诺图与触发器

答案: N = 2

触发器与计数器:触发器只在时钟的有效边沿改变。D 复制其输入 (Q⁺ = D);T 在 T = 1 时翻转;JK 在 00 时保持,01 时复位,10 时置位,11 时翻转。n 位二进制计数器有 2ⁿ 个状态,按模 2ⁿ 计数;模 N 计数器依次计 0, 1, …, N − 1 然后回到 0,需要满足 2ⁿ ≥ N 的最小 n 个触发器。行波计数器的每一级使频率减半,所以模 N 计数器的最后一级输出频率为 fclk/N。n 个触发器的约翰逊计数器有 2n 个状态,环形计数器有 n 个。

每个边沿之后的 Q

T 触发器在 T = 1 时每个上升沿翻转,在 T = 0 时保持。

1: T = 0 → Q = 0
2: T = 1 → Q = 1
3: T = 0 → Q = 1
4: T = 1 → Q = 0
5: T = 0 → Q = 0
6: T = 0 → Q = 0

数出变化的次数

0 → 0 → 1 → 1 → 0 → 0 → 0
N = 2

答案

N = 2
7.数论与模运算

答案: φ(1083) = 684

逆元与同余式:a 模 n 有逆元,当且仅当 gcd(a, n) = 1。扩展欧几里得算法把 1 写成 s·n + t·a,于是 a⁻¹ ≡ t (mod n)。当 gcd(a, n) = 1 时,同余式 a·x ≡ b (mod n) 的解为 x ≡ a⁻¹·b。模数互素的两个同余式 x ≡ r₁ (mod m₁) 和 x ≡ r₂ (mod m₂) 在模 m₁·m₂ 下有唯一解(中国剩余定理)。欧拉函数 φ(n) 表示 1 到 n 中与 n 互素的数的个数:φ(n) = n·∏(1 − 1/p)。

素因数

1083 = 3·192

欧拉函数值

φ(1083) = φ(361)·φ(3) = 342·2 = 684

答案

φ(1083) = 684
8.数论与模运算

答案: c = 103

模幂与 RSA:用反复平方法计算 aᵏ mod n:把 k 写成二进制,平方,每一步之后取模,并把对应二进制位为 1 的幂相乘。费马:对不整除 a 的素数 p,aᵖ⁻¹ ≡ 1 (mod p),所以指数可以对 p − 1 取模。RSA:选取素数 p 和 q,n = p·q,φ(n) = (p − 1)(q − 1);公钥指数 e 与 φ(n) 互素,私钥指数为 d = e⁻¹ mod φ(n)。用 c = mᵉ mod n 加密,用 m = cᵈ mod n 解密。

反复平方

11 = 8 + 2 + 1
311 ≡ 31 (mod 133)
312 ≡ 30 (mod 133)
314 ≡ 102 (mod 133)
318 ≡ 30 (mod 133)
3111 ≡ 31·30·30 ≡ 103 (mod 133)

密文

c = 103

答案

c = 103
9.算法与复杂度

答案: A · O(n log n)

为什么是这个答案

对外层 n 次迭代中的每一次,内层循环约运行 log₂ n 次,因此总复杂度为 O(n log n)。

答案

A · O(n log n)
10.算法与复杂度

答案: A · n = o(n²),但 n 不是 o(n)

为什么是这个答案

f = o(g) 表示 f(n) / g(n) 趋于 0;n / n² 趋于 0,而 n / n = 1 则不然。

答案

A · n = o(n²),但 n 不是 o(n)
11.数据结构

答案: A · O(log n)

为什么是这个答案

平衡树的高度约为 log₂ n,因此查找只需沿着从根到叶的一条路径进行。

答案

A · O(log n)
12.数据结构

答案: C · O(V²)

为什么是这个答案

V 个顶点中的每一个都要扫描一行 V 个元素,因此为 O(V²);使用邻接表时 BFS 为 O(V + E)。

答案

C · O(V²)
13.图论

答案: H = 2520

欧拉、哈密顿与树:连通图在每个顶点度数都为偶数时有欧拉回路(每条边经过一次,回到起点),在恰有两个顶点度数为奇数时有不是回路的欧拉通路;此时通路从一个奇度顶点走到另一个奇度顶点。哈密顿回路恰好经过每个顶点一次;Kn 有 (n − 1)!/2 条。n 个顶点的树有 n − 1 条边,有 m 条边的连通图在去掉 m − n + 1 条边后保留一棵生成树。

计数

H = (8 − 1)!/2 = 5040/2 = 2520

答案

H = 2520
14.图论

答案: W = 31

最短路径与生成树:迪杰斯特拉算法每一轮确定一个顶点:暂定距离最小的未确定顶点。它的距离随即成为最终值,并且每个邻点 v 得到 d(v) = min(d(v), d(u) + w(u, v))。克鲁斯卡尔算法按从轻到重的顺序取边并跳过会形成圈的边,从而构造最小生成树;普里姆算法从一个起点出发扩展一棵树,每次加入离开这棵树的最轻的边。n 个顶点的生成树有 n − 1 条边。

克鲁斯卡尔算法

AB (1): 取
AC (2): 取
BC (3): 跳过,会形成圈
DE (8): 取
DF (9): 取
CE (11): 取

总权重

W = 1 + 2 + 8 + 9 + 11 = 31

答案

W = 31
15.数据库与 SQL

答案: A · 为了加快这些列上的查找和连接

为什么是这个答案

索引(通常是 B-tree)可以加快查找,但会占用空间,并会减慢需要维护索引的插入和更新操作。

答案

A · 为了加快这些列上的查找和连接
16.数据库与 SQL

答案: A · 根本不返回任何行

为什么是这个答案

与 NULL 的比较结果为 UNKNOWN,因此整个条件永远不会为 TRUE;使用 NOT EXISTS 或过滤掉 NULL 可以避开这个陷阱。

答案

A · 根本不返回任何行
17.计算机网络

答案: B · Discover、Offer、Request、Acknowledge

为什么是这个答案

客户端广播 Discover,服务器回复 Offer,客户端 Request 其中一个提供,被选中的服务器用 Acknowledge 确认。

答案

B · Discover、Offer、Request、Acknowledge
18.计算机网络

答案: D · 约 5 Mbit/s

为什么是这个答案

吞吐量 ≤ 窗口 / RTT = 65,536 × 8 比特 / 0.1 s ≈ 5.2 Mbit/s,无论链路有多快。

答案

D · 约 5 Mbit/s
19.IPv4 子网划分

答案: N = 4

IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).

借用位

24 − 22 = 2

子网数

N = 22 = 4

答案

N = 4

每个 /24 子网有 28 − 2 = 254 个可用主机。

20.IPv4 子网划分

答案: x = 119

IPv4 子网划分:一个地址有 32 位。前缀 /p 表示前面多少位标识网络;其余 32 − p 位为主机编号。一个子网有 2³²⁻ᵖ 个地址,但第一个(网络地址)和最后一个(广播地址)不能分配给主机,所以可容纳 2³²⁻ᵖ − 2 台主机。 例外:/31(点对点链路,RFC 3021)的 2 个地址都用于主机,/32 只有一个地址(单个主机或环回地址)。

块大小

22 = 4

该主机所在子网

网络: ⌊119/4⌋·4 = 116
广播: 116 + 4 − 1 = 119
可用主机: 117 … 118

答案

x = 119

ExamProblems · examproblems.com/courses/computer-science-fundamentals