离散数学上机题目3
离散数学第三次上机题目
一、道路矩阵的Warshall算法
A)功能
给定n个结点的简单无向图G的邻接矩阵A，求G的道路矩阵P。
B)算法
（1）将图G的邻接矩阵送入P（n，n）中。
（2）1⇒i。
（3）1⇒j。
（4）对于k=1，2，…，n，作：P jk∨（P ji∧P ik）⇒P jk
（5）j+1⇒j，若j≤n，则转（4）。
（6）i+1⇒i，若i≤n，则转（3），否则结束。
二、判别连通性的算法
A)功能
给定n个结点的有向图的邻接矩阵，可判断该图是否为强连通的，单向连通的，或弱连通的。
B)基本思想
对于给定的邻接矩阵A，我们容易用本章算法6.1给出的道路矩阵的Warshall算法求出A所表示的图的道路矩阵P（或称可达矩阵）。
对于道路矩阵P来说，如果P的所有元素均为1，则所给有向图是强连通的；对于P的所有元素P ij来说，均有：P ij+P ji>0，则所给有向图是单向连通的。
当所给有向图既不是强连通的，又不是单向连通的时候，我们改造邻接矩阵为：对于矩阵A中所有的元素a ij，若a ij=1或a ji=1，则1⇒a ij且1⇒a ji。
对于这样改造之后所得到的新的矩阵A’（A’相当于原有向图忽略方向之后所得到的无向图的邻接矩阵），再用前面所述的方法进行判断，当P’的所有元素均为1时，原有向图是弱连通图；否则，原有向图是不连通的。
C)算法
（1）输入邻接矩阵A（n，n）。
（2）A（n，n）⇒P（n，n）。
（3）调用求道路矩阵子程序求出道路矩阵P。
（4）调用强连通或单向连通子程序。
（5）若为强连通或单向连通的，则输出其标志，转结束；否则转（6）。
（6）改造A阵为 A’，且A’ ⇒P（n,n）。
（7）调用求道路矩阵子程序。
（8）调用判断连通或单向连通子程序。
（9）若为强连通的，则输出原有向图是弱连通的；否则输出原有向图是非连通的。
（10）结束。
同学们编好程序，任选一个有向图（至少9个节点）练习，并将输出结果写入实验报告。
离散数学试题及答案
离散数学试题及答案一、选择题1. 在集合论中，下列哪个选项表示两个集合A和B的并集？A. A ∩ BB. A ∪ BC. A - BD. A × B答案：B2. 命题逻辑中，下列哪个符号表示逻辑非？A. ∧B. ∨C. ¬D. →答案：C3. 在有向图中，如果存在一条从顶点u到顶点v的路径，那么称顶点v为顶点u的：A. 祖先B. 后代C. 邻居D. 连接点答案：B二、填空题1. 一个命题函数P(x)表示为“x是偶数”，那么其否定形式为________。
答案：x是奇数2. 在关系R上，如果对于所有的a和b，如果(a, b)∈R且(b, a)∈R，则称R为________。
答案：自反的三、简答题1. 简述什么是等价关系，并给出其三个基本性质。
答案：等价关系是一种特殊的二元关系，它满足自反性、对称性和传递性。
自反性指每个元素都与自身相关；对称性指如果a与b相关，则b也与a相关；传递性指如果a与b相关，b与c相关，则a与c也相关。
2. 解释什么是图的连通分量，并给出如何判断一个图是否是连通图。
答案：连通分量是指图中最大的连通子图，即图中任意两个顶点之间都存在路径。
判断一个图是否是连通图，可以通过深度优先搜索或广度优先搜索算法遍历整个图，如果所有顶点都被访问，则图是连通的。
四、计算题1. 给定命题公式P：((p → q) ∧ (r → ¬p)) → (q ∨ ¬r)，证明P是一个重言式。
答案：通过使用命题逻辑的等价规则和真值表，可以证明P在所有可能的p, q, r的真值组合下都为真，因此P是一个重言式。
2. 给定一个有向图G，顶点集合V(G)={1, 2, 3, 4}，边集合E(G)={(1, 2), (2, 3), (3, 4), (4, 1), (2, 4)}。
找出所有强连通分量。
答案：通过Kosaraju算法或Tarjan算法，可以找到图G的强连通分量，结果为{1, 4}和{2, 3}。
离散数学题目大汇总
离散数学试题一（A 卷答案）一、（10分）证明⌝(A ∨B )→⌝(P ∨Q )，P ，(B →A )∨⌝P A 。
二、（10分）甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。
关于谁参加竞赛，下列4种判断都是正确的：(1)甲和乙只有一人参加；(2)丙参加，丁必参加；(3)乙或丁至多参加一人；(4)丁不参加，甲也不会参加。
请推出哪两个人参加了围棋比赛。
三、（10分）指出下列推理中，在哪些步骤上有错误？为什么？给出正确的推理形式。
(1)∀x (P (x )→Q (x )) P(2)P (y )→Q (y ) T (1)，US(3)∃xP (x ) P(4)P (y ) T (3)，ES(5)Q (y ) T (2)(4)，I(6)∃xQ (x ) T (5)，EG四、（10分）设A ＝{a ，b ，c}，试给出A 上的一个二元关系R ，使其同时不满足自反性、反自反性、五、（15分）设函数g ：A →B ，f ：B →C ，(1)若f g 是满射，则f 是满射。
(2)若f g 是单射，则g 是单射。
六、（15分）设R 是集合A 上的一个具有传递和自反性质的关系，T 是A 上的关系，使得<a ，b >∈T ⇔<a ，b >∈R 且<b ，a >∈R ，证明T 是一个等价关系。
七、（15分）若<G ，*>是群，H 是G 的非空子集，则<H ，*>是<G ，*>的子群⇔对任意的a 、b ∈H 有a *b －1∈H 。
八、（15分）(1)若无向图G 中只有两个奇数度结点，则这两个结点一定是连通的。
(2)若有向图G 中只有两个奇数度结点，它们一个可达另一个结点或互相可达吗？离散数学试题一（B 卷答案）一、（15分）设计一盏电灯的开关电路，要求受3个开关A 、B 、C 的控制：当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。
设F 表示灯亮。
离散数学试题及答案
离散数学试题及答案一、选择题1. 设A、B、C为三个集合，下列哪个式子是成立的？A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案：B2. 对于一个有n个元素的集合S，S的幂集中包含多少个元素？A) \(n\)B) \(2^n\)C) \(2 \times n\)答案：B二、判断题1. 对于两个关系R和S，若S是自反的，则R ∩ S也是自反的。
答案：错误2. 若一个关系R是反对称的，则R一定是反自反的。
答案：正确三、填空题1. 有一个集合A，其中包含元素1、2、3、4和5，求集合A的幂集的大小。
答案：322. 设a和b是实数，若a \(\neq\) b，则a和b之间的关系是\(\__\_\)关系。
答案：不等四、解答题1. 证明：如果关系R是自反且传递的，则R一定是反自反的。
解答：假设关系R是自反的且传递的，即对于集合A中的任意元素x，都有(x, x) ∈ R，并且当(x, y) ∈ R和(y, z) ∈ R时，(x, z) ∈ R。
反证法：假设R不是反自反的，即存在一个元素a∈A，使得(a, a) ∉ R。
由于R是自反的，所以(a, a) ∈ R，与假设矛盾。
因此，R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3}，集合B={2, 3, 4}，求集合A和B的笛卡尔积。
解答：集合A和B的笛卡尔积定义为{(a, b) | a∈A，b∈B}。
所以，集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
(完整版)离散数学题目及答案
数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A．花儿真美啊! B．明天是阴天。
C．2是偶数。
D．铅球是方的。
2．谓词公式（∀y）（∀x）（P（x）→R（x,y））∧∃yQ（x,y）中变元y （B）A．是自由变元但不是约束变元B．是约束变元但不是自由变元C．既是自由变元又是约束变元D．既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ）A．p→ （p∨q）B．（p∨┐p）→qC．q∧┐q D．p→┐q4．下列语句中不是．．命题的只有（A ）A．花儿为什么这样红？B．2+2=0C．飞碟来自地球外的星球。
离散数学试卷及答案三
、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.下列各图是平面图的是（)A.IL J D-2•设G是n个顶点的无向简单图，则下列说法不.正确的是）A. 若G是树，则其边数等于n-1B. 若G是欧拉图，则G中必有割边C•若G中有欧拉路，则G是连通图，且有零个或两个奇度数顶点D.若G中任意一对顶点的度数之和大于等于n-1，则G中有汉密尔顿路3•格L是分配格的充要条件是L不含与下面哪一个选项同构的子格（）A.链C.五角格B.钻石格D.五角格与钻石格4•设<G,*>是有限循环群，则下列说法不.正确的是（）A. <G,*>的生成元是唯一的B. 有限循环群中的运算*适合交换律C. G中存在一元素a,使G中任一元素都由a的幕组成D. 设a是<G,*>的生成元，则对任一正整数i，存在正整数j使a-i=a j5.在实数集合R上，下列定义的运算中是可结合的只有（）A.a*b=a+2b C.a*b=a-b+2abB.a*b=a+b-2ab D.a*b=a-b-2ab6.设群G=<A,*>中,A的元素个数大于1,若元素a€ A的逆元素为b € A，则a*b的运算结果是（）A.aC.G中零元素B.bD.G中幺元7.非空集合A上的二元关系R若是自反和对称的，则R是（）A.偏序关系C.相容关系B.等价关系D.拟序关系8. 下面的图是A= { 1,2,3} 上关系R的关系图G（R）,从G（R）可判断R所具有的性质是（）1。
A. 自反，对称，传递B. 反自反，非对称C. 反自反，对称，非传递D. 反自反，对称，反对称，传递9. 设A= {1, 2, 3}, B= { a,b},下列二元关系R为A到B的函数的是（）A. R= {<1,a>,<2,a>,<3,a> }B. R= {<1,a>,<2,b> }C. R= {<1,a>,<1,b>,<2,a>,<3,a> }D. R= {<1,b>,<2,a>,<3,b>,<1,a> }10. 设$为空集，P(x)是集合x的幕集，下列论断不.正确的是()A. 0 € P( $ ), $ P( $ )B. { $ } € P ( $ ), { $ }U P ($)C. $ € P (P ($ )), $ §P (P ( $ ))D. { $ } € P ( P ( $ )) ,{ $ }0P (P ( $ ))11. 利用谓词的约束变元改名规则和自由变元代入规则，可将如下公式：(-x)(p(x,y) > ( z)Q(x,z)) (-y)R(x,y)改写成( )A. (-z)(p(z,y) > ( y)Q(z,y)) (-s)R(z,s)B. (—z)(p(z,y)—. ( s)Q(x,s)) (-y)R(z,y)C. (-x)(p(x, m)—；( y)Q(x,y)) (-m)R(m,m)D. (-x)(p(y,y) > ( y)Q(x,y)) (_s)R(y,s)12. 设论域为整数集，下列谓词公式中真值为假的是()A. ( F( y)(x y 0)B. ( -x)( y)(x y =1)C. ( y)(—x)(x y =x)D. (-x)(-y)( z)(x -y z)13. 在命题演算中，语句为真为假的一种性质称为()A.真值B.陈述句C. 命题D.谓词14.设P:明天天晴；q：我去爬山；那么“除非明天天晴，否则我不去爬山。
离散数学试题带答案(三)
离散数学试题带答案一、填空题1设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝{3} ; ρ(A) - ρ(B)＝{3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G＝⌝(P→Q)∧R，则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树，G有7个点，其中4个叶点，则G的总度数为12，分枝点数为3.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B＝{4} ; A⋃B＝{1,2,3,4};A－B＝{1,2} .7.设R是集合A上的等价关系，则R所具有的关系的三个特性是自反性, 对称性传递性.8. 设命题公式G＝⌝(P→(Q∧R))，则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0)9. 设集合A＝{1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1•R2 ={(1,3),(2,2),(3,1)} , R2•R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3).10. 设有限集A, B，|A| = m, |B| = n, 则| |ρ(A⨯B)| = .11设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x∈R} ,A∩B ={x | 0≤x≤1, x∈R} , .13.设集合A＝{2, 3, 4, 5, 6}，R是A上的整除关系，则R以集合形式(列举法)记为{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} .14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x)，则G的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树，则G中增加21 条边才能把G变成完全图。
《离散数学》试题带答案(三)
《离散数学》试题带答案试卷十四试题与答案一、 填空 10% （每小题 2分）1、 设>-∧∨<,,,A 是由有限布尔格≤><,A 诱导的代数系统，S 是布尔格≤><,A ，中所有原子的集合，则>-∧∨<,,,A ～ 。
2、 集合S={α，β，γ，δ}上的二元运算*为那么，代数系统<S, *>中的幺元是 , α的逆元是 。
3、 设I 是整数集合，Z 3是由模3的同余类组成的同余类集，在Z 3上定义+3如下：]3m od )[(][][3j i j i +=+，则+3的运算表为 ；<Z +,+3>是否构成群 。
4、 设G 是n 阶完全图，则G 的边数m= 。
5、 如果有一台计算机，它有一条加法指令，可计算四数的和。
现有28个数需要计算和，它至少要执行 次这个加法指令。
二、 选择 20% （每小题 2分）1、 在有理数集Q 上定义的二元运算*，Q y x ∈∀,有xy y x y x -+=*，则Q 中满足（ ）。
A 、 所有元素都有逆元；B 、只有唯一逆元；C 、1,≠∈∀x Q x 时有逆元1-x ； D 、所有元素都无逆元。
2、 设S={0，1}，*为普通乘法，则< S , * >是（ ）。
A 、 半群，但不是独异点；B 、只是独异点，但不是群；C 、群；D 、环，但不是群。
3、图 给出一个格L ，则L 是（ ）。
A 、分配格；B 、有补格；C 、布尔格；D 、 A,B,C 都不对。
3、 有向图D=<V , E>，则41v v 到长度为2的通路有（ ）条。
A 、0；B 、1；C 、2；D 、3 。
4、 在Peterson 图中，至少填加（ ）条边才能构成Euler图。
A 、1；B 、2；C 、4；D 、5 。
三、 判断 10% （每小题 2分）1、 在代数系统<A,*>中如果元素A a ∈的左逆元1-e a 存在，则它一定唯一且11--=e a a 。
全版离散数学 练习题及答案.ppt
课件
例3 对任意两个集合A, B,试证 A (A B) A B
证明 对于任意的x
x A (A B)
x {x x A x ( A B)} x {x x A (x A B)} x {x x A (x A x B)} x {x x A (x A x B)} x {x x A x B}
课件
例10 求图的最小生成树
A 1B34 Nhomakorabea5
2 E
6
1A 2
B
E
4
6
C7 D
C
D
课件
例11
• 无向树T有7片树叶, 3个3度顶点,其余的 都是4度顶点，则T有几个4度顶点？
• 解:设T有x个4度顶点 顶点度数之和： 7+3*3+4x 由树的性质可得总边数： 7+3+x-1 由握手原理可得： 7+3*3+4x=2(7+3+x-1)
求g f
g f { 1,b , 2,b , 3,b }
课件
例12 求复合函数
X {1,2,3}, Y {p, q}, Z {a,b} f { 1, p , 2, p , 3, q } g { p,b , q,b }
求g f
g f { 1,b , 2,b , 3,b }
课件
例: 求幺元、零元、逆元
x A B 因为 x 是任意的,所以有
x ((x A (A B)) (x A B)) 的真值为T,
因此 A ( A B)课件 A B
例4 判断关系的性质
R1 { a, a , a,b , b,b , c,c }
a
1 1 0
M R 1 0 1 0
0 0 1
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题5分，共20分）1. 下列哪个选项不是离散数学的研究对象？A. 图论B. 组合数学C. 微积分D. 逻辑学答案：C2. 在逻辑学中，下列哪个命题是真命题？A. 如果今天是周一，那么明天是周二。
B. 如果今天是周一，那么明天是周三。
C. 如果今天是周一，那么明天是周四。
D. 如果今天是周一，那么明天是周五。
答案：A3. 在集合论中，下列哪个符号表示集合的并集？A. ∩B. ∪C. ⊆D. ⊂答案：B4. 在图论中，下列哪个术语描述的是图中的顶点集合？A. 边B. 路径C. 子图D. 顶点答案：D二、填空题（每题5分，共20分）1. 如果一个集合A包含5个元素，那么它的子集个数是______。
答案：322. 在逻辑学中，如果命题P和命题Q都是真命题，那么复合命题“P且Q”的真值是______。
答案：真3. 在图论中，如果一个图的顶点数为n，那么它的最大边数是______。
答案：n(n-1)/24. 如果一个二叉树的深度为3，那么它最多包含______个节点。
答案：7三、简答题（每题10分，共30分）1. 请简述什么是图的连通性，并给出一个例子。
答案：图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如，在一个完全图K3中，任意两个顶点之间都可以通过一条边直接连接，因此它是连通的。
2. 解释什么是逻辑蕴含，并给出一个例子。
答案：逻辑蕴含是指如果一个命题P为真，则另一个命题Q也必须为真。
例如，命题P：“如果今天是周一”，命题Q：“明天是周二”。
如果今天是周一，那么根据逻辑蕴含，明天必须是周二。
3. 请描述什么是二叉搜索树，并给出它的一个性质。
答案：二叉搜索树是一种特殊的二叉树，其中每个节点的左子树只包含小于当前节点的数，右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题（每题15分，共30分）1. 给定一个集合A={1, 2, 3, 4, 5}，请计算它的幂集，并列出所有元素。
离散数学考试题目及答案
离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。
答案：命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。
若命题P和Q等价，则记作P⇔Q。
蕴含关系是指如果命题P为真，则命题Q也为真，但Q为真时P不一定为真。
若命题P蕴含Q，则记作P→Q。
2. 证明：若集合A和B的交集非空，则它们的并集包含A和B。
答案：设x属于A∩B，即x同时属于A和B。
根据并集的定义，若元素属于A或B，则它属于A∪B。
因此，x属于A∪B。
由于x是任意属于A∩B的元素，所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素，即A∪B包含A和B。
3. 给定一个有向图G，如何判断G中是否存在环？答案：判断有向图G中是否存在环，可以采用深度优先搜索（DFS）算法。
在DFS过程中，记录每个顶点的访问状态，如果遇到一个已访问过的顶点，且该顶点不是当前路径的直接前驱，则表示存在环。
4. 描述有限自动机的组成部分及其功能。
答案：有限自动机由以下几部分组成：输入字母表、状态集合、转移函数、初始状态和接受状态集合。
输入字母表定义了自动机可以接收的符号集合；状态集合包含了自动机所有可能的状态；转移函数定义了在给定输入符号和当前状态的情况下，自动机如何转移到下一个状态；初始状态是自动机开始工作时的状态；接受状态集合包含了所有使自动机接受输入字符串的状态。
5. 什么是图的连通分量？如何确定一个无向图的连通分量？答案：图的连通分量是指图中最大的连通子图。
在一个无向图中，如果两个顶点之间存在路径，则称这两个顶点是连通的。
确定无向图的连通分量可以通过深度优先搜索（DFS）或广度优先搜索（BFS）算法。
从任一顶点开始搜索，搜索过程中访问的所有顶点构成一个连通分量。
重复此过程，直到所有顶点都被访问过，即可确定图中所有连通分量。