先来讲一下到底什么叫K-SAT先来看看2-SAT的准确定义那么对于k-SAT，不是说每个集合就有\(k\)个元素了（每个集合仍然只有两个元素，因为布尔变量的取值只有\(0\)和\(1\)），而是说给出的限制条件涉及\(k\)个元素，比如3-SAT那么对于这道题目，如果不考虑\(\text{x}\)的话，就是一个裸的2-SAT

视频链接： P3825[NOI2017]游戏-洛谷|计算机科学教育新生态(luogu.com.cn)//2-SAT+二进制枚举O(2^8*(n+m))#include<iostream>#include<cstring>#include<algorithm>usingnamespacestd;constintN=100005;inthead[N],to[N<<1],ne[N<<1],idx;

视频链接：G73线段树+线性基合并P5607[Ynoi2013]无力回天NOI2017_哔哩哔哩_bilibili   P5607[Ynoi2013]无力回天NOI2017-洛谷|计算机科学教育新生态(luogu.com.cn)//线段树+线性基合并O(n*logn*logv*logv)#include<iostream>#include<cstring>#incl

题目大意有四种类型的比赛\(x,a,b,c\)，三种赛车（\(A,B,C\))。其中\(x\)的数量为\(d\)。\(x\)表示三种赛车都可以选，\(a\)表示\(A\)种不能选，\(b\)表示\(B\)种不能选，\(c\)表示\(C\)种不能选。现在要比\(n\)场，有\(m\)个限制形如：\(p,f,q,t\)表示如果第\(p\)

题目大意给你一棵\(n\)（\(n\le50\)）个点的树，可以进行不超过\(k\)次操作，每次断掉一条边，再连上一条边，要求树一直是树，求一共有多少种树的形态。思路把题意转换为对于一个\(n\)个点的完全图，是树边的话权值是\(1\)，否则是\(x\)。跑一遍矩阵树定理，矩阵树定理求的是一个图所有生

[Ynoi2013]无力回天NOI2017-洛谷看到题目可以想到线性基线性基可以做到\(O(\logA)\)加入，\(O(\logA)\)查询，\(O(\log^2A)\)合并考虑直接暴力的用线段树维护每个节点的线性基，可以做到\(O(n\logn\log^2A)\)但有区间修改？差分转单点修，发现线性基\(a_{[l

传送门NOI的题果然是非常的难且有意思。还有就是推荐一下command_block的题解。这题的题意比较难。题意：有\(n\)种菜，初始每种菜有\(c_i\)个，单价\(a_i\)，如果不出售每天会变质\(x_i\)棵。第一次卖这种菜会获得\(s_i\)的奖励。每天至多卖\(m\)个菜。给出\(q\)次询

P3825[NOI2017]游戏题解首先解决没有x的情况，这种情况下每个事件有两种选择，例如a可以选择b,c，所以这就是一个2-SAT问题，但是这题比较特殊，除了题目中给的命题，还需要建立原命题的逆否命题所对应的边，最后跑一遍\(\text{Tarjan}\)就出解了。考虑有\(d\)个\(x\)的情况

trick大意我对于这个trick的理解为：支持位运算的高精度维护一个以\(b\)为基数的大数\(N\)，并支持以下功能：给定（可能是负）整数\(|x|,|y|\leqslantn\)，将\(xb^y\)加到\(N\)。\(N\geqslant0\)时，给定\(k\)，打印\(N\)的第\(k\)位数字（指以\(b\)为基底意义下的）。检查\(N\)是正

提供一个来自CF大佬adament的有趣思路。首先我们知道的是一个只增加的\(b\)进制整数计数器，如果\(b\)是常数那么复杂度是均摊\(O(1)\)的。证明只需要考虑将\(b\)进制中为\(b-1\)的所有位的位数当成势能，那么每一次进位一定是\(b-1\to0\)一定会消耗势能函数。但这

[Ynoi2013]无力回天NOI2017首先看到异或，想到能维护异或的东西就那几样（线性基/01trie/数位dp/FWT），再看到求选任意个数后的异或最大值，线性基无疑了。这时再看还要维护什

P3822[NOI2017]整数为什么这玩意是双tag呢因为他按理来说正解是用线段树来做的，但是有很多题解都是直接上set搞的，所以就两个tag都打上了首先我们可以想到用bitset来表

Link题解这里有一个很傻逼的无脑做法：https://www.luogu.com.cn/blog/80614/solution-p3822正常的正解做法是考虑用线段树维护每一位是什么，然后将\(a\)拆成二进制位，对