結果

問題 No.2327 Inversion Sum
ユーザー seiyuseiyu
提出日時 2023-06-01 23:00:55
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 43 ms / 2,000 ms
コード長 4,828 bytes
コンパイル時間 4,072 ms
コンパイル使用メモリ 235,776 KB
実行使用メモリ 5,496 KB
最終ジャッジ日時 2023-08-28 02:11:35
合計ジャッジ時間 5,951 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 8 ms
5,204 KB
testcase_01 AC 37 ms
5,496 KB
testcase_02 AC 28 ms
5,300 KB
testcase_03 AC 8 ms
4,924 KB
testcase_04 AC 43 ms
5,432 KB
testcase_05 AC 10 ms
4,932 KB
testcase_06 AC 29 ms
5,344 KB
testcase_07 AC 20 ms
5,060 KB
testcase_08 AC 10 ms
4,908 KB
testcase_09 AC 37 ms
5,408 KB
testcase_10 AC 14 ms
4,976 KB
testcase_11 AC 6 ms
4,936 KB
testcase_12 AC 6 ms
4,784 KB
testcase_13 AC 5 ms
4,536 KB
testcase_14 AC 27 ms
5,292 KB
testcase_15 AC 42 ms
5,356 KB
testcase_16 AC 16 ms
5,220 KB
testcase_17 AC 6 ms
4,996 KB
testcase_18 AC 10 ms
4,936 KB
testcase_19 AC 13 ms
5,488 KB
testcase_20 AC 5 ms
4,616 KB
testcase_21 AC 6 ms
4,644 KB
testcase_22 AC 6 ms
4,620 KB
testcase_23 AC 5 ms
4,444 KB
testcase_24 AC 6 ms
4,448 KB
testcase_25 AC 6 ms
4,648 KB
testcase_26 AC 5 ms
4,536 KB
testcase_27 AC 5 ms
4,432 KB
testcase_28 AC 5 ms
4,428 KB
testcase_29 AC 6 ms
4,560 KB
testcase_30 AC 5 ms
4,580 KB
testcase_31 AC 6 ms
4,448 KB
testcase_32 AC 5 ms
4,488 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: 関数 ‘int main()’ 内:
main.cpp:135:14: 警告: structured bindings only available with ‘-std=c++17’ or ‘-std=gnu++17’ [-Wc++17-extensions]
  135 |         auto [k, p] = v[i];
      |              ^
main.cpp:145:14: 警告: structured bindings only available with ‘-std=c++17’ or ‘-std=gnu++17’ [-Wc++17-extensions]
  145 |         auto [k, p] = v[i];
      |              ^
main.cpp:161:14: 警告: structured bindings only available with ‘-std=c++17’ or ‘-std=gnu++17’ [-Wc++17-extensions]
  161 |         auto [k, p] = v[i];
      |              ^

ソースコード

diff # 

#include <algorithm>
#include <iomanip>
#include <array>
#include <bitset>
#include <cassert>
#include <cmath>
#include <cstdio>
#include <deque>
#include <functional>
#include <iostream>
#include <iterator>
#include <map>
#include <queue>
#include <set>
#include <list>
#include <string>
#include <sstream>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <numeric>
#include <vector>
#include <climits>
using namespace std;
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif
#define GET_MACRO(_1, _2, _3, NAME, ...) NAME
#define _rep(i, n) _rep2(i, 0, n)
#define _rep2(i, a, b) for(int i = (int)(a); i < (int)(b); i++)
#define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
using i64 = long long;
template<class T, class U>
bool chmin(T& a, const U& b) { return (b < a) ? (a = b, true) : false; }
template<class T, class U>
bool chmax(T& a, const U& b) { return (b > a) ? (a = b, true) : false; }

template<typename T>istream& operator>>(istream&i,vector<T>&v){rep(j,v.size())i>>v[j];return i;}
template<typename T>string join(vector<T>&v){stringstream s;rep(i,v.size())s<<' '<<v[i];return s.str().substr(1);}
template<typename T>ostream& operator<<(ostream&o,vector<T>&v){if(v.size())o<<join(v);return o;}
template<typename T>string join(vector<vector<T>>&vv){string s="\n";rep(i,vv.size())s+=join(vv[i])+"\n";return s;}
template<typename T>ostream& operator<<(ostream&o,vector<vector<T>>&vv){if(vv.size())o<<join(vv);return o;}
template<class T> using pq = priority_queue<T, vector<T>, greater<T>>;
const i64 INF = 1e18;
using mint = modint998244353;
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
vector<mint> fact(int x)
{
    vector<mint> res(x + 1);
    res[0] = 1;
    rep(i, x)
    {
        res[i + 1] = res[i] * (i + 1);
    }
    return res;
}

vector<mint> finv(int x)
{
    vector<mint> res(x + 1);
    mint t = 1;
    for(int i = 1; i <= x; i++)
    {
        t *= i;
    }
    res[x] = 1 / t;
    for(int i = x; i > 0; i--)
    {
        res[i - 1] = res[i] * i;
    }
    return res;
}

auto r = fact(200005);
auto l = finv(200005);

mint comb(int x, int y)
{
    if(x - y < 0 || x < 0 || y < 0) return 0;
    return r[x] * l[y] * l[x - y];
}

template <int m>
std::istream &std::operator>>(std::istream &is, atcoder::static_modint<m> &a) {
	long long v;
	is >> v;
	a = v;
	return is;
}
template <int m>
std::istream &std::operator>>(std::istream &is, atcoder::dynamic_modint<m> &a) {
	long long v;
	is >> v;
	a = v;
	return is;
}
template <int m>
std::ostream &std::operator<<(std::ostream &os, const atcoder::static_modint<m> &a) { return os << a.val(); }
template <int m>
std::ostream &std::operator<<(std::ostream &os, const atcoder::dynamic_modint<m> &a) { return os << a.val(); }
mint get(i64 n) {
    // 1~nの順列の転倒数の総和
    if(n < 0) return 0;
    if(n == 0) return 0;
    return r[n] / 2 * n * (n - 1) / 2;
}
int main() {
    int n, m;
    cin >> n >> m;
    vector<pair<int, int>> v;
    
    
    rep(i, m) {
        int p, k;
        cin >> p >> k;
        p--;
        k--;
        v.emplace_back(k, p);
    }
    fenwick_tree<int> fw(n);
    sort(all(v));
    
    // 未確定 > 未確定
    mint ans = get(n - m);
    // cout << "未確定 > 未確定" << endl;
    // cout << "ans : " << ans << endl;

    // 確定 > 確定
    rep(i, m) {
        auto [k, p] = v[i];
        ans += r[n - m] * fw.sum(p, n);
        fw.add(p, 1);
    }
    // cout << "確定 > 確定" << endl;
    // cout << "ans : " << ans << endl;

    int cnt = 0;
    // 確定 > 未確定
    for(int i = m - 1; i >= 0; i--) {
        auto [k, p] = v[i];
        mint now_ans = 1;
        if(n - m - 1 >= 0) {
            // cout << mint(p - fw.sum(0, p)) << " , " << n - 1 - k - cnt << endl;
            now_ans *= mint(p - fw.sum(0, p)) * (n - 1 - k - cnt) * r[n - m - 1];
            ans += now_ans;
            // cout << "now_ans : " << now_ans << endl;
        }
        cnt++;
    }
    // cout << "確定 > 未確定" << endl;
    // cout << ans << endl;

    // 未確定 > 確定
    cnt = 0;
    for(int i = 0; i < m; i++) {
        auto [k, p] = v[i];
        mint now_ans = 1;
        // cout << "k : " << k <<  ", p : " << p << endl;
        if(n - m - 1 >= 0) {
            // cout << mint(n - 1 - p - fw.sum(p + 1, n)) << " , " << k - cnt << endl;
            // cout << "k : " << k << " , " << " cnt : " << cnt << endl;
            now_ans *= mint(n - 1 - p - fw.sum(p + 1, n)) * (k - cnt) * r[n - m - 1];
            ans += now_ans;
            // cout << "now_ans : " << now_ans << endl;
        }
        cnt++;
    }
    // cout << "末確定 > 確定" << endl;
    cout << ans << endl;

    return 0;
}
0