#![allow(unused_parens)] #![allow(unused_imports)] #![allow(non_upper_case_globals)] #![allow(non_snake_case)] #![allow(unused_mut)] #![allow(unused_variables)] #![allow(dead_code)] type Vec2 = Vec>; type Vec3 = Vec>>; #[allow(unused_macros)] macro_rules! invec { ( $ t : ty ) => {{ let mut s = String::new(); match std::io::stdin().read_line(&mut s) { Ok(0) => Vec::<$t>::new(), Ok(n) => s .trim() .split_whitespace() .map(|s| s.parse::<$t>().unwrap()) .collect::>(), Err(_) => Vec::<$t>::new(), } }}; } #[allow(unused_macros)] macro_rules! get { ($t:ty) => { { let mut line: String = String::new(); std::io::stdin().read_line(&mut line).unwrap(); line.trim().parse::<$t>().unwrap() } }; ($($t:ty),*) => { { let mut line: String = String::new(); std::io::stdin().read_line(&mut line).unwrap(); let mut iter = line.split_whitespace(); ( $(iter.next().unwrap().parse::<$t>().unwrap(),)* ) } }; ($t:ty; $n:expr) => { (0..$n).map(|_| get!($t) ).collect::>() }; ($($t:ty),*; $n:expr) => { (0..$n).map(|_| get!($($t),*) ).collect::>() }; ($t:ty ;;) => { { let mut line: String = String::new(); std::io::stdin().read_line(&mut line).unwrap(); line.split_whitespace() .map(|t| t.parse::<$t>().unwrap()) .collect::>() } }; ($t:ty ;; $n:expr) => { (0..$n).map(|_| get!($t ;;)).collect::>() }; } #[allow(unused_macros)] macro_rules! input { (source = $s:expr, $($r:tt)*) => { let mut iter = $s.split_whitespace(); input_inner!{iter, $($r)*} }; ($($r:tt)*) => { let mut s = { use std::io::Read; let mut s = String::new(); std::io::stdin().read_to_string(&mut s).unwrap(); s }; let mut iter = s.split_whitespace(); input_inner!{iter, $($r)*} }; } macro_rules! input_inner { ($iter:expr) => {}; ($iter:expr, ) => {}; ($iter:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($iter, $t); input_inner!{$iter $($r)*} }; ($iter:expr, mut $var:ident : $t:tt $($r:tt)*) => { let mut $var = read_value!($iter, $t); input_inner!{$iter $($r)*} }; } #[allow(unused_macros)] macro_rules! read_value { ($iter:expr, ( $($t:tt),* )) => { ( $(read_value!($iter, $t)),* ) }; ($iter:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($iter, $t)).collect::>() }; ($next:expr, [$t:tt]) => { { let len = read_value!($next, usize); (0..len).map(|_| read_value!($next, $t)).collect::>() } }; ($iter:expr, chars) => { read_value!($iter, String).chars().collect::>() }; ($iter:expr, usize1) => { read_value!($iter, usize) - 1 }; ($iter:expr, $t:ty) => { $iter.next().unwrap().parse::<$t>().expect("Parse error") }; } #[allow(unused_macros)] #[cfg(debug_assertions)] macro_rules! mydbg { //($arg:expr) => (dbg!($arg)) //($arg:expr) => (println!("{:?}",$arg)); ($($a:expr),*) => { eprintln!(concat!($(stringify!($a), " = {:?}, "),*), $($a),*); } } #[cfg(not(debug_assertions))] macro_rules! mydbg { ($($arg:expr),*) => {}; } macro_rules! echo { ($($a:expr),*) => { $(println!("{}",$a))* } } use std::cmp::*; use std::collections::*; use std::ops::{Add, Div, Mul, Rem, Sub}; trait SafeRangeContain { fn safe_contains(&self, x: i64) -> bool; } impl SafeRangeContain for std::ops::Range { fn safe_contains(&self, x: i64) -> bool { if x < 0 { return false; } return self.contains(&(x as usize)); } } #[allow(dead_code)] static INF_I64: i64 = i64::max_value() / 2; #[allow(dead_code)] static INF_I32: i32 = i32::max_value() / 2; #[allow(dead_code)] static INF_USIZE: usize = usize::max_value() / 2; #[allow(dead_code)] static M_O_D: usize = 1000000007; #[allow(dead_code)] static PAI: f64 = 3.1415926535897932; trait IteratorExt: Iterator { fn toVec(self) -> Vec; } impl IteratorExt for T { fn toVec(self) -> Vec { self.collect() } } trait CharExt { fn toNum(&self) -> usize; fn toAlphabetIndex(&self) -> usize; fn toNumIndex(&self) -> usize; } impl CharExt for char { fn toNum(&self) -> usize { return *self as usize; } fn toAlphabetIndex(&self) -> usize { return self.toNum() - 'a' as usize; } fn toNumIndex(&self) -> usize { return self.toNum() - '0' as usize; } } trait VectorExt { fn joinToString(&self, s: &str) -> String; } impl VectorExt for Vec { fn joinToString(&self, s: &str) -> String { return self .iter() .map(|x| x.to_string()) .collect::>() .join(s); } } trait StringExt { fn get_reverse(&self) -> String; } impl StringExt for String { fn get_reverse(&self) -> String { self.chars().rev().collect::() } } trait UsizeExt { fn pow(&self, n: usize) -> usize; } impl UsizeExt for usize { fn pow(&self, n: usize) -> usize { return ((*self as u64).pow(n as u32)) as usize; } } fn main() { solve(); } fn solve() { let mut ans: u64 = 0; let (H, W) = get!(usize, usize); let mut map = vec![vec![0; W]; H]; for i in 0..H { let s = get!(String) .chars() .map(|x| if x == '.' { 0 } else { 1 }) .toVec(); for j in 0..W { map[i][j] = s[j]; if (i + j) % 2 == 1 { map[i][j] ^= 1; } } } let M = get!(usize); let mut a = BTreeSet::new(); let mut b = BTreeSet::new(); for _ in 0..M { let (t, l) = get!(usize, usize); if t == 1 { a.insert(l); } else { b.insert(l); } } let mut A = a.clone(); let mut B = b.clone(); A.insert(0); B.insert(0); A.insert(H); B.insert(W); let A = A.iter().map(|&x| x).collect::>(); let B = B.iter().map(|&x| x).collect::>(); mydbg!(A); mydbg!(B); let mut y = vec![vec![0; W]; H]; let mut x = vec![vec![0; W]; H]; for k in 1..A.len() { let l = A[k - 1]; let r = A[k]; for j in 0..W { for i in l..r { x[i][j] = k - 1; } } } for k in 1..B.len() { let l = B[k - 1]; let r = B[k]; for i in 0..H { for j in l..r { y[i][j] = k - 1; } } } let mut map2 = vec![vec![-1; B.len() - 1]; A.len() - 1]; for i in 0..H { for j in 0..W { if map2[x[i][j]][y[i][j]] != -1 && map2[x[i][j]][y[i][j]] != map[i][j] { echo!("No"); return; } map2[x[i][j]][y[i][j]] = map[i][j]; } } mydbg!(map2); for i in 0..a.len() { if map2[i][0] == 1 { for j in 0..map2[0].len() { map2[i][j] ^= 1; } } } for j in 0..map2[0].len() { if map2[0][j] == 1 { for i in 0..a.len() { map2[i][j] ^= 1; } } } let mut sum = 0; for i in 0..map2.len() { for j in 0..map2[0].len() { sum += map2[i][j]; } } if sum == 0 { echo!("Yes"); } else { echo!("No"); } }