10题做对6题且没有2人做对相同的5题
等价于10题做错4题且2人至少做错不同的2题
考虑第1,2,3,4题有没有做错
{1,2,3,4}(有四题做错),{1,2,3,X}-{4}(有三题做错),{1,2,X,X}-{3,4},{1,X,X,X}-{2,3,4},{X,X,X,X}-{1,2,3,4}
可设第一人就把第1,2,3,4题做错,第二个人一定不能再做错当中三题,有三题做错的情况不需要考虑
{1,2,3,4}
{1,2,5,6},{1,2,7,8},{1,2,9,10}
{1,3,5,7},{1,3,6,9},{1,3,8,10}
{1,4,5,8},{1,4,6,7}
{3,4,5,6},{3,4,7,8},{3,4,9,10}
{2,4,5,7},{2,4,6,9},{2,4,8,10}
{2,3,5,8},{2,3,6,7}
{1,5,9,10},{1,6,8,10},{2,7,9,10}
{5,6,7,8}
1+16+3+1=21组
实际上我弄不出30组
很难证明21就是上界,也不知道是不是。
以下我再缩小范围穷举,但还是不具理论性的。
考虑没有其他情况限制时第1,2,3,4题有两题做错的情况,最多能有16组
第1,2,3,4题有一题做错时
{1,5,6,7},{1,5,8,9},{1,6,8,10}
{2,5,6,8},{2,5,7,9},{2,6,7,10}
{3,5,6,9},{3,5,7,10},{3,6,7,8}
{4,5,6,10},{4,5,7,8},{4,6,7,9}
最多能有12组
第1,2,3,4题都没有做错时
{5,6,7,8},{5,6,9,10},{7,8,9,10}
最多能有3组
共1+16+12+3=32组
而实际上第1,2,3,4题都没有做错的情况跟有一题做错的情况有很大冲突
没有那3组的话共1+16+12=29组
设a(n,m)表示n题做错m题且2人至少做错不同的2题
按题设求a(10,4)的上界
$a(n,2)=[\dfrac{n}{2}],a(n,m)=a(n,n-m)$
根据刚才对第1,2,3,4题的分析有:
$a(n,m)\le 1+6a(n-4,m-2)+4a(n-4,m-1)+a(n-4,m)$
$a(10,4)\le 1+6a(6,2)+4a(6,3)+a(6,4)=22+4a(6,3)$
遗憾的是就算知道$a(6,3)=4$也达不到题目要求 |