摘要：
传送门 SAT(Satisfiability)问题： 有n个$bool$变量，m个需要满足的条件，形如“xi为true || xj为false || xk为 false…”。 给每个变量赋值，使得所有条件得到满足。 SAT问题已被证明为NP完全，只能暴力枚举求解。 特别地，如果每个条件中约定的变量 阅读全文
摘要：
传送门 这是一个莫队板子qwq 莫队是一种离线暴力算法，每次通过调整当前询问和上次询问的区间的不同的左右端点，并修改答案。 可以看出，调整的越少跑得越快，所以每次先把询问的左右端点排个序，按左端点分块，块相同的按右端点排序 （玄学） 代码如下 #include<cstdio> #include<io 阅读全文