yfzqwq

摘要： 简介 s1:ABCAABCADFABCAs1:\tt{ABCAABCADFABCA}s1:ABCAABCADFABCA s2:ABCAs2:\tt{ABCA}s2:ABCA 在 s1s1s1 的开始下标（从 111 开始）：1,5,111,5,111,5,11 可以在 Θ(n)\Theta(n)Θ( 阅读全文

摘要： 简介 差分约束系统是一种特殊的多元一次不等式组。 由 nnn 个点 XiX_iXi​，mmm 个约束条件组成。对于每个约束条件，都是由其中的两个变量做差得到。例如 Xi−Xj≤Ck∣i≠jX_i-X_j\le C_k|i\neq jXi​−Xj​≤Ck​∣i=j。CkC_kCk​ 为常量。 我们需 阅读全文