最新消息: USBMI致力于为网友们分享Windows、安卓、IOS等主流手机系统相关的资讯以及评测、同时提供相关教程、应用、软件下载等服务。

南京大学研究生入学考试复试试题离散数学

IT圈 admin 34浏览 0评论

2024年4月25日发(作者:宋心诺)

严禁用于商业用途?前言??本文收集了1997、1998年和2001年到2007年和2009年南京大学

研究生入学考试科目《离

散数学》的试卷以及相应试卷答案。2008年试题未找到1997年到2007年试题给出本人所

的答案因为离散数学难度大很多答案问过原来教我们离散数学的老师老师也只能给出

分答案所以不能保证全部答案的正确性2009年试题答案未与同学核对同样不能确保

案正确性故不在此给出。部分答案有更优解需要同学们自己开发。?

?南京大学从2005年开始把《离散数学》作为复试科目满分为80分与《编译原理》同

为笔试项目总分150分。主要考试部分为数理逻辑、集合论、代数结构和图论。推荐复习

候以南大课件为主课件在网上可以查到有宋方敏和陈道旭两种版本。通过真题发现很

题目都是课件上证明题的原题而且考试重点与课件也吻合。?

?离散数学特点就是难度大上手容易深入难。代数系统和图论两章难度非常大所以复习

好离散数学要有一定的耐心和钻研精神。?

相信天下无难事只怕有心人。祝愿所有有志考南大CS的同学金榜提名。?

?

?

?????????????????冷城?

??????????????????2009年7月?

?

?

?

?

?

?

???1?/?30?

?严禁用于商业用途?1996年?一试证?a.自然数集为无限集中势最小者。?

b.不存在最大的势。?

?

二任给无向图G其联结矩阵为A=[aij]即若存在边(vi,vj)则aij=1否则aij=0试

定义矩阵运

算并给出关于A的矩阵的表达式B=E(A)使得矩阵B=[bij]满足对于G中的任意两结点

vi,vj若其间存在通路则bij=1否则bij=0。?

?

三任给无向图G?对G中的边赋予方向得图G’试证存在G满足对任意两点v1,v2

G’

不论从哪点为始终端均有有向通路到达另一点的充分条件是原图G连通且不存在割边。?

?

四试分别用永真推理过程和假设推理过程证明?

???(?α→?(?β?→?γ?)?)?→?(?(?α?∧?β?)?→?γ?)?

?

五试给出下式的析合范式和合析范式?

???(?p?→?q?)?→?(?p?→?r?)?

?

六试用谓词演算公式来描述一个代数系统(A,*)为一个群。?

?

七任给一个集合SS到自身的一一对应的映射成为S上的置换试证S上置换的全体

关于

置换的复合运算构成群。?

?

???2?/?30?

?严禁用于商业用途?1996年答案?一证明?

a.?无限集A将A中元素按照某种次序任意规则排序以0,1,2,„„,n来表示A中

元素排列的位置所自集合A的单射NA。?以存在然数集N到得证。

元素αA设BA

α

则A到B有单射关系”=”αAAB。?b.?无限集A

AB比A势更大的集合。因为对任一集合均有比其更大的势的集合。得证。?

?

二B?=?E(?An?)其中An?=??A??n?=?1时?运算定义为两矩阵相乘?

??????An?–?1A?n?>?1时?E为An运算收敛后若元素不为0则将其置为1?

?

三证明?

?1.?对于G中任一条边先证其必在一个圈中?

设存在边ee不在一个圈中e的两个断点记为uv。若去掉边eu,?v不在一个圈

中?????

uv间无通路即P(?G?–?e?)?>?P(G)。e为桥与题设矛盾。得证。?

2.?再证不存在桥的连通图G赋予边以方向后G’为强连通图。?

设不存在这样的圈则存在对两个顶点u,?v没有经过它们的圈。G是连通的u到v

通路设通路上的点为u,?v1,?v2,?„„,?vnv对于与u,?v相关联边必有圈v1,?v2

间必有圈

则可将两圈合并得到必有u到v2的圈同理可得u到v3的圈以此类推可得到u到v的

圈与假设不成立。必存在将所有顶点连接的圈将其以逆时针赋予方向后得经过每

个点至少一次的回路G为强连通图。?

得证。?

?

四证明?

?永真推理

α ?

α 

β  γ

  β

 γ ?

??? β   

α β

 γ

???????????? α

???????????? 1?

?假设推理?

????前提引入???α 

β  γ

????结论???

α  β

γ?

????结论

否定引入?  α

 γ ?

????  ??

α

β  γ



α β

γ

?  α

β  γ

β

γ  

α βγ ?



   

????α  β  γ  α β  γ ?  

???? 0?

?

五p?→?r?)?(?q?)?→?(?p?→??

? p p  q     r ?

?  p r ?  p q  

????qp?  p      r

??  q  p  r??3?/?30?

?  pp 

? p  q  r?

?

?????严禁用于商业用途???????m0  m1  m2 ?m3  m4  m5

 m7??

六群的(1(A(2)、*为二元运算(3)、存在关于*的单位元?定义)、,?*?)是代数系统

(4)、aAa–?1A。?

?P(?x,?y?)x与y构成代数系统??H(?x,?y?)x∈y?

?F(?x?)x是二元运算????I(?x,?y?)x是y的逆?

?系R(?x,?y?)x是关y的单位元。?

?P

A,

F

 e R

e,

 a  Ha,A  b  I

b,a

H b,A ?

?

七证明?

?【置换群问题答案略】?

?

?

???4?/?30?

?严禁用于商业用途?1997年?一R1、R2分别是集合S、T上的关系定义S

T上的关系R3R3当且仅当s1R1s2

t1R2t2。?证明?(1)若R1、R2为等价关系则R3为等价关系。?????(2)若R1、R2为偏序

则R3也是偏序。?

?

二证明S是无限集当且仅当存在S的真子集S’满足S与S’等势。?

?

三图G=(VG,EG)R1是定点集VG上的相邻关系即对任意u,v∈VGuR1v当且仅当u,v

∈EG。

R2是VG上的可达关系即uR2v当且仅当在G中存在vu‐通路。???证明R2是R1的传递闭

包。?

?

四(1)T是树e是T中任意一条边证明T’=T‐{e}是连通分支数为2的森林。?

?(2)图G=(VG,EG)|VG|=n|EG|=mG连通且恰好含一个回路的充分必要条件是下列三项

的任意两项成立。?

??(i)G连通(ii)G恰好含一个回路(iii)m=n。?

?

五(1)若G是奇数阶有限群证明对任意a∈G方程x2=a有解。?

??(2)若在有限群G中对任意ax2=a有唯一解则|G|必为奇数。?

?

六Zm、Zn分别是m、n阶剩余加群。定义代数系统(ZmZn,*)对任意x1,x2∈Zmy1,y2

∈Zn

(x1,y1)*(x2,y2)=(x1+mx2,y1+ny2)。?

证明若m、n互质ZmZn是循环群生成元为(1,1)。?

证明1封闭性?

???????????????2可结合性?

???????????????3幺元?0,?0?

???????????????4逆元??显然对于任意a,bZ∈m×Zn,?有a‐1,?b‐1?

????????????????综上所述对于任意的m、nZm×Zn,?*都是群。?????????????????

显然若m与n互质?Zm×Zn是循环群生成元为(1,1)。?

?

七试讨论在一给定公理系统的公理系统集合中添加或删除元素对系统的性质可能产生什

影响。提示在添加元素的情况下要考虑所加公式在原系统中是否可证。?

?

八给下列命题?

??(1)参加展览的人中每个N大学的男生都背K牌书包。?

(2)参观展览的人中每个背K牌书宝的都是来自N大学的男生。?

(3)每个背K牌书包的N大学男生都参观了该展览。?

写出相关的谓词逻辑表达式证明(1)(2)不能推出(3)。?

?

?

???5?/?30?

?严禁用于商业用途?1997年答案?一证明?

1.?①  R1与R2都是等价关系 S1∈S? t1∈T有S1R1S1与t1R1t1。  

St。有? R3满足自反性。

R3?

??②?对于?S1R1S2必有S2R1S1同样1R2t2必t2R2t1?

? ?t有。

???R3??SRS2? t1R2t2 ?S2R1S1? t2R2t1?

??R3?

???R足对称性。?111满

???③ ?R?S2,?t2> ?R?S3,?t3>?3? < <

???(?S1R1S2?t1R2t2?)  (?S2R1S3?t2R2t3?)?3?3? ?

???(?S1R1S2? S2R1S3?)  ?(?t1R2t2? t2R2t3?)??



????1R1S3? ?t1R2t2?

S

???? ?R3??

????R3满足传递性。?

?2.?自反性与传递性1。?同

?证明反对称性 S1,1>??

?>?R 

????(?S1R1S2?)?(?t1R2t2?)?S1S2??t1t2?

   

????(?SR1S1?)? (?t2R2t1?)?S1S2?t1t2?

  ?

???? ?R3?? ??2S2?R3满足反对称性

R3也是偏序关系。?二证明?

1.?充分性S??S将S中去掉一个元素x并将S→S的映射从元素x开始指向原来的下

一个元素。是无限集S到S’仍然存在双射 SSSS。?S是无限集

S’也

2.?必要性SSSS?若S不是无限集则S’中必比S中少元素则不可能

有S’→S

的单射这与SS矛盾S必是无限集。?

三证明?????????????

?1.?对于任意,,,?R’有u到v通路?

????v到通路则u到r必有通路的。?r有,R是传递

?2.? E到v必有通路,?R u,va则uR。?

?u与v必是n条边关联的通路1,2„„?3.?对,即有

,、

?,R对于包含R的传递关系R’’必有,R R

。?

四证明?

1.?树中每条边都是桥去掉一条边后连通分支数加1T’?=?T?–?{e}为连通分支

数为2的

森林。??

2.?(i)(ii)成立则结果显然成立。?

??(i)(iii)成立则对于G中的某一生成树n?=?m?+?1n?=?m对于这个生成树

任加一

条边根据树的性质可得生成的图仅含一个回路得证。?

??(ii)(iii)成立G中恰含一条回路则去掉回路一条边得G中无回路此时

n?=?m?+?1。

对于G各个连通分量均有vi?=?ei?+?1

v?=?v1?+?v2?+?„?+?vn’?=?e1?+?e2?+?„?+?en?+?n’?=?e?+?n’。

nm1n1。G中只有一个连通分量即G是连通的。?

五1.?证明?

?????因为G的阶为奇数?

??????????故无偶数因子??6?/?30?

?严禁用于商业用途???????????所以任意一个元素a的阶也是奇数不妨设

为2k+1。即有?

??????????????????a2k+1=e幺元???????????而且????aj≠e. 因此方程

x2=a有解如下 x= ak+1 事实上

ak+1)2=a2k+1a=ea=a?

?2.?证明?

??????????a有唯一解有e ° e?=?e。xx2?=?

???aG且ae有a?°?a‐1?=?e且aa‐1。?

???a与a‐1成对出现。?

????????????非e元素有偶数个元素数为奇即|G|必为奇数。?

六?证明?

?1.?代数系统中*是二元运算关系x1,?x2,?x3Zmy1,?y2,?y3

Zn。?

?*??*??=??=??*?

(?*?)

足合律。??*??=???*??=?存

在幺元。?1满结

?Zm ?Zn是群。?2.?设?=?t证

明?x?+?1,?y?>?=?t2(t,?t1,?t2为整数)。?

<1?>t1?x,??+?1?>?=

一次同方定理?gcd(n,?m)?|?1α使 nαm (α为整数)。?根据余程

?t?=?t?+?nα?t?+?nα?=?。?1同理可得

,ZmZn均有?=?t存在即ZZ=?>

生成元。?

??>mα?=??mn八设?F(x)x参观了展览。??(1)?M?七【略】?

xFxNxxKx

??N(x)x来自N大学。??(2)?M?xFxKxNxx

??M(x)x是男生。???(3)?xKxNxMxFx?

??K(x牌书包。)x背k???

?前提xFxKxNxMx?xFxNx

MxKx

?结论?xKxNxMxFx

??Nx??前提引入?xFxMxKx??

??NxKx???①?xFxMx

??Kxx??前提引入?xFxNMx??

??NxFxKx

x

M

x

???②?

?FNM与②交??

KxN

x

M

x

①

?

x

K

x

N

x

M

x

   x

x

xxxxKxxFx

F

N

xM

K

x

 F

x

?

N

x

M

x

N

x

M

x

?

?

 x

xK

x

? x

x



x

F

FK

?

?K??xF

x



x

xKxNxMxFx

?xKNx xF



K

x

xxMFx?

?FKKMxFx? x

x



x

xNx

? xKxNxMxFx不一定为真?

??上述结论不一定成立。?

???7?/?30?

?严禁用于商业用途?1998年?一(1)在下演算中哪列谓词公式些变元可以

换名?

???(a)xFxGx??(b)zyAzByCx,y?

??(2)写出命题演算公式(?p?→?q?)?∧?(?(q∧r)?→(p∧r)?)的析合、合析范式。?

?

二利用谓词演算描述下列推理的过程?

???前提(i)所有的狗都不吃鱼。(ii)没有一个猫不吃鱼。?

???结论没有一只狗是猫。?

?

三设N是正整数集定义关系RNN如下对任意的x,y∈NxRy当且仅当存在z

∈N

使得xz=y。(即x|y).?

(1)证明R是偏序。?

(2)偏序集是否有极小、极大、最小、最大元?

(3)描述偏序集中一个链的一般形式。偏序集中的一个链是A的一个子集B满

是偏序集。?

(4)描述偏序集中一个反链的一般形式。偏序集中的一个反链是A的一个子集B

满足对B中任意元素x,y若xy则xRy和yRx均部成立。?

?

四人给一个有限的正整数序列序列中元素各不相等。?

(1)证明以不同元素结尾的最大递增或最大递减子序列长度不会相等。例如在序列2

15876421中以6结尾的最大递增子序列是26最大递减子序

列是15

876。而以4结尾的最大递增子序列是24最大递减子序列是158

764。?

?(2)利用鸽巢原理证明在由n2+1个不同的正整数构成的序列中至少有一个递增或递减

序列的长度大于n。?

?

五若干足球队参加比赛每队之间赛一场没有平局而且对任意三个队A、B和C若A

胜B且B胜C则必有C胜A。试建立一个描述此问题的图模型并讨论满足上述条件的

参赛队伍的个数是否有上限若有是多少?

?

六简单连通图G恰好含2KK是不小于1的整数个奇次顶点。证明G可以分为K各边

不相交的简单通路。?

?

七代数系统Sa,b,c,d,,中的运算均满足交换率证明结合S上所有保

持?

ab

cd的值不变的一一对应的映射置换构成对称群S4即S上所有置换的

集合与映射符合运算所构成的群的子群。?

?

八代数系统S满足以下4条公理?

??(i)封闭性???(ii)对任意的a,b∈S,a(bc)=(ba)c?

(iii)有单位元???(iv)每个元素都有逆元素。?

证明S是可交换群。?

?

???8?/?30?

?严禁用于商业用途?1998年答案?一1.?a.?x,?y)中xy不在zy辖

域内可换元。?G(x)中x不在x辖域内可换名。b.?G(

?q

p 2.??

p q



 r   r

?

? q r

r

?

pq

  p 

?qp  p q  

?  q r p q

???M4?5?M7?

 M

??m0? m1? m2? m3? m6?

二F(x)x是狗?

?G(x)x是猫?

?R(x)x吃鱼。?

?前提xx  G

x

R

x

?  F

x

R

x

?结论x

r   ?

r  qr p ?p

 

?x  F

G

x

(1) F

R??????前提引入?x  x



x

?

(2) xR  F

x



x

?

(3) 

???????前提引入?xG

x

R

x

(4) R

x  G

x

x

?

(5) FR x??(2)(4)合并?

x  

x



x

  x G



R

x

(6) 

   G

x

R

x

?x 

xR

x

(7)  

 ?x F

x

G

x

(8) x? 

F

x

F

G

x

(9) x

F

x

G???????

x

?得证

三1.?证明自反性x N有x|所以xRx,。R满足自反律。?

x成立

????反对称性x立,yN且xy有x|y成立则y|x必不成?

。RR‐1IA。R满足?

即,,反对称性。

????传递性,  ,则x|yy|z则x|z即,

?

????????????????????????R满足传递性。?

?2.?有极小元与最小元1无极大元和最大元。?

?3.?B是集合{?2k?|?k?≥?0}。?

?4.?B是素数。?

四【答案略】?

五【颜色填充问题答案略】?

六对k用数学归纳法证明?

?1.?k?=?1图G是一个只含俩个节点u和v的连通图所以图G存在一条欧拉通路E(P1)

且E(G)?=?E(P1)?=?(?u,?v?)。??2.?归纳假设k?≤?i?(?i≥1?)时结论成立即G中存在

各边不重复的i条简单路P1P2„Pi使得???E(G)?=?E(P1)??E(P2)? „ 

E(Pi)??3.?k?=?i?+?1时任选两个奇节点不妨设为v1和u1。??因为图G是连通的所以

为v1和u1间必存在一条简单路径边部重复的路径P不妨设为为v1?v2„?vpu1。从G

中删去路径P节点v2?„vp?奇数的奇偶性不变而v1和u1变为偶度数结点。?

?设图G删去路径P后变为G’如果G’中某节点v’的度数为0则再删去v’显然G’

的奇?9?/?30?

?严禁用于商业用途?度数结点变为2i个。?

?在G’的任意连通分支中对于只含有偶度数结点的连通分支OnOn是欧拉图所以On

存在欧拉回路。??因为图G是连通的所以On中必存在一个节点v0在v1和u1间的简单路

径P上。??把这个欧拉回路v0加入路径P得P’。同理可以采用这种方法消除致函偶度数

结点的连通分支。?

对于含有奇度数结点的连通分支Wm根据握手定理则一定包含偶数个奇度数结点。?

不妨设连通分支Wm中含有2x?(?m?=?2x?)个奇度数结点并且xm≤i在根据归纳假设2

Wm中存在各边不重复的x(m)条简单路P1P2„使得?

Px(m)

?????E(Wm)?=?E(P1)??E(P2)? „  E(P?x(m))?

综上所述G中存在各边不重复的条简单2„Pk使得?

k路P1P

??????E(G)?=?E(P1)??E(P2)? „  E(P?k)?

七【置换群、对称群问题答案略】?

八证明?

?推出S是群只需证明交换群。?由(i)(ii)(iii)可

? a,b ,c S?a(bc)?=?(ab)c。?

??a(bc)?=?(ba)c?

??(ab)c?=?(ba)c?

?律?群满足消去

?a,b S有ab?=?ba?

??S为Abel群。?

???10?/?30?

?严禁用于商业用途?2001年?一设(H,*)*j|h,j∈H}?是群(G,*)的子群对

于a∈G令HaH={h*a

?证明

a,bG

HaHHbHHaHHbH?

?

二设P、演?Q为一元谓词在一阶谓词算中证明

a) 成立?xPxQxxPxxQx

b) xPxxQxxPxQx不成立?

?

三问题考试日程安排问题。?

每个学生选若干课。要求安排能保证每个学生不会有两门或两门以上所选课程考试时间重

叠。假设每门课的考试时间一样长以一门考试为单位时间段。求所需的最短时间段数。?

?

???11?/?30?

?严禁用于商业用途?2001年答案?一证明?

G若a?=?b对于hij?H在代数系统内有hajHaH。?

a,b 

ab?

bjHbH?hajh

HaH?HbH

HaH?同理可证HbH

HHbH?aH

H?b与题设矛盾。?若ab对于h,j若h*a*j?=?h*b*j则更具消去率a?=

hH hajHbH?aj  hbjhaj Ha

HhbjHaH?同理hbjHb

?HaHHbH

a,bG

HaHHbHHaHHbH?

二证明?

?P

a)?xx

Q

x

xPxxQx?

?xPQxPx?

?x?  xPx

?Qx? xPxx

?Px xPxQ

?? xPxP

x

xQx

?PPP

x

xQx? xx

?P xQx

x

xQx?

?x xQxP

x

xx xQx

Qx xPxxQ

PxxQx

x xQx?

x QxP

x Qx



xQx?

? xQxxP

x

xQx?

? ?1????原命题成立?

x?//从一开始使用归谬法更简单?b?xP

x

xQ

x

xP

? 

Px 

xP

xx

xQ



x?

 xQ

使用归谬法?

? 

?P 

x

Q

x

?

?x 

x

xP

x

Qx??

xPxxQx xP

xPxxQx x

xx? xPx

Q

xxPxQx?

xQxxPxQ

xxPxQx?

xQxxPxQx

xQxx

xQxQ

xQx

Qx?

PxQx

xPx

xQ

Qx



 xP

?

?xQ

x

xP

x

? xQx

? P

x

? x

? 0??????????原命题未必成立?

三【颜色填充问题答案略】?

???12?/?30?

?严禁用于商业用途?2002年?一H为无限循环群G为任意阶循环群证明

存在从H到G的满同态。?

?

二设α,β,γ为命题演算中任意命题 和分别表示否定和蕴含联结词仅仅用一下

公理A1

A2A3和规律R1R2R3证明αα。?

公理?α

β

:

β

:α

α?A1:α A2α

αβ

α A3

ββ

规则?R1:αβαβ R2:αβ  γα

γβ

R3:αββγαγ?

?

三设G为无向简单图e为G的边数v为G的点数证明若ev23v6/2

则G含

有Hamilton回路。?

?

?

???13?/?30?

?严禁用于商业用途?2002年答案?一证明

1.?若G为无限群则

G

Z而

H

Z

G

H

ZHG的

漫射。?

2.?若G为有限群|a|?=?n则

G

Z而

H

存在到Z的满射HG的

满射。?

得证。?

二证明?

① α?????????????公理A1?αα

②?αα???????公理A3?α

③?ααα??公理A3?α??

④?αα???规则R3?αα

?

????

α

⑤?αα??规则R3?α?????

⑥?αααα???公理A2?α

⑦?αα?????????规则R1⑤成立?

三证明?

? e

?

? e

?

?v62evv?

 v3

? v3?

?和设为d?2e即为G的每个顶点度数之

? v3v6dvv?

?点v1v2度数为d1d2?

任取两个不相邻的顶

?dddd?对于剩下v?–?2个顶点其内部

?而与vv相关联边上的度ddd?

??即不与v1v2相关联边上的度度数最大为?

v2

v3v5v6

?12dv5v62dd?

?5v62dd?

 v3v6v?d? 2v2d

? vdd?

?根据定理G为阶n大于3的无向图人两个不相邻顶点均有ddn则G中存在哈密

顿图。?

?得证。?

?

?

?

???14?/?30?

?严禁用于商业用途?2003年?一证明?∪?A∪B?=?∪A?∪(∪B)。?

?

二设N为全体自然数的集合证明若SN×N且对于S的任何两个元素(x1,y1)和(x2,y2)

既无??

x1≤x2∧y1≤y2?又无?(x2≤x1∧y2≤y1),则S有穷.??

?

三设G为简单连通图证明G为一条非回路的基本通路G中有两点的度为1且其余点的

为2.??

?

四设为偶数阶有限群的子群且H=

G证明的正规子群?????????????

这里H为G的正规子群是指(a∈G)(aH=Ha)。?

?

五在命题演算中证明??

??????(α→β)→(γ→β)→((γ∨τ)→((τ→β)→α))本题有误?

?

???15?/?30?

?严禁用于商业用途?2003年答案?一证

?AB则aA或a

明?

集合a且aB?

?x一个集合aAB使得xa? xAB则必有

??若???则aA?xA?

??B?若aB????则x

?? xAB?

??B? ABA

??aA或aB使得xa?xAB必存在某集合

?? xaAB?

?? x?AB

??有A

B

AB?

??A

B

AB?

二证明?

设元素,若S中存在x,y且xx若yy

y若yy亦

然xx?则对于S中其他元素可分为两类?①且则y

x,yx

??????????①x,y且x?

??,,y,yN?

 xx,xNy

?? y0,x0 ????????可证y0,x0不成立?

??????????

???对于①有则①为有穷集合 0y

对于则②为有穷集合。  ②有0x

 S为①②,?????????????? S为有穷。?

三证明?

xx

?

y则有

?开始节点度数为d1有n个节点最后一个节点度数为dn。?

??G是一个初级通路?边数e?=?n?–?1?

??d1?+?d2?+?„?+?di?+?„2=??(?*?)?

?+?dn?=?(?n?–?1?)?2n?–?2?

?对于G中各节点d1则?+?d?+?„?d+?„?+12n2?

?d1则d1?+?d2?+?„?+?d+?„?+?d12

n2

12n2与(?*?)矛盾?

d1d2?

?d1?+i??dn 12

n2

2?若1或d

? 1?i?ndd

??则d1?+?d2?+?„?+?di?+?„?+?dn12

n3

212n2与(?*?)矛盾?若d2?

? d2?

??G中有两点度数为1其余点度数为2。?

四证明?

?

|

H

|



|

G

|

?G:

2

|

G

|

2024年4月25日发(作者:宋心诺)

严禁用于商业用途?前言??本文收集了1997、1998年和2001年到2007年和2009年南京大学

研究生入学考试科目《离

散数学》的试卷以及相应试卷答案。2008年试题未找到1997年到2007年试题给出本人所

的答案因为离散数学难度大很多答案问过原来教我们离散数学的老师老师也只能给出

分答案所以不能保证全部答案的正确性2009年试题答案未与同学核对同样不能确保

案正确性故不在此给出。部分答案有更优解需要同学们自己开发。?

?南京大学从2005年开始把《离散数学》作为复试科目满分为80分与《编译原理》同

为笔试项目总分150分。主要考试部分为数理逻辑、集合论、代数结构和图论。推荐复习

候以南大课件为主课件在网上可以查到有宋方敏和陈道旭两种版本。通过真题发现很

题目都是课件上证明题的原题而且考试重点与课件也吻合。?

?离散数学特点就是难度大上手容易深入难。代数系统和图论两章难度非常大所以复习

好离散数学要有一定的耐心和钻研精神。?

相信天下无难事只怕有心人。祝愿所有有志考南大CS的同学金榜提名。?

?

?

?????????????????冷城?

??????????????????2009年7月?

?

?

?

?

?

?

???1?/?30?

?严禁用于商业用途?1996年?一试证?a.自然数集为无限集中势最小者。?

b.不存在最大的势。?

?

二任给无向图G其联结矩阵为A=[aij]即若存在边(vi,vj)则aij=1否则aij=0试

定义矩阵运

算并给出关于A的矩阵的表达式B=E(A)使得矩阵B=[bij]满足对于G中的任意两结点

vi,vj若其间存在通路则bij=1否则bij=0。?

?

三任给无向图G?对G中的边赋予方向得图G’试证存在G满足对任意两点v1,v2

G’

不论从哪点为始终端均有有向通路到达另一点的充分条件是原图G连通且不存在割边。?

?

四试分别用永真推理过程和假设推理过程证明?

???(?α→?(?β?→?γ?)?)?→?(?(?α?∧?β?)?→?γ?)?

?

五试给出下式的析合范式和合析范式?

???(?p?→?q?)?→?(?p?→?r?)?

?

六试用谓词演算公式来描述一个代数系统(A,*)为一个群。?

?

七任给一个集合SS到自身的一一对应的映射成为S上的置换试证S上置换的全体

关于

置换的复合运算构成群。?

?

???2?/?30?

?严禁用于商业用途?1996年答案?一证明?

a.?无限集A将A中元素按照某种次序任意规则排序以0,1,2,„„,n来表示A中

元素排列的位置所自集合A的单射NA。?以存在然数集N到得证。

元素αA设BA

α

则A到B有单射关系”=”αAAB。?b.?无限集A

AB比A势更大的集合。因为对任一集合均有比其更大的势的集合。得证。?

?

二B?=?E(?An?)其中An?=??A??n?=?1时?运算定义为两矩阵相乘?

??????An?–?1A?n?>?1时?E为An运算收敛后若元素不为0则将其置为1?

?

三证明?

?1.?对于G中任一条边先证其必在一个圈中?

设存在边ee不在一个圈中e的两个断点记为uv。若去掉边eu,?v不在一个圈

中?????

uv间无通路即P(?G?–?e?)?>?P(G)。e为桥与题设矛盾。得证。?

2.?再证不存在桥的连通图G赋予边以方向后G’为强连通图。?

设不存在这样的圈则存在对两个顶点u,?v没有经过它们的圈。G是连通的u到v

通路设通路上的点为u,?v1,?v2,?„„,?vnv对于与u,?v相关联边必有圈v1,?v2

间必有圈

则可将两圈合并得到必有u到v2的圈同理可得u到v3的圈以此类推可得到u到v的

圈与假设不成立。必存在将所有顶点连接的圈将其以逆时针赋予方向后得经过每

个点至少一次的回路G为强连通图。?

得证。?

?

四证明?

?永真推理

α ?

α 

β  γ

  β

 γ ?

??? β   

α β

 γ

???????????? α

???????????? 1?

?假设推理?

????前提引入???α 

β  γ

????结论???

α  β

γ?

????结论

否定引入?  α

 γ ?

????  ??

α

β  γ



α β

γ

?  α

β  γ

β

γ  

α βγ ?



   

????α  β  γ  α β  γ ?  

???? 0?

?

五p?→?r?)?(?q?)?→?(?p?→??

? p p  q     r ?

?  p r ?  p q  

????qp?  p      r

??  q  p  r??3?/?30?

?  pp 

? p  q  r?

?

?????严禁用于商业用途???????m0  m1  m2 ?m3  m4  m5

 m7??

六群的(1(A(2)、*为二元运算(3)、存在关于*的单位元?定义)、,?*?)是代数系统

(4)、aAa–?1A。?

?P(?x,?y?)x与y构成代数系统??H(?x,?y?)x∈y?

?F(?x?)x是二元运算????I(?x,?y?)x是y的逆?

?系R(?x,?y?)x是关y的单位元。?

?P

A,

F

 e R

e,

 a  Ha,A  b  I

b,a

H b,A ?

?

七证明?

?【置换群问题答案略】?

?

?

???4?/?30?

?严禁用于商业用途?1997年?一R1、R2分别是集合S、T上的关系定义S

T上的关系R3R3当且仅当s1R1s2

t1R2t2。?证明?(1)若R1、R2为等价关系则R3为等价关系。?????(2)若R1、R2为偏序

则R3也是偏序。?

?

二证明S是无限集当且仅当存在S的真子集S’满足S与S’等势。?

?

三图G=(VG,EG)R1是定点集VG上的相邻关系即对任意u,v∈VGuR1v当且仅当u,v

∈EG。

R2是VG上的可达关系即uR2v当且仅当在G中存在vu‐通路。???证明R2是R1的传递闭

包。?

?

四(1)T是树e是T中任意一条边证明T’=T‐{e}是连通分支数为2的森林。?

?(2)图G=(VG,EG)|VG|=n|EG|=mG连通且恰好含一个回路的充分必要条件是下列三项

的任意两项成立。?

??(i)G连通(ii)G恰好含一个回路(iii)m=n。?

?

五(1)若G是奇数阶有限群证明对任意a∈G方程x2=a有解。?

??(2)若在有限群G中对任意ax2=a有唯一解则|G|必为奇数。?

?

六Zm、Zn分别是m、n阶剩余加群。定义代数系统(ZmZn,*)对任意x1,x2∈Zmy1,y2

∈Zn

(x1,y1)*(x2,y2)=(x1+mx2,y1+ny2)。?

证明若m、n互质ZmZn是循环群生成元为(1,1)。?

证明1封闭性?

???????????????2可结合性?

???????????????3幺元?0,?0?

???????????????4逆元??显然对于任意a,bZ∈m×Zn,?有a‐1,?b‐1?

????????????????综上所述对于任意的m、nZm×Zn,?*都是群。?????????????????

显然若m与n互质?Zm×Zn是循环群生成元为(1,1)。?

?

七试讨论在一给定公理系统的公理系统集合中添加或删除元素对系统的性质可能产生什

影响。提示在添加元素的情况下要考虑所加公式在原系统中是否可证。?

?

八给下列命题?

??(1)参加展览的人中每个N大学的男生都背K牌书包。?

(2)参观展览的人中每个背K牌书宝的都是来自N大学的男生。?

(3)每个背K牌书包的N大学男生都参观了该展览。?

写出相关的谓词逻辑表达式证明(1)(2)不能推出(3)。?

?

?

???5?/?30?

?严禁用于商业用途?1997年答案?一证明?

1.?①  R1与R2都是等价关系 S1∈S? t1∈T有S1R1S1与t1R1t1。  

St。有? R3满足自反性。

R3?

??②?对于?S1R1S2必有S2R1S1同样1R2t2必t2R2t1?

? ?t有。

???R3??SRS2? t1R2t2 ?S2R1S1? t2R2t1?

??R3?

???R足对称性。?111满

???③ ?R?S2,?t2> ?R?S3,?t3>?3? < <

???(?S1R1S2?t1R2t2?)  (?S2R1S3?t2R2t3?)?3?3? ?

???(?S1R1S2? S2R1S3?)  ?(?t1R2t2? t2R2t3?)??



????1R1S3? ?t1R2t2?

S

???? ?R3??

????R3满足传递性。?

?2.?自反性与传递性1。?同

?证明反对称性 S1,1>??

?>?R 

????(?S1R1S2?)?(?t1R2t2?)?S1S2??t1t2?

   

????(?SR1S1?)? (?t2R2t1?)?S1S2?t1t2?

  ?

???? ?R3?? ??2S2?R3满足反对称性

R3也是偏序关系。?二证明?

1.?充分性S??S将S中去掉一个元素x并将S→S的映射从元素x开始指向原来的下

一个元素。是无限集S到S’仍然存在双射 SSSS。?S是无限集

S’也

2.?必要性SSSS?若S不是无限集则S’中必比S中少元素则不可能

有S’→S

的单射这与SS矛盾S必是无限集。?

三证明?????????????

?1.?对于任意,,,?R’有u到v通路?

????v到通路则u到r必有通路的。?r有,R是传递

?2.? E到v必有通路,?R u,va则uR。?

?u与v必是n条边关联的通路1,2„„?3.?对,即有

,、

?,R对于包含R的传递关系R’’必有,R R

。?

四证明?

1.?树中每条边都是桥去掉一条边后连通分支数加1T’?=?T?–?{e}为连通分支

数为2的

森林。??

2.?(i)(ii)成立则结果显然成立。?

??(i)(iii)成立则对于G中的某一生成树n?=?m?+?1n?=?m对于这个生成树

任加一

条边根据树的性质可得生成的图仅含一个回路得证。?

??(ii)(iii)成立G中恰含一条回路则去掉回路一条边得G中无回路此时

n?=?m?+?1。

对于G各个连通分量均有vi?=?ei?+?1

v?=?v1?+?v2?+?„?+?vn’?=?e1?+?e2?+?„?+?en?+?n’?=?e?+?n’。

nm1n1。G中只有一个连通分量即G是连通的。?

五1.?证明?

?????因为G的阶为奇数?

??????????故无偶数因子??6?/?30?

?严禁用于商业用途???????????所以任意一个元素a的阶也是奇数不妨设

为2k+1。即有?

??????????????????a2k+1=e幺元???????????而且????aj≠e. 因此方程

x2=a有解如下 x= ak+1 事实上

ak+1)2=a2k+1a=ea=a?

?2.?证明?

??????????a有唯一解有e ° e?=?e。xx2?=?

???aG且ae有a?°?a‐1?=?e且aa‐1。?

???a与a‐1成对出现。?

????????????非e元素有偶数个元素数为奇即|G|必为奇数。?

六?证明?

?1.?代数系统中*是二元运算关系x1,?x2,?x3Zmy1,?y2,?y3

Zn。?

?*??*??=??=??*?

(?*?)

足合律。??*??=???*??=?存

在幺元。?1满结

?Zm ?Zn是群。?2.?设?=?t证

明?x?+?1,?y?>?=?t2(t,?t1,?t2为整数)。?

<1?>t1?x,??+?1?>?=

一次同方定理?gcd(n,?m)?|?1α使 nαm (α为整数)。?根据余程

?t?=?t?+?nα?t?+?nα?=?。?1同理可得

,ZmZn均有?=?t存在即ZZ=?>

生成元。?

??>mα?=??mn八设?F(x)x参观了展览。??(1)?M?七【略】?

xFxNxxKx

??N(x)x来自N大学。??(2)?M?xFxKxNxx

??M(x)x是男生。???(3)?xKxNxMxFx?

??K(x牌书包。)x背k???

?前提xFxKxNxMx?xFxNx

MxKx

?结论?xKxNxMxFx

??Nx??前提引入?xFxMxKx??

??NxKx???①?xFxMx

??Kxx??前提引入?xFxNMx??

??NxFxKx

x

M

x

???②?

?FNM与②交??

KxN

x

M

x

①

?

x

K

x

N

x

M

x

   x

x

xxxxKxxFx

F

N

xM

K

x

 F

x

?

N

x

M

x

N

x

M

x

?

?

 x

xK

x

? x

x



x

F

FK

?

?K??xF

x



x

xKxNxMxFx

?xKNx xF



K

x

xxMFx?

?FKKMxFx? x

x



x

xNx

? xKxNxMxFx不一定为真?

??上述结论不一定成立。?

???7?/?30?

?严禁用于商业用途?1998年?一(1)在下演算中哪列谓词公式些变元可以

换名?

???(a)xFxGx??(b)zyAzByCx,y?

??(2)写出命题演算公式(?p?→?q?)?∧?(?(q∧r)?→(p∧r)?)的析合、合析范式。?

?

二利用谓词演算描述下列推理的过程?

???前提(i)所有的狗都不吃鱼。(ii)没有一个猫不吃鱼。?

???结论没有一只狗是猫。?

?

三设N是正整数集定义关系RNN如下对任意的x,y∈NxRy当且仅当存在z

∈N

使得xz=y。(即x|y).?

(1)证明R是偏序。?

(2)偏序集是否有极小、极大、最小、最大元?

(3)描述偏序集中一个链的一般形式。偏序集中的一个链是A的一个子集B满

是偏序集。?

(4)描述偏序集中一个反链的一般形式。偏序集中的一个反链是A的一个子集B

满足对B中任意元素x,y若xy则xRy和yRx均部成立。?

?

四人给一个有限的正整数序列序列中元素各不相等。?

(1)证明以不同元素结尾的最大递增或最大递减子序列长度不会相等。例如在序列2

15876421中以6结尾的最大递增子序列是26最大递减子序

列是15

876。而以4结尾的最大递增子序列是24最大递减子序列是158

764。?

?(2)利用鸽巢原理证明在由n2+1个不同的正整数构成的序列中至少有一个递增或递减

序列的长度大于n。?

?

五若干足球队参加比赛每队之间赛一场没有平局而且对任意三个队A、B和C若A

胜B且B胜C则必有C胜A。试建立一个描述此问题的图模型并讨论满足上述条件的

参赛队伍的个数是否有上限若有是多少?

?

六简单连通图G恰好含2KK是不小于1的整数个奇次顶点。证明G可以分为K各边

不相交的简单通路。?

?

七代数系统Sa,b,c,d,,中的运算均满足交换率证明结合S上所有保

持?

ab

cd的值不变的一一对应的映射置换构成对称群S4即S上所有置换的

集合与映射符合运算所构成的群的子群。?

?

八代数系统S满足以下4条公理?

??(i)封闭性???(ii)对任意的a,b∈S,a(bc)=(ba)c?

(iii)有单位元???(iv)每个元素都有逆元素。?

证明S是可交换群。?

?

???8?/?30?

?严禁用于商业用途?1998年答案?一1.?a.?x,?y)中xy不在zy辖

域内可换元。?G(x)中x不在x辖域内可换名。b.?G(

?q

p 2.??

p q



 r   r

?

? q r

r

?

pq

  p 

?qp  p q  

?  q r p q

???M4?5?M7?

 M

??m0? m1? m2? m3? m6?

二F(x)x是狗?

?G(x)x是猫?

?R(x)x吃鱼。?

?前提xx  G

x

R

x

?  F

x

R

x

?结论x

r   ?

r  qr p ?p

 

?x  F

G

x

(1) F

R??????前提引入?x  x



x

?

(2) xR  F

x



x

?

(3) 

???????前提引入?xG

x

R

x

(4) R

x  G

x

x

?

(5) FR x??(2)(4)合并?

x  

x



x

  x G



R

x

(6) 

   G

x

R

x

?x 

xR

x

(7)  

 ?x F

x

G

x

(8) x? 

F

x

F

G

x

(9) x

F

x

G???????

x

?得证

三1.?证明自反性x N有x|所以xRx,。R满足自反律。?

x成立

????反对称性x立,yN且xy有x|y成立则y|x必不成?

。RR‐1IA。R满足?

即,,反对称性。

????传递性,  ,则x|yy|z则x|z即,

?

????????????????????????R满足传递性。?

?2.?有极小元与最小元1无极大元和最大元。?

?3.?B是集合{?2k?|?k?≥?0}。?

?4.?B是素数。?

四【答案略】?

五【颜色填充问题答案略】?

六对k用数学归纳法证明?

?1.?k?=?1图G是一个只含俩个节点u和v的连通图所以图G存在一条欧拉通路E(P1)

且E(G)?=?E(P1)?=?(?u,?v?)。??2.?归纳假设k?≤?i?(?i≥1?)时结论成立即G中存在

各边不重复的i条简单路P1P2„Pi使得???E(G)?=?E(P1)??E(P2)? „ 

E(Pi)??3.?k?=?i?+?1时任选两个奇节点不妨设为v1和u1。??因为图G是连通的所以

为v1和u1间必存在一条简单路径边部重复的路径P不妨设为为v1?v2„?vpu1。从G

中删去路径P节点v2?„vp?奇数的奇偶性不变而v1和u1变为偶度数结点。?

?设图G删去路径P后变为G’如果G’中某节点v’的度数为0则再删去v’显然G’

的奇?9?/?30?

?严禁用于商业用途?度数结点变为2i个。?

?在G’的任意连通分支中对于只含有偶度数结点的连通分支OnOn是欧拉图所以On

存在欧拉回路。??因为图G是连通的所以On中必存在一个节点v0在v1和u1间的简单路

径P上。??把这个欧拉回路v0加入路径P得P’。同理可以采用这种方法消除致函偶度数

结点的连通分支。?

对于含有奇度数结点的连通分支Wm根据握手定理则一定包含偶数个奇度数结点。?

不妨设连通分支Wm中含有2x?(?m?=?2x?)个奇度数结点并且xm≤i在根据归纳假设2

Wm中存在各边不重复的x(m)条简单路P1P2„使得?

Px(m)

?????E(Wm)?=?E(P1)??E(P2)? „  E(P?x(m))?

综上所述G中存在各边不重复的条简单2„Pk使得?

k路P1P

??????E(G)?=?E(P1)??E(P2)? „  E(P?k)?

七【置换群、对称群问题答案略】?

八证明?

?推出S是群只需证明交换群。?由(i)(ii)(iii)可

? a,b ,c S?a(bc)?=?(ab)c。?

??a(bc)?=?(ba)c?

??(ab)c?=?(ba)c?

?律?群满足消去

?a,b S有ab?=?ba?

??S为Abel群。?

???10?/?30?

?严禁用于商业用途?2001年?一设(H,*)*j|h,j∈H}?是群(G,*)的子群对

于a∈G令HaH={h*a

?证明

a,bG

HaHHbHHaHHbH?

?

二设P、演?Q为一元谓词在一阶谓词算中证明

a) 成立?xPxQxxPxxQx

b) xPxxQxxPxQx不成立?

?

三问题考试日程安排问题。?

每个学生选若干课。要求安排能保证每个学生不会有两门或两门以上所选课程考试时间重

叠。假设每门课的考试时间一样长以一门考试为单位时间段。求所需的最短时间段数。?

?

???11?/?30?

?严禁用于商业用途?2001年答案?一证明?

G若a?=?b对于hij?H在代数系统内有hajHaH。?

a,b 

ab?

bjHbH?hajh

HaH?HbH

HaH?同理可证HbH

HHbH?aH

H?b与题设矛盾。?若ab对于h,j若h*a*j?=?h*b*j则更具消去率a?=

hH hajHbH?aj  hbjhaj Ha

HhbjHaH?同理hbjHb

?HaHHbH

a,bG

HaHHbHHaHHbH?

二证明?

?P

a)?xx

Q

x

xPxxQx?

?xPQxPx?

?x?  xPx

?Qx? xPxx

?Px xPxQ

?? xPxP

x

xQx

?PPP

x

xQx? xx

?P xQx

x

xQx?

?x xQxP

x

xx xQx

Qx xPxxQ

PxxQx

x xQx?

x QxP

x Qx



xQx?

? xQxxP

x

xQx?

? ?1????原命题成立?

x?//从一开始使用归谬法更简单?b?xP

x

xQ

x

xP

? 

Px 

xP

xx

xQ



x?

 xQ

使用归谬法?

? 

?P 

x

Q

x

?

?x 

x

xP

x

Qx??

xPxxQx xP

xPxxQx x

xx? xPx

Q

xxPxQx?

xQxxPxQ

xxPxQx?

xQxxPxQx

xQxx

xQxQ

xQx

Qx?

PxQx

xPx

xQ

Qx



 xP

?

?xQ

x

xP

x

? xQx

? P

x

? x

? 0??????????原命题未必成立?

三【颜色填充问题答案略】?

???12?/?30?

?严禁用于商业用途?2002年?一H为无限循环群G为任意阶循环群证明

存在从H到G的满同态。?

?

二设α,β,γ为命题演算中任意命题 和分别表示否定和蕴含联结词仅仅用一下

公理A1

A2A3和规律R1R2R3证明αα。?

公理?α

β

:

β

:α

α?A1:α A2α

αβ

α A3

ββ

规则?R1:αβαβ R2:αβ  γα

γβ

R3:αββγαγ?

?

三设G为无向简单图e为G的边数v为G的点数证明若ev23v6/2

则G含

有Hamilton回路。?

?

?

???13?/?30?

?严禁用于商业用途?2002年答案?一证明

1.?若G为无限群则

G

Z而

H

Z

G

H

ZHG的

漫射。?

2.?若G为有限群|a|?=?n则

G

Z而

H

存在到Z的满射HG的

满射。?

得证。?

二证明?

① α?????????????公理A1?αα

②?αα???????公理A3?α

③?ααα??公理A3?α??

④?αα???规则R3?αα

?

????

α

⑤?αα??规则R3?α?????

⑥?αααα???公理A2?α

⑦?αα?????????规则R1⑤成立?

三证明?

? e

?

? e

?

?v62evv?

 v3

? v3?

?和设为d?2e即为G的每个顶点度数之

? v3v6dvv?

?点v1v2度数为d1d2?

任取两个不相邻的顶

?dddd?对于剩下v?–?2个顶点其内部

?而与vv相关联边上的度ddd?

??即不与v1v2相关联边上的度度数最大为?

v2

v3v5v6

?12dv5v62dd?

?5v62dd?

 v3v6v?d? 2v2d

? vdd?

?根据定理G为阶n大于3的无向图人两个不相邻顶点均有ddn则G中存在哈密

顿图。?

?得证。?

?

?

?

???14?/?30?

?严禁用于商业用途?2003年?一证明?∪?A∪B?=?∪A?∪(∪B)。?

?

二设N为全体自然数的集合证明若SN×N且对于S的任何两个元素(x1,y1)和(x2,y2)

既无??

x1≤x2∧y1≤y2?又无?(x2≤x1∧y2≤y1),则S有穷.??

?

三设G为简单连通图证明G为一条非回路的基本通路G中有两点的度为1且其余点的

为2.??

?

四设为偶数阶有限群的子群且H=

G证明的正规子群?????????????

这里H为G的正规子群是指(a∈G)(aH=Ha)。?

?

五在命题演算中证明??

??????(α→β)→(γ→β)→((γ∨τ)→((τ→β)→α))本题有误?

?

???15?/?30?

?严禁用于商业用途?2003年答案?一证

?AB则aA或a

明?

集合a且aB?

?x一个集合aAB使得xa? xAB则必有

??若???则aA?xA?

??B?若aB????则x

?? xAB?

??B? ABA

??aA或aB使得xa?xAB必存在某集合

?? xaAB?

?? x?AB

??有A

B

AB?

??A

B

AB?

二证明?

设元素,若S中存在x,y且xx若yy

y若yy亦

然xx?则对于S中其他元素可分为两类?①且则y

x,yx

??????????①x,y且x?

??,,y,yN?

 xx,xNy

?? y0,x0 ????????可证y0,x0不成立?

??????????

???对于①有则①为有穷集合 0y

对于则②为有穷集合。  ②有0x

 S为①②,?????????????? S为有穷。?

三证明?

xx

?

y则有

?开始节点度数为d1有n个节点最后一个节点度数为dn。?

??G是一个初级通路?边数e?=?n?–?1?

??d1?+?d2?+?„?+?di?+?„2=??(?*?)?

?+?dn?=?(?n?–?1?)?2n?–?2?

?对于G中各节点d1则?+?d?+?„?d+?„?+12n2?

?d1则d1?+?d2?+?„?+?d+?„?+?d12

n2

12n2与(?*?)矛盾?

d1d2?

?d1?+i??dn 12

n2

2?若1或d

? 1?i?ndd

??则d1?+?d2?+?„?+?di?+?„?+?dn12

n3

212n2与(?*?)矛盾?若d2?

? d2?

??G中有两点度数为1其余点度数为2。?

四证明?

?

|

H

|



|

G

|

?G:

2

|

G

|

发布评论

评论列表 (0)

  1. 暂无评论