学步园

给定N个点，每个点都有一个唯一的前驱结点（点1为大boss），每个点的实际权值是子节点的求和值。现在给出某些点的权值的估算（> , = , < ），问这些估算是否会有冲突，现在保证每个点的权值是大于等于1的。

分析： 判断标准为每个点的上下界，初始化为INF和1，每个点上下界可以根据给出的信息，或者搜索出的信息进行更新，如果出现上界小于下界的情况就说明矛盾了。

计算过程中数据量竟然没有超过int................

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
# define INF 0x7FFFFFFF
using namespace std;
int n,m,flag;
struct Guess {
    int high,low;
    char c;
} guess[10001];

struct node {
    int s,e,next;
} ed[10001];
int head[10001],num;
void init() {
    memset(head,-1,sizeof(head));
    num = 0;
    flag = 1;
    for(int i=0; i<=n; i++) {
        guess[i].low = 1;
        guess[i].high = INF;
    }
}
void add(int s,int e) {
    ed[num].s = s;
    ed[num].e = e;
    ed[num].next = head[s];
    head[s] = num++;
}

void cmp(int i,int h,int l) {
    int hh = min(guess[i].high ,h);
    int ll = max(guess[i].low,l);
    if(hh < ll) flag = 0;
    guess[i].high = hh;
    guess[i].low = ll;
}

void dfs(int v0) {
    if(flag == 0) return ;
    int h = INF,l = 1;
    for(int i=head[v0]; i != -1; i= ed[i].next) {
        int e = ed[i].e;
        dfs(e);
        l += guess[e].low;
    }
    cmp(v0,h,l);
}
int main() {
    int t,a,b;
    char c;
    while(scanf("%d",&n) != EOF) {
        init();
        for(int i=2; i<=n; i++) {
            scanf("%d",&t);
            add(t,i);
        }
        scanf("%d",&m);
        int h,l;
        for(int i=0; i<m; i++) {
            scanf("%d %c %d",&a,&c,&b);
            h = INF;
            l = 1;
            if(c == '=') {
                l = b; h = b;
            }
            if(c == '<') h = b - 1;
            if(c == '>') l = b + 1;
            cmp(a,h,l);
        }
        dfs(1);
        if(flag) printf("True\n");
        else printf("Lie\n");
    }
    return 0;
}