Processing math: 100%

随笔分类 -  图论 -- 2-SAT

摘要:link 题目大意 有n个时间安排,可以安排到2个时间,问是否可以将时间错开,若能,输出一种方案。 试题分析 O(n2)暴力判断两者是否能在同一个时间安排,若有两段时间(u,v)是不能安排在一起的,则连边(u,v),(v,u),然后就一个彻彻底底是一个板子了。 #inclu 阅读全文
posted @ 2018-12-27 18:50 siruiyang_sry 阅读(134) 评论(0) 推荐(0) 编辑
摘要:其实以前写过关于2SAT的,但是那时的自己太懵懂了。 这是以前写过的文章link 关于2SAT,其实就想说两件事情。 2SAT边建立的逻辑 2SAT边建立的逻辑是必须关系,若(u,v)连边的话,说明如果要选择u号节点就必须要选择v号节点。 举个例子,假设有2个团队 阅读全文
posted @ 2018-12-25 18:45 siruiyang_sry 阅读(288) 评论(0) 推荐(0) 编辑
摘要:link 题目大意 给你几个二进制运算的结果,求是否有解。 试题分析 2SAT板子吧,其实主要就是在2SAT中我们连边是对于选择u点后必须选择v点才连(u,v)。 然后就tarjan判断两点是否在一个强连通分量中。 #include<iostream> #include< 阅读全文
posted @ 2018-12-25 13:17 siruiyang_sry 阅读(215) 评论(0) 推荐(1) 编辑
摘要:tarjan的运用 this is a problem:link 2-SAT处理的是什么 首先,把「2」和「SAT」拆开。SAT 是 Satisfiability 的缩写,意为可满足性。即一串布尔变量,每个变量只能为真或假。要求对这些变量进行赋值,满足布尔方程。 所以看这道题 若ai为真或aj为真, 阅读全文
posted @ 2018-10-08 14:03 siruiyang_sry 阅读(227) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示