UER

设总方案数为 \(all=(w_1+w_2+w_3+w_4)^n\) 种，第 \(i\) 个方案经过的不同位置个数为 \(d_i\)，则有： \[V\times all=\sum (d_i-\overline d)^2\times all=(\sum d_i^2+all\times \overlin ......

性质导向，算法导向，复杂度导向。请选取合适的入手方式。 显然可以把后缀信息变成前缀信息，只要我们知道投通过的用户数 \(s\)。 所以不妨想到花 \(O(n)\) 的时间复杂度枚举 \(s\) 的大小，\(O(m)\) 扫一遍所有约束的算法框架。 当 \(x\neq y\) 的时候，两个约束中一定有 ......

以后推半天性质还是很模糊的话，也尝试尝试直接套算法。。 算法导向！2-SAT！ 强行 2-SAT 的话，我们会有以下约束： 若一个嫌疑人的供词中存在一个假话，他必然是犯人。 若一个嫌疑人的供词中存在一个假话，其它话必然是真的。 若一个嫌疑人不是犯人，他说的所有话一定都是真的。 此时暴力连边图的规模是 ......

[link](https://uoj.ac/contest/79/problem/771) - 给定 $2n-1$ 个 $[0,n-1]$ 中的整数，选择恰好 $n$ 个使得和为 $n$ 的倍数。保证 $n$ 为质数。 - $n\leq 3\times 10^5$。 本质思想就是若在 $\bmod ......

好像并不是很难的题？~~虽然从上午想到现在才开始写，还因为不知道 __builtin_popcount(x) 传入的是 int 调了一个多小时~~ 题目就是要求一个全源最短路。直接求显然不太现实，考虑分析标签的性质。发现，同一标签内的所有点到某个点 $u$ 的最短路的差值一定不超过 $1$，因为同一 ......