日記6

    今天學習了一下2-sat,差分限制系統，kmp。

    由于kmp之前學習過了，就複習了一下，看了一下模闆。