// k[n - 1] 以上があるなら終わり // ない時 // 1を持ち越さないとダメ // 全部1 or 1をk[n - 1] - 1 個もつようなやつを最後にもって来たい // どっちがいいのか? // どっちもありそう // inf 2 inf // 0 1 110 // とかは 0 110 1 と置くしかない // // どっかで1を生成して、それを運ぶイメージ // 1のみを使用する場合はサイズが最も小さいやつを使うのが良さげ // k_{n-1}-1個のやつはなんでもいい感 // 全部1のみの個数をcとして // 末尾c+1項のk_i の最小値が0を含む最大値以下なら可能 // そこに最大値置いて、以降1のみを埋めればいい // ない時 // 最大値が持ち越せるようなところにそれを置く // ... // なんとかなりそう? // // ---------- begin segment tree Point Update Range Query ---------- pub struct SegmentTreePURQ { n: usize, size: usize, data: Vec, e: T, op: F, } impl SegmentTreePURQ where T: Clone, F: Fn(&T, &T) -> T, { pub fn new(n: usize, e: T, op: F) -> Self { assert!(n > 0); let size = n.next_power_of_two(); let data = vec![e.clone(); 2 * size]; SegmentTreePURQ { n, size, data, e, op, } } pub fn update_tmp(&mut self, x: usize, v: T) { assert!(x < self.n); self.data[x + self.size] = v; } pub fn update_all(&mut self) { for i in (1..self.size).rev() { self.data[i] = (self.op)(&self.data[2 * i], &self.data[2 * i + 1]); } } pub fn update(&mut self, x: usize, v: T) { assert!(x < self.n); let mut x = x + self.size; self.data[x] = v; x >>= 1; while x > 0 { self.data[x] = (self.op)(&self.data[2 * x], &self.data[2 * x + 1]); x >>= 1; } } pub fn find(&self, l: usize, r: usize) -> T { assert!(l <= r && r <= self.n); if l == r { return self.e.clone(); } let mut l = self.size + l; let mut r = self.size + r; let mut x = self.e.clone(); let mut y = self.e.clone(); while l < r { if l & 1 == 1 { x = (self.op)(&x, &self.data[l]); l += 1; } if r & 1 == 1 { r -= 1; y = (self.op)(&self.data[r], &y); } l >>= 1; r >>= 1; } (self.op)(&x, &y) } pub fn max_right

(&self, l: usize, f: P) -> usize where P: Fn(&T) -> bool, { assert!(l <= self.n); assert!(f(&self.e)); if l == self.n { return self.n; } let mut l = l + self.size; let mut sum = self.e.clone(); while { l >>= l.trailing_zeros(); let v = (self.op)(&sum, &self.data[l]); if !f(&v) { while l < self.size { l <<= 1; let v = (self.op)(&sum, &self.data[l]); if f(&v) { sum = v; l += 1; } } return l - self.size; } sum = v; l += 1; l.count_ones() > 1 } {} self.n } pub fn min_left

(&self, r: usize, f: P) -> usize where P: Fn(&T) -> bool, { assert!(r <= self.n); assert!(f(&self.e)); if r == 0 { return 0; } let mut r = r + self.size; let mut sum = self.e.clone(); while { r -= 1; while r > 1 && r & 1 == 1 { r >>= 1; } let v = (self.op)(&self.data[r], &sum); if !f(&v) { while r < self.size { r = 2 * r + 1; let v = (self.op)(&self.data[r], &sum); if f(&v) { sum = v; r -= 1; } } return r + 1 - self.size; } sum = v; (r & (!r + 1)) != r } {} 0 } } // ---------- end segment tree Point Update Range Query ---------- // ---------- begin scannner ---------- #[allow(dead_code)] mod scanner { use std::str::FromStr; pub struct Scanner<'a> { it: std::str::SplitWhitespace<'a>, } impl<'a> Scanner<'a> { pub fn new(s: &'a String) -> Scanner<'a> { Scanner { it: s.split_whitespace(), } } pub fn next(&mut self) -> T { self.it.next().unwrap().parse::().ok().unwrap() } pub fn next_bytes(&mut self) -> Vec { self.it.next().unwrap().bytes().collect() } pub fn next_chars(&mut self) -> Vec { self.it.next().unwrap().chars().collect() } pub fn next_vec(&mut self, len: usize) -> Vec { (0..len).map(|_| self.next()).collect() } } } // ---------- end scannner ---------- use std::io::Write; fn main() { use std::io::Read; let mut s = String::new(); std::io::stdin().read_to_string(&mut s).unwrap(); let mut sc = scanner::Scanner::new(&s); let out = std::io::stdout(); let mut out = std::io::BufWriter::new(out.lock()); run(&mut sc, &mut out); } fn run(sc: &mut scanner::Scanner, out: &mut std::io::BufWriter) { let n: usize = sc.next(); let k: Vec = sc.next_vec(n); let mut a = vec![]; for _ in 0..n { let t: usize = sc.next(); let v: Vec = sc.next_vec(t); a.push(v); } let can = |m: u32| -> bool { let mut x = vec![]; let mut y = vec![]; for a in a.iter() { let cnt = a.iter().filter(|a| **a >= m).count(); if cnt == a.len() { y.push(cnt); } else { x.push(cnt); } } x.sort(); y.sort(); let mut rmq = SegmentTreePURQ::new(n, (std::usize::MAX / 2, 0), |a, b| std::cmp::min(*a, *b)); for (i, k) in k.iter().enumerate() { rmq.update_tmp(i, (*k, i)); } rmq.update_all(); while !x.is_empty() { if y.len() > 0 { let len = y.len(); let v = rmq.find(x.len(), n); if v.0 <= y[len - 1] { return true; } } let len = x.len(); let v = rmq.find(x.len() - 1, n); if v.0 <= x[len - 1] { return true; } if v.0 > x[len - 1] + 1 { return false; } x.pop(); rmq.update(v.1, (std::usize::MAX / 2, 0)); } true }; let mut ok = 1; let mut ng = 10u32.pow(9) + 1; while ng - ok > 1 { let mid = (ok + ng) / 2; if can(mid) { ok = mid; } else { ng = mid; } } println!("{}", ok); }