随笔分类 - 图论 -- 2-SAT
摘要:link 题目大意 有n个时间安排,可以安排到2个时间,问是否可以将时间错开,若能,输出一种方案。 试题分析 O(n2)暴力判断两者是否能在同一个时间安排,若有两段时间(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为真,
阅读全文