#946830 (C++17) No.2616 中央番目の中央値

提出ソース

結果

問題	No.2616 中央番目の中央値
ユーザー	pitP
提出日時	2024-01-26 23:42:32
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	1,331 ms / 2,000 ms
コード長	5,856 bytes
コンパイル時間	4,566 ms
コンパイル使用メモリ	280,092 KB
実行使用メモリ	183,356 KB
最終ジャッジ日時	2024-09-28 09:12:18
合計ジャッジ時間	26,072 ms
ジャッジサーバーID （参考情報）	judge3 / judge2

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	12 ms 10,624 KB
testcase_01	AC	11 ms 10,496 KB
testcase_02	AC	11 ms 10,496 KB
testcase_03	AC	12 ms 10,496 KB
testcase_04	AC	12 ms 10,496 KB
testcase_05	AC	11 ms 10,496 KB
testcase_06	AC	11 ms 10,624 KB
testcase_07	AC	12 ms 10,496 KB
testcase_08	AC	12 ms 10,496 KB
testcase_09	AC	11 ms 10,624 KB
testcase_10	AC	12 ms 10,624 KB
testcase_11	AC	12 ms 10,752 KB
testcase_12	AC	12 ms 11,008 KB
testcase_13	AC	18 ms 11,648 KB
testcase_14	AC	22 ms 12,544 KB
testcase_15	AC	34 ms 15,216 KB
testcase_16	AC	61 ms 20,328 KB
testcase_17	AC	91 ms 24,544 KB
testcase_18	AC	160 ms 34,812 KB
testcase_19	AC	343 ms 60,892 KB
testcase_20	AC	336 ms 60,768 KB
testcase_21	AC	753 ms 114,548 KB
testcase_22	AC	1,223 ms 182,760 KB
testcase_23	AC	1,243 ms 183,224 KB
testcase_24	AC	875 ms 183,224 KB
testcase_25	AC	889 ms 183,356 KB
testcase_26	AC	1,248 ms 183,352 KB
testcase_27	AC	1,291 ms 183,352 KB
testcase_28	AC	1,305 ms 183,224 KB
testcase_29	AC	1,268 ms 183,228 KB
testcase_30	AC	1,230 ms 183,352 KB
testcase_31	AC	1,232 ms 183,228 KB
testcase_32	AC	1,296 ms 183,228 KB
testcase_33	AC	1,227 ms 183,300 KB
testcase_34	AC	1,312 ms 183,228 KB
testcase_35	AC	1,331 ms 183,356 KB
testcase_36	AC	1,285 ms 183,356 KB

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

ソースコード

raw source code

// https://judge.yosupo.jp/submission/186019
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
istream &operator>>(istream &is, modint &a) { long long v; is >> v; a = v; return is; }
ostream &operator<<(ostream &os, const modint &a) { return os << a.val(); }
istream &operator>>(istream &is, modint998244353 &a) { long long v; is >> v; a = v; return is; }
ostream &operator<<(ostream &os, const modint998244353 &a) { return os << a.val(); }
istream &operator>>(istream &is, modint1000000007 &a) { long long v; is >> v; a = v; return is; }
ostream &operator<<(ostream &os, const modint1000000007 &a) { return os << a.val(); } 

typedef long long ll;
typedef vector<vector<int>> Graph;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
#define FOR(i,l,r) for (int i = l;i < (int)(r); i++)
#define rep(i,n) for (int i = 0;i < (int)(n); i++)
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define my_sort(x) sort(x.begin(), x.end())
#define my_max(x) *max_element(all(x))
#define my_min(x) *min_element(all(x))
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; }
const int INF = (1<<30) - 1;
const ll LINF = (1LL<<62) - 1;
const int MOD2 = 1e9+7;
const double PI = acos(-1);
vector<int> di = {1,0,-1,0};
vector<int> dj = {0,1,0,-1};

#ifdef LOCAL
#  include <debug_print.hpp>
#  define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define debug(...) (static_cast<void>(0))
#endif

template <class S, S (*op)(S, S), S (*e)(), class CoordinateType> struct RangeTree {
    using CT = CoordinateType;
    using Point = pair<CT, CT>;
    vector<Point> points;
    vector<vector<Point>> yx;
    vector<atcoder::segtree<S,op,e>> seg;
    int n;

    void _set(int idx, Point p, S val){
        int i = lower_bound(yx[idx].begin(), yx[idx].end(), Point{p.second, p.first}) - yx[idx].begin();
        seg[idx].set(i, val);
    }
    S _prod(int idx, CT yl, CT yr){
        auto comp = [](const Point &lhs, const Point &rhs) {return lhs.first < rhs.first; };
        int il = lower_bound(yx[idx].begin(), yx[idx].end(), Point{yl, yl}, comp) - yx[idx].begin();
        int ir = lower_bound(yx[idx].begin(), yx[idx].end(), Point{yr, yr}, comp) - yx[idx].begin();
        return seg[idx].prod(il, ir);
    }

    void add_point(CT x, CT y){
        points.push_back(Point{x, y});
    }

    void build(){
        sort(points.begin(), points.end());
        points.erase(unique(points.begin(), points.end()), points.end());
        n = points.size();

        yx.resize(2 * n);
        for(int i = 0; i < n; i++) yx[i + n] = { Point{points[i].second, points[i].first}};
        for(int i = n - 1; i > 0; i--){
            auto &lc = yx[2 * i];
            auto &rc = yx[2 * i + 1];
            merge(lc.begin(), lc.end(), rc.begin(), rc.end(), back_inserter(yx[i]));
            yx[i].erase(unique(yx[i].begin(), yx[i].end()), yx[i].end());
        }
        for(const auto &v : yx) seg.emplace_back(v.size());
    }

    void set(CT x, CT y, S val){
        int i = lower_bound(points.begin(), points.end(), Point{x, y}) - points.begin() + n;
        while(i){
            _set(i, Point{x, y}, val);
            i = i >> 1;
        }
    }

    S prod(CT xl, CT xr, CT yl, CT yr){
        auto comp = [](const Point &lhs, const Point &rhs) {return lhs.first < rhs.first; };
        int l = lower_bound(points.begin(), points.end(), Point{xl, yr}, comp) - points.begin() + n;
        int r = lower_bound(points.begin(), points.end(), Point{xr, yr}, comp) - points.begin() + n;
        S sml = e(), smr = e();
        while(l < r){
            if(l & 1) sml = op(sml, _prod(l++, yl, yr));
            if(r & 1) smr = op(_prod(--r, yl, yr), smr);
            l >>= 1;
            r >>= 1;
        }

        return op(sml, smr);
    }

    S get(CT x, CT y){
        return prod(x, x + 1, y, y + 1);
    }
};

using S = int;
S op(S a, S b){
    return a + b;
}
S e(){
    return 0;
}

//https://drken1215.hatenablog.com/entry/2018/06/08/210000
//COMinit()を忘れない!!!
const ll NMAX = 303030;
const ll MOD = 998244353;
//const int MOD = 1e9+7;

ll fac[NMAX],finv[NMAX],inv[NMAX];

void COMinit(){
    fac[0] = fac[1] = 1LL;
    finv[0] = finv[1] = 1LL;
    inv[1] = 1LL;
    for (int i=2;i<NMAX;i++){
        fac[i] = fac[i-1] * i % MOD;
        inv[i] = MOD - inv[MOD%i] * (MOD/i) % MOD;
        finv[i] = finv[i-1] * inv[i] % MOD;
    }
}

ll nCr(int n,int k){
    if (n<k) return 0LL;
    if (n < 0 || k < 0) return 0LL;
    return fac[n] * (finv[k] * finv[n-k] % MOD) % MOD;
}

ll nPr(int n,int k){
    if (n<k) return 0LL;
    if (n < 0 || k < 0) return 0LL;
    return fac[n] * finv[n-k] % MOD;
}

ll nHr(int n,int r){
    return nCr(n+r-1,r);
}

using mint = modint998244353;

int main(){
    cin.tie(0);
    ios_base::sync_with_stdio(false);
    COMinit();

    int N; cin >> N;
    vector<int> P(N);
    rep(i,N) cin >> P[i], P[i]--;

    RangeTree<S,op,e,int> RT;
    rep(i,N) RT.add_point(i, P[i]);
    RT.build();
    rep(i,N) RT.set(i, P[i], 1);

    mint ans = 0;
    fenwick_tree<int> left(N);
    fenwick_tree<int> right(N);
    rep(i,N) right.add(i, 1);
    for(int c = 0; c < N; c++){
        // int lu = RT.prod(0, c, P[c] + 1, N);
        // int ld = RT.prod(0, c, 0, P[c]);
        // int ru = RT.prod(c, N, P[c] + 1, N);
        // int rd = RT.prod(c, N, 0, P[c]);
        // ans += nCr(lu + rd, lu) * nCr(ld + ru, ru);

        int lu = left.sum(P[c] + 1, N);
        int ld = left.sum(0, P[c]);
        int ru = right.sum(P[c] + 1, N);
        int rd = right.sum(0, P[c]);
        ans += nCr(lu + rd, lu) * nCr(ld + ru, ru);

        left.add(P[c], 1);
        right.add(P[c], -1);
    }
    cout << ans << endl;
}

yukicoder

結果

テストケース

ソースコード