摘要：
2-SAT ~~定义什么的我也说不明白~~。 是形如 $$(x_{i}\vee x_{j})\wedge (x_{k}\vee x_{l})\wedge ......\wedge (x_{n}\vee x_{m})$$ 这样的一个问题，其中 $x$ 是布尔变量，可以看作一个条件，符合为真$(1)$， 阅读全文
摘要：
~~我放弃挣扎了~~ upd : 我挣扎成功了 BSGS : Big Step Giant Step 额其实我也不懂这个算法和名字有什么关系，倒是有点根号分治的味道~ 这个东西用来求解一个东西 $x$ 使得： $$a^x \equiv b \pmod p$$ 其中 $a,b,p$ 给定且 $p$ 为 阅读全文