算法学习笔记:2-SAT
- 2020 年 8 月 7 日
- 筆記
SAT 是适定性(Satisfiability)问题的简称。一般形式为 k – 适定性问题,简称 k-SAT …
Continue ReadingSAT 是适定性(Satisfiability)问题的简称。一般形式为 k – 适定性问题,简称 k-SAT …
Continue Reading珂朵莉树(Chtholly Tree)起源于CF896C,那道题要求我们实现一种数据结构,可以较快地实现: 区间加 区间 …
Continue Reading在解AOJ 0531 Paint Color时,学到了一个累积和的妙用——imos法,由于原文是日语,所以特意翻译过来。 …
Continue Reading埃拉托斯特尼筛法(sieve of Eratosthenes ) 是古希腊数学家埃拉托斯特尼发明的计算素数的方法。对于求 …
Continue Reading