摘要：
"传送门" 几乎和 "这个题" 一样，就不说题意了，比较特殊的点就是，这里有个结论： 平面图的边数$m include include include include include include include define MP make_pair define fi first define 阅读全文
摘要：
"传送门" 题意： 给出一个圆，圆上有$n$个点，依次为$0,1,\cdots,n 1$。 现在要连接$m$对点，每次连接时可以直接从里面连，也可以从外面连。 最后问，连完这$m$对点后，是否有线相交。 思路： 每次连接时可以直接从里面连，也可以从外面连 ，那么可以考虑这个问题是一个$2 sat$模 阅读全文
摘要：
"传送门" $2 sat$的模板题，首先得出题目中的二元关系为：对于有矛盾的$x_i,x_j$，至多选择一个，那么连边$x_i\rightarrow x_j',x_j\rightarrow x_i'$。 在这里这个关系是明确的关系，我们连边时只用连明确的关系即可。假设不选$x_i$，我们也不知道$x 阅读全文