Problem:
Score : 600 points

Problem Statement

Kenkoooo found a simple connected graph.
The vertices are numbered 1 through n.
The i-th edge connects Vertex u_i and v_i, and has a fixed integer s_i.

Kenkoooo is trying to write a positive integer in each vertex so that the following condition is satisfied:

For every edge i, the sum of the positive integers written in Vertex u_i and v_i is equal to s_i.

Find the number of such ways to write positive integers in the vertices.

Constraints

2 \leq n \leq 10^5

1 \leq m \leq 10^5

1 \leq u_i < v_i \leq n

2 \leq s_i \leq 10^9

If i\neq j, then u_i \neq u_j or v_i \neq v_j.

The graph is connected.

All values in input are integers.

Input

Input is given from Standard Input in the following format:

n m
u_1 v_1 s_1
:
u_m v_m s_m

Output

Print the number of ways to write positive integers in the vertices so that the condition is satisfied.

Sample Input 1

3 3
1 2 3
2 3 5
1 3 4

Sample Output 1

1

The condition will be satisfied if we write 1,2 and 3 in vertices 1,2 and 3, respectively.
There is no other way to satisfy the condition, so the answer is 1.

Sample Input 2

4 3
1 2 6
2 3 7
3 4 5

Sample Output 2

3

Let a,b,c and d be the numbers to write in vertices 1,2,3 and 4, respectively.
There are three quadruples (a,b,c,d) that satisfy the condition:

(a,b,c,d)=(1,5,2,3)

(a,b,c,d)=(2,4,3,2)

(a,b,c,d)=(3,3,4,1)

Sample Input 3

8 7
1 2 1000000000
2 3 2
3 4 1000000000
4 5 2
5 6 1000000000
6 7 2
7 8 1000000000

Sample Output 3

0

Solution in Rust (1.15.1) (judge verdict: Runtime Error)

use std::cmp;
use std::collections::VecDeque;

fn main() {
    let (r, w) = (std::io::stdin(), std::io::stdout());
    let mut sc = IO::new(r.lock(), w.lock());

    let n: usize = sc.read();
    let m: usize = sc.read();
    let mut graph = vec![vec![]; n];
    for _ in 0..m {
        let u = sc.read::<usize>() - 1;
        let v = sc.read::<usize>() - 1;
        let sum: i64 = sc.read();
        graph[u].push((v, sum));
        graph[v].push((u, sum));
    }

    let mut color = vec![0; n];
    color[0] = 1;

    if check_color(0, &mut color, &graph) {
        let mut hints = vec![None; n];
        hints[0] = Some((0, true));
        if !construct(0, &graph, &mut hints) {
            println!("0");
        }
        let mut upper_bound = std::i64::MAX;
        let mut lower_exclusive = 0;
        for hint in hints.into_iter() {
            let (s, is_add) = hint.unwrap();
            if !is_add {
                upper_bound = cmp::min(upper_bound, s);
            } else {
                lower_exclusive = cmp::max(lower_exclusive, -s);
            }
        }

        let ans = cmp::max(0, upper_bound - lower_exclusive - 1);
        println!("{}", ans);
    } else {
        let mut hints = vec![None; n];
        hints[0] = Some((0, true));
        let mut q = VecDeque::new();
        q.push_back(0);
        while let Some(v) = q.pop_front() {
            let (sum1, is_add) = hints[v].unwrap();
            for &(next, sum2) in graph[v].iter() {
                if let Some((sum3, next_is_add)) = hints[next] {
                    if is_add == next_is_add {
                        let x2 = sum2 - sum1 - sum3;
                        let x2 = if is_add { x2 } else { -x2 };
                        if x2 <= 0 || x2 % 2 == 1 {
                            println!("0");
                            return;
                        }
                        let x = x2 / 2;
                        let mut num = vec![None; n];
                        num[0] = Some(x);
                        if !check_dfs(0, &mut num, &graph) {
                            println!("0");
                        } else {
                            println!("1");
                        }
                        return;
                    } else {
                        if sum1 + sum3 != sum2 {
                            println!("0");
                            return;
                        }
                    }
                } else {
                    hints[next] = Some((sum2 - sum1, !is_add));
                    q.push_back(next);
                }
            }
        }
    }
}

fn check_dfs(v: usize, num: &mut Vec<Option<i64>>, graph: &Vec<Vec<(usize, i64)>>) -> bool {
    let cur = num[v].unwrap();
    for &(next, sum) in graph[v].iter() {
        match num[next] {
            Some(next) => {
                if next + cur != sum {
                    return false;
                }
            }
            None => {
                let next_num = sum - cur;
                if next_num <= 0 {
                    return false;
                }
                num[next] = Some(next_num);
                if !check_dfs(next, num, graph) {
                    return false;
                }
            }
        }
    }
    true
}

fn construct(
    v: usize,
    graph: &Vec<Vec<(usize, i64)>>,
    hints: &mut Vec<Option<(i64, bool)>>,
) -> bool {
    let (sum1, is_add) = hints[v].unwrap();
    for &(next, sum2) in graph[v].iter() {
        let sn = sum2 - sum1;
        match hints[next] {
            Some((s, next_is_add)) => {
                assert_ne!(is_add, next_is_add);
                if sn != s {
                    return false;
                }
            }
            None => {
                hints[next] = Some((sn, !is_add));
                if !construct(next, graph, hints) {
                    return false;
                }
            }
        }
    }
    true
}

fn check_color(v: usize, color: &mut Vec<usize>, graph: &Vec<Vec<(usize, i64)>>) -> bool {
    for &(next, _) in graph[v].iter() {
        if color[next] == 0 {
            color[next] = if color[v] == 1 { 2 } else { 1 };
            check_color(next, color, graph);
        } else {
            if color[next] == color[v] {
                return false;
            }
        }
    }
    true
}

pub struct IO<R, W: std::io::Write>(R, std::io::BufWriter<W>);

impl<R: std::io::Read, W: std::io::Write> IO<R, W> {
    pub fn new(r: R, w: W) -> IO<R, W> {
        IO(r, std::io::BufWriter::new(w))
    }
    pub fn write<S: std::ops::Deref<Target = str>>(&mut self, s: S) {
        use std::io::Write;
        self.1.write(s.as_bytes()).unwrap();
    }
    pub fn read<T: std::str::FromStr>(&mut self) -> T {
        use std::io::Read;
        let buf = self
            .0
            .by_ref()
            .bytes()
            .map(|b| b.unwrap())
            .skip_while(|&b| b == b' ' || b == b'\n' || b == b'\r' || b == b'\t')
            .take_while(|&b| b != b' ' && b != b'\n' && b != b'\r' && b != b'\t')
            .collect::<Vec<_>>();
        unsafe { std::str::from_utf8_unchecked(&buf) }
            .parse()
            .ok()
            .expect("Parse error.")
    }
    pub fn vec<T: std::str::FromStr>(&mut self, n: usize) -> Vec<T> {
        (0..n).map(|_| self.read()).collect()
    }
    pub fn chars(&mut self) -> Vec<char> {
        self.read::<String>().chars().collect()
    }
}