摘要：题目大意：给定 N 个操作，每个操作占用两个区间中的任意一个即可，求是否可以满足 N 项操作，且使得操作区间不重叠，若可以，输出一种具体方案。 题解：2 sat 模板题，区间覆盖的位置有些毒瘤，貌似题意没交代清楚？ 代码如下 cpp include include include include d 阅读全文

摘要：题目大意：给定 N 个点的 M 条约束，约束形式为：$a_i \lor a_j = 1$。 题解：拆点什么的就不说了，在求出一组解的时候，考虑到 Tarjan 找环的过程中，scc 染色是按照拓扑序的逆序来进行的，即：拓扑排序中最后被删除的节点的 cor 值最小。根据这个性质，在一定有解的情况下，对 阅读全文