摘要:
2-SAT验证 + 二分半径#include#include#include#include#includeusing namespace std;const int maxn=8000+5;int M,N;double X1[maxn],Y1[maxn],X2[maxn],Y2[maxn];int... 阅读全文
摘要:
2-SAT,判断任意两条线段是否内部互斥或者外部互斥就可以建图了。#include#include#include#include#includeusing namespace std;const int maxn=8000+5;int M,N;int L[maxn],R[maxn];struct ... 阅读全文
摘要:
2-SAT,直接选择新娘一侧的比较难做,所以处理的时候选择新郎一侧的,最后反着输出就可以。A和B通奸的话,就建边 A->B'以及B->A’,表示 A在新郎一侧的话,B一定不在;B在新郎一侧的话,A一定不在。然后再把新郎的mark标记为1,表示新郎一定选择。#include#include#inclu... 阅读全文
摘要:
2-SAT,输出字典序最小的解,白书模板。//TwoSAT输出字典序最小的解的模板//注意:0,1是一组,1,2是一组.....#include#include#include#include#includeusing namespace std;const int maxn=8000+5;int ... 阅读全文