分别证明 Amy 能保证的下界和 Ben 能迫使的上界;两者相等时答案就确定了。
我们将证明可保证的最大数量为 K=100K=100K=100。下界使用棋盘策略,上界则在各个 4×44\times44×4 方块内独立使用配对策略。