#936710 (C++23) No.2577 Simple Permutation Guess

提出ソース

結果

問題	No.2577 Simple Permutation Guess
ユーザー	fdironia
提出日時	2023-12-06 00:29:03
言語	C++23 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	499 ms / 2,000 ms
コード長	2,805 bytes
コンパイル時間	984 ms
コンパイル使用メモリ	88,972 KB
実行使用メモリ	25,476 KB
平均クエリ数	248.84
最終ジャッジ日時	2024-09-27 00:44:19
合計ジャッジ時間	26,207 ms
ジャッジサーバーID （参考情報）	judge2 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	22 ms 24,556 KB
testcase_01	AC	376 ms 25,196 KB
testcase_02	AC	81 ms 24,556 KB
testcase_03	AC	20 ms 24,556 KB
testcase_04	AC	131 ms 25,196 KB
testcase_05	AC	163 ms 25,196 KB
testcase_06	AC	499 ms 24,812 KB
testcase_07	AC	489 ms 25,196 KB
testcase_08	AC	497 ms 24,812 KB
testcase_09	AC	493 ms 24,812 KB
testcase_10	AC	498 ms 25,196 KB
testcase_11	AC	23 ms 25,196 KB
testcase_12	AC	21 ms 24,632 KB
testcase_13	AC	24 ms 25,452 KB
testcase_14	AC	22 ms 24,556 KB
testcase_15	AC	22 ms 25,196 KB
testcase_16	AC	20 ms 24,556 KB
testcase_17	AC	21 ms 24,812 KB
testcase_18	AC	21 ms 24,556 KB
testcase_19	AC	22 ms 25,196 KB
testcase_20	AC	22 ms 25,196 KB
testcase_21	AC	23 ms 24,556 KB
testcase_22	AC	22 ms 24,580 KB
testcase_23	AC	20 ms 24,836 KB
testcase_24	AC	20 ms 24,836 KB
testcase_25	AC	21 ms 24,452 KB
testcase_26	AC	21 ms 24,836 KB
testcase_27	AC	21 ms 25,220 KB
testcase_28	AC	20 ms 25,220 KB
testcase_29	AC	20 ms 25,476 KB
testcase_30	AC	20 ms 25,220 KB
testcase_31	AC	20 ms 25,196 KB
testcase_32	AC	19 ms 25,196 KB
testcase_33	AC	19 ms 25,196 KB
testcase_34	AC	20 ms 25,452 KB
testcase_35	AC	20 ms 25,196 KB
testcase_36	AC	23 ms 24,556 KB
testcase_37	AC	20 ms 24,964 KB
testcase_38	AC	20 ms 24,580 KB
testcase_39	AC	19 ms 24,836 KB
testcase_40	AC	20 ms 24,580 KB
testcase_41	AC	20 ms 25,476 KB
testcase_42	AC	19 ms 24,580 KB
testcase_43	AC	20 ms 25,220 KB
testcase_44	AC	20 ms 25,220 KB
testcase_45	AC	19 ms 25,476 KB
testcase_46	AC	20 ms 24,836 KB
testcase_47	AC	19 ms 24,824 KB
testcase_48	AC	21 ms 25,220 KB
testcase_49	AC	19 ms 24,580 KB
testcase_50	AC	20 ms 25,220 KB
testcase_51	AC	20 ms 24,836 KB
testcase_52	AC	20 ms 24,836 KB
testcase_53	AC	20 ms 24,836 KB
testcase_54	AC	20 ms 25,220 KB
testcase_55	AC	21 ms 24,580 KB
testcase_56	AC	19 ms 24,964 KB
testcase_57	AC	20 ms 24,580 KB
testcase_58	AC	21 ms 24,964 KB
testcase_59	AC	20 ms 24,964 KB
testcase_60	AC	20 ms 24,836 KB
testcase_61	AC	20 ms 24,580 KB
testcase_62	AC	20 ms 24,820 KB
testcase_63	AC	20 ms 24,580 KB
testcase_64	AC	19 ms 24,964 KB
testcase_65	AC	23 ms 24,580 KB
testcase_66	AC	23 ms 25,220 KB
testcase_67	AC	22 ms 25,220 KB
testcase_68	AC	22 ms 24,964 KB
testcase_69	AC	21 ms 24,964 KB
testcase_70	AC	21 ms 25,192 KB
testcase_71	AC	21 ms 24,836 KB
testcase_72	AC	22 ms 24,836 KB
testcase_73	AC	22 ms 25,184 KB
testcase_74	AC	24 ms 25,452 KB
testcase_75	AC	23 ms 25,196 KB
testcase_76	AC	23 ms 24,812 KB
testcase_77	AC	25 ms 24,556 KB
testcase_78	AC	25 ms 24,556 KB
testcase_79	AC	25 ms 24,812 KB
testcase_80	AC	23 ms 25,196 KB
testcase_81	AC	25 ms 24,812 KB
testcase_82	AC	24 ms 25,052 KB
testcase_83	AC	24 ms 24,556 KB
testcase_84	AC	25 ms 25,040 KB
testcase_85	AC	24 ms 25,196 KB
testcase_86	AC	24 ms 24,940 KB
testcase_87	AC	25 ms 24,556 KB
testcase_88	AC	24 ms 24,916 KB
testcase_89	AC	24 ms 25,196 KB
testcase_90	AC	24 ms 24,940 KB
testcase_91	AC	23 ms 24,556 KB
testcase_92	AC	381 ms 24,940 KB
testcase_93	AC	339 ms 25,196 KB
testcase_94	AC	314 ms 24,556 KB
testcase_95	AC	461 ms 25,196 KB
testcase_96	AC	474 ms 25,196 KB
testcase_97	AC	431 ms 24,940 KB
testcase_98	AC	423 ms 24,556 KB
testcase_99	AC	458 ms 25,196 KB
testcase_100	AC	332 ms 24,556 KB
testcase_101	AC	444 ms 24,812 KB
evil_1_rnd_1.txt	AC	1,036 ms 24,940 KB
evil_1_rnd_2.txt	AC	1,056 ms 24,812 KB
evil_2_big_1.txt	AC	1,341 ms 25,196 KB
evil_2_big_2.txt	AC	1,384 ms 24,812 KB
evil_2_big_3.txt	AC	1,346 ms 24,940 KB
evil_3_sorted_1.txt	AC	711 ms 25,208 KB
evil_4_sorted_rev_1.txt	AC	525 ms 25,220 KB
evil_4_sorted_rev_2.txt	AC	782 ms 24,836 KB
evil_400_sorted.txt	AC	1,316 ms 25,208 KB
evil_400_sorted_rev.txt	AC	1,325 ms 24,580 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <iostream>
#include <algorithm>

using namespace std;

using ll = long long;

constexpr int L = 55;
constexpr ll B = 1e16;
constexpr int LGN = 9;

struct BI {
    ll a[L];

    BI(int x = 0) {
        fill(a, a + L, 0);
        a[0] = x;
    }
};

BI& operator*=(BI &a, int b) {
    ll c = 0;
    for (int i = 0; i < L; i++) {
        ll t = 1ll * a.a[i] * b + c;
        a.a[i] = t % B;
        c = t / B;
    }
    return a;
}

BI operator-(const BI &a, const BI &b) {
    BI c = 0;
    for (int i = 0; i < L; i++) {
        c.a[i] = a.a[i] - b.a[i];
    }
    for (int i = 0; i < L - 1; i++) {
        if (c.a[i] < 0) {
            c.a[i+1]--;
            c.a[i] += B;
        }
    }
    return c;
}

BI operator+(const BI &a, const BI &b) {
    BI c = 0;
    for (int i = 0; i < L; i++) {
        c.a[i] = a.a[i] + b.a[i];
    }
    for (int i = 0; i < L - 1; i++) {
        if (c.a[i] >= B) {
            c.a[i+1]++;
            c.a[i] -= B;
        }
    }
    return c;
}

int divmod(BI &a, int b) {
    ll q = 0;
    for (int i = L - 1; i >= 0; i--) {
        q = q * B + a.a[i];
        a.a[i] = q / b;
        q %= b;
    }
    return q;
}

bool operator>(const BI &a, const BI &b) {
    for (int i = L - 1; i >= 0; i--) {
        if (a.a[i] != b.a[i]) {
            return a.a[i] > b.a[i];
        }
    }
    return false;
}

void add(int bit[], int n, int x, int a) {
    for (; x <= n; x += x & -x) {
        bit[x] += a;
    }
}

int qry(int bit[], int n, int v) {
    int x = 0, cur = 0;
    for (int i = LGN - 1; i >= 0; i--) {
        if (x + (1 << i) <= n) {
            if (cur + bit[x+(1<<i)] <= v) {
                cur += bit[x+(1<<i)];
                x += 1 << i;
            }
        }
    }
    return x + 1;
}

void find_perm(BI a, int n, int p[]) {
    for (int i = 0; i < n; i++) {
        p[i] = divmod(a, i + 1);
    }

    int bit[n+1];
    fill(bit, bit + n + 1, 0);
    for (int i = 1; i <= n; i++) {
        add(bit, n, i, 1);
    }

    for (int i = n - 1; i >= 0; i--) {
        p[i] = qry(bit, n, p[i]);
        add(bit, n, p[i], -1);
    }

    reverse(p, p + n);
}

int main() {
    int n;
    cin >> n;

    BI l = 0, r = 1;
    for (int i = 1; i <= n; i++) {
        r *= i;
    }

    BI one = 1;
    while (r - l > one) {
        BI mid = l + r;
        divmod(mid, 2);

        int q[n];
        find_perm(mid, n, q);

        cout << "?";
        for (int i = 0; i < n; i++) {
            cout << " " << q[i];
        }
        cout << endl;

        int res;
        cin >> res;

        if (res == 1) {
            l = mid;
        } else {
            r = mid;
        }
    }

    int ans[n];
    find_perm(l, n, ans);

    cout << "!";
    for (int i = 0; i < n; i++) {
        cout << " " << ans[i];
    }
    cout << endl;

    return 0;
}

yukicoder

結果

テストケース

ソースコード