假设需要存在唯一的周长不等于 n+m 的路径
那么一定存在两行/列 的障碍不成包含关系（若包含 则存在周长为 n+m 的方案）
又偏序上两行/列必然包含关系
矛盾
by TernaryTree @ 2023-12-09 09:16:04
@[TernaryTree](/user/362750) 对不起，我确实没看懂，为啥啊？
by TulipeNoire @ 2023-12-09 09:19:52
考虑图的实际意义，(i,j)表示上在i下在j，往左或往上就相当于往回走，随便证证就能说明不优吧
by jason_sun @ 2023-12-09 09:22:42
@[TulipeNoire](/user/407223) 什么为啥，哪里没懂
by TernaryTree @ 2023-12-09 09:23:48
手机上不好打 latex，难过
定义 sj={k|bk<aj}
那么若 aj<ai 则 sj in si
否则 si in sj
by TernaryTree @ 2023-12-09 09:27:28
@[TernaryTree](/user/362750) 额，这个我知道，但是为什么有包含关系，就一定有 n+m 的路径？
by TulipeNoire @ 2023-12-09 09:36:50
@[TulipeNoire](/user/407223) 反证掉了啊
by TernaryTree @ 2023-12-09 09:52:59
@[TernaryTree](/user/362750) 我就是没有读懂你的证明，，
by TulipeNoire @ 2023-12-09 09:55:29
@[TulipeNoire](/user/407223) 就是说我们假设只存在要绕路的路径
那么这样的路径因为要绕路（至少有一个 S 型路） 所以必然有 S 的两个口那边不是包含关系 否则就存在不需要绕路的路径
by TernaryTree @ 2023-12-09 09:57:10
@[lmxcslD](/user/358957) 我问的不是四联通和八联通的区别，是四联通和二联通（？不知道有没有这个说法）的区别
by TulipeNoire @ 2023-12-09 09:57:27