摘要：[洛谷传送门](https://www.luogu.com.cn/problem/CF1525F "洛谷传送门") [CF 传送门](https://codeforces.com/problemset/problem/1525/F "CF 传送门") 套路地，将 DAG 的最小不交路径覆盖转化为点数 阅读全文

摘要：洛谷传送门 AtCoder 传送门 下文令 $|S| = n$。 引理： 一个字符串中本质不同的回文串数量 $\le n$。 证明： 考虑每在字符串末尾添加一个字符，本质不同回文串数量最多增加 $1$。 考虑反证，设字符串在添加 $s_n$ 后，$s_{x...n}$ 与 $s_{y...n}$（令 阅读全文