suxxsfe

一言（ヒトコト）

随笔分类 -  图论-2-sat

2021SD一轮省集比赛题
该文被密码保护。
posted @ 2021-05-03 20:58 suxxsfe 阅读(2) 评论(0) 推荐(0)
2-sat 部分题目
摘要：记录一些做过的 2 sat 题目 P4171 [JSOI2010]满汉全席 "洛谷 P4171" ， "bzoj 1823" 很裸的 2 sat 题意：$n$ 种食材，每种可以按照满式或汉式来烹饪，有 $m$ 个要求，每个要求所有做出的菜品中，必须有指定的两个 满式/汉式 烹饪的第 $x$ 种食材 阅读全文
posted @ 2020-05-05 22:28 suxxsfe 阅读(1223) 评论(0) 推荐(0)
2-sat
摘要：k sat sat 是 Satisfiability 的缩写，就是对一串 bool 量进行赋值，使其满足布尔方程 具体来说，k sat 就是给出若干个限制： $$a_{p_1}\oplus a_{p_2}\oplus \cdots\oplus a_{p_k}=x$$ 求的一组满足所有限制合法解，\o 阅读全文
posted @ 2020-05-04 21:04 suxxsfe 阅读(152) 评论(0) 推荐(0)