灯下 登录
番外 · 闲灯 / IMO Shortlist / C2 · combinatorics

2009 IMO Shortlist C2

题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。

IMO Shortlist 2009 C2 combinatorics

ROU For any integer n2n \geq 2, let N(n)N(n) be the maximal number of triples (ai,bi,ci),i=1,,N(n)\left(a_{i}, b_{i}, c_{i}\right), i=1, \ldots, N(n), consisting of nonnegative integers ai,bia_{i}, b_{i} and cic_{i} such that the following two conditions are satisfied: (1) ai+bi+ci=na_{i}+b_{i}+c_{i}=n for all i=1,,N(n)i=1, \ldots, N(n), (2) If iji \neq j, then aiaj,bibja_{i} \neq a_{j}, b_{i} \neq b_{j} and cicjc_{i} \neq c_{j}. Determine N(n)N(n) for all n2n \geq 2. Comment. The original problem was formulated for mm-tuples instead for triples. The numbers N(m,n)N(m, n) are then defined similarly to N(n)N(n) in the case m=3m=3. The numbers N(3,n)N(3, n) and N(n,n)N(n, n) should be determined. The case m=3m=3 is the same as in the present problem. The upper bound for N(n,n)N(n, n) can be proved by a simple generalization. The construction of a set of triples attaining the bound can be easily done by induction from nn to n+2n+2.

ROU 对于任何整数 n2n \geq 2,设 N(n)N(n) 为三元组的最大数量 (ai,bi,ci),i=1,,N(n)\left(a_{i}, b_{i}, c_{i}\right), i=1, \ldots, N(n),由非负整数 ai,bia_{i}, b_{i}cic_{i} 组成,满足以下两个条件: (1) ai+bi+ci=na_{i}+b_{i}+c_{i}=n 对于所有 i=1,,N(n)i=1, \ldots, N(n), (2) 如果 iji \neq j,则 aiajbibja_{i} \neq a_{j}、b_{i} \neq b_{j}cicjc_{i} \neq c_{j}。确定所有 n2n \geq 2N(n)N(n)。评论。最初的问题是针对 mm 元组而不是三元组制定的。然后,在 m=3m=3 的情况下,数字 N(m,n)N(m, n) 的定义与 N(n)N(n) 类似。应确定数字 N(3,n)N(3, n)N(n,n)N(n, n)m=3m=3 的情况与当前问题相同。 N(n,n)N(n, n) 的上限可以通过简单的概括来证明。通过从 nnn+2n+2 的归纳可以轻松构建一组达到界限的三元组。

提示 1

先决定对象是什么:集合、图、排列、颜色、路径,还是一次操作后的状态。

提示 2

找一个极端对象、双计数式、不变量,或把限制转成图上的局部条件。

提示 3

把局部限制累加成全局矛盾,或给出覆盖全部情形的构造。

完整解答

这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2009 年 IMO Shortlist C2 可先归入组合:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。

这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?