离散数学第三讲

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

二、容斥原理与鸽巢原理 1、 容斥原理(§1。3。) (计数原理、包含排斥原理) 容斥原理(包含排斥原理): 设A ,B 是有限集,则

B

A B A B A -+=

容斥原理的相关推论: (i)

C B A C A C B B A C B A C

B A +---++= (ii) 利用归纳法

n

n n

k j i k

j

i

n

j i j

i

n

i i n A A A A A

A A

A A A A A A 211111321)1(-<<≤≤<≤=-+++

-

=∑∑∑

(iii)

U A A =+, A U A -=

(iv)

n

n A A A U A A A 2121-=

(注意基的具体含义)

设S 是有限集,r

P P P ,,,

21 是r 条性质,

i

A 是S 中具有性质

i P 的子集,即

}{

i

i P x S x x

A 具有性质,∈=

(i=1,2,…,r ) 则 (1)S 中至少具有性质

r

P P P ,,,21 一条的元素数是:

r

r r

k j i k

j

i

r

j i j

i

r

i i r A A A A A

A A

A A A A A A 211111321)1(-≤<<≤≤<≤=-+++

-

=∑∑∑

(2)S 中不具有性质r

P P P ,,,21 的

元素数是:

r

r A A A U A A A 2121-=

e.g 1 设2≥n ,)(n ϕ表示不超过n 且与n 互质的 正整数的个数,求)(n ϕ

该函数在计算机中称为EURTER 函数。 解:

}{n S ,,3,2,1 =

不妨令:

r

r

p p p n ααα⋅⋅= 1121 r p p p ,,,21 为互异的质

数; 设

}

{r i p x S x x A i i ,,2,1, =∈=且

j

i j i i

i p p n

A A p n A =

=,

r A A A n 21)(=ϕ……

2、 鸽巢原理(抽屉原理、鞋盒原理)(教材P63)

n+1个鸽子飞进n 个鸽巢,则可以找到一鸽巢里至少有2只鸽子。 或者:

如果k+1个或更多的物体放入k 个盒子,那么至少有一个盒子包含了2个或更多的物体。

e.g 1 把10个点放入边长为1的正三角形内,证明,可以

找到两个点,它们之间的距离不超过三分之一。

(具体问题,找鸽子,做笼子)

推广1、n 个鸽洞,(多于)1+⨯n r 个鸽子,必有一个鸽洞住有至少r+1 只鸽子。

推论2、 (平均数原理) 设

i x 是自然数,且

r n

x x x n

>+++ 21 )(N r ∈ 则 ∃ k x ,使得 1+≥r x k 。

证明:……

e.g 2 一个园盘划分为36个扇形,把1~36这36个数放入扇形中,每格一个数,证明无论怎样放,总可以找到三个连续的扇形,使得这三个扇形中的数之和 56。 解:…… 练习

No1 有n 个乒乓球运动员比赛,每人至少赛一场,同一对手至多比赛一场,证明这n 个运动员可以找到二个运动员,他们比赛的场数一样。 No2 设

n x x x ,,,21 是n 个正整数,

证明,其中至少存在若干个(下标)连续的数,使得它们的和是n 的倍数。

e.g 3 假定一组6个人,任意两个人或者是朋友或者是敌人,证明在这组人中或存在3个人彼此都是朋友,或存在3个人彼此都是敌人。(教材P65:例3.12)

(任意一个人和其他5个人的关系)

三、二元关系(第2章)

利用“有序偶”给出关系的定义,先看两个基本概念 1、 序偶与笛卡儿积

定义1 设A ,B 是两个非空集合,对B b A a ∈∈,,

则称(a,b )为A 到B 上的一个序偶。

注:序偶讨论的是有序对,不同的书描述的是不一

样的;

显然 (i )(a,b)=(c,d) a=c 且b=d (ii) (a,b)=(b,a) 一般不成立

定义2 非空集合A 到B 的所有序偶的集合,称为A

到B 上的积或笛卡儿积,

记为:B A ⨯

Descartes [1596-1650] 法国哲学家、数学家

e.g 1 设 }{}{b a B A ,,3,2,1==

求 (1)B A ⨯, (2)A B ⨯ (3)B B ⨯

……

e.g 2 R ( 全体实数集) (x,y )平面坐标系中的

一个坐标、

R R ⨯ 的一个序偶

e.g 3 +N Z ,

+∈∈N q Z p q p ,,

),(

将 q p q p −−→−定义成

),( ; 如 53)5,3(-−−→−-定义成

则+⨯N Z 可看成全体有理数

以前遇到的很多事物和现象都可以看成序偶处理 e.g 4 设}2,1{=A ;写出 A A P ⨯)(

本书只讨论二元

另 A=B 时,记 2

A A A

B A =⨯=⨯ e.g 5 设

n B m A ==,

; 则 n m B A ⨯=⨯

有了笛卡儿积,进一步讨论关系的概念

相关文档
最新文档