• 学习笔记

    2-SAT学习笔记

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

  • 题解

    【USACO5.3】校园网Network of Schools

    题目描述 一些学校连入一个电脑网络。那些学校已订立了协议:每个学校都会给其它的一些学校分发软件(称作“接受学校”)。注意即使 B 在 A 学校的分发列表中, A 也不一定在 B 学校的列表中。 你要写一个程序计算,根据协…