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

提出ソース

結果

問題	No.2577 Simple Permutation Guess
ユーザー	fdironia
提出日時	2023-12-06 00:26:28
言語	C++23 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	556 ms / 2,000 ms
コード長	2,978 bytes
コンパイル時間	1,163 ms
コンパイル使用メモリ	88,968 KB
実行使用メモリ	24,012 KB
平均クエリ数	248.84
最終ジャッジ日時	2023-12-06 00:27:02
合計ジャッジ時間	30,831 ms
ジャッジサーバーID （参考情報）	judge11 / judge14

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	29 ms 24,000 KB
testcase_01	AC	420 ms 24,000 KB
testcase_02	AC	91 ms 24,000 KB
testcase_03	AC	25 ms 24,000 KB
testcase_04	AC	142 ms 24,000 KB
testcase_05	AC	179 ms 24,000 KB
testcase_06	AC	551 ms 24,000 KB
testcase_07	AC	540 ms 24,000 KB
testcase_08	AC	556 ms 24,000 KB
testcase_09	AC	540 ms 24,000 KB
testcase_10	AC	552 ms 24,000 KB
testcase_11	AC	26 ms 24,000 KB
testcase_12	AC	26 ms 24,000 KB
testcase_13	AC	28 ms 24,000 KB
testcase_14	AC	31 ms 24,000 KB
testcase_15	AC	26 ms 24,000 KB
testcase_16	AC	24 ms 24,000 KB
testcase_17	AC	24 ms 24,000 KB
testcase_18	AC	26 ms 24,000 KB
testcase_19	AC	26 ms 24,000 KB
testcase_20	AC	24 ms 24,000 KB
testcase_21	AC	25 ms 24,000 KB
testcase_22	AC	27 ms 24,012 KB
testcase_23	AC	26 ms 24,012 KB
testcase_24	AC	25 ms 24,012 KB
testcase_25	AC	25 ms 24,012 KB
testcase_26	AC	24 ms 24,012 KB
testcase_27	AC	25 ms 24,012 KB
testcase_28	AC	29 ms 24,012 KB
testcase_29	AC	26 ms 24,012 KB
testcase_30	AC	29 ms 24,012 KB
testcase_31	AC	26 ms 24,000 KB
testcase_32	AC	24 ms 24,000 KB
testcase_33	AC	24 ms 24,000 KB
testcase_34	AC	23 ms 24,000 KB
testcase_35	AC	26 ms 24,000 KB
testcase_36	AC	25 ms 24,000 KB
testcase_37	AC	25 ms 24,000 KB
testcase_38	AC	23 ms 24,000 KB
testcase_39	AC	24 ms 24,000 KB
testcase_40	AC	25 ms 24,000 KB
testcase_41	AC	28 ms 24,000 KB
testcase_42	AC	24 ms 24,000 KB
testcase_43	AC	26 ms 24,000 KB
testcase_44	AC	24 ms 24,000 KB
testcase_45	AC	24 ms 24,000 KB
testcase_46	AC	30 ms 24,000 KB
testcase_47	AC	24 ms 24,000 KB
testcase_48	AC	26 ms 24,000 KB
testcase_49	AC	26 ms 24,000 KB
testcase_50	AC	25 ms 24,000 KB
testcase_51	AC	27 ms 24,000 KB
testcase_52	AC	26 ms 24,000 KB
testcase_53	AC	25 ms 24,000 KB
testcase_54	AC	24 ms 24,000 KB
testcase_55	AC	29 ms 24,000 KB
testcase_56	AC	26 ms 24,000 KB
testcase_57	AC	24 ms 24,000 KB
testcase_58	AC	24 ms 24,000 KB
testcase_59	AC	25 ms 24,000 KB
testcase_60	AC	25 ms 24,000 KB
testcase_61	AC	24 ms 24,000 KB
testcase_62	AC	25 ms 24,000 KB
testcase_63	AC	24 ms 24,000 KB
testcase_64	AC	30 ms 24,012 KB
testcase_65	AC	25 ms 24,012 KB
testcase_66	AC	24 ms 24,012 KB
testcase_67	AC	26 ms 24,012 KB
testcase_68	AC	25 ms 24,012 KB
testcase_69	AC	25 ms 24,012 KB
testcase_70	AC	25 ms 24,012 KB
testcase_71	AC	26 ms 24,012 KB
testcase_72	AC	26 ms 24,012 KB
testcase_73	AC	24 ms 24,000 KB
testcase_74	AC	26 ms 24,000 KB
testcase_75	AC	30 ms 24,000 KB
testcase_76	AC	26 ms 24,000 KB
testcase_77	AC	26 ms 24,000 KB
testcase_78	AC	27 ms 24,000 KB
testcase_79	AC	29 ms 24,000 KB
testcase_80	AC	27 ms 24,000 KB
testcase_81	AC	28 ms 24,000 KB
testcase_82	AC	30 ms 24,000 KB
testcase_83	AC	27 ms 24,000 KB
testcase_84	AC	27 ms 24,000 KB
testcase_85	AC	29 ms 24,000 KB
testcase_86	AC	28 ms 24,000 KB
testcase_87	AC	27 ms 24,012 KB
testcase_88	AC	30 ms 24,012 KB
testcase_89	AC	27 ms 24,012 KB
testcase_90	AC	28 ms 24,012 KB
testcase_91	AC	28 ms 24,012 KB
testcase_92	AC	424 ms 24,012 KB
testcase_93	AC	382 ms 24,012 KB
testcase_94	AC	353 ms 24,012 KB
testcase_95	AC	509 ms 24,012 KB
testcase_96	AC	516 ms 24,012 KB
testcase_97	AC	476 ms 24,012 KB
testcase_98	AC	480 ms 24,012 KB
testcase_99	AC	493 ms 24,012 KB
testcase_100	AC	385 ms 24,012 KB
testcase_101	AC	481 ms 24,012 KB
evil_1_rnd_1.txt	AC	1,135 ms 24,012 KB
evil_1_rnd_2.txt	AC	1,149 ms 24,012 KB
evil_2_big_1.txt	AC	1,502 ms 24,012 KB
evil_2_big_2.txt	AC	1,483 ms 24,012 KB
evil_2_big_3.txt	AC	1,491 ms 24,012 KB
evil_3_sorted_1.txt	AC	801 ms 24,012 KB
evil_4_sorted_rev_1.txt	AC	594 ms 24,012 KB
evil_4_sorted_rev_2.txt	AC	867 ms 24,012 KB
evil_400_sorted.txt	AC	1,478 ms 24,012 KB
evil_400_sorted_rev.txt	AC	1,497 ms 24,012 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;
}

BI& operator/=(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 a;
}

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;
        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

結果

テストケース

ソースコード