use std::collections::*; use std::io::{Write, BufWriter}; // https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 macro_rules! input { ($($r:tt)*) => { let stdin = std::io::stdin(); let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock())); let mut next = move || -> String{ bytes.by_ref().map(|r|r.unwrap() as char) .skip_while(|c|c.is_whitespace()) .take_while(|c|!c.is_whitespace()) .collect() }; input_inner!{next, $($r)*} }; } macro_rules! input_inner { ($next:expr) => {}; ($next:expr,) => {}; ($next:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($next, $t); input_inner!{$next $($r)*} }; } macro_rules! read_value { ($next:expr, ( $($t:tt),* )) => { ($(read_value!($next, $t)),*) }; ($next:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($next, $t)).collect::>() }; ($next:expr, usize1) => (read_value!($next, usize) - 1); ($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error")); } fn add(s: &mut HashMap, col: u32, delta: i32) { let new = *s.get(&col).unwrap_or(&0) + delta; if new != 0 { s.insert(col, new); } else { s.remove(&col); } } // https://yukicoder.me/problems/no/2319 (3.5) // 次数の大きい頂点を偉い頂点と呼ぶことにする。辺それぞれにたいして、偉くない側が偉い側に情報を push することにする。 // 拡張点に対して自分より偉い頂点は高々 sqrt(2M) 個であることに注意すると、各操作について以下のようにデータが移動することになる。 // 位置の変更: 自分の位置を変更後、自分より偉い頂点に情報を push // フレンドがいるかどうかの取得: 自分が持っている偉くない頂点の情報と、自分より偉い頂点の情報を取得 // 計算量は O(Q sqrt(M) log(N)) である。 // -> TLE。各頂点が持つデータを木構造のマップからハッシュマップにしても TLE。 fn main() { let out = std::io::stdout(); let mut out = BufWriter::new(out.lock()); macro_rules! puts {($($format:tt)*) => (let _ = write!(out,$($format)*););} input! { n: usize, m: usize, p: [u32; n], ab: [(usize1, usize1); m], q: usize, xy: [(usize1, usize1); q], } let mut p = p; let mut g = vec![vec![]; n]; for &(a, b) in &ab { if a != b { g[a].push(b); g[b].push(a); } } let mut push = vec![vec![]; n]; let mut pushed = vec![Default::default(); n]; for i in 0..n { for &w in &g[i] { if (g[i].len(), i) <= (g[w].len(), w) { push[i].push(w as u32); add(&mut pushed[w], p[i], 1); } } } for (x, y) in xy { let mut found = false; if *pushed[x].get(&p[y]).unwrap_or(&0) != 0 { found = true; } else { for &w in &push[x] { if p[w as usize] == p[y] { found = true; break; } } } if !found || p[x] == p[y] { puts!("No\n"); continue; } puts!("Yes\n"); for &w in &push[x] { add(&mut pushed[w as usize], p[x], -1); } p[x] = p[y]; for &w in &push[x] { add(&mut pushed[w as usize], p[x], 1); } } }