文档库 最新最全的文档下载
当前位置:文档库 › C_Z-偏序集

C_Z-偏序集

C_Z-偏序集
C_Z-偏序集

(完整版)离散数学试卷及答案

离散数学试题(A卷答案) 一、(10分)求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解:(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:?P∧Q 乙:?Q∧P 丙:?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:

((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。 综上可知,tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、(15分)集合A ={a ,b ,c ,d ,e }上的二元关系R 为R ={}, (1)写出R 的关系矩阵。 (2)判断R 是不是偏序关系,为什么? 解 (1) R 的关系矩阵为: ??? ??? ? ? ? ?=100001100010100 10110 11111 )(R M (2)由关系矩阵可知,对角线上所有元素全为1,故R 是自反的;ij r +ji r ≤1,故R 是反对称的;可计算对应的关系矩阵为:

偏序集的Dilworth定理学习

偏序集的Dilworth定理学习 导弹拦截是一个经典问题:求一个序列的最长不上升子序列,以及求能最少划分成几组不上升子序列。第一问是经典动态规划,第二问直接的方法是最小路径覆盖,但是二分图匹配的复杂度较高,我们可以将其转化成求最长上升子序列,其最大值即等于不上升子序列的最小划分数。这就涉及到组合数学中偏序集的Dilworth定理。(第二问的贪心方法其实就是这个定理的证明过程) 其中第一问和第二问都可以用o(nlogn)的算法解决: #include #include #include using namespace std; int a[100],f[100],g[100]; int main(){ freopen("lmis.in","r",stdin); freopen("lmis.out","w",stdout); int n,i; scanf("%d",&n); memset(g,0x7f,sizeof(g)); memset(f,0,sizeof(f));

for(i=0;i

习题511下面哪些集合是偏序集解是偏序集

习题5.1 1. 下面哪些集合是偏序集? (1)=><,Z (2)≠><,Z (3)≥><, Z (4)>/<|, Z 解 (1)是偏序集,(2)不是偏序集,(3)是偏序集,(4)不是偏序集 2. 确定由下面的关系图5.6表示的表示的3个关系是否为偏序?并列出这些关系中的所有序偶来进行验证。 解 略 图5.6 习题2的图 3. 确定由下面的关系矩阵表示的关系是否为偏序? (1)? ? ????? ???100011 101 (2)? ???? ?? ???101010001 (3)???? ?? ????????1011110001100101 解 略 4. 画出在下述集合上的整除关系的哈斯图。 (1)}87654321 {,,,,,,, (2)}131175321 {,,,,,, (3)}483624126321 {,,,,,,, (4)}6432168421 {,,,,,, 解 (1)、(2)的哈斯图如下:

(3)、(4)略 5. 在下面偏序集中找出两个不可比的元素。 (1)?><,,, })210{(p (2)><|}86421{,, ,, 解 略 6. ><|}452415953{,,,,,, 是偏序集。 (1)求极大元素和极小元素。 (2)存在最大元素吗?存在最小元素吗?如果存在,请求出。 (3)找出子集}53{,的所有上界。如果它的上确界存在的话,上确界。 (4)找出子集}4515{,的所有下界。如果它的下确界存在的话,求出下确界。 解 (1)极大元素为9,15,24和45,极小元素为3和5。 (2)不存在最大元素,也不存在最小元素。 (3)子集}53{,的上界有15和45,上确界是15。 (4)子集}4515{,的下界有3,5和15,下确界是15。 7. ?><,,,,,,,,,,,,,,,,,}}432{}431{}43{}42{}41{}21{}4{}2{}1{{ 是偏序集。 (1)求极大元素和极小元素。 (2)存在最大元素吗?存在最小元素吗? (3)找出子集}}4{}2{{, 的所有上界。如果它的上确界存在的话,上确界。 (4)找出子集}}432{}321{{ ,,,,,的所有下界。如果它的下确界存在的话,求出下确界。 解 略 8. 给出满足下列性质的偏序集。 (1)有一个极小元素但没有极大元素。 (2)有一个极大元素但没有极小元素。 (3)既没有极大元素也没有极小元素。 解 略 9. 设R 是集合X 上的半序。 (1)证明1 -R R 是等价关系。 (2)定义商集 )/(1 -=R R X Y 上的关系S :Y D C ∈?,,S D C >∈<,当且仅当在C 、D 中分别存在元素d c 、使得R d c >∈<,。证明S 是商集Y 上的偏序。 解 略 10. 给出下面小写英文字母串的字典序。

离散数学试卷及答案

一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选 项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。 1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( ) A.汉密尔顿回路 B.欧拉回路 C.汉密尔顿通路 D.初级回路 2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( ) A.10 B.12 C.16 D.14 3.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( ) A.b∧(a∨c) B.(a∧b)∨(a’∧b) C.(a∨b)∧(a∨b∨c)∧(b∨c) D.(b∨c)∧(a∨c) 4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉 C.〈{i},·〉 D.〈{-i},·〉 5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交 运算,下列系统中是代数系统的有( ) A.〈Z,+,/〉 B.〈Z,/〉 C.〈Z,-,/〉 D.〈P(A),∩〉 6.下列各代数系统中不含有零元素的是( ) A.〈Q,*〉Q是全体有理数集,*是数的乘法运算 B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算 C.〈Z, Z是整数集, 定义为x xy=xy,?x,y∈Z D.〈Z,+〉,Z是整数集,+是数的加法运算 7.设A={1,2,3},A上二元关系R的关系图如下: R具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性 8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( ) A.R∪I A B.R C.R∪{〈c,a〉} D.R∩I A 9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X上的 等价关系,R应取( ) A.{〈c,a〉,〈a,c〉} B.{〈c,b〉,〈b,a〉} C.{〈c,a〉,〈b,a〉} D.{〈a,c〉,〈c,b〉} 10.下列式子正确的是( ) A. ?∈? B.??? C.{?}?? D.{?}∈? 11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).

《离散数学》试题及答案

一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)=__________________________ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B=_________________________;A-B=_____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________, _______________________________. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 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 = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。 16. 设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公式是__________________________________________________________________________.

离散数学39偏序关系

偏序关系

一、偏序关系和哈斯图 1、定义3-12.1 若集合A上的二元关系R是自反的、反对称的和传递的,则称R是A的偏序关系,记作?.设?为偏序关系,如果∈?,则记作x?y,读作“小于或等于”。.序偶称为偏序集合.(Partially Ordered Relations) 注意:这里的“小于或等于”不是指数的大小,而是在偏 序关系中的顺序性.x“小于或等于”y的含义是:依照这个序, x排在y的前边或者x就是y.

根据不同偏序的定义,对序有着不同的解释. 例如整除关系是偏序关系, 3 ? 6的含义是3整除6. 大于或等于关系也是偏序关系,针对这个关系写5?4是说大于或等于4,关系?中5排在4的前边,也就是5比4大. 注: 和空关系都是A上的偏序关系, 1. 集合A上的恒等关系I A 但全域关系E 一般不是A上的偏序关系. A 2. 实数域上的小于等于关系(大于等于关系),自然数域上的整除关系,集合的包含关系等都是偏序关系.

定义设R为非空集合A上的偏序关系,定义 (1) ?x, y∈A, x ? y当且仅当 x ? y且x≠y; (2) ?x, y∈A, x 与 y 可比当且仅当 x ? y 或 y ? x. 注: 在具有偏序关系的集合A中任二元素 x 和 y 之间必有下列四种情形之一: x ? y ,y ? x ,x=y ,x 与 y 不可比.

例设A={1, 2, 3} (1) ?是A上的整除关系,则:1 ? 2, 1 ? 3, 1=1, 2=2, 3=3, 2 和 3 不可比; (2) ?是 A 上的大于等于关系,则: 2 ? 1, 3 ? 1, 3 ? 2, 1=1, 2=2,3=3.

离散数学试题及答案

Mock Exam Notes ___________________________________________________________________________________ 1. There are 38 questions in this mock exam. The real exam will consist of about 25 questions that will be relatively similar to those here... that does not mean “identical” to those... 2. If you do these well, you should have no big difficulties in the final exam. 3. I encourage you to work these questions first on your own, without help, to see what you do or do not understand. You may seek help after that. Remember that no one will help you or give you hints during the exam. We will clarify the questions if something is not clear but not more than that. #01 - Page 13 #8 Let p and q be the propositions p : I bought a lottery ticket this week. q : I won the million dollar jackpot. Express each of these propositions as an English sentence. a) ¬p I did not buy a lottery ticket this week. b) p ∨q I bought a lottery ticket this week or I won the million dollar jackpot. c) p → q If I bought a lottery ticket this week then I won the million dollar jackpot. d) p ∧q I bought a lottery ticket this week and I won the million dollar jackpot. e) p ? q I bought a lottery ticket this week if, and only if, I won the million dollar jackpot. #02 - Page 15 #36 Construct a truth table for each of these compound propositions. a) (p ∨q) ∨r p q r p ∨q(p ∨q) ∨r T T T T T T T F T T T F T T T T F F T T F T T T T F T F T T F F T F T F F F F F c) (p ∧q) ∨r ∧(p q) ∧∨r p q r p q T T T T T T T F T T T F T F T T F F F F

离散编程,求偏序关系的极大元与极小元

求偏序集中的极大元与极小元 成绩: 10 / 折扣: 0.9 输入 输入偏序集 , A 中的元素数不超过 20 个,分别用单个小写的英文字母表示。 输入的第一行给出 A 中的各个元素,两个相邻的元素之间用逗号隔开。 输入的第二行给出偏序关系£,用有序对的形式给出,如 , 等等,两个相邻的有序对之间用逗号隔开。 输出 输出 A 的极小元与极大元。 输出的第一行给出各个极小元,两个相邻元素之间用逗号隔开,输出的元素要求按照英文字母的自然顺序排列输出。 输出的第二行给出各个极大元,两个相邻元素之间用逗号隔开,输出的元素要求按照英文字母的自然顺序排列输出。 测试输入期待的输出时间限制内存限制额外进程 测试用例 1 以文本方式显示 1.a,b,c,d? 2.,,,,,? 以文本方式显示 1.a,c? 2.b,d? 无限制 1024KB 0 测试用例 2 以文本方式显示 1.a,b,c,d,e,f? 2.,,,,,,,,? 以文本方式显示 1.a,c,e? 2.b,d,f? 无限制 1024KB 0 源程序 #define N 100 #include"stdio.h" #include"string.h" int main( ) { char b[N],c[N],d[N],e[N]; /* b放元素,c放偏序关系,d放极小元,e放极大元 */ int i,j,m=0,n=0,len1,len2,s; scanf ( "%s%s",b,c ); len1 = strlen( b );

离散数学练习题及答案

离散数学试题 一、单项选择题 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.设P:天下大雨,Q:他在室内运动,命题“如果天下大雨,他就.在室内运动”可符合化为 (B) A. P∧Q B. P→Q C. Q→P D. P∨Q 2.设G=(V , E)为任意一图(无向或有向的),顶点个数为n,边的条数为m, 则各顶点的度数之和等于( D )。 A.n B. m C. 2n D. 2m 3.下列命题为假.命题的是(A) A.如果2是偶数,那么一个公式的析取范式惟一 B.如果2是偶数,那么一个公式的析取范式不惟一 C.如果2是奇数,那么一个公式的析取范式惟一 D.如果2是奇数,那么一个公式的析取范式不惟一 4.谓词公式(?x(P(x)∨?yR(y))→Q(x) 中变元x是(D) A.自由变元 B.约束变元 C.既不是自由变元也不是约束变元 D.既是自由变元也是约束变元 5.若个体域为整数域,下列公式中值为真的是(A) A.?x?y(x+y=0) B.?y?x(x+y=0) C.?x?y(x+y=0) D.??x?y(x+y=0) 6.下列命题中不.正确的是(D) A.x∈{x}-{{x}} B.{x}?{x}-{{x}} C.A={x}∪x,则x∈A且x?A D.A-B=??A=B 7.设P={x|(x+1)2≤4},Q={x|x2+16≥5x},则下列选项正确的是(C) A.P?Q B.P?Q C.Q?P D.Q=P 8.下列表达式中不.成立的是(A) A.A∪(B⊕C)=(A∪B) ⊕ (A∪C) B.A∩(B⊕C)=(A∩B) ⊕ (A∩C) C.(A⊕B)×C=(A×C) ⊕ (B×C) D.(A-B) ×C=(A×C)-(B×C) 9.半群、群及独异点的关系是(A) A.{群}?{独异点}?{半群} B.{独异点}?{半群}?{群}

离散数学试题及答案

离散数学试题及答案 一、填空题 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)| = ___2^(n^2)________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是____A1 = {(a,1), (b,1)}, A2 = {(a,2), (b,2)}, A3 = {(a,1), (b,2)}, A4 = {(a,2), (b,1)},_________ _____________, 其中双射的是______A3, A4__________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取式是____P∧?Q∧R (m5)____. 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)}, R1 = {(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)| = ______2^(m*n)___________. 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = _____{x | -1 ≤x < 0, x ∈R}_______ , 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的前束式是_____?y?x(P(y)→Q(x))________ _____.

离散数学习题集(十五套) - 答案

离散数学试题与答案试卷一 一、填空 20% (每小题2分) 1.设 }7|{)},5()(|{<∈=<∈=+ x E x x B x N x x A 且且(N :自然数集,E + 正偶 数) 则 =?B A 。 2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。 3.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 。 4.公式P R S R P ?∨∧∨∧)()(的主合取范式为 。 5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I 下真值为 。 6.设A={1,2,3,4},A 上关系图为 则 R 2 = 。 7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为 则 R= 。 8.图的补图为 。 9.设A={a ,b ,c ,d} ,A 上二元运算如下:

那么代数系统的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。 10.下图所示的偏序集中,是格的为 。 二、选择 20% (每小题 2分) 1、下列是真命题的有( ) A . }}{{}{a a ?; B .}}{,{}}{{ΦΦ∈Φ; C . }},{{ΦΦ∈Φ; D . }}{{}{Φ∈Φ。 2、下列集合中相等的有( ) A .{4,3}Φ?; B .{Φ,3,4}; C .{4,Φ,3,3}; D . {3,4}。 3、设A={1,2,3},则A 上的二元关系有( )个。 A . 23 ; B . 32 ; C . 3 32 ?; D . 2 23?。 4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。 5、设A={1,2,3,4},P (A ) (A 的幂集)上规定二元系如下 |}||(|)(,|,{t s A p t s t s R =∧∈><=则P (A )/ R=( ) A .A ; B .P(A) ; C .{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}}; D .{{Φ},{2},{2,3},{{2,3,4}},{A}}

偏序关系

4.6偏序关系 偏序关系:同时具有自反、反对称和传递性

4.6 偏序关系 定义4.21 设R为非空集合A上的一个二元关系,如果R是自反的、反对称的和传递的,则称R为A上的偏序关系,记作≤。设≤是偏序关系,若∈≤,则记作x≤y,读作x“小于或等于”y。集合A与A上的偏序关系≤一起组成的有序对叫做偏序集。 如以下关系都是偏序关系: (1)非空集合A上的恒等关系I A。 (2)实数集R上的“≤”、“≥”关系。

4.6 偏序关系 定义4.22 设为偏序集,定义 (1)?x, y∈A,x < y ?x ≤ y ∧x≠y,x是偏序集,其中A={1, 2, 3, 4, 5},是A上的整除关 系,则有 (1)1<2<4,1<3等。 (2)1=1,2=2,3=3等。 (3)2与3是不可比的。

4.6 偏序关系 Sed ut perspiciatis unde omnis.68% 设为偏序集,若?x, y ∈A ,x 与y 都是可比的,则称≤为A 上 的全序关系(或线序关系)。且称为全序集。 例如,集合A = {1, 2, 3, 4, 5}上的(1)“小于等于”关系是全序关系,因为任何两个数总是可比大小 的。(2)“整除关系”不是全序关系,因为2与3是不可比的。 定义4.23

4.6 偏序关系 定义4.24 设为偏序集,对于任意的x, y∈A,如果x < y并且不存在z∈A使得x | x, y∈A∧y盖住x} 根据定义4.24,?∈COV A ?y盖住x ?x ≤ y ?∈ ≤ 所以COV A ?≤。

离散数学第五版模拟试题及答案

《离散数学》模拟试题3 一、填空题(每小题2分,共20分) 1. 已知集合A ={φ,1,2},则A得幂集合p(A)=_____ _。 2. 设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =___ ___, A∩B =____ __,A-B =___ ___,~A∩~B =____ ____。 3. 设A,B是两个集合,其中A= {1, 2, 3}, B= {1, 2},则A-B =____ ___, ρ(A)-ρ(B)=_____ _ _。 4. 已知命题公式R Q P G→ ∧ ? =) (,则G的析取范式为。 5. 设P:2+2=4,Q:3是奇数;将命题“2+2=4,当且仅当3是奇数。”符号化 ,其真值为。 二、单项选择题(选择一个正确答案的代号填入括号中,每小题4分,共16分。) 1. 设A、B是两个集合,A={1,3,4},B={1,2},则A-B为(). A.{1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有()。 A. φ=0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X={x, y},则ρ(X)=()。 A. {{x},{y}} B. {φ,{x},{y}} C. {φ,{x},{y},{x, y}} D. {{x},{y},{x, y}} 4. 设集合A={1,2,3},A上的关系R={(1,1),(2,2),(2,3),(3,3),(3,2)}, 则R不具备(). 三、计算题(共50分) 1. (6分)设全集E=N,有下列子集:A={1,2,8,10},B={n|n2<50 ,n∈N},C= {n|n可以被3整除,且n<20 ,n∈N},D={n|2i,i<6且i、n∈N},求下列集合:(1)A∪(C∩D) (2)A∩(B∪(C∩D)) (3)B-(A∩C) (4)(~A∩B) ∪D 2. (6分)设集合A={a, b, c},A上二元关系R1,R2,R3分别为:R1=A×A, R2 ={(a,a),(b,b)},R3 ={(a,a)},试分别用 定义和矩阵运算求R1·R2 ,22R,R1·R2 ·R3 , (R1·R2 ·R3 )-1 。 3.(6分)化简等价式(﹁P∧(﹁Q∧R))∨(Q∧R)∨(P∧R). 4.(8分) 设集合A={1,2,3},R为A上的二元关系,且 M R= 写出R的关系表达式,画出R的关系图并说明R的性质. 5. (10分)设公式G的真值表如下. 试叙述如何根据真值表求G的 主析取范式和主合取范式,并 写出G的主析取范式和主合取范式. 1 0 0 1 1 0 1 0 0

偏序关系整理

●定义:集合S上的关系R,如果它是自反的,反对称的和传递的,就称为偏序。集 合S与偏序R一起叫做偏序集,记做(S, R) ●例子: ●1、整数集合上的“大于或等于”关系 ●2、正整数集合上的整除关系 ●3、集合S的幂集合上的包含关系 ●符号: ●通常用?表示偏序关系,读作“小于等于” ●∈R ? xRy ? x?y ●使用这个记号是由于“小于或等于”关系是偏序关系的范例。 ●“严格小于”: x?y ? x?y ∧x≠y ●当a与b是偏序关系(S, ≤)的元素时,不一定有a ≤b或b ≤a。 ●定义2:偏序集(S, ≤)的元素a和b叫做可比的,如果a ≤b或b ≤a。当a和b是S 的元素且没有a ≤b,也没有b ≤a,则称a和b是不可比的。 ●极大元素:偏序集的一个元素,它不小于这个偏序集的任何其他元素 ●极小元素:偏序集的一个元素,它不大于这个偏序集的任何其他元素 ●最大元素:偏序集的一个元素,它大于这个偏序集的所有其他元素 ●最小元素:偏序集的一个元素,它小于这个偏序集的所有其他元素 设为偏序集, A?S, u,l∈A ●上界(upper bound): u是A的上界??x( x∈A → x?u ) ●下界(lower bound): l是A的下界??x( x∈A → l?x ) ●例:, S={1,2,3,4,5,6,9,10,15} ●A1={1,2,3}, A2={3,5,15}, A3=S. ●A1的上界是{6}, A1的下界是{1} ●A2的上界是{15}, A2的下界是{1} ●A3的上界集合的最小上界:集合的一个上界,它小于所有其他的上界 ●集合的最大下界:集合的一个下界,它大于所有其他的下界 是{}, A3的下界 I A R R∩I A=R=R R∩R-1 I A R R R 最小元与极小元是不一样的。最小元是B中最小的元素,它与B中其它元素都可比;而极小元不一定与B中元素可比,只要没有比它小的元素,它就是极小元。对于有穷集B,极小元一定存在,但最小元不一定存在。最小元如果存在,一定是唯一的,但

离散数学试题及答案

离散数学试题及答案 Prepared on 24 November 2020

一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; (A) - (B)= __________________________ . 2. 设有限集合A, |A| = n, 则 |(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是 __________________________ _____________, 其中双射的是 __________________________. 4. 已知命题公式G=(PQ)∧R,则G的主析取范式是 _______________________________ __________________________________________________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从AB= _________________________; AB=_________________________;A-B= _____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是 ______________________, ________________________, _______________________________. 8. 设命题公式G=(P(QR)),则使公式G为真的解释有 __________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则 R1R2 = ________________________,R2R1 =____________________________, R12 =________________________. 10. 设有限集A, B,|A| = m, |B| = n, 则| |(AB)| = _____________________________.

【免费下载】离散数学试题 B答案

第1页 共6页第2页 共 6页 一、填空题(每小题3分,共15分)1.设F (x ):x 是苹果,H (x ,y ):x 与y 完全相同,L (x ,y ):x =y ,则命题“没有完全相同的苹果”的符号化(利用全称量词)为?x ?y (F (x )∧F (y )∧?L (x ,y )→?H (x ,y )).2.命题“设L 是有补格,在L 中求补元运算‘′’是L 中的一元运算”的真值是 0 .3.设G ={e ,a ,b ,c }是Klein 四元群,H =?a ?是G 的子群,则商群G /H ={?a ?,{b ,c }}={{e ,a },{b ,c }}.4.设群G =?P ({a ,b ,c }),⊕?,其中⊕为集合的对称差运算,则由集合{a ,b }生成的子群?{a ,b }? ={?,{a ,b }}.5.已知n 阶无向简单图G 有m 条边,则G 的补图有n (n -1)/2-m 条边.二、选择题(每小题3分,共15分)1.命题“只要别人有困难(p ),小王就会帮助他(q ),除非困难已经解决了(r )”的符号化为 【B 】A .?(p ∧r )→q . B .(?r ∧p )→q .C .?r →(p ∧q ). D .?r →(q → p ).2.设N 为自然数集合,“≤”为通常意义上的小于等于关系,则 偏序集?N ,≤?是 【C 】A .有界格. B .有补格.C .分配格. D .布尔代数.3.设n (n ≥3) 阶无向图G =?V ,E ?是哈密尔顿图,则下列结论中不成立的是 【D 】A .?V 1?V ,p (G -V 1)≤|V 1|. B .|E |≥n .C .无1度顶点. D .δ(G )≥n /2.4.设A ={a ,b ,c },在A 上可以定义 个二元运算,其中有 个是可交换的,有 个是幂等的. 【A 】A .39,36,36. B .39,36,33.C .36,36,33. D .39,36,39.5.下列图中是欧拉图的有 【C 】A .K 4,3. B .K 6.C .K 5. D .K 3,3.三、计算与简答题(每小题10分,共50分)1.利用等值演算方法求命题公式(p ∨q ) → (q →p )的主合取范式;利用该主合取范式求公式的主析取范式,并指出该公式的成真赋值和成假赋值.(p ∨q ) → (q →p ) ??(p ∨q )∨(?q ∨p ) ?(?p ∧?q )∨(?q ∨p )?(?p ∨?q ∨p )∧(?q ∨?q ∨p ) ??q ∨p ?p ∨?q 哈尔滨工程大学试卷考试科目:离散数学(061121,061131)考试时间: 2008.07.09 9:00-11:00题号一二三四五总分分数评卷人、管路敷设技术通过管线敷设技术,不仅可以解决吊顶层配置不规范问题,而且可保障各类管路习题到位。在管路敷设过程中,要加强看护关于管路高中资料试卷连接管口处理高中资料试卷弯扁度固定盒位置保护层防腐跨接地线弯曲半径标高等,要求技术交底。管线敷设技术中包含线槽、管架等多项方式,为解决高中语文电气课件中管壁薄、接口不严等问题,合理利用管线敷设技术。线缆敷设原则:在分线盒处,当不同电压回路交叉时,应采用金属隔板进行隔开处理;同一线槽内,强电回路须同时切断习题电源,线缆敷设完毕,要进行检查和检测处理。、电气课件中调试对全部高中资料试卷电气设备,在安装过程中以及安装结束后进行高中资料试卷调整试验;通电检查所有设备高中资料试卷相互作用与相互关系,根据生产工艺高中资料试卷要求,对电气设备进行空载与带负荷下高中资料试卷调控试验;对设备进行调整使其在正常工况下与过度工作下都可以正常工作;对于继电保护进行整核对定值,审核与校对图纸,编写复杂设备与装置高中资料试卷调试方案,编写重要设备高中资料试卷试验方案以及系统启动方案;对整套启动过程中高中资料试卷电气设备进行调试工作并且进行过关运行高中资料试卷技术指导。对于调试过程中高中资料试卷技术问题,作为调试人员,需要在事前掌握图纸资料、设备制造厂家出具高中资料试卷试验报告与相关技术资料,并且了解现场设备高中资料试卷布置情况与有关高中资料试卷电气系统接线等情况,然后根据规范与规程规定,制定设备调试高中资料试卷方案。、电气设备调试高中资料试卷技术电力保护装置调试技术,电力保护高中资料试卷配置技术是指机组在进行继电保护高中资料试卷总体配置时,需要在最大限度内来确保机组高中资料试卷安全,并且尽可能地缩小故障高中资料试卷破坏范围,或者对某些异常高中资料试卷工况进行自动处理,尤其要避免错误高中资料试卷保护装置动作,并且拒绝动作,来避免不必要高中资料试卷突然停机。因此,电力高中资料试卷保护装置调试技术,要求电力保护装置做到准确灵活。对于差动保护装置高中资料试卷调试技术是指发电机一变压器组在发生内部故障时,需要进行外部电源高中资料试卷切除从而采用高中资料试卷主要保护装置。