結果

問題 No.856 増える演算
ユーザー kakira9618kakira9618
提出日時 2019-07-08 09:00:04
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 343 ms / 3,153 ms
コード長 5,223 bytes
コンパイル時間 2,152 ms
コンパイル使用メモリ 175,792 KB
実行使用メモリ 30,196 KB
最終ジャッジ日時 2024-04-18 00:33:46
合計ジャッジ時間 30,222 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 303 ms
27,704 KB
testcase_01 AC 300 ms
27,704 KB
testcase_02 AC 301 ms
27,704 KB
testcase_03 AC 303 ms
27,772 KB
testcase_04 AC 303 ms
27,776 KB
testcase_05 AC 300 ms
27,736 KB
testcase_06 AC 300 ms
27,832 KB
testcase_07 AC 304 ms
27,696 KB
testcase_08 AC 302 ms
27,776 KB
testcase_09 AC 301 ms
27,824 KB
testcase_10 AC 302 ms
27,696 KB
testcase_11 AC 300 ms
27,816 KB
testcase_12 AC 298 ms
27,700 KB
testcase_13 AC 296 ms
27,704 KB
testcase_14 AC 298 ms
27,828 KB
testcase_15 AC 295 ms
27,824 KB
testcase_16 AC 295 ms
27,700 KB
testcase_17 AC 293 ms
27,700 KB
testcase_18 AC 294 ms
27,700 KB
testcase_19 AC 294 ms
27,704 KB
testcase_20 AC 297 ms
27,828 KB
testcase_21 AC 297 ms
27,704 KB
testcase_22 AC 301 ms
27,700 KB
testcase_23 AC 307 ms
27,988 KB
testcase_24 AC 312 ms
27,980 KB
testcase_25 AC 295 ms
27,856 KB
testcase_26 AC 299 ms
27,712 KB
testcase_27 AC 298 ms
27,832 KB
testcase_28 AC 299 ms
27,864 KB
testcase_29 AC 301 ms
27,956 KB
testcase_30 AC 302 ms
27,940 KB
testcase_31 AC 300 ms
27,764 KB
testcase_32 AC 302 ms
27,876 KB
testcase_33 AC 301 ms
28,016 KB
testcase_34 AC 301 ms
28,388 KB
testcase_35 AC 301 ms
28,128 KB
testcase_36 AC 302 ms
28,380 KB
testcase_37 AC 301 ms
28,400 KB
testcase_38 AC 293 ms
27,964 KB
testcase_39 AC 299 ms
27,932 KB
testcase_40 AC 301 ms
27,936 KB
testcase_41 AC 294 ms
27,964 KB
testcase_42 AC 306 ms
28,580 KB
testcase_43 AC 303 ms
28,048 KB
testcase_44 AC 297 ms
27,832 KB
testcase_45 AC 293 ms
27,932 KB
testcase_46 AC 301 ms
28,084 KB
testcase_47 AC 295 ms
28,064 KB
testcase_48 AC 295 ms
28,252 KB
testcase_49 AC 295 ms
28,004 KB
testcase_50 AC 301 ms
28,316 KB
testcase_51 AC 302 ms
28,364 KB
testcase_52 AC 302 ms
28,408 KB
testcase_53 AC 320 ms
29,076 KB
testcase_54 AC 308 ms
28,232 KB
testcase_55 AC 320 ms
29,008 KB
testcase_56 AC 311 ms
28,140 KB
testcase_57 AC 322 ms
28,884 KB
testcase_58 AC 316 ms
28,752 KB
testcase_59 AC 335 ms
29,588 KB
testcase_60 AC 316 ms
28,444 KB
testcase_61 AC 335 ms
29,748 KB
testcase_62 AC 329 ms
29,504 KB
testcase_63 AC 297 ms
27,868 KB
testcase_64 AC 324 ms
29,300 KB
testcase_65 AC 306 ms
28,028 KB
testcase_66 AC 311 ms
28,504 KB
testcase_67 AC 320 ms
28,836 KB
testcase_68 AC 331 ms
29,376 KB
testcase_69 AC 330 ms
29,276 KB
testcase_70 AC 337 ms
29,816 KB
testcase_71 AC 332 ms
29,536 KB
testcase_72 AC 330 ms
29,148 KB
testcase_73 AC 343 ms
30,176 KB
testcase_74 AC 335 ms
30,052 KB
testcase_75 AC 333 ms
30,184 KB
testcase_76 AC 339 ms
30,160 KB
testcase_77 AC 341 ms
29,932 KB
testcase_78 AC 338 ms
30,184 KB
testcase_79 AC 337 ms
30,184 KB
testcase_80 AC 336 ms
30,196 KB
testcase_81 AC 336 ms
30,176 KB
testcase_82 AC 327 ms
30,188 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// O((N + max(A_i))log max(A_i))解
// A_i > 50000 以上の場合に起こりうるバグを修正したバージョン

#include <bits/stdc++.h>

using namespace std;
#define all(x) (x).begin(),(x).end()
#define rep(i, n) for (int i = 0; i < (n); i++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define endl "\n"
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef complex<double> C;

template <typename T> ostream &operator<<(ostream &os, const vector<T> &vec) {os << "["; for (const auto &v : vec) {os << v << ","; } os << "]"; return os;}
template <typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &p) {os << "(" << p.first << ", " << p.second << ")"; return os;}

const int mod = 1e9 + 7;
const int MAX_A = 100000;

ll mod_pow(ll x, ll n, ll mod) {
    ll res = 1;
    while(n > 0) {
        if(n & 1) res = res * x % mod;
            x = x * x % mod;
            n >>= 1;
    }
    return res;
}

ll inv(ll x) {
    return mod_pow(x, mod - 2, mod);
}

ll f(ll x, ll y) {
    return (((x + y) % mod) * mod_pow(x, y, mod)) % mod;
}

// (x + y)x^y < (s + t)s^t
// log(x + y) + ylog(x) < log(s + t) + tlog(s)
double g(ll x, ll y) {
    return log(x + y) + y * log(x);
}


 
void fft(vector<C> &f, int n, int dir) {
    if (n == 1) return;
    vector<C> f0, f1;
    for(int i = 0; i < n; i++) {
        if (i % 2 == 0) {
            f0.push_back(f[i]);
        } else {
            f1.push_back(f[i]);
        }
    }
    fft(f0, n / 2, dir);
    fft(f1, n / 2, dir);
    C zeta = polar(1.0, 2 * M_PI * dir / n);
    C now = C(1.0, 0.0);
    for(int i = 0; i < n; i++) {
        f[i] = f0[i % (n / 2)] + now * f1[i % (n / 2)];
        now *= zeta;
    }
}
 
vector<C> comb(vector<C> A, vector<C> B) {
    int size = A.size() + B.size();
    int n = 1;
    while(n < size) n <<= 1;
    A.resize(n);
    B.resize(n);
    fft(A, n, 1);
    fft(B, n, 1);
    vector<C> ret;
    for(int i = 0; i < n; i++) {
        ret.push_back(A[i] * B[i]);
    }
    fft(ret, n, -1);
    for(int i = 0; i < n; i++) {
        ret[i] /= n;
    }
    return ret;
}

vector<ll> getPairCnt(vector<ll> &K) {
    vector<C> A, B;
    for (int i = 0; i < K.size(); i++) {
        A.push_back(C(K[i], 0));
        B.push_back(C(K[i], 0));
    }
    vector<ll> ret;
    vector<C> ret_ = comb(A, B);
    for (int i = 0; i < ret_.size(); i++) {
        ret.push_back((ll)(real(ret_[i]) + 0.1));
    }
    for (int i = 0; i < ret.size(); i++) {
        if (i % 2 == 0) ret[i] -= (i / 2 < K.size() ? K[i / 2] : 0);
        ret[i] >>= 1;
    }
    return ret;
}

void solve() {
    int N;
    cin >> N;
    assert(N >= 1 && N <= MAX_A);
    vector<ll> A(N), K(MAX_A + 1);
    for (int i = 0; i < N; i++) {
        cin >> A[i];
        assert(A[i] >= 1 && A[i] <= MAX_A);
        A[i] %= mod;
        K[A[i]]++;
    }

    // 考察1. miをO(N)で求める
    // iを固定すると，jとしては（i<jの中で）もちろんA[j]が小さいのを選ぶべき．
    // i以降の要素で最も小さい要素をO(1)で求められるようなテーブルをO(N)かけて前処理する．

    vector<ll> mi_table(N + 1, 1LL << 60);
    for (int i = N - 1; i >= 0; i--) {
        mi_table[i] = min(mi_table[i + 1], A[i]);
    }

    double mi = g(A[0], mi_table[1]);
    ll mi_f = f(A[0], mi_table[1]);
    for (int i = 1; i < N; i++) {
        if (mi > g(A[i], mi_table[i + 1])) {
            mi = g(A[i], mi_table[i + 1]);
            mi_f = f(A[i], mi_table[i + 1]);
        }
    }

    // 考察2. \prod_i \prod_j f(A[i], A[j]) をO(N)で求める
    // 考察2a.
    // 塁乗部分は各iについて A[i]^{\sum_{i<j}{A[j]}} を計算すれば良いので
    // \sum_{i<j}{A[j]} を前計算しておけばできる

    vector<ll> acc_back(N + 1);
    for (int i = N - 1; i >= 0; i--) {
        acc_back[i] = acc_back[i + 1] + A[i];
        acc_back[i] %= mod - 1;
    }
    
    ll prod = 1;
    for (int i = 0; i < N; i++) {
        prod *= mod_pow(A[i], acc_back[i + 1], mod);
        prod %= mod;
    }

    // 考察2b.
    // あとはA[i] + A[j] = k (i < j)となるような(i, j)が何個あるかを解けば良い
    // A[i]が小さいので，kを決め打ちして探索できる．

    // vector<ll> pair_cnt(2001);
    // for (int k = 2; k <= 2000; k++) {
    //     ll c = 0;
    //     for(int a = 0; a <= k; a++) {
    //         int b = k - a;
    //         c += K[a] * K[b];
    //         c %= mod;
    //     }
    //     if (k % 2 == 0) c -= K[k / 2];
    //     pair_cnt[k] += c / 2;
    // }

    // 考察2b-2.
    // 実は上の処理はFFTによる畳込み演算を用いて高速に計算できる．
    // kが偶数の場合にペア数を少し補正する必要があることに注意．
    vector<ll> pair_cnt = getPairCnt(K);

    for (int k = 0; k < pair_cnt.size(); k++) {
        prod *= mod_pow(k, pair_cnt[k], mod);
        prod %= mod;
    }

    cout << (prod * inv(mi_f)) % mod << endl;
    
}


int main() {
    #ifdef LOCAL_ENV
    cin.exceptions(ios::failbit);
    #endif
    cin.tie(0);
    ios::sync_with_stdio(false);
    cout.setf(ios::fixed);
    cout.precision(16);
    
    solve();
}
0