Live2d Test Env

随笔分类 -  2—SAT问题

CodeForces - 1093D：Beautiful Graph（二分图判定+方案数）
摘要：题意：给定无向图，让你给点加权（1，2，3）,使得每条边是两端点点权和维奇数。 思路：一个连通块是个二分图，判定二分图可以dfs，并查集，2-sat染色。 这里用的并查集（还可以带权并查集优化一下，或者干脆用dfs）。 计数的时候每个连通块单独考虑，我们从连通块的第一个点开始dfs，如果是该填奇数点 阅读全文
posted @ 2018-12-16 14:38 nimphy 阅读(543) 评论(0) 推荐(0) 编辑
URAL - 1003：Parity （带权并查集&2-sat）
摘要：Now and then you play the following game with your friend. Your friend writes down a sequence consisting of zeroes and ones. You choose a continuous s 阅读全文
posted @ 2018-12-04 21:48 nimphy 阅读(456) 评论(0) 推荐(0) 编辑
HihoCoder 1638 : 小Hi的天平 (2-sat+并查集)
摘要：描述 小Hi给小Ho邮寄了一个天平。收到天平后，小Ho想知道天平在运输过程中是否损坏，为此它准备了A类物品和B类物品共n个（可能只有A类物品，也可能只有B类物品），但无法确定一个物品是哪一类。A类物品的质量都相同，B类物品的质量也相同，但A类物品与B类物品的质量不同。现将n个物品从1到n编号，用天平 阅读全文
posted @ 2018-02-17 17:36 nimphy 阅读(264) 评论(0) 推荐(0) 编辑
HDU1815 Building roads（二分+2-SAT）
摘要：Problem Description Farmer John's farm has N barns, and there are some cows that live in each barn. The cows like to drop around, so John wants to bui 阅读全文
posted @ 2017-11-19 22:43 nimphy 阅读(228) 评论(0) 推荐(0) 编辑
【整理】2-SAT
摘要：2-satisfiability，我们一般将其缩写为 2-sat。 了解全名有助于我们对这个算法的理解。 百度翻译：‘satisfiability’ “可满足性，适定性”。 “合取范式可满足性问题（简称SAT问题）是一个NP完全问题。” “合取范式可满足性问题（简称SAT问题）是一个NP完全问题。” 阅读全文
posted @ 2017-11-16 17:11 nimphy 阅读(494) 评论(1) 推荐(1) 编辑
2—sat
摘要：HDU1814 ：难度1.5 HDU1824： 难度 2 HDU1815： 难度3 HDU1816： 阅读全文
posted @ 2017-10-06 11:43 nimphy 阅读(235) 评论(0) 推荐(0) 编辑

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