摘要：分析 我们让每个数列在第一个取到最大前缀和的位置被统计到。 假设一个数列在$pos$处第一次取到最大前缀和，分析性质，有： 1. 下标在$[1,pos]$之间的数形成的数列的每个后缀和（不包括整个数列，因为要求非空）都大于$0$。 2. 下标在$[pos+1,n]$之间的数形成的数列的每个前缀和（包 阅读全文

摘要：分析 "Miskcoo orz" 令$f[S]$表示使得$S$这个点集强连通的方案数。 然后呢？~~不会了~~ 考虑到将一个有向图SCC缩点后，得到的新图是一个DAG，所以我们可以类比带标号DAG计数的解法来寻找这道题的突破口。 我们可以枚举哪些点所构成的SCC在缩点后入度为$0$，然后令$g[S] 阅读全文

摘要：分析 为什么我去年6月做过这道题啊，估计当时抄的题解。 具体做法就是令$f[S]$表示保证连通点集$S$的方案数，$g[S]$表示不保证连通点集$S$的方案数。 容易想到： $$g[S]=\sum f[S T] \times g[T]$$ 这里的$T$是$S$去掉一个点后得到的集合的所有非空子集。 阅读全文

摘要：分析 考虑状压DP，令$f[sta]$表示已匹配状态是$sta$（$0$代表已匹配）时完美匹配的期望数量，显然$f[0]=1$。 一条边出现了不代表它一定在完美匹配内，这也导致很难去直接利用题目中的边组来解决问题。 对于第二类边组，如果把两条边分开考虑（可以理解为把一个第二类的边组看成两个第一类的边 阅读全文

摘要：[省选练习]六：状压DP 题意 给定一个正整数$N$，数据满足$N$最多含六个不同的质因子。现在从一个空数列开始，把$N$的因数一个一个加到数列中，每次加入的数可能重复，但必须都大于$1$。每次添加新的数字的时候，需要保证这个数$x$与数列中已有的数至多一个有大于$1$的公因数。例如，当$N$等于$ 阅读全文