摘要： 这道题涨了很多姿势。 首先，以后可能不需要重新建图+拓扑排序+染色了。 看了赵爽的论文。 下面说的简略一些，详细情况可自行百度。 首先是重新建图，重新建图为的是求拓扑序，以便于染色，出答案。而本身我们tarjan完的就是个拓扑逆序的。因为每个团求出来之前，它之后的所有团肯定都求出来，否则这个团是全都 阅读全文

摘要： 第一道2-SAT 题意：有N对点，给出N对点的坐标，要求找出一个最大的半径R，使得可以从每对点中选择一个点，并且这N个点以自己为圆心，半径为R的圆两两不相交。 对于2*N个点，如果两个点之间“矛盾”，即两个圆相交，就连一条边。意思是：我选了这个点之后，无法选另外一组的某个点，就只能选某个点的兄弟点。 阅读全文