結果

問題 No.3075 Mex Recurrence Formula
ユーザー RiRinbaru
提出日時 2025-03-29 05:16:44
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 65 ms / 2,000 ms
コード長 1,749 bytes
コンパイル時間 3,797 ms
コンパイル使用メモリ 225,272 KB
実行使用メモリ 10,172 KB
最終ジャッジ日時 2025-03-29 05:16:52
合計ジャッジ時間 7,103 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define rep(i, p, n) for (ll i = p; i < (ll)(n); i++)
#define rep2(i, p, n) for (ll i = p; i >= (ll)(n); i--)
using namespace std;
using ll = long long;
using ld = long double;
const double pi = 3.141592653589793;
const long long inf = 2 * 1e9;
const long long linf = 4 * 1e18;
const ll mod1 = 1000000007;
const ll mod2 = 998244353;
template <class T>
inline bool chmax(T &a, T b)
{
    if (a < b)
    {
        a = b;
        return 1;
    }
    return 0;
}
template <class T>
inline bool chmin(T &a, T b)
{
    if (a > b)
    {
        a = b;
        return 1;
    }
    return 0;
}

// atcoder
#include <atcoder/all>
using namespace atcoder;
using mint1 = modint1000000007;
using mint2 = modint998244353;

vector<pair<ll, ll>> base = {{-1, 0}, {1, 0}, {0, -1}, {0, 1}};

int main()
{

    //////////////////
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);
    //////////////////

    ll N, X;
    cin >> N >> X;
    vector<ll> A(N + 1), B(N + 1), C(N + 1);
    rep(i, 0, N)
    {
        cin >> A.at(i);
        if (A.at(i) <= N)
        {
            C.at(A.at(i))++;
        }
    }
    if (N >= X)
    {
        cout << A.at(X - 1);
        return 0;
    }
    priority_queue<ll, vector<ll>, greater<ll>> Q;
    rep(i, 0, N + 1)
    {
        if (C.at(i) == 0)
        {
            Q.push(i);
        }
    }
    rep(i, 0, N + 1)
    {
        B.at(i) = Q.top();
        C.at(Q.top())++;
        Q.pop();
        if (A.at(i) <= N)
        {
            C.at(A.at(i))--;
            if (C.at(A.at(i)) == 0)
            {
                Q.push(A.at(i));
            }
        }
        if (i == 0)
        {
            A.at(N) == B.at(0);
        }
    }
    cout << B.at(X % (N + 1));
}
0