Preface 说实话2-SAT的题目我都没怎么做过，所以这里讲的都是些超入门什么的 还有一些板子题，由于是暑假的时候学的所以有些我也记不清了 主要学习参考自：Manchery的课件&& ...

【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限 ...

省选前把板子整理一遍，如果发现有脑抽写错的情况，欢迎各位神犇打脸 :) 数学知识 数论： //组合数 //C(n,m) 在n个数中选m个的方案数 ll C[N][N]; ...

传送门 什么是2-SAT问题呢？ 我们先说一下SAT问题。给定一个布尔方程，判断是否存在一组布尔变量的取值方案，使得整个方程式的值为真，这种问题被称为布尔方程的可满足性问题（SAT）。SAT问题被 ...

Bit Magic Time Limit: 8 Seconds Memory Limit: 32768 KB Yesterday, my teacher taug ...

题目传送门：AtCoder Grand Contest 016。 目录 A - Shrinking B - Colorful Hats C - +/- Rectang ...

2-SAT问题，其实是一个逻辑互斥问题。做了两道裸题之后仔细想来，和小时候做过的“有两个女生，如果A是女生，那么B一定不是女生。A和C性别相同，求A、B、C三人的性别。”几乎是一样的。对于这道题我们来 ...

【BZOJ4945】[Noi2017]游戏 题目描述 题解：2-SAT学艺不精啊！ 这题一打眼看上去是个3-SAT？哎？3-SAT不是NPC吗？哎？这题x怎么只有8个？暴力走起！ 因为x要么不 ...