結果

問題 No.2651 [Cherry 6th Tune B] $\mathbb{C}$omplex комбинат
コンテスト
ユーザー InTheBloom
提出日時 2024-02-23 23:25:05
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,759 bytes
コンパイル時間 940 ms
コンパイル使用メモリ 92,456 KB
実行使用メモリ 14,976 KB
最終ジャッジ日時 2024-09-29 08:58:03
合計ジャッジ時間 12,888 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 3 WA * 36
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <cassert>

using namespace std;
using ll = long long;

ll mod_pow (ll a, ll x, ll MOD) {
    assert(0 <= x);
    if (MOD <= abs(a)) a %= MOD;
    if (a < 0) a += MOD;

    ll res = 1;
    ll base = a;

    while (0 < x) {
        if (0 < (x & 1)) {
            res *= base;
            res %= MOD;
        }
        base *= base;
        base %= MOD;
        x >>= 1;
    }

    return res;
}

ll mod_inv (ll x, ll MOD) {
    return mod_pow(x, MOD-2, MOD);
}

void solve (int N, vector<pair<int, int>>& z) {
    // 頑張って変形すると累積和でOKになる。
    const ll MOD = 998244353;

    vector<ll> cum(N+1), cum_inv(N+1), cum_re(N+1), cum_im(N+1);
    for (int i = 0; i < N; i++) {
        ll v = (1LL * z[i].first * z[i].first) + (1LL * z[i].second * z[i].second) % MOD;
        cum[i+1] = cum[i] + v % MOD;
        cum_inv[i+1] = cum_inv[i] + mod_inv(v, MOD) % MOD;

        // 分子に共役が乗ってる方を計算する
        ll v_num_re = (1LL * z[i].first * z[i].first) - (1LL * z[i].second * z[i].second) % MOD;
        ll v_num_im = -2LL * z[i].first * z[i].second % MOD;

        if (v_num_re < 0) v_num_re += MOD;
        if (v_num_im < 0) v_num_im += MOD;
        v_num_re *= mod_inv(v, MOD);
        v_num_im *= mod_inv(v, MOD);
        v_num_re %= MOD;
        v_num_im %= MOD;

        cum_re[i+1] = cum_re[i] + v_num_re % MOD;
        cum_im[i+1] = cum_im[i] + v_num_im % MOD;
    }

    ll ans = 0;
    for (int i = 0; i < N-1; i++) {
        ll v = (1LL * z[i].first * z[i].first) + (1LL * z[i].second * z[i].second) % MOD;

        ll add = 0;
        add += v * (cum_inv[N] - cum_inv[i+1]) % MOD;
        add %= MOD;

        add += mod_inv(v, MOD) * (cum[N] - cum[i+1]) % MOD;
        add %= MOD;

        ll v_num_re = (1LL * z[i].first * z[i].first) - (1LL * z[i].second * z[i].second) % MOD;
        ll v_num_im = -2LL * z[i].first * z[i].second % MOD;
        if (v_num_re < 0) v_num_re += MOD;
        if (v_num_im < 0) v_num_im += MOD;

        v_num_re *= mod_inv(v, MOD);
        v_num_im *= mod_inv(v, MOD);
        v_num_re %= MOD;
        v_num_im %= MOD;

        add += -2 * v_num_re * (cum_re[N] - cum_re[i+1]) % MOD;
        add %= MOD;
        add += -2 * v_num_im * (cum_im[N] - cum_im[i+1]) % MOD; // マイナスは打ち消される。
        add %= MOD;

        if (add < 0) add += MOD;

        ans += add;
        ans %= MOD;
    }

    cout << ans << "\n";
}

int main () {
    int T; cin >> T;
    for (int t = 0; t < T; t++) {
        int N; cin >> N;
        vector<pair<int, int>> z(N);
        for (int i = 0; i < N; i++) {
            int x, y; cin >> x >> y;
            z[i] = make_pair(x, y);
        }

        solve(N, z);
    }
}
0