摘要:2 sat小结 原文作者:老K _ "原文传送门" _ 2 sat是什么 一类问题是这样的: (两个符号的意思 $\lor \ or,\land \ and$) 有n个布尔变量,现在对它们做出限制,比如$a_i=1,a_i \lor a_j=1$,求一组可行的解。 假设限制元素最多的限制限制了k个元 阅读全文
posted @ 2018-09-05 19:53 enceladus 阅读(190) 评论(0) 推荐(0) 编辑

Contact with me