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