摘要： [HNOI2011]数学作业 题目描述 小 C 数学成绩优异，于是老师给小 C 留了一道非常难的数学作业题： 给定正整数 $n,m$，要求计算 $\text{Concatenate}(n) \bmod \ m$ 的值，其中 $\text{Concatenate}(n)$ 是将 $1 \sim n$ 阅读全文

摘要： 2-SAT问题 $2-SAT$问题是一种在约束条件下的变量取值问题。该问题通常可以转化这样的模型：有$n$个变量，每一个变量只有两种取值，另有多个对这些变量的约束条件，问这些变量是否有一组取值满足所有的约束条件。 对于这类问题，我们一般的解决方案是把它抽象成一个图（如下）。这个图有$2n$个节点，分 阅读全文