已经理解了 把 w,hw, hw,h 排序后，每个人 iii 匹配的马必定在 [i−2,i+2][i-2, i+2][i−2,i+2] 中 的证明。想知道是怎么推出 如果前 iii 个人和前 iii 匹马匹配完成，那么存在 k≤3k\leq 3k≤3，使得 [i,i+k][i, i+k][i,i+k] 中的人和马匹配 的。
网上题解和官方题解都搜过了，貌似都没找到。写代码前自己胡了个证明，现在再回来看发现假掉了，然后证了好久不会……
有没有大佬来指点一下/kel
