Nothing but my heart.

  • Discovery

    欧拉回路学习笔记

    下面的内容主要是是搬运的陈通的集训队论文,可能会有点私货和代码(大雾)。 论文链接 基本概念 定义1 …

    2-SAT学习笔记

    SAT,即为适定性(Satisfiability)问题。通俗来讲就是给定n元素,每个元素都有k取值。然后给定m限制条件,问是否有满足所有限制条件的取值方案,若有则给出一组可行的方案。若每个元素最多k种取值,则称之为K-SAT问题。

      切换主题 | SCHEME TOOL