随笔分类 - 图论——2-SAT
摘要：题目链接 dbzoj \(Description\) 有$k$个国家，$n$个城市分属于不同国家，$m$条边。要求每个国家有恰好一个城市作为首都，每条边至少有一个端点是首都。 求是否有解。 \(n,m,k\leq 10^6\)。 \(Solution\) 每个城市要么建首都要么不建，考虑2-SAT
阅读全文
摘要："题目链接" 建边不说了。对于议案'?'的输出用拓扑不好判断，直接对每个议案的结果DFS，看是否会出现矛盾 Tarjan也用不到 cpp //964kb 76ms include include include const int N=2005,M=16005; int n,m,Enum,H[N],
阅读全文
摘要："题目链接" 存在一个环，说明什么？ 画了一下样例二，直接是个环；然后重新画了下样例一，可以画成一个环，非环上的边可以连在环内或环外 这些非环上的边不能相交。然后就成了 "POJ3207" 原题了，只是圆上排列顺序不同。 不过边数很多，必须利用平面图的性质: 平面图的边数小于等于3n 6，来将边数降
阅读全文
摘要：题目链接 题意摘自：https://www.cnblogs.com/wenruo/p/5885948.html \(Description\) 一对新人请n-1对夫妻吃饭，人们坐在一张桌子的两侧，每一对互为夫妻关系的人必须坐在桌子的两侧。而且有些人两两之间会存在“通奸”关系，通奸关系不仅在男女之间，
阅读全文
摘要：题目链接 以下转自：zck921031. \(Description\) 有一个大小为N的集合$S={x_1,x_2,....,x_n}$，\(x_i=0或1\)，给出它们之间的一些逻辑运算的结果（如x1 and x2=1），逻辑运算有AND OR XOR三种，问是否存在一种满足所有条件的取值方案。
阅读全文
摘要："题目链接" $Description$ 一个圆上顺序排列0,1,...,n 1共n个点，给出m条线段，线段可以从里面连也可以从外面连，问是否能满足所有线段不相交 $Solution$ 把每条线段看做一个点，只有在圆外和在圆内两种情况，于是可以把线段拆成i,i'，分别表示两种情况 对于端点相交的线段
阅读全文