2025-2026学年下学期期末
2025-2026学年下学期期末试卷——张民
说明
根据“张民老师班”目录中的试卷照片整理。照片包含第 1—4 页,其中第 3、4 页各有两张重复照片;第 5 页缺失,第 14 题配图及第 15 题缺失。保留原卷中英文题面、题号和分值,照片中的手写作答与批改未作为参考答案收录;配图中无法与印刷线条分离的笔迹暂保留。
一、Logic, Sets, Functions and Relations(4 questions, 30 points)
-
(6 points)Show the following statement.
Premises: ;
Conclusion:
-
(8 points)回答下列问题:
(a) 请建立 到 的双射;
(b) 请建立 到 的双射。
-
(6 points)考虑偏序集 ,其中 , 为通常的大小关系(全序)。设 ,定义 的上闭包
下闭包
对 和 ,计算 、、 的值。
-
(10 points)设 是一个从集合 到集合 的函数。在集合 上定义关系 如下:
(1)(6 points)证明: 是 上的等价关系。
(2)(4 points)证明:对任意 ,原像集 是 的一个等价类。
注: 表示函数 的值域。
二、Counting(6 questions, 45 points)
-
(9 points)Answer following questions:
(a) Suppose . How many ordered triples are there such that ?
(b) Suppose is a positive integer. How many functions are there from the set to the set that are onto?
(c) Find the largest coefficient in the expansion of .
-
(5 points)在一个边长为 2 的正方形内部任意放置 10 个点。请证明:必定存在至少两个点,它们之间的距离不超过 。
-
(9 points)Find the generating function for the sequence , where denotes the number of non-negative integer solutions to each of the following equations:
(a) , where , .
(b) .
(c) , where .
-
(6 points)A matrix is “good” if in each row there are no repeated elements, and in each column there are no repeated elements. How many “good” matrices are there with 2 rows and 5 columns, where all of their elements are from ?
-
(8 points)Let and let denote the number of non-empty subsets of that contain no two consecutive integers.
(a) Find a recurrence relation for and give the initial condition.
(b) Solve the recurrence relation.
-
(8 points)Consider the linear nonhomogeneous recurrence relation:
State the form of a particular solution for each of the following cases:
(a)
(b)
(c)
(d)
三、Graphs(5 questions, 25 points)
-
(7 points)The complete m-partite graph has vertices partitioned into subsets of elements each, and vertices are adjacent if and only if they are in different subsets in the partition.
(a)(1 points)What is the chromatic number of ?
(b)(2 points)Please draw . How many vertices and edges does it have?
(c)(4 points)Does have Euler Parth or Euler Circuit? Please explain.
-
(7 points)请回答下列问题:
(a)(4 points)设 是 个顶点的简单图,且 与它的补图 同构。证明 必须能被 4 整除。
注:对于简单图 ,其补图为 ,其中 包含所有在 中不存在的边(即完全图 减去 的边)。
(b)(3 points)判断下列两个图 和 是否同构。请说明你的理由。

-
(6 points)Please answer the questions considering the graph given below:

(a)(4 points)Please list all the cut vertices and cut edges;
(b)(2 points)Does the given graph have a Hamilton circuit or Hamilton path? If yes, please provide one. Otherwise, please explain.
-
(5 points)判断下图是否是平面图。如果是,请画出其平面表示,如果不是,请说明原因。
配图缺失(第 5 页缺失)。
-
缺失(第 5 页缺失)。
2025-2026学年下学期期末试卷——其他老师班
说明
根据“其他老师班”目录中的试卷照片整理,共 4 页。照片未拍到完整卷首,学年、学期和版本归属依收集目录标注,教师姓名及卷别未确认。保留原卷中英文题面、题号和分值;图中可见手写作答或批改痕迹,不作为参考答案。
一、Logic, Sets, Functions and Relations(5 questions, 30 points)
-
(4 points)判断下列各对公式是否等值,若等值,请给出证明,若不成立,请给出反例。
(a) ,
(b) ,
-
(4 points)试用一阶谓词逻辑描述下列命题结构(要求使用全总个体域)。
(a) 并不是所有的北京人都去过颐和园(要求:只能使用存在量词)。
(b) 不存在比一切实数都大的实数。
-
(8 points)设 为集合, 且 ,若 ,问:
(a) 是偏序集吗?若是,回答下列问题:
(b) 偏序集 是否有最大元?
(c) 偏序集 是否有最小元?
(d) 偏序集 中极大元和极小元的一般形式是什么?并说明理由。
说明: 代表集合 的幂集。
-
(8 points)设 是一个二元关系。令
证明:若 是等价关系,则 也是等价关系。
-
(6 points)证明:有限集 与可列集 的笛卡尔积 是可列集。
提示本题中“可列集”包含有限集(含空集)与可列无限集。
二、Counting(6 questions, 45 points)
-
(6 points)Answer following questions:
(a) Suppose that is a set with elements. How many ordered pairs are there such that , and ?
(b) What is the coefficient of in the expansion of ?
-
(6 points)按要求完成下列题目:
(a) 在边长为 1 的正三角形中任选五点,证明存在两点,其距离不超过 。
(b) 在边长为 1 的正三角形中任选 10 点,证明存在两点,其距离不超过 。
(c) 在边长为 1 的正三角形中任选 个点,证明存在两点,其距离不超过 。
-
(11 points)Find the number of integer solutions for each of the following problems:
(a) with .
(b) with .
(c) with .
(d) with .
-
(8 points)在下图所示的地图中,起点为 ,终点为 ,且只能向上移动,或者向右移动。其中 、、、、、、、。

(a) 计算从起点 到终点 的路径数目。(说明:每一条路径都会包含向右移动 10 次,且向上移动 5 次。)
(b) 计算不能经过 的路径数目。
-
(8 points)用红、蓝、白三种颜色对 的方格涂色,每个方格只能涂一种颜色,如果要求涂成红色的两个方格不能相邻,问有多少种方法?
要求:请用构造递推关系的方法完成此题。
-
(6 points)准备一个果篮,水果可选自苹果、橙子、香蕉和梨,其中要求苹果的个数是偶数,橙子的个数是 5 的倍数,至多有 4 个香蕉,至多有一个梨。 是满足上述条件的果篮数目,其中 表示果篮中水果的总个数。
(1)给出 的生成函数。
(2)从这个生成函数出发求 的公式。
三、Graphs(6 questions, 25 points)
-
(4 points)下列图分别有多少个顶点和边?并说明对于哪些 值来说,下列图是二分图?
(a)
(b)
-
(5 points)证明:在一个连通的平面图中,若每个面(包括外部区域)都被三条边围成,则该图的边数 与顶点数 满足关系式 。
-
(4 points)请判断下面两图是否同构?构造一个同构或者给出不存在同构的证明。

-
(2 points)请写出上题中的图 的割点和割边。
-
(5 points)Determine whether the given graph has an Euler circuit. Construct such a circuit when it exists. If no Euler circuit exists, determine whether the graph has an Euler path and construct such a path if it exists.

-
(5 points)Prove the following graph is nonplanar(非平面图).
提示图中下方两条弧线分别连接 与 、 与 ,交叉处不是顶点。