摘要:
tag:2-SAT,trie优化建图 注意到每个串只有一个 ? (只有 \(2\) 种状态),所求的是构造方案,所以考虑使用 2-SAT。 于是进一步想到如果 \(x_0,y_0\) 一个是另一个的前缀,就 \(x_0\to y_1,y_0\to x_1\)。 那么容易想到暴力 \(n^2\) 建图 阅读全文
摘要:
tag:组合计数,burnside 枚举所有旋转 \((x\to x+i)\),等价类一共有 \(\gcd(n,i)\) 个,每个等价类大小为 \(\frac n{\gcd(n,i)}\)。 然后问题变为,有一个长度为 \(n\) 的环,涂黑 \(m\) 个球,不能连续涂黑超过 \(k\) 个球,求 阅读全文