#876494 (C++14) No.2327 Inversion Sum

提出ソース

結果

問題	No.2327 Inversion Sum
ユーザー	seiyu
提出日時	2023-06-01 22:59:05
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	WA
実行時間	-
コード長	4,828 bytes
コンパイル時間	4,256 ms
コンパイル使用メモリ	237,280 KB
実行使用メモリ	6,944 KB
最終ジャッジ日時	2024-06-08 21:46:31
合計ジャッジ時間	5,509 ms
ジャッジサーバーID （参考情報）	judge1 / judge3

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	8 ms 6,816 KB
testcase_01	AC	39 ms 6,816 KB
testcase_02	AC	29 ms 6,940 KB
testcase_03	AC	8 ms 6,940 KB
testcase_04	AC	45 ms 6,940 KB
testcase_05	AC	10 ms 6,940 KB
testcase_06	AC	30 ms 6,944 KB
testcase_07	AC	21 ms 6,940 KB
testcase_08	AC	11 ms 6,944 KB
testcase_09	AC	39 ms 6,940 KB
testcase_10	AC	15 ms 6,940 KB
testcase_11	AC	6 ms 6,940 KB
testcase_12	AC	6 ms 6,944 KB
testcase_13	AC	5 ms 6,944 KB
testcase_14	AC	28 ms 6,940 KB
testcase_15	AC	43 ms 6,940 KB
testcase_16	AC	17 ms 6,940 KB
testcase_17	AC	6 ms 6,940 KB
testcase_18	AC	10 ms 6,944 KB
testcase_19	AC	13 ms 6,944 KB
testcase_20	AC	5 ms 6,940 KB
testcase_21	AC	6 ms 6,944 KB
testcase_22	AC	6 ms 6,944 KB
testcase_23	AC	5 ms 6,944 KB
testcase_24	WA	-
testcase_25	AC	6 ms 6,940 KB
testcase_26	AC	6 ms 6,940 KB
testcase_27	AC	6 ms 6,940 KB
testcase_28	AC	6 ms 6,940 KB
testcase_29	AC	5 ms 6,940 KB
testcase_30	AC	6 ms 6,940 KB
testcase_31	AC	5 ms 6,940 KB
testcase_32	AC	5 ms 6,940 KB

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

コンパイルメッセージ

main.cpp: In function 'int main()':
main.cpp:135:14: warning: 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: warning: 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: warning: structured bindings only available with '-std=c++17' or '-std=gnu++17' [-Wc++17-extensions]
  161 |         auto [k, p] = v[i];
      |              ^

ソースコード

raw source code

#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 1;
    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;
}

yukicoder

結果

テストケース

コンパイルメッセージ

ソースコード