摘要: 题面 Bzoj2199(权限题) 洛谷P3007 解析 非常裸的一道2-sat问题, 麻烦在于如何构造可行解,因为要输出'?', 就不能写原来那种很简短的构造方法了,然而我又不会dfs的方法, 于是就写了拓扑序的构造方法 还是先tarjan缩点, 判断是否存在可行解,不存在就直接输出,存在再进行拓扑 阅读全文
posted @ 2019-08-05 23:21 Mr_Joker 阅读(241) 评论(0) 推荐(0) 编辑