随笔分类 -  算法-2-SAT

摘要:P3825 [NOI2017] 游戏 对于x,有三种选择,不符合2SAT,因此靠枚举xa,b,c来变为2SAT,但是只需要枚举任意两个即可,因为枚举为c,则a,b可选,枚举ba,c可选,三种情况都覆盖 对于建边: 若u>v,但是u不合法,则无视 阅读全文
posted @ 2023-03-15 16:59 模拟退火 阅读(19) 评论(0) 推荐(0) 编辑
摘要:本篇引用自大佬的洛谷日报 P4782 【模板】2-SAT 问题 模板题 点击查看代码 #include<bits/stdc++.h> #define int long long #define inf 1e18 #define inc 0xcfcfcfcf #define N 1000007 #de 阅读全文
posted @ 2023-03-11 10:34 模拟退火 阅读(21) 评论(0) 推荐(0) 编辑

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