摘要：
传送门:Problem 3207 https://www.cnblogs.com/violet-acmer/p/9769406.html 难点： 题意理解。 题意： 平面上有一个圆,圆上有n个点(分别编号0-n-1,按顺序在圆上排列),现在要对这n个点连接m条线，这m条线的两个端点已经给出了,这个线 阅读全文
摘要：
传送门:Problem 3678 https://www.cnblogs.com/violet-acmer/p/9769406.html 难点： 题意理解+构图 题意： 有n个点 v[0,2......,n-1](v[i]值为0或1)，边(a[i],b[i])间的权值为c[i]，现在给出它们之间的一 阅读全文
摘要：
传送门 题解： 根据矛盾关系构造布尔公式。 令 0~n-1 表示妻子， n~2*n-1 表示丈夫 A1 C1 A2 C2 如果C1为0，C2为0，对应的布尔公式为 (A1+n)V(A2+n) 如果C1为0，C2为1，对应的布尔公式为 (A1+n)V(A2) 如果C1为1，C2为0，对应的布尔公式为 阅读全文