SCC
weixin_44019404
这个作者很懒,什么都没留下…
展开
-
POJ 2186 强连通图(模板)
难度的话在于不好转换成图来思考。 其实这里的有序对,a认为b,b认为c,并且具有传递性我们就可以考虑用一条链把abc穿起来,从a能到c表示a对c崇拜,就类似与拓扑结构,入度为0的点没有人崇拜,随着链走,任意节点都是被以前的所有节点崇拜,那么最后一个节点就被所有的崇拜。 这是一条的链的情况。 这道题是多条,也可以这么思考。 假设,a被所有牛崇拜,a崇拜b,那么b肯定也被其他所有牛崇拜,因为b也崇拜a...原创 2019-04-17 19:50:16 · 199 阅读 · 0 评论 -
PO 3683 2-sat问题
白皮书上的例题,记录一下模板。 学习一下判断两个区间是否重叠的办法,当且仅当,左端点的最大值小于右端点的最小值的时候,有交集。(具体问题分析取等号的问题) 当然直接向我这样调用函数判断,没有交集的情况也是可以的,不过慢了300ms。。。。所以还是用白皮书的方法好。 这里留一个坑,不太明白为什么最后拓扑排序,大于自己的反就是true,小于就是false。 2-sat问题指的是,析取范式中,每个括号只...原创 2019-04-18 19:52:49 · 127 阅读 · 0 评论