#![allow(unused_imports)] #![allow(non_snake_case)] use std::cmp::*; use std::collections::*; use std::io::Write; #[allow(unused_macros)] macro_rules! debug { ($($e:expr),*) => { #[cfg(debug_assertions)] $({ let (e, mut err) = (stringify!($e), std::io::stderr()); writeln!(err, "{} = {:?}", e, $e).unwrap() })* }; } fn main() { let v = read_vec::(); let (n, m, q) = (v[0], v[1], v[2]); let mut edges = vec![vec![]; n]; let mut uft = UnionFindTree::new(n); for _ in 0..m { let v = read_vec::(); let (a, b) = (v[0] - 1, v[1] - 1); edges[a].push(b); edges[b].push(a); uft.unite(a, b); } let mut used = vec![0; n]; for _ in 0..q { let v = read_vec::(); used[v[0] - 1] += 1; used[v[1] - 1] += 1; } let mut roots = HashSet::new(); for i in 0..n { roots.insert(uft.find(i)); } let mut weights = vec![0; n]; let mut accum_num = vec![0; n]; let mut ans = 0; for root in roots { let mut tree: Vec> = vec![Vec::new(); n]; make_tree(root, n, &edges, &mut tree); let mut topological_sorted_indexes = vec![root]; let cost = 0; /* topological_dfs(root, &tree, &mut topological_sorted_indexes); for &ti in topological_sorted_indexes.iter().rev() { for &ci in tree[ti].iter() { accum_num[ti] += accum_num[ci]; weights[ti] += weights[ci]; } accum_num[ti] += used[ti]; weights[ti] += accum_num[ti]; } let mut cost = tree[root].iter().map(|&x| weights[x]).sum::(); let mut cur = root; let mut parent_gain = 0; loop { if tree[cur].is_empty() { break; } let mut max_idx = root; let mut max_gain = 0; for &ci in tree[cur].iter() { if accum_num[ci] > max_gain { max_idx = ci; max_gain = accum_num[ci]; break; } } let focused_accum_nums_sum = tree[cur].iter().map(|&ci| accum_num[ci]).sum::(); let other_weight = focused_accum_nums_sum - max_gain + parent_gain; let lost_weight = other_weight + used[cur]; if lost_weight >= max_gain { break; } cost -= max_gain - lost_weight; parent_gain += lost_weight; cur = max_idx; } */ ans += cost; } println!("{}", ans); } fn read() -> T { let mut s = String::new(); std::io::stdin().read_line(&mut s).ok(); s.trim().parse().ok().unwrap() } fn read_vec() -> Vec { read::() .split_whitespace() .map(|e| e.parse().ok().unwrap()) .collect() } fn make_tree( cur_idx: usize, parent_idx: usize, edges: &Vec>, tree: &mut Vec>, ) { for child_idx in edges[cur_idx].iter() { if *child_idx == parent_idx { continue; } tree[cur_idx].push(*child_idx); make_tree(*child_idx, cur_idx, edges, tree); } } fn topological_dfs(cur_idx: usize, tree: &Vec>, result: &mut Vec) { for child_idx in tree[cur_idx].iter() { result.push(*child_idx); topological_dfs(*child_idx, tree, result); } } #[derive(Debug, Clone)] struct UnionFindTree { parent: Vec, size: Vec, height: Vec, } impl UnionFindTree { fn new(n: usize) -> UnionFindTree { UnionFindTree { parent: vec![-1; n], size: vec![1usize; n], height: vec![0u64; n], } } fn find(&mut self, index: usize) -> usize { if self.parent[index] == -1 { return index; } let idx = self.parent[index] as usize; let ret = self.find(idx); self.parent[index] = ret as isize; ret } fn same(&mut self, x: usize, y: usize) -> bool { self.find(x) == self.find(y) } fn get_size(&mut self, x: usize) -> usize { let idx = self.find(x); self.size[idx] } fn unite(&mut self, index0: usize, index1: usize) -> bool { let a = self.find(index0); let b = self.find(index1); if a == b { false } else { if self.height[a] > self.height[b] { self.parent[b] = a as isize; self.size[a] += self.size[b]; } else if self.height[a] < self.height[b] { self.parent[a] = b as isize; self.size[b] += self.size[a]; } else { self.parent[b] = a as isize; self.size[a] += self.size[b]; self.height[a] += 1; } true } } }