當前位置:首頁 > 教育 > 正文

兩道組合題思路分析

【注】為方便複制編輯,特提供純文本文檔如下:

2016年秋季上海新星數學奧林匹克試題,新穎有趣,且不偏不怪,難度适中。尤其是最後兩道組合題,其探索解答的思路非常自然,堪作數學奧林匹克活動的良好素材。故此,今對後面兩題的解答作些思路分析,請大家指正!

第5題、設n≥2,A1,A2,…,At是X={1,2,…,n}的所有子集的任一個排列,求

的最大值,其中t=2n,At=A1。

【題感】從目标看,求S的最大值,需建立關于S的不等式“S≤…”。但其S的表達式非常複雜,且無法直接“求和”化簡,自然想到先将複雜的表達式通過放縮變形,使其變成容易“求和”的表現形式。這類似于代數中Σ(1/k2)不易“求和”,先将其放縮到Σ(1/k(k-1)),使其變得易于“求和”。

【通項放縮】S的通項為|Ai∩Ai+1|·|Ai∪Ai+1|,它的一般形式為|A∩B|·|A∪B|。注意到Σ|A|、Σ|B|可求(其中A、B跑遍)X的所有子集,自然想到将|A∩B|·|A∪B|放大到f(|A|,|B|)的形式。即建立如下不等式:

|A∩B|·|A∪B|≤f(|A|,|B|)。

【結構聯想】注意到不等式左邊是“二次式”,所以想到右邊也是“二次式”,再注意到Σ|A|2、Σ|B|2也可求,于是将不等式變為

|A∩B|·|A∪B|≤f(|A|2,|B|2)。

先猜想右邊是最簡單形式的二次對稱式|A|2+|B|2,不等式變為

|A∩B|·|A∪B|≤|A|2+|B|2。

【調整參數】但為了等号成立使不等式達到最優,應引入平移、伸縮的調整參數a、b,進一步将不等式變為

|A∩B|·|A∪B|≤a(|A|2+|B|2)+b。……(*)

下面确定參數a、b。為此,令|A\B|=x,|B\A|=y,|A∩B|=z,則不等式(*)化為

(x+y+z)z≤a(x+z)2+ a(y+z)2+b,

ax2+ ay2+(2a-1)(z2+xz+yz)+b≥0,

期望不等式為簡單形式,取2a-1=0,則不等式變為

x2+y2+2b≥0。

上式恒成立的充要條件是min(x2+y2)+2b≥0。

由于x、y∈N,且x、y不全為0(A≠B),于是min(x2+y2)=1,所以不等式變成1+2b≥0。為使等号成立,取2b=-1即可。

所以,我們有2|A∩B|·|A∪B|≤(|A|2+|B|2)-1,其中等号在{x,y}={0,1}時成立,此時A、B恰相差一個元素(A、B中的一個是另一個的子集,且元素個數相差1)。

【上界估計】利用上述不等式,顯然有

考察S'=Σi=1t|Ai|2,對1≤k≤n,使|Ai|=k的子集Ai有Cnk個,于是

S'=Σi=1n(k2Cnk)=(n2+n)2n-2,

所以,2S≤2S'-t=(n2+n)2n-1-2n,得S≤(n2+n-2)2n-2。

等号在Ai與Ai+1(1≤i≤t)都恰好相差一個元素時成立,這是可能的(一個早期的構造問題,不贅述),故S的最大值為(n2+n-2)2n-2。

第6題、設A1,A2,…,A13是太空中的13顆新星,對任意i、j(1≤i

【題感】此題有明顯的圖論色彩(當然無需用到圖論知識,隻是用圖描述更直觀而已),如果用n個點A1,A2,…,An代表n顆新星(n=13),則題中的路徑恰好是一個“哈氏”圈。再注意到條件“Ai、Aj之間的通行花費f(i,j)個太空币,這可用對邊AiAj賦值f(i,j)來表示,稱為該邊的“權”。那麼,解題的目标是,恰當對各邊都賦一個“權”,使n階完全圖中每個“哈氏”圈各邊的“權和”都為2017。

【逐步逼近】這屬于一個“賦值型”的構造問題(構造一種賦值方式),其賦值的條件很強,我們将其分解為3個部分來逐步實現:

(1)n階完全圖中每個“哈氏”圈各邊的“權和”都相等;

(2)上述相等的“權和”為2017;

(3)各邊的“權”互異。

【構造拟對象】先構造滿足條件(1)的拟賦值方案。要使每個“哈氏”圈各邊的“權和”都相等,自然想到利用“哈氏”圈的共同特征:通過“各頂點”Ai各一次。

由此想到将邊AiAj的“權”分解為頂點Ai、Aj的“權”,即定義f(i,j)=g(ai,aj),其中ai是頂點Ai的“權”,則“哈氏”圈各邊的“權和”變成“哈氏”圈各頂點的“權和”:G(a1,a2,…,an)。

相對于每個“哈氏”圈,G(a1,a2,…,an)為常數的一個充分條件是,G(a1,a2,…,an)是關于a1,a2,…,an的對稱式。這又隻需前面的“分解函數”g(ai,aj)關于ai、aj對稱,最簡單的形式是g(ai,aj)= ai+aj。

此時,每個“哈氏”圈的權和:G(a1,a2,…,an)=2(a1+a2+…+an)。

現在來改進“拟對象”,使其滿足(2)。由于2(a1+a2+…+an)為偶數,而2017為奇數,兩者不可能相等,需要修改“分解函數”g(ai,aj)的定義,但保持其仍然關于ai、aj對稱。

【修正參數】這有兩個常見方案,一是引入“平移型”修正參數;二是引入“伸縮型”修正參數。

如果引入“伸縮型”修正參數,定義g(ai,aj)=k(ai+aj),則

G(a1,a2,…,an)=2k(a1+a2+…+an)。

為了使上述值不是偶數,取2k=1,此時,

g(ai,aj)=(ai+aj)/2,

G(a1,a2,…,an)=a1+a2+…+an。

現在,要使(2)成立,隻需a1+a2+…+an=2017。但注意到(ai+aj)/2∈N,所以ai、aj同奇偶,又a1+a2+…+an=2017為奇數,所以取所有ai為奇數。

最後适當選取奇數a1,a2,…,an,使a1+a2+…+an=2017,且各ai+aj(1≤i

【充分條件】注意到這樣的事實:對于4個互異的數:ap

于是,設選取的奇數為1=a1

實際上,假設有某兩個數的和與另兩數的和相等。設4個數為apaq+as,矛盾。

下面依據(*)來構造奇數1=a1

顯然,為保證最後的2017-(a1+a2+…+an-1)=an≥an-1+an-2,應使前面的數盡可能小,即a1+a2+…+an-1盡可能小。

此外,為了使ai為奇數,不能取ai=ai-1+ai-2,于是前面的數都取ai=ai-1+ai-2+1(2≤i≤n-1),這樣,前面n-1=12個數依次為

1,3,5,9,15,25,41,67,109,177,287,465,

這12個數的和1204,最後取a13=2017-1204=813,則813>287+465合乎(*)的要求。

綜上所述,将上述13個數标在新星上,然後令f(i,j)為Ai、Aj上标數的算術平均值,則各f(i,j)(1≤i

如果引入“平移型”修正參數,則定義g(ai,aj)=ai+aj+d,其中d為奇數。為了“權和”不超過2017,可取d<0,但為了使ai+aj+d為正整數,想到取d=-1。以下仿上面(*)的分析,不難知道(a1,a2,…,a13)=(1,2,3,5,8,13,21,34,55,89,144,233,407)合乎要求,這正是原解答的構造。

你可能想看:

有話要說...

取消
掃碼支持 支付碼