一张试卷共 道单项选择题,每道选择题有三个选项 。若干名学生参加考试,阅卷后发现:任意 人都有 道题目的答案各不相同,且每个学生不留空题,则参加考试的学生最多有人。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
模三运算的非零数均可除;四个线性式中任取两个可确定参数对。平方和不等式给三类人数平方和至少为总人数平方的三分之一。
想法从哪来:题设是对任意三人要求某题全不同,直接数每题的三色人数很难拼回三人的整体限制。先固定一人,把每题另两个选项组成一个小的二元答案空间;每个其他人可对应其中一个子集。若三人有一题全不同,这两人的对应子集就被该题强制分开,从而得到互不相交的子集容量界。再对固定人求和,把两人同答题数转成每题各选项人数的平方和,得到上界。构造则可用模三的两个参数生成四个线性答案,让任意两人至多同答一题;三个“人对”最多覆盖三题,第四题必有三答全不同。
上界可固定一名学生,用其余两选项组成的十六个串构造互不相交的子集合;达到上界的方案则用模三的四个线性式构造。
设有 名学生。固定学生 ,每题只保留不同于其答案的两个选项,得到 个四位串。对另一学生 ,在其与 答案不同的题上强制取 的答案,在相同题上任取这两个选项,得到集合 。若 为两人答案相同的题数,则 。 对不同的 ,题设保证三人 在某题答案全不同,该题使 与 的强制选项不同,故两集合不交。因此 。对 求和,再用 ,得到
每题三个选项人数记为 ,其和为 ,该题对最后一和的贡献为 。四题累加,故
解得 。 为达到九人,用 表示三选项,令九名学生分别对应模三有序对 ,其答案为 ,各分量均模三。任意两名学生在这四题中至多一题相同,因为任意两个不同线性式的值都能唯一确定 。若某三人没有一题答案全不同,则每题都至少有一对答案相同;但三对人每对至多同答一题,只能覆盖至多三题,与四题矛盾。故此九人方案满足条件,最终
求和中的 为有序对,所以每题相同答人数贡献确是 。构造中任意两系数向量从 选出,在模三下行列式非零;因此两题值确定参数,支撑“至多一题相同”。上界与可达方案分别证明,不能只列九种答卷就宣布最大。
三人可分离条件可转成固定一人后的不交子集合容量界;构造时用两坐标唯一识别来控制每对的重合数。
须同时建立最优上界和可达构造;上界利用不交子集合与逐题人数平方和,构造需证明任意三人的分离性质,不能只试几个样例。
已记下,谢谢!