[낙 곡 P 1993] 작은 K 의 농장 [차분 제약]

15346 단어 계차 제약P1993
제목 의 대의:
제목 링크:https://www.luogu.org/problemnew/show/P1993 작은 K 는 MC 안에 많은 농장 을 세 웠 습 니 다. 모두 n n 개 입 니 다. 그래서 그 는 모든 농장 에서 작 물 을 재배 하 는 구체 적 인 수량 을 잊 었 습 니 다. 그 는 애매 한 정보 (총 m m 개) 만 기억 하고 다음 과 같은 세 가지 형식 으로 설명 합 니 다.
농장 a 는 농장 b 보다 적어도 c 개 단위 의 작 물 을 많이 심 었 다.
농장 a 는 농장 b 보다 c 개 단위 의 작 물 을 많이 심 었 다.
4. 567917. 농장 a 는 농장 b 가 재배 하 는 작 물의 수 와 마찬가지 로 많다
그러나 작은 K 의 기억 이 약간 어 긋 나 기 때문에 그 는 한 가지 상황 이 존재 하 는 지 알 고 싶 어서 농장 의 재배 작 물의 수량 이 그의 기억 속 의 모든 정보 와 부합된다.
생각:
분명히 차이 점 제약.조건 1 → a − b ≥ c → b → b + c ≤ a \ \ to a - b \ \ \ \ \ geq c \ \ to b + c \ \ \ \ \ 리 q b + c \ \ \ \ 리 q a → a − b ≥ c → b → b → c → b + c ≤ a 조건 2 → a − b → c → c → b \ \ \ \ \ \ q c c c \ to a - c \ \ \ \ \ \ \ \ q c c c \ \ \ \ \ \ q c c \ \ \ \ \ \ \ q c c b → b → b → b → b → b ≤ c → b → b → b ≤ b → b ≤ b → b → b ≤ b ≤ b 조건 3 → a ≤ b, b ≤ b, b ≤ a b, b ≤ a \ \ a \ \ \ \ \ b, b \ \ \ \ \ \ 정 환 을 판정 하면 된다.
코드:
#include 
#include 
#include 
using namespace std;

const int N=10010;
int n,m,x,y,z,tot,head[N],dis[N];
bool vis[N];

struct edge
{
    int next,to,dis;
}e[N*3];

void add(int from,int to,int dis)
{
    e[++tot].to=to;
    e[tot].dis=dis;
    e[tot].next=head[from];
    head[from]=tot;
}

bool spfa(int x)  //dfs spfa
{
    vis[x]=1;
    for (int i=head[x];~i;i=e[i].next)
    {
        int y=e[i].to;
        if (dis[y]<dis[x]+e[i].dis)
        {
            if (vis[y]) return 0;
            dis[y]=dis[x]+e[i].dis;
            vis[y]=1;
            if (!spfa(y)) return 0;
        }
    }
    vis[x]=0;
    return 1;
}

int main()
{
    memset(head,-1,sizeof(head));
    scanf("%d%d",&n,&m);
    for (int i=1;i<=n;i++)
        add(0,i,0);
    for (int i=1;i<=m;i++)
    {
        scanf("%d",&x);
        if (x==1)
        {
            scanf("%d%d%d",&x,&y,&z);
            add(y,x,z);
        }
        else if (x==2)
        {
            scanf("%d%d%d",&x,&y,&z);
            add(x,y,-z);
        }
        else
        {
            scanf("%d%d",&x,&y);
            add(x,y,0);
            add(y,x,0);
        }
    }
    memset(dis,0xcf,sizeof(dis));
    dis[0]=0;
    if (spfa(0)) puts("Yes");
        else puts("No");
    return 0;
}

좋은 웹페이지 즐겨찾기