有七种颜色的珍珠,共计 颗,其中每种颜色的珍珠各两颗;今把这些珍珠分装于七个珠盒中,使得每个珠盒中各有一对不同颜色的珍珠。
证明:不论各盒中的珍珠怎样搭配,总可以将这七个珠盒分别放置于一个正七边形的七个顶点之上,使得七边形的任两个相邻顶点处所放置的盒中的四颗珍珠互不同色。
如将以上条件与待证结论中的“七”一律改为“五”,“14”改为“10”,则情况如何?
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
简单路径不重复顶点;经过所有顶点一次的闭圈称哈密顿圈。这里直接证明所需七点情形,不要求预先使用一般哈密顿定理。
想法从哪来:相邻四珠互异只关心两盒是否共色,正七边形的具体长度和角度都不起作用。把每盒作一点、可相邻的盒连边,就变成寻找经过全部顶点一次的圈。每种颜色仅出现两次,因此每盒最多禁配两个别盒,允许邻点很多;这正适合从一条最长路径出发,把首尾接回一个圈。两端都有足够多邻点,沿路径的可接位置必重叠,形成含整条路径的圈,再用连通性排除圈外剩点。五色情况中度数下界变弱,不能机械套同一证明;应寻找三个两两禁配的盒,它们在五边形上无法两两隔开,从而给出反例。
把盒子看作顶点,共色看作禁配边;每个盒子只有两种颜色,故允许相邻的图很稠密。用最长路自证它有七点环,五点则给三盒互冲突的反例。
(1)七个盒子作图的七顶点,共有一种颜色就视为禁配。每色只在两盒各一次,每盒含两色,故每点至多有两个禁配邻点。允许图于是每点度至少四。 说明这图必有包含全部七点的圈。取最长简单路径 ,两端的邻点全在路径上。索引 中,使 邻接 的至少四个,使 邻接 的也至少四个。总数八大于 ,必有共同 ,于是路径可首尾重新连接成包含其全部点的圈
原允许图连通,因为若不连通,每个分量至少有五点,而总共只有七点。若上述圈未含全图,必有圈外点与圈上点相邻,沿该边再绕圈即可得到更长路径,矛盾。因此有七点圈。按此圈将盒放到七边形顶点,相邻盒无共色,即四珠互不同色。 (2)五色情形并非总能。取三盒为 ,另两盒都为 ,每色恰两珠且每盒异色。前三盒两两共色,必须在五边形上互不相邻,但五边形上最多能放两个两两不相邻的顶点,不能放三个。因此结论为 。
允许图的边表示可相邻,正与禁配图相反。前三盒在五点环不可能互不相邻,可由三盒之后各须至少一个不同间隔点而需至少六点证明。最长路闭圈论证没有直接引用未证的Hamilton圈定理。
局部禁配度小可转为稠密允许图。存在性用最长路径闭圈与连通性完成,较小规模的否定则给符合全部重数条件的坏配置。
需把颜色重数转成盒子禁配度,用自证的稠密图闭环存在性安排七盒,再构造完全满足五色条件的反例。
已记下,谢谢!