洛谷 AT3882 People on a Line
Description
在一根数轴上站有 n 个人,我们称第 i 个人的坐标为 xi(xi∈[0,10的9次方],xi∈Z),同一个坐标点上可能有多个人。
你现在手上有 m 条信息,第 iii 条信息形如 (li,ri,di),含义是第 ri个人在第 li个人右数第 di个坐标点上。
不幸的是,这 m 条信息中的一些可能有误,请你求出是否存在一组 x(x1,x2,x3,…,xn)满足所有信息。
Input
输入格式如下:
输入数据的第一行包含两个以空格分开的整数 n 和 m,分别表示总人数和信息条数;
接下来的 m 行中第 i(1≤i≤m)行包含三个以空格分开的整数 li,ri,di,表示第 i 条信息是 ri 号人在 li号人右边 di个位置上。
Output
- 若存在一组合法的 x,输出一行
Yes
;否则输出一行No
。
Sample Input
3 3
1 2 1
2 3 1
1 3 5
Sample Output
No
Data Size
1≤n≤100000;
0≤m≤2000000
1≤li,ri≤n(1≤i≤m)
0≤di≤10000(1≤i≤m)
li≠ri(1≤i≤m)
如果 i≤j,则有 (li,ri)≠(lj,rj),(li,ri)≠(rj,lj)
di为整数。
题解:
- 今天本来爆刷差分约束的,突然跳出来这道题… …
- 好像的确可以用差分约束写,但是我菜不会,用朴素的dfsA掉了。
- 思路就是先建图。add(a, b, c), add(b, a, -c)。表示b在a的右边,a在b的左边。然后只要没有访问过的点就以它为基准点去扩展Dfs。如果在Dfs的过程中发现一个点有两个不同的坐标。就直接输出No。
#include <iostream>
#include <cstdio>
#include <algorithm>
#define N 400005
#define inf 0x7fffffff
using namespace std;
struct E {int next, to, dis;} e[N];
int n, m, num, flag, cnt;
int h[N], a[N], pos[N], obj[N];
bool vis[N];
int read()
{
int x = 0; char c = getchar();
while(c < '0' || c > '9') c = getchar();
while(c >= '0' && c <= '9') {x = x * 10 + c - '0'; c = getchar();}
return x;
}
void add(int u, int v, int w)
{
e[++num].next = h[u];
e[num].to = v;
e[num].dis = w;
h[u] = num;
}
void dfs(int x)
{
if(flag) return;
vis[x] = 1;
for(int i = h[x]; i != 0; i = e[i].next)
{
int t = pos[x] + e[i].dis;
if(pos[e[i].to] == inf) pos[e[i].to] = t, dfs(e[i].to);
else if(t != pos[e[i].to]) {flag = 1; return;}
}
}
int main()
{
cin >> n >> m;
for(int i = 1; i <= m; i++)
{
int a = read(), b = read(), c = read();
add(a, b, c), add(b, a, -c);
pos[a] = pos[b] = inf;
obj[++cnt] = a, obj[++cnt] = b;
}
sort(obj + 1, obj + 1 + cnt);
cnt = unique(obj + 1, obj + 1 + cnt) - obj - 1;
for(int i = 1; i <= cnt; i++)
if(!vis[obj[i]])
{
flag = 0;
pos[obj[i]] = 0;
dfs(obj[i]);
if(flag) {cout << "No"; return 0;}
}
cout << "Yes";
return 0;
}