2018年10月27日
Dash Speed
摘要： 分治+并查集。 阅读全文
posted @ 2018-10-27 20:22 LiGuanlin 阅读(456) 评论(0) 推荐(0)
luogu 2-SAT 问题
摘要： 题目大意：给出n个bool变量，以及m个条件，条件为x,vx,y,vy，表示 x == vx || y == vy 。 求匹配。 题解： 最近新学了一下2-SAT算法。2-SAT指有若干个bool变量（显然有1/0两个值），还给出若干限定条件，比如: t1 || t2 t1 || !t2 t1 && 阅读全文
posted @ 2018-10-27 07:39 LiGuanlin 阅读(243) 评论(0) 推荐(0)