【ARC069F】Flags(2-SAT,Tarjan,线段树优化建图)
首先先二分答案。
然后判断能否使得两两旗子之间的距离都大于 midmidmid。
然后发现这是一个 2-SAT 问题。
2-SAT 问题:通俗地说,有 nnn 个 bool 变量 aia_iai,并给出一些形如 ai⊕aj=0/1a_i\oplus a_j=0/1ai⊕aj=0/1 的条件(其中 ⊕\oplus⊕ 可以是 and\operatorname{and}and、or\operatorname{or}or 或 xor\operatorname{xor}xor),然后询问满足这组方程的一组
原创
2020-10-03 16:30:31 ·
223 阅读 ·
0 评论