CS1035M 《信息安全原理与数学基础》考前练习¶
参考资料
参考资料
CC98 历年回忆帖
2023-2024 春夏回忆卷 by linsaiya
2024-2025 春夏回忆卷 by 鸢心
2024-2025 春夏回忆卷(残缺版·PDF) by sodasugar
语雀课程笔记(咸鱼暄)
其他
- 离散数学练习卷(由老师在课上提供)
更新日志
注释掉模拟卷,因为该卷禁止外传。感兴趣者可尝试智云。(不确定是否存在)
离散试卷1纠错:多选第二题&计算第一题的解析。
其他试卷:纠正部分错误,调整并补充部分解析。
概统补天中。调整概统答案和解析。还差离散试卷2和模拟卷的校对。
调整概统解析,删除低质指南。
AI生成一份低质概统补天指南,留着自己吃。
补天。全忘没了。ds老师帮忙整理离散部分第一篇的答案。晚安。
收集了习题。吃了个晚饭。
Warning
AI 补全与推测内容已标注 [猜测], 老师给出的模拟题标注为 [模拟], 答案尚未人工验证, 仅供参考. 标注 [真题]的部分由于选项部分缺失等问题, 可能有AI补全的成分.
该参考资料质量和正确性已得到初步认证, 笔者会尽可能保证其质量.
适用人群: 和笔者一样补天的人. 请谨慎使用.
如有勘误欢迎通过提 issue 等方式告知笔者!
离散数学¶
试卷1, 部分来自历年卷(sp24)¶
单选题¶
1. [猜测]
设论域为全体实数,\(P(x)\) 表示“\(x>0\)”,\(Q(x)\) 表示“\(x^2=1\)”。命题 \(\exists x(P(x)\land Q(x))\) 的真值为()
(A) 真
(B) 假
(C) 不确定
(D) 无法判断
点击查看答案
A(真)。\(\exists x(x>0 \land x^2=1)\),取 \(x=1\) 即可满足。
2. [猜测]
设 \(A=\{\emptyset,\{\emptyset\}\}\),则 \(\mathcal{P}(A)\) 中元素的个数为()
(A) \(2\)
(B) \(3\)
(C) \(4\)
(D) \(8\)
点击查看答案
C(4)。\(A=\{\emptyset, \{\emptyset\}\}\) 有 2 个元素,\(|\mathcal{P}(A)|=2^2=4\)。
3. [猜测]
设函数 \(f:\mathbb{Z}\to\mathbb{Z}\) 定义为 \(f(x)=x^2\),则 \(f\) 是()
(A) 单射且满射
(B) 单射但非满射
(C) 满射但非单射
(D) 既非单射也非满射
点击查看答案
D(既非单射也非满射)。\(f(x)=x^2\) 在 \(\mathbb{Z}\) 上:\(f(1)=f(-1)=1\) 非单射;负数不在值域中,非满射。
单射 / 满射 / 双射
- 单射:\(f(a)=f(b)\Rightarrow a=b\)(不同输入不同输出)
- 满射:\(\forall y\in Y,\exists x\in X,\ f(x)=y\)(值域=陪域)
- 双射:既单又满,可逆。
4. [猜测]
设 \((G,*)\) 是群,\(e\) 是单位元,\(a,b\in G\)。以下说法正确的是()
(A) 若 \(a*b=e\),则 \(a\) 和 \(b\) 互为逆元
(B) 群中一定存在零元
(C) 群中每个元素的逆元可以不唯一
(D) 若 \(a\neq e\),则 \(a*a\neq e\)
点击查看答案
A(若 \(a*b=e\),则 \(a\) 和 \(b\) 互为逆元)。由群的定义,每个元素都有逆元,且 \(a*b=e\) 即 \(b=a^{-1}\)。
-
✗ B:群中不一定有零元。注意零元 \(\neq\) 单位元:零元 \(z\) 满足 \(\forall a, a*z=z\)(吸收性),而单位元 \(e\) 满足 \(a*e=a\)(不变性)。反例:\((\mathbb{Z},+)\) 中 \(0\) 是单位元(\(a+0=a\)),但不是零元——若存在零元 \(z\) 则需 \(a+z=z\) 即所有 \(a=0\),矛盾。事实上只有平凡群 \(\{e\}\) 才有零元。
-
✗ C:群中每个元素的逆元唯一。若 \(b,c\) 都是 \(a\) 的逆元,则 \(b=b*e=b*(a*c)=(b*a)*c=e*c=c\)。
-
✗ D:\(a\neq e\) 时也可能 \(a*a=e\)。反例:\((\{0,1\},\oplus)\)(异或群),单位元 \(e=0\),\(1\neq0\) 但 \(1\oplus1=0=e\)(即 1 是二阶元)。
5. [猜测]
设 \(R\) 是集合 \(A=\{1,2,3,4\}\) 上的关系,\(R=\{(1,2),(2,3),(3,4)\}\),则 \(R\) 的传递闭包 \(t(R)\) 中元素的个数为()
(A) \(4\)
(B) \(5\)
(C) \(6\)
(D) \(7\)
点击查看答案
C(6)。\(t(R)\) 需补充传递关系:\((1,2)+(2,3)\to(1,3)\),\((2,3)+(3,4)\to(2,4)\),\((1,3)+(3,4)\to(1,4)\)。原 3 对 + 新增 3 对 = 6。
6. [猜测]
一个无向连通图是欧拉图的充要条件是()
(A) 所有顶点的度数均为偶数
(B) 恰好有两个顶点的度数为奇数
(C) 边数大于顶点数
(D) 图中无环
点击查看答案
A(所有顶点的度数均为偶数)。欧拉图的充要条件:连通且每个顶点度数为偶数。
欧拉图 vs 欧拉通路
- 欧拉通路:经过每条边恰好一次的路径(不要求回到起点)→ 充要:连通 + 恰有 0 或 2 个奇度顶点
- 欧拉图(欧拉回路):经过每条边恰好一次的回路(回到起点)→ 充要:连通 + 0 个奇度顶点
7. [猜测]
下列命题公式中,是永真式的是()
(A) \((P\to Q)\to(Q\to P)\)
(B) \((P\land Q)\to(P\lor Q)\)
(C) \((P\to Q)\land\neg P\to\neg Q\)
(D) \(P\land(P\to Q)\to\neg Q\)
点击查看答案
B(\((P\land Q)\to(P\lor Q)\))。这是永真式:如果 \(P\land Q\) 成立则 \(P\lor Q\) 必成立。其余选项均非永真。
不定项选择题¶
1. [真题]
设 \((G,*)\) 是群,其中 \(*\) 是通常的加法运算,则以下能够构成群的是()
(A) 整数集 \(\mathbb{Z}\)
(B) 有理数集 \(\mathbb{Q}\)
(C) 偶数集 \(\{2k\mid k\in\mathbb{Z}\}\)
(D) 自然数集 \(\mathbb{N}\)
点击查看答案
ABC。\(\mathbb{Z},\mathbb{Q}\) 对加法构成群;偶数集也是加法子群。\(\mathbb{N}\) 无负元(逆元)。
群的四条公理
- 封闭性:\(\forall a,b\in G,\ a*b\in G\)
- 结合律:\(\forall a,b,c\in G,\ (a*b)*c=a*(b*c)\)
- 单位元:\(\exists e\in G,\forall a\in G,\ e*a=a*e=a\)
- 逆元:\(\forall a\in G,\exists a^{-1}\in G,\ a*a^{-1}=a^{-1}*a=e\)
2. [猜测]
关于集合的幂集,下列说法中正确的有()
(A) 对于任何集合 \(A\),恒有 \(\emptyset\in\mathcal{P}(A)\)
(B) 若 \(A\subseteq B\),则 \(\mathcal{P}(A)\subseteq\mathcal{P}(B)\)
(C) \(\mathcal{P}(A\cap B)=\mathcal{P}(A)\cap\mathcal{P}(B)\) 恒成立
(D) \(A\in\mathcal{P}(A)\) 恒成立
点击查看答案
ABCD。(A) 空集是任何集合的子集;(B) 幂集单调性;(C) 幂集保交(不保并);(D) \(A\subseteq A\) 恒成立,故 \(A\in\mathcal{P}(A)\)。
3. [猜测]
设映射 \(f:X\to Y\),\(A,B\subseteq X\),\(C,D\subseteq Y\)。下列关系式中恒成立的有()
(A) \(f^{-1}(C\cap D)=f^{-1}(C)\cap f^{-1}(D)\)
(B) \(f(A\cap B)=f(A)\cap f(B)\)
(C) \(f^{-1}(f(A))\supseteq A\)
(D) \(f(f^{-1}(C))\subseteq C\)
点击查看答案
ACD。(A) 原像保交;(B) \(f(A\cap B)\subseteq f(A)\cap f(B)\),但未必相等;(C) \(f^{-1}(f(A))\) 包含 \(A\) 及其在 \(f\) 下的原像;(D) \(f(f^{-1}(C))\subseteq C\),满射时可取等。
4. [猜测]
设 \(R\) 是集合 \(A\) 上的二元关系。下列说法正确的有()
(A) \(R\) 是自反的当且仅当 \(I_A\subseteq R\)(其中 \(I_A\) 为恒等关系)
(B) \(R\) 是对称的当且仅当 \(R=R^{-1}\)
(C) \(R\) 是传递的当且仅当 \(R\circ R\subseteq R\)
(D) \(R\) 是反对称的当且仅当 \(R\cap R^{-1}\subseteq I_A\)
点击查看答案
ABCD。均为关系性质的等价刻画。
关系四性质速记
- 自反:\(\forall x,\ xRx\)(对角线全在)
- 反自反:\(\forall x,\ \neg(xRx)\)(对角线全不在)
- 对称:\(xRy\Rightarrow yRx\)(矩阵对称)
- 反对称:\(xRy\land yRx\Rightarrow x=y\)(矩阵非对角线无对称对)
- 传递:\(xRy\land yRz\Rightarrow xRz\)
5. [猜测]
关于图的同构和性质,下列说法正确的有()
(A) 两个同构的简单无向图的顶点数和边数一定分别相等
(B) 两个同构的图一定具有相同数量的连通分支
(C) 若两个简单无向图的度序列完全相同,则它们一定同构
(D) 任何简单图的生成子图一定包含原图的所有顶点
点击查看答案
ABD。(A)(B) 同构定义保证;(C) 度序列相同非充分条件(存在不同构但度序列相同的图);(D) ✓,生成子图 (spanning subgraph) 的定义就是 \(V_1=V_2\),即包含原图所有顶点,只是边集可以是原边集的子集。
子图 / 真子图 / 生成子图
- 子图 (subgraph):\(V_1\subseteq V_2\),\(E_1\subseteq E_2\)
- 真子图 (proper subgraph):子图且 \(G_1\neq G_2\)
- 生成子图 (spanning subgraph):子图且 \(V_1=V_2\)(顶点全含,边可少)
度序列相同 ⇏ 同构(反例)
下图两个图度序列均为 \((2,2,2,2,2,2)\),但不同构:
- \(C_6\)(6-cycle,连通)
- \(2\times C_3\)(两个分离三角形,不连通)
一个连通、一个不连通,显然不同构。
6. [猜测]
下列谓词逻辑等值式中,正确的有()
(A) \(\neg\forall x A(x)\iff\exists x\neg A(x)\)
(B) \(\forall x(A(x)\land B(x))\iff\forall x A(x)\land\forall x B(x)\)
(C) \(\exists x(A(x)\lor B(x))\iff\exists x A(x)\lor\exists x B(x)\)
(D) \(\forall x\forall y(A(x)\to B(y))\iff\exists x A(x)\to\forall y B(y)\)
点击查看答案
ABCD。(A)(B)(C) 为谓词逻辑基本等值式;(D) 也是正确的等值式。
D 的证明
谓词逻辑常用等值式总结
| 等值式 | 说明 |
|---|---|
| \(\neg\forall x A \iff \exists x\neg A\) | 量词否定 |
| \(\neg\exists x A \iff \forall x\neg A\) | 量词否定 |
| \(\forall x(A\land B) \iff \forall x A\land\forall x B\) | \(\forall\) 对 \(\land\) 可分配 |
| \(\exists x(A\lor B) \iff \exists x A\lor\exists x B\) | \(\exists\) 对 \(\lor\) 可分配 |
| \(\forall x A\lor\forall x B \Rightarrow \forall x(A\lor B)\) | 单向,反向不成立 |
| \(\exists x(A\land B) \Rightarrow \exists x A\land\exists x B\) | 单向,反向不成立 |
| \(\forall x\forall y(A(x)\to B(y)) \iff \exists x A(x)\to\forall y B(y)\) | 量词前移等值式 |
| \(\forall x(A\to B) \Rightarrow \forall x A\to\forall x B\) | 全称实例化+假言推理 |
计算题¶
1. [真题]
设 \(X=\{0,1,2,3\}\),\(X\) 上有两个关系: \(R_1=\{(i,j)\mid j=i+1\text{ 或 }j=\dfrac{i}{2}\}\), \(R_2=\{(i,j)\mid i=j+2\}\)。 求下列复合关系: (1) \(R_1\circ R_2\) (2) \(R_2\circ R_1\) (3) \(R_1\circ R_2\circ R_1\)
点击查看答案
先写出集合形式:
(1) \(R_1\circ R_2\)
\(R_1\circ R_2\) 表示先 \(R_1\) 后 \(R_2\):\(R_1\circ R_2=\{(x,z)\mid\exists y,(x,y)\in R_1\land(y,z)\in R_2\}\)。
遍历 \(R_1\) 中的 \((x,y)\),检查 \(y\) 是否在 \(R_2\) 的定义域 \(\{2,3\}\) 中:
- \((1,2)\in R_1\),而 \((2,0)\in R_2\) → 得 \((1,0)\)
- \((2,3)\in R_1\),而 \((3,1)\in R_2\) → 得 \((2,1)\)
(2) \(R_2\circ R_1\)
\(R_2\circ R_1\) 表示先 \(R_2\) 后 \(R_1\):\(R_2\circ R_1=\{(x,z)\mid\exists y,(x,y)\in R_2\land(y,z)\in R_1\}\)。
- \((2,0)\in R_2\),而 \((0,1),(0,0)\in R_1\) → 得 \((2,1),(2,0)\)
- \((3,1)\in R_2\),而 \((1,2)\in R_1\) → 得 \((3,2)\)
(3) \(R_1\circ R_2\circ R_1\)
按结合律:\(R_1\circ R_2\circ R_1 = (R_1\circ R_2)\circ R_1 = \{(1,0),(2,1)\}\circ R_1\)。
注意先 \((R_1\circ R_2)\) 后 \(R_1\):
- 对于 \((1,0)\):\(0\) 在 \(R_1\) 中有后继 \((0,1),(0,0)\) → 得 \((1,1),(1,0)\)
- 对于 \((2,1)\):\(1\) 在 \(R_1\) 中有后继 \((1,2)\) → 得 \((2,2)\)
2. [真题]
证明下列逻辑等值式:
点击查看答案
证明题¶
1. [真题]
设 \(G\) 是无向连通图,且 \(G\) 中恰好有两个顶点的度数为奇数,其余顶点的度数均为偶数。证明:这两个奇数度顶点之间一定存在一条路径(即它们一定连通)。
点击查看答案
反证法。假设这两个奇度顶点 \(u\) 和 \(v\) 之间没有路径(不连通),那么它们必然分属两个不同的连通分支。
单独看 \(u\) 所在的连通分支:在这个分支里,除了 \(u\) 的度数为奇数,其余顶点度数全都是偶数(因为题目说整个图只有 \(u\) 和 \(v\) 两个奇度点,而 \(v\) 在另一个分支)。
但根据握手定理,任何图中奇度顶点的个数必须是偶数。这个分支只有 \(u\) 一个奇度顶点,矛盾。同理 \(v\) 所在的分支也会推出矛盾。所以假设不成立,\(u\) 和 \(v\) 必在同一连通分支中,即它们之间一定连通。
握手定理 (Handshaking Lemma)
内容:无向图中所有顶点的度数之和等于边数的两倍,即 \(\sum_{v\in V}\deg(v)=2|E|\)。
推论:任何图中,奇度顶点的个数一定是偶数。
直观理解:每条边连接两个顶点,贡献 2 度。所以总度数 = \(2\times\)边数,必为偶数。偶数 = 所有偶度顶点的度数(偶数) + 所有奇度顶点的度数。偶数减去偶数还是偶数,所以所有奇度顶点的度数之和必须是偶数——每个奇度顶点贡献奇数,必须成对出现才能凑成偶数。\(\square\)
2. [真题]
证明:对任意非负整数 \(n\),\(4^{2n+1}+3^{n+2}\) 能被 \(13\) 整除。
点击查看答案
数学归纳法。
\(n=0\):\(4^1+3^2=4+9=13\),成立。
设 \(n=k\) 成立:\(4^{2k+1}+3^{k+2}=13m\)。
\(n=k+1\):
能被 13 整除。得证。
试卷2, 部分来自历年卷(sp25)¶
单选题¶
1. [真题]
设论域为 \(\{1,2\}\),则 \(\exists x A(x)\) 等价于()
(A) \(A(1)\land A(2)\)
(B) \(A(1)\lor A(2)\)
(C) \(\neg A(1)\lor\neg A(2)\)
(D) \(A(1)\to A(2)\)
点击查看答案
B(\(A(1)\lor A(2)\))。论域有限时,\(\exists x A(x)\) 等价于对各元素的析取。
2. [猜测]
设 \(A=\{a,b,c\}\),\(B=\{1,2\}\),则从 \(A\) 到 \(B\) 的函数的个数为()
(A) \(5\)
(B) \(6\)
(C) \(8\)
(D) \(9\)
点击查看答案
C(8)。从 \(A\)(3 元素)到 \(B\)(2 元素)的函数个数为 \(2^3=8\)。
3. [真题]
已知 \(A=\{\langle1,2\rangle,\langle2,1\rangle,\langle2,3\rangle,\langle3,4\rangle\}\),则 \(A\circ A=\)()
(A) \(\{\langle1,1\rangle,\langle1,3\rangle,\langle2,2\rangle,\langle2,4\rangle\}\)
(B) \(\{\langle1,1\rangle,\langle2,4\rangle\}\)
(C) \(\{\langle1,1\rangle,\langle1,3\rangle,\langle2,2\rangle\}\)
(D) \(\{\langle2,1\rangle,\langle3,2\rangle\}\)
点击查看答案
A(\(\{\langle1,1\rangle,\langle1,3\rangle,\langle2,2\rangle,\langle2,4\rangle\}\))。 \(A\circ A\) 计算:\((1,2)\circ(2,1)=(1,1)\),\((1,2)\circ(2,3)=(1,3)\),\((2,1)\circ(1,2)=(2,2)\),\((2,3)\circ(3,4)=(2,4)\)。共 4 个。
4. [真题]
无向图 \(G\) 是欧拉图的充要条件为()
(A) \(G\) 连通且所有顶点度数为偶数
(B) \(G\) 连通且恰有两个奇度顶点
(C) \(G\) 中所有顶点度数均为奇数
(D) \(G\) 的边数大于等于顶点数
点击查看答案
A(\(G\) 连通且所有顶点度数为偶数)。
5. [真题]
设 \(A=\{1,2,3,4,5,6,7,8\}\),\(R\) 是 \(A\) 上的整除关系,\(B=\{2,4,6\}\)。关于 \(B\) 的以下叙述正确的是()
(A) \(B\) 有最大元 \(6\),无最小元
(B) \(B\) 有上确界,无下确界
(C) \(B\) 无最大元,有极大元 \(4\) 和 \(6\)
(D) \(B\) 的上确界是 \(6\)
点击查看答案
C(\(B\) 无最大元,有极大元 \(4\) 和 \(6\))。在整除关系下:\(2\mid4\),\(2\mid6\),但 \(4\nmid6\) 且 \(6\nmid4\),故 \(4\) 和 \(6\) 不可比较,无最大元。\(2\) 是极小元(整除 \(4\) 和 \(6\))。
✗ (A) \(2\) 是最小元(整除 \(4\) 和 \(6\)),无最大元。
✗ (B) 下确界为 \(2\)(\(\gcd(2,4,6)=2\));上界需是 \(\operatorname{lcm}(2,4,6)=12\) 的倍数,\(A\) 中没有,故无上确界。
✗ (D) \(6\) 不是上界(\(4\nmid6\)),上确界不存在。
6. [真题]
下列谓词逻辑等值式中错误的是()
(A) \(\neg\forall x A(x)\iff\exists x\neg A(x)\)
(B) \(\forall x(A(x)\land B(x))\iff\forall x A(x)\land\forall x B(x)\)
(C) \(\exists x(A(x)\land B(x))\iff\exists x A(x)\land\exists x B(x)\)
(D) \(\forall x\forall y(A(x)\to B(y))\iff\exists x A(x)\to\forall y B(y)\)
点击查看答案
C(\(\exists x(A(x)\land B(x))\iff\exists x A(x)\land\exists x B(x)\))。方向 \(\to\) 成立,但 \(\gets\) 不成立(两个存在量词可能指不同 \(x\))。
量词转换口诀
- \(\neg\forall x A \iff \exists x\neg A\),\(\neg\exists x A \iff \forall x\neg A\)
- \(\forall\) 对 \(\land\) 可分配;\(\exists\) 对 \(\lor\) 可分配
- \(\forall\) 对 \(\lor\)、\(\exists\) 对 \(\land\) 不可分配(不同 \(x\) 可能不同)
不定项选择题¶
1. [真题]
设 \(A=\emptyset\),\(B=\mathcal{P}(\mathcal{P}(A))\),则以下叙述正确的是()
(A) \(\emptyset\in B\)
(B) \(\{\emptyset,\{\emptyset,\{\emptyset\}\}\}\in B\)
(C) \(\{\emptyset\}\in B\)
(D) \(\emptyset\subseteq B\)
点击查看答案
ACD。\(A=\emptyset\),\(\mathcal{P}(A)=\{\emptyset\}\),\(\mathcal{P}(\mathcal{P}(A))=\{\emptyset,\{\emptyset\}\}=B\)。 (A) \(\emptyset\in B\) ✓;(B) \(\{\emptyset,\{\emptyset,\{\emptyset\}\}\}\) 不在 \(B\) 中 ✗;(C) \(\{\emptyset\}\in B\) ✓;(D) \(\emptyset\subseteq B\) ✓。
如何理解A与D
- (A) \(\emptyset\in B\):问的是 \(\emptyset\) 是不是 \(B\) 的元素。\(B=\{\emptyset,\{\emptyset\}\}\),\(\emptyset\) 就在 \(B\) 里,所以成立
- (D) \(\emptyset\subseteq B\):问的是 \(\emptyset\) 是不是 \(B\) 的子集。空集是任何集合的子集(\(\forall S,\ \emptyset\subseteq S\)),所以也成立
2. [真题]
以下关于集合运算的说法正确的是()
(A) 若 \(S\cup T=S\cup M\),则 \(T=M\)
(B) 若 \(S-T=\emptyset\),则 \(S=T\)
(C) 若 \(S\cap T=S\cap M\) 且 \(S\cup T=S\cup M\),则 \(T=M\)
(D) 若 \(\overline{S}\cup T=E\)(\(E\) 为全集),则 \(S\subseteq T\)
点击查看答案
CD。(A) 反例:\(S=\{1\},T=\{1,2\},M=\{2\}\);(B) \(S-T=\emptyset\) 只说明 \(S\subseteq T\);(C) 正确,集合相等可由上下界刻画;(D) 正确,\(\overline{S}\cup T=E \iff S\subseteq T\)。
3. [真题]
以下函数中是单射函数的是()
(A) \(f(x)=x+3\)
(B) \(f(x)=(x+3)^2\)
(C) \(f(x)=x^3+x\)
(D) \(f(x)=|x+3|\)
点击查看答案
AC。(A) \(x+3\) 严格单调,单射;(B) \((x+3)^2\) 对称,\(x=-2\) 和 \(x=-4\) 同值;(C) \(x^3+x\) 严格单调(导数为 \(3x^2+1>0\)),单射;(D) \(|x+3|\) 对称。
单射 / 满射 / 双射
- 单射:\(f(x_1)=f(x_2)\Rightarrow x_1=x_2\)(不同输入不同输出)
- 满射:\(\forall y\in Y,\exists x\in X,\ f(x)=y\)(值域=陪域)
- 双射:既单又满,可逆。
4. [真题]
设 \(A=\{1,2,3,4,5,6,7,8,9,10\}\),关系 \(R=\{(x,y)\mid x+y=11\}\),则 \(R\) 具有的性质是()
(A) 自反性
(B) 反自反性
(C) 对称性
(D) 传递性
点击查看答案
BC。(A) \((1,1)\notin R\),非自反;(B) \(x+x=11\) 在 \(A\) 中无解,故所有 \((x,x)\) 均不在 \(R\) 中,反自反;(C) \(x+y=11\iff y+x=11\),对称;(D) \((1,10)\in R,(10,1)\in R\) 但 \((1,1)\notin R\),非传递。
5. [真题]
关于无向简单图 \(G\),下列说法正确的是()
(A) 若边数 \(e>v-1\)(\(v\) 为顶点数),则 \(G\) 一定连通
(B) 完全图 \(K_v\) 的边数为 \(\dfrac{v(v-1)}{2}\)
(C) 若 \(G\) 是二分图,则 \(G\) 不含奇圈
(D) \(v=4\) 的完全图有 \(11\) 个非同构子图(不含空图)
点击查看答案
BC。
(A) 反例:\(v=5\),在 4 个顶点上取 \(K_4\) 的 5 条边,剩余 1 个顶点孤立,此时 \(e=5>4=v-1\) 但不连通;
(B) 完全图每对顶点恰有一条边,共 \(C_v^2=v(v-1)/2\) 条;
(C) 二分图顶点可二染色,边只能连接异色顶点。假设含奇圈 \(v_1v_2\cdots v_{2k+1}v_1\),从 \(v_1\) 出发交替染色,绕一圈后 \(v_1\) 同时被染两种颜色,矛盾。故二分图不含奇圈,正确;
(D) 错。11 是 \(|V|=4\) 的生成子图数(按边数 0~6: 1,1,2,3,2,1,1),但子图可取更少顶点:\(|V|=1\) 有 1 个,\(|V|=2\) 有 2 个,\(|V|=3\) 有 4 个,加空图共 \(1+1+2+4+11=19\) 个(不含空图 18 个)。
6. [真题]
下列逻辑关系式中正确的是()
(A) \(\forall x(A(x)\to B(x))\to(\forall x A(x)\to\forall x B(x))\)
(B) \((\forall x A(x)\to\forall x B(x))\to\forall x(A(x)\to B(x))\)
(C) \(\exists x(A(x)\land B(x))\to\exists x A(x)\land\exists x B(x)\)
(D) \(\exists x A(x)\land\exists x B(x)\to\exists x(A(x)\land B(x))\)
点击查看答案
AC。(A) 全称实例化+假言推理,正确;(B) 方向不成立;(C) \(\exists x(A\land B)\) 蕴含各自存在,正确;(D) 方向不成立,两存在量词可能不同。
计算题¶
1. [真题]
设 \(A=\{0,1\}\),\(B=\{1,2\}\),求 \(A^2\times B\)。
点击查看答案
\(A^2=A\times A=\{(0,0),(0,1),(1,0),(1,1)\}\), \(A^2\times B=\{(0,0,1),(0,0,2),(0,1,1),(0,1,2),(1,0,1),(1,0,2),(1,1,1),(1,1,2)\}\),共 8 个有序三元组。
笛卡尔积
\(A\times B=\{(a,b)\mid a\in A,\ b\in B\}\),即从 \(A\) 和 \(B\) 各取一元素组成有序对。
基数:\(|A\times B|=|A|\cdot|B|\)。推广:\(A_1\times A_2\times\cdots\times A_n\) 的元素是有序 \(n\) 元组,基数等于各集合基数的乘积。
2. [真题]
求命题公式 \((P\to\neg Q)\to R\) 的主析取范式和主合取范式。
点击查看答案
\((P\to\neg Q)\to R\)
\(\iff \neg(\neg P\lor\neg Q)\lor R\)
\(\iff (P\land Q)\lor R\)
展开为小项:\((P\land Q\land R)\lor(P\land Q\land\neg R)\lor(P\land R)\lor(\neg P\land R)\) \(=m_7\lor m_6\lor(m_7\lor m_3)\lor(m_3\lor m_1)\) \(=m_1\lor m_3\lor m_6\lor m_7\)
主合取范式:\(M_0\land M_2\land M_4\land M_5\)。
证明题¶
1. [真题]
证明:\((A-B)-C=A-(B\cup C)\)。
点击查看答案
2. [真题]
证明:对任意大于 \(1\) 的自然数 \(n\),
点击查看答案
数学归纳法。
基础 \(n=2\):
归纳假设:设 \(n=k\) 时成立,即
归纳递推 \(n=k+1\):
只需证 \(\displaystyle\frac{k+1}{2k+1}\sqrt{2k+1}\ge\frac{\sqrt{2k+3}}{2}\),两边平方等价于:
故 \(n=k+1\) 时也成立。由数学归纳法,原不等式对任意 \(n>1\) 成立。
模拟卷(来自复习课)¶
单选题¶
不定项选择题¶
计算题¶
Probability and Statistics¶
填空题¶
1. [推测] — 分布模型匹配
Match the following scenarios to the corresponding discrete probability distribution models:
(a) A factory produces parts, each with probability \(p\) of being defective. Inspect one part to see if it is defective.
(b) Inspect \(n\) parts and count the number of defective ones.
(c) On average, \(\alpha\) customers visit a store per hour. Count the number of customers arriving in one hour.
(d) Repeatedly inspect parts until the \(k\)-th defective part is found. Count the total number of inspections.
(e) Repeatedly toss a coin until the first head appears. Count the total number of tosses.
(f) Randomly select one integer from \(\{k, k+1, \dots, l\}\), where each integer is equally likely.
Distribution models: Bernoulli / Binomial / Poisson / Pascal / Geometric / Discrete Uniform
点击查看参考翻译
将以下场景与对应的离散概率分布模型匹配:
(a) 工厂生产零件,每个零件有概率 \(p\) 为次品。检验一个零件看它是否为次品。
(b) 检验 \(n\) 个零件,统计次品数量。
(c) 平均每小时有 \(\alpha\) 位顾客光顾商店。统计一小时内到达的顾客数。
(d) 反复检验零件直到发现第 \(k\) 个次品。统计总检验次数。
(e) 反复抛硬币直到第一次出现正面。统计总抛掷次数。
(f) 从 \(\{k, k+1, \dots, l\}\) 中随机等可能地选取一个整数。
分布模型:伯努利分布 / 二项分布 / 泊松分布 / 帕斯卡分布 / 几何分布 / 离散均匀分布
点击查看答案
| 场景 | 分布模型 | 说明 |
|---|---|---|
| (a) | Bernoulli(两点分布) | 单次试验,成功/失败 |
| (b) | Binomial(二项分布) | \(n\) 次独立试验中成功的次数 |
| (c) | Poisson(泊松分布) | 单位时间内事件发生的次数 |
| (d) | Pascal(帕斯卡分布) | 直到第 \(k\) 次成功所需的试验次数 |
| (e) | Geometric(几何分布) | 直到第一次成功(Pascal 的特例 \(k=1\)) |
| (f) | Discrete Uniform(离散均匀分布) | 有限个等可能结果 |
2. [23-24 真题]
The probability of fog in a city on any given day is \(0.4\). On foggy days, the probability that a resident wears a mask is \(0.2\); on non-foggy days, the probability is \(0.01\).
(1) Find the probability that a randomly selected resident wears a mask on a randomly chosen day;
(2) Suppose there are three residents whose mask-wearing behaviors are mutually independent. Find the probability that at least one of them wears a mask.
点击查看参考翻译
某城市任意一天有雾的概率为 \(0.4\)。有雾天居民戴口罩的概率为 \(0.2\);无雾天戴口罩的概率为 \(0.01\)。
(1) 求随机选取一天,随机选取一位居民戴口罩的概率;
(2) 假设有三位居民,他们的戴口罩行为相互独立。求至少一人戴口罩的概率。
点击查看答案
(1)
(2)
解法提示
全概率公式:\(P(A)=P(B_1)P(A\mid B_1)+P(B_2)P(A\mid B_2)\)
- \(B_1\) = 有雾,\(B_2\) = 无雾
- 先算 \(P(\text{戴口罩})\),再算 \(P(\text{至少一人戴})=1-(1-p)^3\)
3. [24-25 真题]
The probability of haze in a city is \(0.2\). On hazy days, the probability that a resident wears a mask is \(0.3\); on non-hazy days, the probability is \(0.05\).
(1) Find the probability that a randomly selected resident wears a mask;
(2) If there are \(3\) mutually independent residents on the street, find the probability that at least one of them wears a mask.
点击查看参考翻译
某城市有霾的概率为 \(0.2\)。有霾天居民戴口罩的概率为 \(0.3\);无霾天戴口罩的概率为 \(0.05\)。
(1) 求随机选取一位居民戴口罩的概率;
(2) 如果街上有 3 位相互独立的居民,求至少一人戴口罩的概率。
点击查看答案
(1)
(2)
解法提示
全概率公式:\(P(A)=P(B_1)P(A\mid B_1)+P(B_2)P(A\mid B_2)\),其中 \(B_1,B_2\) 是样本空间的一个分割。
- 本题 \(B_1\) = 有霾,\(B_2\) = 无霾
- 先算 \(P(\text{戴口罩})\),再用补事件算 \(P(\text{至少一人戴})=1-(1-p)^3\)
计算题¶
1. [23-24 真题] — 中心极限定理
A random binary string of length \(1\,000\,000\) is generated, with each bit independently and equally likely to be \(0\) or \(1\). Use the Central Limit Theorem to estimate the probability that the string contains at least \(502\,000\) ones.
点击查看参考翻译
生成长度为 \(1\,000\,000\) 的随机二进制串,每位独立等可能为 \(0\) 或 \(1\)。使用中心极限定理估计该串包含至少 \(502\,000\) 个 \(1\) 的概率。
点击查看答案
\(X\sim\text{二项分布}(n=10^6,p=0.5)\)。
由 De Moivre-Laplace 中心极限定理:
\(\mu = np = 500\,000\),\(\sigma = \sqrt{np(1-p)} = \sqrt{250\,000} = 500\)。
\(Z = \dfrac{502\,000 - 500\,000}{500} = 4\)。
\(P(X \ge 502\,000) \approx 1 - \Phi(4) \approx 1 - 0.9999683 \approx 3.17\times 10^{-5}\)。
解法提示
二项分布用 CLT 近似(De Moivre-Laplace 公式):
- \(\mu=np\),\(\sigma=\sqrt{np(1-p)}\)
- 标准化:\(Z=\dfrac{X-np}{\sqrt{np(1-p)}}\approx N(0,1)\)
- \(P(X\ge k)\approx 1-\Phi(Z)\),查标准正态表得概率
连续性校正:二项分布离散,正态分布连续,严格来说 \(P(X\ge 502\,000)\) 应对应 \(Z=\dfrac{501\,999.5-500\,000}{500}=3.999\)(边界左移 \(0.5\))。但 \(n=10^6\) 极大,校正量 \(0.5/\sigma=0.001\),对结果几乎无影响,可省略。
本题与 LLN(大数定律)的区别:LLN 说样本均值趋近期望,不给具体概率;CLT 给出近似分布,能算具体概率。
2. [24-25 真题] — 泊松分布
Customer arrivals at a store follow a Poisson distribution, with an average of \(10\) customers arriving in \(20\) minutes.
(1) Find the probability that at least \(1\) customer arrives in \(20\) minutes;
(2) Find the probability that exactly \(2\) customers arrive in \(8\) minutes.
点击查看参考翻译
某商店顾客到达服从泊松分布,平均每 \(20\) 分钟有 \(10\) 位顾客到达。
(1) 求 \(20\) 分钟内至少 \(1\) 位顾客到达的概率;
(2) 求 \(8\) 分钟内恰好 \(2\) 位顾客到达的概率。
点击查看答案
\(X\sim\text{泊松分布}(\alpha=10)\)(每 20 分钟)。
(1)
(2) 8 分钟参数:\(\alpha_8 = 10\times\frac{8}{20}=4\)。
解法提示
泊松分布公式:\(P(X=k)=\dfrac{\alpha^k e^{-\alpha}}{k!}\),期望和方差均为 \(\alpha\)。
-
\(\alpha\) 按时间比例缩放:如本题每 20 分钟 \(\alpha=10\),则 8 分钟 \(\alpha_8=10\times\frac{8}{20}=4\)
-
至少一个用补事件:\(P(X\ge 1)=1-P(X=0)=1-e^{-\alpha}\)
-
恰好 k 个直接代入公式
3. [23-24 真题] — 切比雪夫 + CLT
Let \(W = \dfrac{X_1+X_2+X_3+X_4}{4}\), where \(E(X_i)=5\), \(\text{Var}(X_i)=20\), and \(X_1,X_2,X_3,X_4\) are mutually independent.
(1) Find the mean and variance of \(W\);
(2) Use Chebyshev inequality to estimate \(P[W \ge 20]\);
(3) Use the Central Limit Theorem to approximate \(P[W \ge 20]\).
点击查看参考翻译
设 \(W = \dfrac{X_1+X_2+X_3+X_4}{4}\),其中 \(E(X_i)=5\),\(\text{Var}(X_i)=20\),且 \(X_1,X_2,X_3,X_4\) 相互独立。
(1) 求 \(W\) 的均值和方差;
(2) 使用切比雪夫不等式估计 \(P[W \ge 20]\);
(3) 使用中心极限定理近似 \(P[W \ge 20]\)。
点击查看答案
(1)
(2) 切比雪夫不等式:
(3) 中心极限定理: \(Z = \dfrac{20-5}{\sqrt{5}} = \dfrac{15}{\sqrt{5}} \approx 6.708\)
解法提示
- 马尔科夫不等式(Markov Inequality):\(P[X\ge c]\le E[X]/c\)
- 切比雪夫不等式(Chebyshev Inequality):\(P[|Y-\mu_Y|\ge c]\le \mathrm{Var}[Y]/c^2\)
期望/方差运算(独立时):
- \(E(aX+bY)=aE(X)+bE(Y)\)
- \(\mathrm{Var}(aX+bY)=a^2\mathrm{Var}(X)+b^2\mathrm{Var}(Y)\)(协方差项为 0)
CLT:\(Z=\dfrac{W-\mu_W}{\sigma_W}\approx N(0,1)\),查标准正态表得概率。
本题中 \(W=\frac{X_1+X_2+X_3+X_4}{4}\),\(E(W)=5\),\(\mathrm{Var}(W)=5\)。切比雪夫给出上界约 0.0222,CLT 给出近似值约 0(\(Z=6.708\) 远在 3\(\sigma\) 之外)。
4. [23-24 真题] — 联合分布 / 协方差 / 相关系数
The joint frequency distribution of a two-dimensional discrete random variable \((X,Y)\) is given below:
| \(Y\backslash X\) | \(0\) | \(1\) | \(2\) |
|---|---|---|---|
| \(0\) | \(160\) | \(80\) | \(120\) |
| \(1\) | \(240\) | \(40\) | \(160\) |
(1) Find the marginal distributions (frequency tables) of \(X\) and \(Y\);
(2) Determine whether \(X\) and \(Y\) are independent;
(3) Compute the covariance \(\text{Cov}(X,Y)\);
(4) Compute the correlation coefficient \(\rho_{XY}\).
点击查看参考翻译
二维离散随机变量 \((X,Y)\) 的联合频数分布如下表:
| \(Y\backslash X\) | \(0\) | \(1\) | \(2\) |
|---|---|---|---|
| \(0\) | \(160\) | \(80\) | \(120\) |
| \(1\) | \(240\) | \(40\) | \(160\) |
(1) 求 \(X\) 和 \(Y\) 的边缘分布(频数表);
(2) 判断 \(X\) 和 \(Y\) 是否独立;
(3) 计算协方差 \(\text{Cov}(X,Y)\);
(4) 计算相关系数 \(\rho_{XY}\)。
点击查看答案
总频数 \(N = 160+80+120+240+40+160 = 800\)。
(1) \(X\) 的边缘分布: \(P(X=0)=\frac{400}{800}=0.5\),\(P(X=1)=\frac{120}{800}=0.15\),\(P(X=2)=\frac{280}{800}=0.35\)。
\(Y\) 的边缘分布:\(P(Y=0)=\frac{360}{800}=0.45\),\(P(Y=1)=\frac{440}{800}=0.55\)。
(2) 检验 \(P(X=0,Y=0)=\frac{160}{800}=0.2\),而 \(P(X=0)P(Y=0)=0.5\times0.45=0.225\neq0.2\)。不独立。
(3) \(E(X)=0\cdot0.5+1\cdot0.15+2\cdot0.35=0.85\),
\(E(Y)=0\cdot0.45+1\cdot0.55=0.55\)。
\(E(XY)=0.05+0.4=0.45\)。
\(\text{Cov}(X,Y)=0.45-0.85\times0.55=-0.0175\)。
(4) \(\text{Var}(X)=E(X^2)-(E(X))^2=1.55-0.7225=0.8275\)。
\(\text{Var}(Y)=0.55-0.55^2=0.2475\)。
\(\rho_{XY}=\dfrac{-0.0175}{\sqrt{0.8275\times0.2475}}\approx -0.0386\)。
解法提示
离散二元联合频数表:
- 频数转概率:每个格子 \(\div\) 总数 \(N\) 得 \(P(X=x_i,Y=y_j)\)
- 边缘 PMF:对行求和得 \(P(Y=y_j)\),对列求和得 \(P(X=x_i)\)
- 判独立:检查 \(P(X=x_i,Y=y_j) \stackrel{?}{=} P(X=x_i)P(Y=y_j)\)
-
协方差/相关系数:
-
\(E(X)=\sum x_i P(X=x_i)\),\(E(Y)=\sum y_j P(Y=y_j)\)
- \(E(XY)=\sum\sum x_i y_j P(X=x_i,Y=y_j)\)
- \(\mathrm{Cov}(X,Y)=E(XY)-E(X)E(Y)\)
- \(\rho_{XY}=\dfrac{\mathrm{Cov}(X,Y)}{\sqrt{\mathrm{Var}(X)\mathrm{Var}(Y)}}\)
5. [24-25 真题] — 联合分布 / 协方差 / 相关系数
For a total of \(1200\) samples, the joint frequencies of hair color (\(0\) = white / \(1\) = grey / \(2\) = dark) and length (\(0\) = short / \(1\) = long) are as follows:
| white(\(0\)) | grey(\(1\)) | dark(\(2\)) | |
|---|---|---|---|
| short(\(0\)) | \(300\) | \(150\) | \(30\) |
| long(\(1\)) | \(360\) | \(240\) | \(120\) |
(1) Write the joint probability mass function (Joint PMF);
(2) Write the marginal probability mass functions (Marginal PMF);
(3) Compute the covariance \(\text{Cov}(X,Y)\);
(4) Compute the correlation coefficient \(\rho_{XY}\).
点击查看参考翻译
共 \(1200\) 个样本,头发颜色(\(0\) = 白 / \(1\) = 灰 / \(2\) = 黑)和长度(\(0\) = 短 / \(1\) = 长)的联合频数如下:
| 白(\(0\)) | 灰(\(1\)) | 黑(\(2\)) | |
|---|---|---|---|
| 短(\(0\)) | \(300\) | \(150\) | \(30\) |
| 长(\(1\)) | \(360\) | \(240\) | \(120\) |
(1) 写出联合概率质量函数(Joint PMF);
(2) 写出边缘概率质量函数(Marginal PMF);
(3) 计算协方差 \(\text{Cov}(X,Y)\);
(4) 计算相关系数 \(\rho_{XY}\)。
点击查看答案
\(N=1200\)。联合 PMF = 频数 \(\div\ 1200\)。
(1) 联合 PMF: \(P(X=0,Y=0)=0.25\),\(P(X=1,Y=0)=0.125\),\(P(X=2,Y=0)=0.025\), \(P(X=0,Y=1)=0.3\),\(P(X=1,Y=1)=0.2\),\(P(X=2,Y=1)=0.1\)。
(2) \(X\) 边缘 PMF:\(P(X=0)=0.55\),\(P(X=1)=0.325\),\(P(X=2)=0.125\)。 \(Y\) 边缘 PMF:\(P(Y=0)=0.4\),\(P(Y=1)=0.6\)。
(3) \(E(X)=0\cdot0.55+1\cdot0.325+2\cdot0.125=0.575\),\(E(Y)=0\cdot0.4+1\cdot0.6=0.6\)。 \(E(XY)=1\cdot1\cdot0.2+2\cdot1\cdot0.1=0.4\)。 \(\text{Cov}(X,Y)=0.4-0.575\times0.6=0.055\)。
(4) \(\text{Var}(X)=E(X^2)-0.575^2=(1\cdot0.325+4\cdot0.125)-0.3306=0.825-0.3306=0.4944\)。 \(\text{Var}(Y)=0.6-0.6^2=0.24\)。 \(\rho_{XY}=0.055/\sqrt{0.4944\times0.24}\approx 0.1597\)。
6. [23-24 真题] — 连续型随机变量 PDF/CDF
Let the probability density function of a random variable \(X\) be
(1) Find the constant \(k\);
(2) Find the cumulative distribution function \(F_X(x)\);
(3) Find \(P[X\ge 1.5]\).
点击查看参考翻译
设随机变量 \(X\) 的概率密度函数为 \(f_X(x)\)(如上式)。
(1) 求常数 \(k\);
(2) 求累积分布函数 \(F_X(x)\);
(3) 求 \(P[X\ge 1.5]\)。
点击查看答案
(1) 由归一化条件:
(2) 累积分布函数:
(3)
解法提示
给 PDF 求 常数/CDF/概率 :
- 求常数:\(\displaystyle\int_{-\infty}^{\infty}f_X(x)\,\mathrm{d}x=1\),分段积分解出常数
- 求 CDF:\(F_X(x)=\displaystyle\int_{-\infty}^x f_X(t)\,\mathrm{d}t\),分段积分,每段累积
- 求概率:\(P(a<X<b)=F_X(b)-F_X(a)\)
本题 PDF 分段:\(0<x<1\) 时 \(f(x)=k(1-x)\),\(1\le x\le2\) 时 \(f(x)=\frac12 x\),注意分段积分时 CDF 每段要加上前一段的累积值。
7. [24-25 真题] — 连续型随机变量 PDF/CDF
Let the probability density function of a random variable \(X\) be
(1) Find the constant \(c\);
(2) Find the cumulative distribution function \(F_X(x)\);
(3) Find \(P[-1<X<1.5]\).
点击查看参考翻译
设随机变量 \(X\) 的概率密度函数为 \(f_X(x)\)(如上式)。
(1) 求常数 \(c\);
(2) 求累积分布函数 \(F_X(x)\);
(3) 求 \(P[-1<X<1.5]\)。
点击查看答案
(1) 由归一化条件:
(2) 累积分布函数:
(3)
8. [23-24/24-25 真题] — 联合 PDF / 边缘 / 条件
Let the joint probability density function of \((X,Y)\) be
(1) Find \(P[Y\le X]\);
(2) Find the marginal PDF \(f_Y(y)\);
(3) Find the conditional PDF \(f_{X\mid Y}(x\mid y)\).
点击查看参考翻译
设 \((X,Y)\) 的联合概率密度函数为 \(f_{X,Y}(x,y)\)(如上式)。
(1) 求 \(P[Y\le X]\);
(2) 求边缘 PDF \(f_Y(y)\);
(3) 求条件 PDF \(f_{X\mid Y}(x\mid y)\)。
点击查看答案
积分区域:\(-1<y<1\),\(y^2<x<1\)。
(1) 对 \(y\le 0\):\(y^2<x<1\) 且 \(x>0\ge y\),恒满足 \(y\le x\)。 对 \(y>0\):需满足 \(x>y\) 且 \(x>y^2\)。由于 \(y\in(0,1)\) 时 \(y^2<y\),紧下界为 \(x>y\)。
第一部分:\(\int_{-1}^0 \frac{5}{8}(1-y^4)\mathrm{d}y = \frac{5}{8}\Bigl(1-\frac{1}{5}\Bigr) = \frac{5}{8}\cdot\frac{4}{5} = \frac{1}{2}\)。
第二部分:\(\int_0^1 \frac{5}{8}(1-y^2)\mathrm{d}y = \frac{5}{8}\Bigl(1-\frac{1}{3}\Bigr) = \frac{5}{8}\cdot\frac{2}{3} = \frac{5}{12}\)。
(2) \(f_Y(y) = \displaystyle\int_{y^2}^1 \frac{5}{4}x\,\mathrm{d}x = \frac{5}{8}(1-y^4)\),\(-1<y<1\)。
(3) \(f_{X\mid Y}(x\mid y) = \dfrac{f(x,y)}{f_Y(y)} = \dfrac{\frac{5}{4}x}{\frac{5}{8}(1-y^4)} = \dfrac{2x}{1-y^4}\),\(y^2<x<1\)。
解法提示
给联合 PDF \(f_{X,Y}(x,y)\) 和区域(如 \(y^2<x<1\)),三步走:
- 边缘 PDF:把另一个变量积掉 \(f_Y(y)=\int f_{X,Y}(x,y)\,\mathrm{d}x\)
- 条件 PDF:\(f_{X\mid Y}(x\mid y)=\dfrac{f_{X,Y}(x,y)}{f_Y(y)}\)
- 求概率:在给定区域上对联合 PDF 做二重积分,关键是画图确定积分限
本题区域为 \(-1<y<1\),\(y^2<x<1\)。求 \(P[Y\le X]\) 时要分 \(y\le0\) 和 \(y>0\) 两段讨论。
概率论术语表¶
来源:语雀 信安数学基础 5 · 概率论
基础概念¶
| 英文 | 中文 |
|---|---|
| Sample Space | 样本空间 |
| Event | 事件 |
| Mutually Exclusive | 互斥 |
| Collectively Exhaustive | 穷尽 |
| Partition | 分割 |
| Conditional Probability | 条件概率 |
| Independent Events | 独立事件 |
| Random Variable | 随机变量 |
离散型随机变量¶
| 英文 | 中文 |
|---|---|
| Discrete Random Variable | 离散型随机变量 |
| Probability Mass Function (PMF) | 概率质量函数 |
| Cumulative Distribution Function (CDF) | 累积分布函数 |
| Expected Value | 期望 |
| Variance | 方差 |
| Standard Deviation | 标准差 |
| Bernoulli Distribution | 两点分布(伯努利分布) |
| Binomial Distribution | 二项分布 |
| Poisson Distribution | 泊松分布 |
| Pascal Distribution | 帕斯卡分布 |
| Geometric Distribution | 几何分布 |
| Discrete Uniform Distribution | 离散均匀分布 |
连续型随机变量¶
| 英文 | 中文 |
|---|---|
| Continuous Random Variable | 连续型随机变量 |
| Probability Density Function (PDF) | 概率密度函数 |
| Uniform Distribution | 均匀分布 |
| Standard Normal Distribution | 标准正态分布 |
| Gaussian / Normal Distribution | 高斯分布 / 正态分布 |
| Exponential Distribution | 指数分布 |
多元随机变量¶
| 英文 | 中文 |
|---|---|
| Joint PMF | 联合概率质量函数 |
| Marginal PMF | 边沿概率质量函数 |
| Joint CDF | 联合累积分布函数 |
| Joint PDF | 联合概率密度函数 |
| Marginal PDF | 边沿概率密度函数 |
| Covariance | 协方差 |
| Uncorrelated | 不相关 |
| Correlation Coefficient | 相关系数 |
| Correlation | 相关度 |
| Conditional PMF | 条件概率质量函数 |
| Conditional PDF | 条件概率密度函数 |
| Bivariate Gaussian | 二元高斯随机变量 |
极限定理与估计¶
| 英文 | 中文 |
|---|---|
| Central Limit Theorem (CLT) | 中心极限定理 |
| De Moivre-Laplace Formula (DML) | 拉普拉斯公式 |
| Sample Mean | 样本均值 |
| Markov Inequality | 马尔科夫不等式 |
| Chebyshev Inequality | 切比雪夫不等式 |
| Unbiased Estimator | 无偏估计 |
| Asymptotically Unbiased Estimator | 渐近无偏估计 |
| Mean Square Error (MSE) | 均方误差 |
| Consistent Estimator | 一致估计(consistent) |