题目大意：给出开始时间，结束时间和持续时间，每个时间段只能选择[开始时间，开始时间＋持续时间]或者[结束时间-持续时间，结束时间]，问区间会不会覆盖
解题思路：2－SAT裸题
#include <cstdio>
#include <cstring>
#include <vector>
using namespace std;
const int MAXNODE = 2010;
vector<int> G[MAXNODE];
bool mark[MAXNODE];
int n, top;
int Stack[MAXNODE];
int start[MAXNODE], End[MAXNODE], last[MAXNODE];
void init() {
for (int i = 0; i < 2 * n; i++)
G[i].clear();
memset(mark, 0, sizeof(mark));
int h1, m1, h2, m2;
for (int i = 0; i < n; i++) {
scanf("%d:%d%d:%d%d", &h1, &m1, &h2, &m2, &last[i]);
start[i] = h1 * 60 + m1;
End[i] = h2 * 60 + m2;
}
}
bool dfs(int u) {
if (mark[u ^ 1]) return false;
if (mark[u]) return true;
mark[u] = true;
Stack[++top] = u;
for (int i = 0; i < G[u].size(); i++)
if (!dfs(G[u][i])) return false;
return true;
}
bool judge(int s1, int e1, int s2, int e2) {
if (s1 >= s2 && s1 < e2) return true;
if (s2 >= s1 && s2 < e1) return true;
return false;
}
void AddClause(int x, int valx, int y, int valy) {
x = x * 2 + valx;
y = y * 2 + valy;
G[x].push_back(y);
}
bool ok() {
for (int i = 0; i < 2 * n; i += 2) {
if (!mark[i] && !mark[i ^ 1]) {
if (!dfs(i)) {
top = 0;
while (top) mark[Stack[top--]] = false;
if (!dfs(i ^ 1)) return false;
}
}
}
return true;
}
void solve() {
for (int i = 0; i < n; i++)
for (int j = 0; j < i; j++)
for (int x = 0; x < 2; x++)
for (int y = 0; y < 2; y++) {
int s1, e1, s2, e2;
if (x == 0) {
s1 = start[i];
e1 = start[i] + last[i];
}
else {
s1 = End[i] - last[i];
e1 = End[i];
}
if (y == 0) {
s2 = start[j];
e2 = start[j] + last[j];
}
else {
s2 = End[j] - last[j];
e2 = End[j];
}
if (s1 > e1 || s2 > e2) continue;
if (judge(s1, e1, s2, e2)) {
AddClause(i, x, j, y ^ 1);
AddClause(j, y, i, x ^ 1);
}
}
if (!ok()) {
printf("NO\n");
return ;
}
printf("YES\n");
for (int i = 0; i < n; i++) {
int st, ed;
if (mark[i * 2]) {
st = start[i];
ed = start[i] + last[i];
}
else {
st = End[i] - last[i];
ed = End[i];
}
printf("%02d:%02d %02d:%02d\n", st / 60, st % 60, ed / 60, ed % 60);
}
}
int main() {
while (scanf("%d", &n) != EOF) {
init();
solve();
}
return 0;
}
