传送门 题意: s个DFA,选出尽量多的自动机a0, a1, a2, . . . , at,使得a1包含a0.a2包 含a1,以此类推.s ≤ 50. DFA的字符集为{0,1},有的节点是输出源,节点数n ≤ 50. 判断出包含关系后就是裸的最长路,求$SCC$后$DP$就好了 重点在判断包含: $n$实在太小了,我们直接枚举所有的自动机,然后两个同时从起点开始$bfs$所有情况看看是否在某个状态一个有输出另一个没有 复杂度$O(n^4)$ 注意: $Candy?$这个沙茶$bfs$没有判断$