操作分块,将块内不会变的黑边缩点,暴力在 \(k\) 个关键点之间两两连边(通过 DAG 上的可达性),然后使用压位 BFS 暴力求是否可达即可。
时间复杂度估摸着可能是 \(O(\frac{n^2}{w})\)。