演算法學習筆記: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