Problem:
Score : 800 points

Problem Statement

There is a tree with N vertices numbered 1 through N.
The i-th edge connects Vertex x_i and y_i.
Each vertex is painted white or black.
The initial color of Vertex i is represented by a letter c_i.
c_i = W represents the vertex is white; c_i = B represents the vertex is black.

A cat will walk along this tree.
More specifically, she performs one of the following in one second repeatedly:

Choose a vertex that is adjacent to the vertex where she is currently, and move to that vertex. Then, invert the color of the destination vertex.

Invert the color of the vertex where she is currently.

The cat's objective is to paint all the vertices black. She may start and end performing actions at any vertex.
At least how many seconds does it takes for the cat to achieve her objective?

Constraints

1 ≤ N ≤ 10^5

1 ≤ x_i,y_i ≤ N (1 ≤ i ≤ N-1)

The given graph is a tree.

c_i = W or c_i = B.

Input

Input is given from Standard Input in the following format:

N
x_1 y_1
x_2 y_2
:
x_{N-1} y_{N-1}
c_1c_2..c_N

Output

Print the minimum number of seconds required to achieve the objective.

Sample Input 1

5
1 2
2 3
2 4
4 5
WBBWW

Sample Output 1

5

The objective can be achieved in five seconds, for example, as follows:

Start at Vertex 1. Change the color of Vertex 1 to black.

Move to Vertex 2, then change the color of Vertex 2 to white.

Change the color of Vertex 2 to black.

Move to Vertex 4, then change the color of Vertex 4 to black.

Move to Vertex 5, then change the color of Vertex 5 to black.

Sample Input 2

6
3 1
4 5
2 6
6 1
3 4
WWBWBB

Sample Output 2

7

Sample Input 3

1
B

Sample Output 3

0

Sample Input 4

20
2 19
5 13
6 4
15 6
12 19
13 19
3 11
8 3
3 20
16 13
7 14
3 17
7 8
10 20
11 9
8 18
8 2
10 1
6 13
WBWBWBBWWWBBWWBBBBBW

Sample Output 4

21

Solution in Go (1.6) (judge verdict: Wrong Answer)

package main

import (
  "bufio"
  "fmt"
  "os"
  "strconv"
  "strings"
)

func main() {
  input := Input{bufio.NewReaderSize(os.Stdin,1000)}
  n := input.NextInt()
  g := make([][]int,n)
  for i:=0;i<n-1;i++ {
    x,y := input.NextInts()
    g[x-1] = append(g[x-1],y-1)
    g[y-1] = append(g[y-1],x-1)
  }
  s := input.NextLine()
  c := make([]bool,n)
  w := 0
  r := -1
  for i:=0;i<n;i++ {
    c[i] = (s[i:i+1] == "B")
    if !c[i] {
      w++
      if r < 0 { r = i }
    }
  }
  if w < 2 { fmt.Println(w);return }
  b := make([]bool,n)
  var trim func(int,int) bool
  trim = func(u,p int) bool {
    for _,v := range g[u] {
      if v == p { continue }
      if !trim(v,u) { return false }
    }
    b[u] = c[u]
    return b[u]
  }
  trim(r,-1)
  t := make([][]int,n)
  for i:=0;i<n;i++ {
    if b[i] { continue }
    for _,j := range g[i] {
      if b[j] { continue }
      t[i] = append(t[i],j)
    }
  }
  num := make([]int,n)
  var dfs func(int,int,int)
  dfs = func(u,p,d int) {
    if c[u] { d++ }
    num[u] = d
    for _,v := range t[u] {
      if v == p { continue }
      dfs(v,u,d)
    }
  }
  dfs(r,-1,0)
  for i:=0;i<n;i++ {
    if num[r] < num[i] && !c[i] { r = i }
  }
  dfs(r,-1,0)
  for i:=0;i<n;i++ {
    if num[r] < num[i] && !c[i] { r = i }
  }
  ans := -2*num[r]-2
  for i:=0;i<n;i++ {
    if b[i] { continue }
    ans += 2
    if (!c[i]) != (len(t)%2 == 1) { ans += 1 }
  }
  fmt.Println(ans)
}

type Input struct { reader *bufio.Reader }
func(i *Input) NextLine() string {
  var buffer []byte
  for {
    line,isPrefix,err := i.reader.ReadLine()
    if err != nil { panic(err) }
    buffer = append(buffer,line...)
    if !isPrefix { break }
  }
  return string(buffer)
}
func(i *Input) NextInt() int {
  n,_ := strconv.Atoi(i.NextLine())
  return n
}
func(i *Input) NextInts() (int,int) {
  s := strings.Fields(i.NextLine())
  x,_ := strconv.Atoi(s[0])
  y,_ := strconv.Atoi(s[1])
  return x,y
}