Loading

2020年12月3日
2-SAT问题
摘要： 2-SAT问题 一.是什么 给定$n$的$bool$变量，$m$个约束条件，每组约束条件为"$x_i$为真或者为假"。 请找出$n$个$bool$变量,作为原来的一组解。 二.怎么做 本质上可以将$n$个$bool$变量看作$n$个集合，每个集合中只有真和假两种元素，请在每个集合中选择一个元素，使得 阅读全文
posted @ 2020-12-03 20:16 zhangwenxuan 阅读(75) 评论(0) 推荐(0)