#P7843. 「C.E.L.U-03」布尔

    ID: 6500 远端评测题 2500ms 256MiB 尝试: 0 已通过: 0 难度: 7 上传者: 标签>倍增O2优化2-SATLink-Cut Tree,LCT整体二分

「C.E.L.U-03」布尔

题目描述

给你 nn 个布尔变量和 mm 个限制,设 sis_iii 的取值。第 ii 个限制形如 suis_{u_i}xix_isvis_{v_i} 必须为 yiy_i,同时如果 svis_{v_i}yiy_isuis_{u_i} 必须取 xix_i
一共 qq 次询问,每次询问给出一个区间 l,rl,r。求最少把 l,rl,r 划分成多少段连续的区间,使得每段里的限制都可以得到一组合法解。如果无论如何都无法得到合法解,输出 -1

输入格式

第一行三个数,n,m,qn,m,q
接下来 mm 行每行四个数,代表 ui,xi,vi,yiu_i,x_i,v_i,y_i
接下来 qq 行每行两个数,代表 li,ril_i,r_i

输出格式

对于每个询问输出一个数作为答案,如果无法得到答案输出 -1

3 4 2
1 0 2 0
1 1 3 0
3 0 2 0
1 1 2 1
1 3
3 4
2
1
4 5 3
1 1 2 1
2 0 3 0
4 1 1 0
2 1 4 0
4 0 3 0
1 4
2 5
3 5
1
2
1

提示

样例解释一
对于第一个询问,可以分成 [1,2][1,2]33 两段。
对于第二个询问,分成 [3,4][3,4] 一段。

样例解释二
对于第一个询问,分成 [1,4][1,4] 一段。
对于第二个询问,可以分成 [2,3][2,3][4,5][4,5] 两段。
对于第三个询问,分成 [3,5][3,5] 一段。

数据编号 nn\leq mm\leq qq\leq
11 3030 100100 300300
242\sim 4 300300 10310^3
575\sim 7 10410^4 5×1045\times10^4 10610^6
8108\sim 10 10510^5 6×1056\times10^5

对于 100%100\% 的数据,$1\le n\le10^5,1\le m\le6\times10^5,1\le q\le10^6,1\le u,v\le n,1\le l\le r\le m,x,y\in \{0,1\}$