摘要：
题目链接：CodeForces-786B Legacy 题意 有$n$个点，$q$次3种类型的操作： $1\ u\ v\ w$，连边$u\to v$，权值为$w$；$2\ v\ l\ r\ w$，连边$v\to [l, r]$，权值为$w$；$3\ v\ l\ r\ w$，连边$[l,r]\to v 阅读全文
摘要：
题目链接：CodeForces-528C Data Center Drama 题意 给出一个无向图(连通，可能有重边和自环)，要求加尽量少的边，并给每条边定向，使每个结点的入度和出度都是偶数。 思路 对于度数为奇数的结点，加边依次连接，例如结点$1,2,3,4$的度数为奇数，则连接$(1,2)$，$ 阅读全文
摘要：
题目链接：CodeForces-723E One-Way Reform 题意 给出一个无向图，让我们给边定向，使入度等于出度的结点最多。 思路 首先入度等于出度的结点其度数肯定是偶数的，那么能否让所给的图中所有度数为偶的结点都满足要求？ 考虑欧拉图，下面是与欧拉图与此题有关的定义和性质： 通过图中所 阅读全文
摘要：
SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题，简称 k-SAT。而当$k>2$时该问题为NP完全的，所以我们只研究$k=2$时情况。 定义 2-SAT，简单的说就是给出$n$个集合，每个集合有两个元素，已知若干个$\langle a, b \rangle$，表示 阅读全文
摘要：
题目链接：POJ-3683 Priest John's Busiest Day 题意 $n$对新人要举行婚礼，每个婚礼有各自的开始时间$S_i$和结束时间$T_i$，还要举行一个时长为$D_i$的仪式，这个仪式只能在$S_i$或$T_i-D_i$时刻开始，问如何安排每个婚礼举行仪式的时间，让一个神父 阅读全文