摘要： 分析 这是一道典型的差分题。差分指的就是两项之间的差，即 \(b[i]=a[i]-a[i-1]\)，而题目中影响温度变化的正是这一值。 所以我们就可以直接用 \(b\) 数组来直接判断三个规则来做这道题，那修改呢？这就是差分最重要的一个性质，修改一个片段只会影响差分数组内的两个值，其它修改的位置，它 阅读全文

摘要： 什么是 SAT 问题 k-SAT：k-satisfiability，中文名叫“k-适应性问题”，它描述的是这样一类问题。 给你 \(n\) 个变量 \(a_i\)，每个变量有 \(a_i\) 种取值，称变量 \(a_i\) 的取值集合为 \(a_i\) 的值域。同时还有一些约束，例如当 \(a_i\ 阅读全文