【BZOJ1194】[HNOI2006]潘多拉的盒子【BFS】【SCC】【拓扑排序】【DAG最长路】【自动机】
【题目链接】这题有毒orz。判断两个自动机是否有升级关系，BFS一次就行了orz。两个自动机都从0开始，同时走0，同时走1。如果一个自动机到达输出点，而另一个没到达，那么没有升级关系。然后根据升级关系建图，Tarjan缩点，然后跑DAG上最长路就行了。注意一个强联通内都是互相有升级关系的，跑最长路时要取size而不是取1，WA了一发.../*Pigonometry*/
#include
#incl