結果
問題 | No.3075 Mex Recurrence Formula |
ユーザー |
![]() |
提出日時 | 2025-03-28 21:20:09 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 106 ms / 2,000 ms |
コード長 | 4,265 bytes |
コンパイル時間 | 2,084 ms |
コンパイル使用メモリ | 202,080 KB |
実行使用メモリ | 12,276 KB |
最終ジャッジ日時 | 2025-03-28 21:20:15 |
合計ジャッジ時間 | 6,460 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 46 |
ソースコード
//#pragma GCC target("avx2") //#pragma GCC optimize("O3") //#pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> using namespace std; using ll = long long; using pii = pair<int,int>; using pll = pair<ll,ll>; using pli = pair<ll,int>; #define TEST cerr << "TEST" << endl #define AMARI 998244353 //#define AMARI 1000000007 #define el '\n' #define El '\n' #define YESNO(x) ((x) ? "Memo" : "Numo") #define YES YESNO(true) #define NO YESNO(false) #define REV_PRIORITY_QUEUE(tp) priority_queue<tp,vector<tp>,greater<tp>> #define NO_ANS(x) {cout << (x) << '\n'; return;} template <typename T> void inline VEC_UNIQ(vector<T> &v){ sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return; } // 抽象再帰セグ木?(抽象セグ木の定義分からんな)(遅延ではない) // ococo_segtree<int> rsq(n,0);みたいに宣言する template <typename T> class ococo_segtree { T func(T a, T b) { // ここに演算を入れる return min(a,b); } public: int n; T tmax; // range minimum query vector<T> rmq; //(データの大きさ,単位元) ococo_segtree(int N, T t) { syokica(N, t); } // 配列の初期化 O(N) void syokica(int a, T t) { n = 1; tmax = t; while(n < a) n *= 2; rmq.resize(2 * n - 1); for(int i = 0; i < 2 * n - 1; i++) { rmq[i] = tmax; } } // a[i]をxにする O(logN) void update_num(int i, T x) { i += (n - 1); rmq[i] = x; while(i) { i = (i - 1) / 2; rmq[i] = func(rmq[i * 2 + 1], rmq[i * 2 + 2]); } } // a[i]にxを加える O(logN) void add_num(int i, T x) { i += (n - 1); rmq[i] += x; while(i) { i = (i - 1) / 2; rmq[i] = func(rmq[i * 2 + 1], rmq[i * 2 + 2]); } } T get_minimum2(int a, int b, int k, int l, int r) { if(a <= l && r <= b) return rmq[k]; else if(r <= a || b <= l) return tmax; else return func(get_minimum2(a, b, k * 2 + 1, l, (l + r) / 2), get_minimum2(a, b, k * 2 + 2, (l + r) / 2, r)); } //[l,r)の区間演算の取得 O(logN) T get_val(int l, int r) { return get_minimum2(l, r, 0, 0, n); } }; #define MULTI_TEST_CASE false void solve(void){ //問題を見たらまず「この問題設定から言えること」をいっぱい言う //一個回答に繋がりそうな解法が見えても、実装や細かい詰めに時間がかかりそうなら別の方針を考えてみる //ある程度考察しても全然取っ掛かりが見えないときは実験をしてみる //よりシンプルな問題に言い換えられたら、言い換えた先の問題を自然言語ではっきりと書く //複数の解法のアイデアを思いついた時は全部メモしておく //g++ -D_GLIBCXX_DEBUG -Wall -Wextra -O2 b.cpp -o o const ll cll = 10000000LL; int n; cin >> n; ll x; cin >> x; //a[i] <= 1e9 vector<ll> a(n); ococo_segtree<ll> sgt(n + 2,LLONG_MAX); deque<ll> deq; for(int i = 0; i < n + 2; i++){ sgt.update_num(i,(ll)i); } for(int i = 0; i < n; i++){ cin >> a[i]; if(a[i] < n + 2){ //TEST; //cerr << a[i] << ' ' << cll << El; sgt.add_num(a[i],cll); } deq.push_back(a[i]); } if(x <= n){ cout << a[x - 1] << el; return; } //for(int i = 0; i < n; i++)cerr << sgt.get_val(i,i + 1) << ' '; cerr << El; x -= (n + 1); vector<ll> b(n + 1); for(int i = 0; i <= n; i++){ //cerr << i << El; b[i] = sgt.get_val(0,n + 2); //cerr << i << ' ' << b[i] << el; if(deq.front() < n + 2){ sgt.add_num(deq.front(),-1LL * cll); } deq.pop_front(); sgt.add_num(b[i],1LL * cll); deq.push_back(b[i]); } cout << b[x % (n + 1)] << el; return; } void calc(void){ return; } signed main(void){ cin.tie(nullptr); ios::sync_with_stdio(false); calc(); int t = 1; if(MULTI_TEST_CASE)cin >> t; while(t--){ solve(); } return 0; }