知识点练习 > 2-sat

2-sat

知识点学习

2-sat(2-satisfiability) 定义 对于一个布尔公式，如果存在一组布尔变量的取值方案使得公式的值为真，则称这个布尔公式是可满足的。
判断一个布尔公式是否可满足，被称为布尔公式的可满足性(SAT) 问题。
将形如这种布尔公式称为合取范式 (
查看全部

更多练习

你已通过 0/4
根据你的目前水平为你推荐以下题目
换一换
难度筛选
知识点及难度未知的题目更有挑战，如果已准备好，不妨试试 一战到底编程挑战

通过题目排名

牛客竞赛，专业的竞技算法训练平台

扫描二维码，进入QQ群

扫码关注“比赛自动姬”