摘要：
竞赛图 姑且先挂载在这里。 性质 1：竞赛图缩点所得必为一条链，链上的重构点称为 Tier，Tier 1 是拓扑序最高的。 性质 2：出度最大的点必然在 Tier 1 中。 将所有点分为三类，第一类是出度最大的某个点 $u$，第二类是被 $k$ 直接指向的点，第三类是剩余的点。 不妨设存在点 $v$ 阅读全文
摘要：
概述 自动机是一种对信号序列进行判定的数学模型。 信号序列：一串有序的信号，例如字符串。 判定：指输出为 $0/1$（在输入的信号序列可识别的前提下）。在 OI 中的自动机一般是广义的，即输出是任意的，具体来讲可能是在合法时输出对应方案的权值之类。 一般来讲，自动机可以抽象为一个有向图，点为状态，边 阅读全文