結果

問題 No.2182 KODOKU Stone
コンテスト
ユーザー MasKoaTS
提出日時 2022-12-31 18:52:48
言語 C++17
(gcc 15.2.0 + boost 1.89.0)
結果
AC  
実行時間 207 ms / 2,000 ms
コード長 3,615 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,294 ms
コンパイル使用メモリ 258,676 KB
最終ジャッジ日時 2025-02-09 22:26:20
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 37
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <math.h>
#include <bits/stdc++.h>
#include <atcoder/all>
#pragma warning(disable: 4996)
using namespace std;
using namespace atcoder;
#define print(n) cout << (n) << endl
#define fprint(n) cout << setprecision(16) << (n) << endl
#define ceil_div(a, b) (((a) - 1) / (b) + 1)
#define rep(i, l, n) for (int i = (l); i < (n); i++)
#define itrep(itr, st) for (auto itr = st.begin(); itr != st.end(); itr++)
#define ite(i, a) for (auto& i : a)
#define last(v) v[v.size() - 1]
#define all(x) x.begin(), x.end()
#define lb(A, x) (lower_bound(all(A), x) - A.begin())
#define ub(A, x) (upper_bound(all(A), x) - A.begin())
#define INF 4611686018427387903ll
#define inf 2147483647
#define mod 1000000007ll
#define MOD 998244353ll
using str = string;
using ll = long long;
using u32 = unsigned int;
using u64 = unsigned long long;
using Pair = pair<int, int>;
using mint = modint1000000007;
using Mint = modint998244353;
template <class T>	using V = vector<T>;
template <class T>	using VV = V<V<T> >;
template <class T>	using PQ = priority_queue<T, V<T>, greater<T> >;
template <class T>	using PQR = priority_queue<T>;
template <class T>	using BIT = fenwick_tree<T>;
template <class T>  inline V<T> getList(int n) { V<T> res(n); rep(i, 0, n) { cin >> res[i]; }return res; }
template <class T>  inline VV<T> getGrid(int m, int n) { VV<T> res(m, V<T>(n)); rep(i, 0, m) { res[i] = getList<T>(n); }return res; }
template <class T> inline void prints(V<T>& vec) { if (vec.size() == 0)return; cout << vec[0];	rep(i, 1, vec.size()) { cout << ' ' << vec[i]; } cout << '\n'; }
template<class T> inline vector<tuple<size_t, T> > enumerate(const vector<T>& values) { auto length = values.size(); auto values_with_indices = vector<tuple<size_t, T>>(length); for (size_t i = 0; i < length; ++i) { values_with_indices[i] = make_tuple(i, values[i]); } return values_with_indices; }
inline V<int> dtois(string& s) { V<int> vec = {}; ite(e, s) { vec.push_back(e - '0'); } return vec; }
inline V<int> atois(string& s) { V<int> vec = {}; ite(e, s) { vec.push_back(e - 'a'); } return vec; }
inline V<int> Atois(string& s) { V<int> vec = {}; ite(e, s) { vec.push_back(e - 'A'); } return vec; }

int N;
V<int> K;
V<V<int> > T;

bool check(int mid) {
	V<int> P = {}, Q = {};
	rep(i, 0, N) {
		int x = lb(T[i], mid);
		if (x == 0) {
			Q.push_back(T[i].size());
		}
		else {
			P.push_back(T[i].size() - x);
		}
	}
	sort(all(P));	sort(all(Q));
	if (P.empty()) {
		return true;
	}

	int q_max = -inf;
	if (Q.empty() == false) {
		q_max = last(Q);
	}
	PQ<int> que = {};
	for (int i = N - 1; i >= N - Q.size(); --i) {
		// cout << P.size() << ' ' << Q.size() << ' ' << i << endl;
		if (K[i] > q_max) {
			que.push(K[i]);
			continue;
		}
		return true;
	}
	for (int i = N - Q.size() - 1; i >= 0; --i) {
		// cout << P.size() << ' ' << Q.size() << ' ' << i << endl;
		int k = K[i];
		if (que.empty() == false && k > que.top()) {
			k = que.top();
		}
		if (P[i] >= k) {
			return true;
		}
		else if (P[i] < k - 1) {
			return false;
		}
		else if (q_max >= K[i] && que.empty() == false && P[i] == que.top() - 1) {
			return true;
		}
		else if (i == 0) {
			return false;
		}
		else if (que.empty() || P[i] == K[i] - 1) {
			continue;
		}
		que.pop();	que.push(K[i]);
	}
	return true;
}


int main(void) {
	cin >> N;
	K = getList<int>(N);
	T = V<V<int> >(N, V<int>({}));
	rep(i, 0, N) {
		int x;	cin >> x;
		T[i] = V<int>(x);
		T[i] = getList<int>(x);
		sort(all(T[i]));
	}

	int ok = 0;
	int ng = inf;
	while (ng - ok > 1) {
		int mid = (ok + ng) >> 1;
		if (check(mid)) {
			ok = mid;
		}
		else {
			ng = mid;
		}
	}
	print(ok);

	return 0;
}
0