摘要:
首先不难看出对于本题的点与点之间的限制关系,我们可以考虑用$2-SAT$来解决,通过从状态$x$向状态$y$连一条有向边表示若状态$x$存在,那么状态$y$必须存在。 接下来的处理中,$x$表示点$x$被选为关键点,$x^\prime$表示点$x$没有选为关键点,$x \longrightarrow 阅读全文
摘要:
对每条边来说,可以走这条边的限制解除是按$d$的顺序,所以先对每条边按$d$排序。 然后考虑每两条边之间的处理,用一个矩阵表示当前走$d$步是否可以从一个点到另一个点,称其为状态矩阵,用另一个矩阵表示当前解除了限制的边,称其为边矩阵。 每次新加入一条边时,让状态矩阵乘上当前边矩阵的$d_i d_{i 阅读全文