版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
2023年2月2日第二章鴿巢原理和Ramsey定理§2.2鴿巢原理的加強(qiáng)形式定理2.2.1(鴿巢原理的加強(qiáng)形式)2023年2月2日第二章鴿巢原理和Ramsey定理推論2.2.1
若n(r-1)+1個(gè)物品放入n個(gè)盒子。則至少有一個(gè)盒子里含有r個(gè)或者更多的物品。
推論2.2.2若設(shè)有n個(gè)正整數(shù)m1,m2,…,mn滿足下面的不等式
(m1+…+mn)/n>
r-1,
則
m1,…,mn中至少有一個(gè)數(shù)≥
r推論2.2.3
設(shè)m和n都是正整數(shù)且m>n,若將m個(gè)物體放入n個(gè)盒子中,則至少有一個(gè)盒子中有大于等于個(gè)物體2023年2月2日第二章鴿巢原理和Ramsey定理
推論2.2.2若設(shè)有n個(gè)正整數(shù)m1,m2,…,mn滿足下面的不等式
(m1+…+mn)/n>
r-1,
則
m1,…,mn中至少有一個(gè)數(shù)≥
r
另外兩個(gè)平均原理:設(shè)有n個(gè)正整數(shù)m1,m2,…,mn滿足下面的不等式
(m1+…+mn)/n<
r+1,
則
m1,…,mn中至少有一個(gè)數(shù)<r+12023年2月2日第二章鴿巢原理和Ramsey定理推論2.2.3
設(shè)m和n都是正整數(shù)且m>n,若將m個(gè)物體放入n個(gè)盒子中,則至少有一個(gè)盒子中有大于等于個(gè)物體2023年2月2日第二章鴿巢原理和Ramsey定理例2.2.3設(shè)有大小兩只圓盤(pán),每個(gè)都劃分成大小相等的200個(gè)小扇形,在大盤(pán)上任選100個(gè)小扇形涂成黑色,其余的100個(gè)小扇形涂成白色,而將小盤(pán)上的200個(gè)小扇形任意涂成黑色或白色?,F(xiàn)將大小兩只圓盤(pán)的中心重合,轉(zhuǎn)動(dòng)小盤(pán)使小盤(pán)上的每個(gè)小扇形含在大盤(pán)上小扇形之內(nèi)。證明:有一個(gè)位置使小盤(pán)上至少有100個(gè)小扇形同大盤(pán)上相應(yīng)的小扇形同色。2023年2月2日第二章鴿巢原理和Ramsey定理2023年2月2日第二章鴿巢原理和Ramsey定理證明
如圖2.2.1所示,使大小兩盤(pán)中心重合,固定大盤(pán),轉(zhuǎn)動(dòng)小盤(pán),則有200個(gè)不同位置使小盤(pán)上的每個(gè)小扇形含在大盤(pán)上的小扇形中,由于大盤(pán)上的200個(gè)小扇形中有100個(gè)涂成黑色,100個(gè)涂成白色,所以小盤(pán)上的每個(gè)小扇形無(wú)論涂成黑色或白色,在200個(gè)可能的重合位置上恰好有100次與大盤(pán)上的小扇形同色,因而小盤(pán)上的200個(gè)小扇形在200個(gè)重合位置上共同色100×200=20000次,平均每個(gè)位置同色20000÷20=100次。由推論2.2.3知,存在著某個(gè)位置,使同色的小扇形數(shù)大于等于100個(gè)。
2023年2月2日第二章鴿巢原理和Ramsey定理例2.2.4用鴿巢原理的加強(qiáng)形式證明證明:任意n2+1個(gè)實(shí)數(shù)組成的序列中,必有一個(gè)長(zhǎng)度為n+1的遞增子序列,或必有一個(gè)長(zhǎng)度為n+1的遞減子序列。
2023年2月2日第二章鴿巢原理和Ramsey定理證明:假設(shè)長(zhǎng)為n2+1的實(shí)數(shù)序列中沒(méi)有長(zhǎng)度為n+1的遞增子序列,下面證明其必有一長(zhǎng)度為n+1的遞減子序列。 令mk表示從ak開(kāi)始的最長(zhǎng)遞增子序列的長(zhǎng)度,因?yàn)閷?shí)數(shù)序列中沒(méi)有長(zhǎng)度為n+1的遞增子序列,所以有:
根據(jù)推論2.2.3,這相當(dāng)于把n2+1個(gè)物體
放入n個(gè)盒子1,2,…,n中,必有一個(gè)盒子i里面至少有個(gè)物體,即存在n+1個(gè)mk取值相同,有使得(2.2.1)
對(duì)應(yīng)于這些下標(biāo)的實(shí)數(shù)序列必滿足
(2.2.2)
它們構(gòu)成一長(zhǎng)為n+1的遞減序列。否則,若有某個(gè)j()使得,那么由從開(kāi)始的最長(zhǎng)遞增子序列加上,就得到一個(gè)從開(kāi)始的長(zhǎng)度為的遞增子序列。由的定義知這與(2.2.1)式矛盾。因此(2.2.2)式成立。同理可證若沒(méi)有長(zhǎng)度為n+1的遞減子序列,則必有一長(zhǎng)度為n+1的遞增子序列。因此,結(jié)論成立?!?.3Ramsey定理
任何一個(gè)6人聚會(huì),必有3個(gè)人相互認(rèn)識(shí)或者相互不認(rèn)識(shí)其思想可以概括為“在任何一個(gè)足夠大的結(jié)構(gòu)中必定包含一個(gè)給定大小的規(guī)則子結(jié)構(gòu)”。例2.3.1
設(shè)K6是6個(gè)頂點(diǎn)的完全圖,用紅、藍(lán)兩色涂色K6的邊,則存在一個(gè)紅色三角形,或存在一個(gè)藍(lán)色三角形。證明:設(shè)K6的頂點(diǎn)為v1,v2,v3,v4,v5,v6.對(duì)于任意一種涂色方案,根據(jù)鴿巢原理加強(qiáng)形式的推論3,與v1關(guān)聯(lián)的5條邊至少有條同色邊不妨設(shè)這三條邊為{v1
,v2},{v1,v3},{v1,v4}(1)若這三條邊均為紅色v1v2v3v4(a)當(dāng)v2,v3,v4
之間有一條紅邊,如{v2,v3}(b)v2,v3,v4
之間沒(méi)有紅邊,v1v2v3v4v1v2v3v4(a)(b)(2)若這三條邊均為藍(lán)色,同理可證.2023年2月2日第二章鴿巢原理和Ramsey定理例2.3.2
用紅、藍(lán)兩色涂色K9的邊,證明或者存在一個(gè)藍(lán)色的三角形或紅色的完全四邊形。Ramsey定理簡(jiǎn)單形式定理2.3.1
設(shè)p,q是正整數(shù),p,q≥2,則存在最小的正整數(shù)R(p,q),使得當(dāng)n≥R(p,q)時(shí),用紅、藍(lán)兩色涂色Kn的邊,或者存在一個(gè)藍(lán)色的完全p邊形Kp,或者存在一個(gè)紅色的完全q邊形Kq。
稱R(p,q)為Ramsey數(shù);確定精確的Ramsey數(shù)的值是相當(dāng)困難的工作。到目前為止,僅有極少數(shù)小p,q的Ramsey數(shù)被找到。
2023年2月2日第二章鴿巢原理和Ramsey定理qp3456789103691418232836404341825354149615684691159214954349588780143101216121316141442610216511129812749516978017811717205540216103123217132826828218703173583609095656588580126771079823556證明思路:歸納法歸納假設(shè)
R(p,2)≤p,R(2,q)≤q,
歸納步驟
R(p-1,q),R(q-1,p)存在?R(p,q)≤R(p-1,q)+R(q-1,p)假設(shè)對(duì)正整數(shù)p’,q’,p’≤p,q’≤q,p’+q’<p+q為真,則R(p-1,q),R(p,q-1)存在.令n≥R(p-1,q)+R(p,q-1),用藍(lán)紅兩色涂色Kn的邊,則case1v1關(guān)聯(lián)R(p-1,q)條藍(lán)邊,case2v1關(guān)聯(lián)R(p,q-1)條紅邊.對(duì)于case1,如為藍(lán)色Kp-1,構(gòu)成藍(lán)色Kp;如為紅色Kq,則滿足要求.對(duì)于case2可以類似分析.R(p,q)≤R(p-1,q)+R(q-1,p)
例2.3.3
證明:R(3,3)=6證明:由例2.3.1知R(3,3)≤6。而圖2.3.2中的實(shí)線代表藍(lán)色的邊,虛線代表紅色的邊,則這個(gè)的涂色方案既不包含藍(lán)三角形,也不包含紅三角形。所以R(3,3)>5。因此R(3,3)=6。
定理2.3.2
設(shè)p,q是正整數(shù),p,q≥2,則
R(p,q)=R(q,p)
證明:令n≥R(p,q)。對(duì)于藍(lán)、紅兩色涂色Kn的邊的任何一種方案,將藍(lán)邊換紅邊,紅邊換藍(lán)邊,則或存在一個(gè)藍(lán)色的完全p邊形,或存在一個(gè)紅色的完全q邊形。而原來(lái)的涂色方案中必存在一個(gè)紅色的完全p邊形或一個(gè)藍(lán)色的完全q邊形,即R(q,p)≥R(p,q)。同理可證R(p,q)≥R(q,p)。因此,R(p,q)=R(q,p)R(p,q)的圖表示R(p,q)的集合表述Kn
的頂點(diǎn)集V集合SKn
的邊集ES的2元子集的集合T用2色涂色Kn
的邊將T劃分成E1,E2存在藍(lán)色完全p邊形存在S的p子集其所有2元子集∈E1存在紅色完全q邊形存在S的q子集其所有2元子集∈E2集合表述具有更強(qiáng)的表達(dá)能力.定理推廣(1)
將2元子集推廣到r元子集
對(duì)于任意給定的正整數(shù)p,q,r,(p,q≥r)存在一個(gè)最小的正整數(shù)R(p,q;r)使得當(dāng)集合S的元素?cái)?shù)大于等于R(p,q;r)時(shí),將S的r子集族任意劃分成E1,E2,則或者S有p子集A,A的所有r元子集屬于E1,或者存在q子集B,B的所有r元子集屬于E2.定理推廣(2)
將T劃分成E1,E2,…,Ek
設(shè)r,k≥1,qi≥r,i=1,2,…,k,是給定正整數(shù),則存在一個(gè)最小的正整數(shù)R(q1,q2,…,qk;r),使得當(dāng)n≥R(q1,q2,…,qk;r)時(shí),當(dāng)n元集S的所有r元子集劃分成k個(gè)子集族T1,T2,…,Tk,那么存在S的q1元子集A1,其所有的r元子集屬于T1,或者存在S的q2元子集
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 山東建筑大學(xué)《人員測(cè)評(píng)理論與方法課程設(shè)計(jì)》2023-2024學(xué)年第一學(xué)期期末試卷
- 山東化工職業(yè)學(xué)院《歷史民族學(xué)》2023-2024學(xué)年第一學(xué)期期末試卷
- 光感自控窗簾課程設(shè)計(jì)
- 山東工業(yè)職業(yè)學(xué)院《天然生物材料及其仿生設(shè)計(jì)》2023-2024學(xué)年第一學(xué)期期末試卷
- 山東工業(yè)職業(yè)學(xué)院《動(dòng)物繁殖生物學(xué)》2023-2024學(xué)年第一學(xué)期期末試卷
- 高考數(shù)學(xué)高三模擬試卷試題壓軸押題一對(duì)一個(gè)性化教案高考?jí)狠S題-函數(shù)篇40012
- 推排序算法課程設(shè)計(jì)
- 找朋友數(shù)據(jù)結(jié)構(gòu)課程設(shè)計(jì)
- 城市軌道交通的工程質(zhì)量與驗(yàn)收標(biāo)準(zhǔn)考核試卷
- 年金保險(xiǎn)市場(chǎng)的細(xì)分與目標(biāo)客戶考核試卷
- 2023年北京師范大學(xué)教育學(xué)真題及答案
- GB/T 33069-2016工業(yè)用聚N-乙烯基吡咯烷酮檢測(cè)方法
- 16網(wǎng)絡(luò)與新媒體概論(第二版)-第十六章依法治網(wǎng).電子教案教學(xué)課件
- 中國(guó)地質(zhì)大學(xué)武漢軟件工程專業(yè)學(xué)位研究生實(shí)踐手冊(cè)
- 生理學(xué)實(shí)驗(yàn)5 ABO血型的鑒定課件
- 《民法》全冊(cè)精講課件
- Regional Deployment Project Manager,APAC職位描述與崗位職責(zé)任職要求
- 易碎品包裝材料
- 《插花藝術(shù)》課程大作業(yè)
- 提高臥床患者踝泵運(yùn)動(dòng)的執(zhí)行率品管圈匯報(bào)書(shū)模板課件
- A4橫線稿紙模板(可直接打印)
評(píng)論
0/150
提交評(píng)論