[BZOJ2330][SCOI2011]糖果

[SCOI2011]糖果

描述

幼儿园里有N个小朋友，lxhgww老师现在想要给这些小朋友们分配糖果，要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心，总是会提出一些要求，比如小明不希望小红分到的糖果比他的多，于是在分配糖果的时候，lxhgww需要满足小朋友们的K个要求。幼儿园的糖果总是有限的，lxhgww想知道他至少需要准备多少个糖果，才能使得每个小朋友都能够分到糖果，并且满足小朋友们所有的要求。

输入格式

输入的第一行是两个整数N，K。
接下来K行，表示这些点需要满足的关系，每行3个数字，X，A，B。
如果X=1， 表示第A个小朋友分到的糖果必须和第B个小朋友分到的糖果一样多；
如果X=2， 表示第A个小朋友分到的糖果必须少于第B个小朋友分到的糖果；
如果X=3， 表示第A个小朋友分到的糖果必须不少于第B个小朋友分到的糖果；
如果X=4， 表示第A个小朋友分到的糖果必须多于第B个小朋友分到的糖果；
如果X=5， 表示第A个小朋友分到的糖果必须不多于第B个小朋友分到的糖果；

输出格式

输出一行，表示lxhgww老师至少需要准备的糖果数，如果不能满足小朋友们的所有要求，就输出-1。

输入

5 7
1 1 2
2 3 2
4 4 1
3 4 5
5 4 5
2 3 5
4 5 1

输出

11

备注

对于30%的数据，保证 N<=100
对于100%的数据，保证 N<=100000
对于所有的数据，保证 K<=100000，1<=X<=5，1<=A, B<=N

var
 w:array[0..500000,1..3]of longint;
 t:array[0..1000000]of longint;
 s,p,dist:array[0..100005]of longint;
 i,j,k:longint;
 n,m:longint;
 a,b,c,len,head,tail,tt,v:longint;
 ans:int64;
procedure init(a,b,c:longint);
begin
 w[len,1]:=b; w[len,2]:=c;
 if w[a,3]=0
 then w[a,3]:=len else w[w[a,1],3]:=len;
 w[a,1]:=len; inc(len);
end;

begin
 readln(n,m); len:=n+1;
 for i:=1 to m do
  begin
   readln(c,a,b);
   case c of
   1:begin init(a,b,0); init(b,a,0); end;
   2:begin if a=b then begin writeln(-1); halt; end; init(a,b,1); end;
   3:init(b,a,0);
   4:begin if a=b then begin writeln(-1); halt; end; init(b,a,1); end;
   5:init(a,b,0);
   end;
  end;
 for i:=1 to n do
  begin
   dist[i]:=1;
   p[i]:=1;
   s[i]:=1;
   t[i]:=i;
  end;
  head:=1; tail:=n+1;
  while head<tail do
   begin
    v:=t[head]; tt:=w[v,3];
    while tt<>0 do
     begin
      if dist[v]+w[tt,2]>dist[w[tt,1]]
      then begin
       dist[w[tt,1]]:=dist[v]+w[tt,2];
       if p[w[tt,1]]=0 then begin s[w[tt,1]]:=s[v]+1; if s[w[tt,1]]>2*n then begin writeln(-1); halt; end;  p[w[tt,1]]:=1; t[tail]:=w[tt,1]; inc(tail); end;
      end;
      tt:=w[tt,3];
     end;
    inc(head); p[v]:=0;
   end;
  ans:=0;
  for i:=1 to n do
   inc(ans,dist[i]);
  writeln(ans);
end.