7KByte 的博客

摘要： 判断 \(x\) 是否能最后一个删，就是以 \(x\) 为根建一颗内向树，然后连边 \(a_i\to b_i\)，判断是否有环即可。 所以如果 \(a_i\) 是 \(b_i\) 祖先则无解。所以我们先将所有 \(a_i\) 一侧的子树上的点标记为无解。 关键结论：对于没有标记的节点，要么全部有解， 阅读全文