【題解】CF585F Digits of Number Pi
阿新 • • 發佈：2021-09-03
超水的 d1f 。暫時不知道長度限制是 $\lfloor\frac{d}{2}\rfloor$ 有什麼特殊意義。
經典套路題，將所有長為 $\lfloor\frac{d}{2}\rfloor$ 的 $s$ 子串都塞入 aho-corasick automaton，然後數位 dp 。
容斥掉下界，令 $f(i,j,0/1,0/1)$ 表示從高到低考慮到第 $i$ 位，在 aho-corasick automaton 的 $j$ 號點，有沒有
超水的 d1f 。暫時不知道長度限制是 \(\lfloor\frac{d}{2}\rfloor\) 有什麼特殊意義。
經典套路題，將所有長為 \(\lfloor\frac{d}{2}\rfloor\) 的 \(s\) 子串都塞入 aho-corasick automaton，然後數位 dp 。
容斥掉下界，令 \(f(i,j,0/1,0/1)\) 表示從高到低考慮到第 \(i\) 位，在 aho-corasick automaton 的 \(j\) 號點，有沒有存在過合法的子串，有沒有頂住上界，方案數。
轉移列舉當前位填什麼數即可。
本來想用 suffix automaton 的，不過感覺 suffix automaton 在處理這種題的時候不太好辦，要討論的細節很多，畢竟多個串共用一個節點。
時間複雜度 \(O(d^2nt)\)，其中 \(t\) 是字符集大小，本題為 \(10\) 。