2020年8月31日
图论学习——2-SAT
摘要： SAT——Satisfiability 2-SAT问题介绍： 一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。 例题： 1.P4782 【模板】2-SAT 问题 点击查看代码块 /* -代表非的意思,n为点(变量)的个数 a或b—————— -a->b 且 -b->a 对应 阅读全文
posted @ 2020-08-31 13:50 wsl_lld 阅读(249) 评论(0) 推荐(0) 编辑