摘要：link 题目大意 有$n$个时间安排，可以安排到$2$个时间，问是否可以将时间错开，若能，输出一种方案。 试题分析 $O(n^2)$暴力判断两者是否能在同一个时间安排，若有两段时间$(u,v)$是不能安排在一起的，则连边$(u,v'),(v,u')$，然后就一个彻彻底底是一个板子了。 #inclu 阅读全文

摘要：其实以前写过关于$2-SAT$的，但是那时的自己太懵懂了。 这是以前写过的文章link 关于$2-SAT$，其实就想说两件事情。 $2-SAT$边建立的逻辑 $2-SAT$边建立的逻辑是必须关系，若$(u,v)$连边的话，说明如果要选择$u$号节点就必须要选择v号节点。 举个例子，假设有$2$个团队 阅读全文

摘要：link 题目大意 给你几个二进制运算的结果，求是否有解。 试题分析 $2-SAT$板子吧，其实主要就是在$2-SAT$中我们连边是对于选择$u$点后必须选择$v$点才连$(u,v)$。 然后就$tarjan$判断两点是否在一个强连通分量中。 #include<iostream> #include< 阅读全文

摘要：tarjan的运用 this is a problem:link 2-SAT处理的是什么 首先，把「2」和「SAT」拆开。SAT 是 Satisfiability 的缩写，意为可满足性。即一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。 所以看这道题 若ai为真或aj为真， 阅读全文