摘要：
题意：给你一张2-SAT，问你加至少几句a V b（不能用非运算）这样的语句，使得其无法全为真。 如果最开始没有左右两项都含非运算的析取表达式，则无解，因为显然你可以对每一项的不含非的那项规定为真，使得整个2-SAT成立。 由于规定了你添加的语句不能含有非运算，故添加的边一定从 非某 指向 某。 如 阅读全文
摘要：
题意：给你一张有向图，每条边有个限制范围，只有权值在限制范围内的人能走这条边，问你权值不超过K的人中，有多少人能从S到T。 K很大，因此我们只处理边的范围的上下界这O（m）个权值能否到达，以防万一，还处理了这些权值+1、-1的可达性。然后去重。离散化出来的这些区间中，两个端点都可达的话，其内部的点也 阅读全文
摘要：
题意：一颗树，每条边有个颜色，一条路径被定义为“彩虹”，当且仅当其上没有长度大于等于2的同色子路径。一个结点被定义为“超级结点”，当且仅当从其发出的所有路径都是“彩虹”。 枚举所有长度为2，且同色的路径，其两端点方向发出的子树中的结点都不可能成为答案，只需要将它们覆盖掉即可，用dfs序处理，在左端点 阅读全文
摘要：
题意：给你两颗有根树，判定是否同构。 用了《Hash在信息学竞赛中的一类应用》中的哈希函数。 len就是某结点的子树大小，g是某结点的孩子数+1。 这个值也是可以动态转移的！具体见论文，所以能高速处理出一颗无根树以每个顶点为根时的哈希值。改日敲个板子试试。 阅读全文
