摘要:
赛后发现C被fst了/kk 本来能上分六十多,结果就上了十几 CF1362A Johnny and Ancient Computer https://codeforces.com/problemset/problem/1362/A 比赛的时候写麻烦了,其实还有更简单的实现方法 inline int 阅读全文
摘要:
k sat sat 是 Satisfiability 的缩写,就是对一串 bool 量进行赋值,使其满足布尔方程 具体来说,k sat 就是给出若干个限制: $$a_{p_1}\oplus a_{p_2}\oplus \cdots\oplus a_{p_k}=x$$ 求的一组满足所有限制合法解,\o 阅读全文