将正整数 填入 方格表中,每个小方格恰好填 个数,要求每行从左到右 个数依次递减。对 ,记第 行的 个数之和为 。设 满足:存在一种填法,使得 均大于第 列上的 个数之和,求 的最小值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
只用排序、互异整数和的极值及反证;把行重新排序不会改变任何列和,也不会破坏每行递减。
想法从哪来:列越靠右列和越小,所以只要排除第四列,前三列也一起排除。 反证时把各行按第四大数排序,考察前 行。每行拆成前三个大数与后七个数:前者可用全表最大的 个数控制,后者都不超过第 行的门槛,并且互不相同。 同一个门槛因此得到两种下界:行和条件给出含总列和的界,正整数互异性给出 。若十项全用同一种界太松,就尝试前七项用第一种、后三项用第二种,恰好逼出总和大于自身。构造第五列时再把大数块与小数块分开分配,让所有行和留有余量。
若前四列中某一列可行,则第四列也可行,因此先排除第四列;再直接构造第五列可行的填表。
记第 列的列和为 。由于每行严格递减, 。所以只需证明不存在使所有行和均大于 的填法。
反设存在这样的填法。把各行按第四个数从小到大重新编号,记这些数为
各行和均为整数,故均至少为 。考察前 行:它们前三列的 个数之和不超过 之和;其余 个数互不相同且都不超过 ,故其和不超过 。于是
从而
另一方面,上述 个互异正整数均不超过 ,所以
把(1)对 求和,得到
再把(2)用于 ,得到
两式相加即有 ,矛盾。因此 均不可能。
最后证明 可行。对 ,第 行从左到右填
前四列恰使用 ,后六列恰使用 ,且每行严格递减。 第五列之和为 ,而第 行之和为
故所求最小值为
第四列反证同时使用了数的互异性和正整数下界;构造中两段分别覆盖 至 与 至 ,没有重复或遗漏。
排除较靠左的列时,可把若干行的“大数部分”和“不超过该行第四大数的部分”分别作极值估计;上界被排除后,再按连续整数块给出可逐项核对的构造。
需按第四列重排行次,协调前j行的两种上界并选择前7后3合并成矛盾,再构造覆盖全部整数的最优填法。
已记下,谢谢!