suxxsfe

一言（ヒトコト）

2020年5月4日
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 阅读(145) 评论(0) 推荐(0) 编辑