Codeforces Round #594 (Div. 1) C、D
题目链接
C. Queue in the Train(线段树)
题意：
n n n 个人在坐成一排，每个人有一个要装水的时间 t i t_i ti ，每个人装水时间为 p p p ，规定当每个人的装水时间到了，他会先左往右看他左边有没人不在位置上，如果有，那么他不会去装水，等待下一时刻再次判断。如果同一时刻有多个人要去装水，则最左边的优先，问每一个人装完水的时间。
思路：
考虑装水的队列，当 p o s i pos_i posi 在队列中，则 大于 p o s i pos_i posi 的人不可能去排队，那么只要每次处理完 p o s i pos_i posi ，查看在其左边的人中找到最小的且小于当前时间的人加入队列即可，相当于排在其后面。那么只要判断一下没有人在队列中的情况，那么就是在剩余所有人中找到时间满足且在最左边的人，可以用线段树上二分来维护。
代码：
#includeD. Catowice City (2-sat)
题意：
有 n n n 个人，每个人家有一只猫。每个人都认识一些猫(其中肯定包括自己家的猫)。选出 a a a 个人和 b b b 只猫 ( a , b ≥ 1 ) (a,b≥1) (a,b≥1) 。使得 a + b = n a+b=n a+b=n 且选出的人和猫都互不认识。求方案
思路：
可以观察到，这是一个 2 − s a t 2-sat 2−sat 问题，对于给定的每一条认识关系，我们可以通过建边使用强连通分量来解，但是由于本题存在一个特殊的条件，对于每一个人必定认识自家的猫，那么我们假设人用下标 1 1 1 表示，猫用下标 2 2 2 表示可以得到对于 x 1 , x 2 x1,x2 x1,x2两个必须要要选择一个，如若不然因为 a + b = n a+b=n a+b=n 那么必然存在 y 1 , y 2 y1,y2 y1,y2同时选择的情况就出现矛盾。由此一人一猫必选其一，那么如果存在一个认识关系为 ( x 1 , y 2 ) (x1,y2) (x1,y2) ，那么我们假设选择了 x 1 x1 x1 就必然要选择 x 2 x2 x2 ，因为 y 2 y2 y2 不能选，那么我可以枚举选不选第一个人的这两种情况，通过这些关系推出选择方案，选择其中合法的方案即可。 (要注意下标问题，容易弄混)
代码：
#include