【题解】P7843 「C.E.L.U-03」布尔

https://www.luogu.com.cn/problem/P7843

连边 \((u,x)-(v,y),(u,\lnot x)-(v,\lnot y)\)，对于每个 \(l\) 求出最大的 \(f_l=r\) 满足 \([l,r]\) 中的边全部加入后是不存在 \((u,0),(u,1)\) 连通的。
那么显然划分区间越右越好，因为少几条边一定是不劣的，那么倍增处理查询即可。

由于连边是对称的，那么只用检查新加入的边连接的点是否矛盾。
类似决策单调性分治，现在我们知道 \(f_{mid}\in[L,R]\)，那么只需要提前将 \((r,L]\) 这部分的边加入，就可以在正确的复杂度内 check 了。

类似的题：UOJ693 【UR #23】地铁规划