图论--2-SAT
妖怪吧
这个作者很懒,什么都没留下…
展开
-
LUOGU P4782 【模板】2-SAT 问题
题目背景 2-SAT 问题 模板 题目描述 有n个布尔变量 x1x_1x1 ~ xnx_nxn ,另有m个需要满足的条件,每个条件的形式都是“ xix_ixi 为true/false或 xjx_jxj 为true/false”。比如“ x1x_1x1 为真或 x3x_3x3 为假”、“ x7x_7x7 为假或 x2x_2x2 为假”。2-SAT 问题的目标是给每个变量赋值使得...原创 2018-08-18 09:40:10 · 186 阅读 · 0 评论 -
LUOGU P4171 [JSOI2010]满汉全席
传送门 解题思路 2-SAT 裸题。 代码 #include<iostream> #include<cstdio> #include<cstring> #include<cmath> #include<cstdlib> #include<algori原创 2018-08-18 10:19:42 · 196 阅读 · 0 评论