//#pragma GCC target("avx2") //#pragma GCC optimize("O3") //#pragma GCC optimize("unroll-loops") #include using namespace std; using ll = long long; using pii = pair; using pll = pair; using pli = pair; #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,greater> #define NO_ANS(x) {cout << (x) << '\n'; return;} template void inline VEC_UNIQ(vector &v){ sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return; } // 抽象再帰セグ木?(抽象セグ木の定義分からんな)(遅延ではない) // ococo_segtree rsq(n,0);みたいに宣言する template class ococo_segtree { T func(T a, T b) { // ここに演算を入れる return min(a,b); } public: int n; T tmax; // range minimum query vector 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 a(n); ococo_segtree sgt(n + 2,LLONG_MAX); deque 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 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; }