結果
問題 | No.2327 Inversion Sum |
ユーザー | Kude |
提出日時 | 2023-05-28 14:10:23 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 29 ms / 2,000 ms |
コード長 | 2,346 bytes |
コンパイル時間 | 2,459 ms |
コンパイル使用メモリ | 226,568 KB |
実行使用メモリ | 11,972 KB |
最終ジャッジ日時 | 2023-08-27 09:09:09 |
合計ジャッジ時間 | 4,341 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge12 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 17 ms
11,908 KB |
testcase_01 | AC | 27 ms
11,912 KB |
testcase_02 | AC | 24 ms
11,972 KB |
testcase_03 | AC | 17 ms
11,828 KB |
testcase_04 | AC | 29 ms
11,892 KB |
testcase_05 | AC | 17 ms
11,344 KB |
testcase_06 | AC | 24 ms
11,928 KB |
testcase_07 | AC | 20 ms
11,304 KB |
testcase_08 | AC | 16 ms
11,536 KB |
testcase_09 | AC | 27 ms
11,904 KB |
testcase_10 | AC | 18 ms
11,532 KB |
testcase_11 | AC | 16 ms
11,356 KB |
testcase_12 | AC | 16 ms
11,384 KB |
testcase_13 | AC | 15 ms
11,240 KB |
testcase_14 | AC | 22 ms
11,372 KB |
testcase_15 | AC | 27 ms
11,696 KB |
testcase_16 | AC | 20 ms
11,832 KB |
testcase_17 | AC | 16 ms
11,540 KB |
testcase_18 | AC | 17 ms
11,288 KB |
testcase_19 | AC | 19 ms
11,844 KB |
testcase_20 | AC | 15 ms
11,176 KB |
testcase_21 | AC | 15 ms
11,176 KB |
testcase_22 | AC | 15 ms
11,160 KB |
testcase_23 | AC | 15 ms
11,160 KB |
testcase_24 | AC | 15 ms
11,224 KB |
testcase_25 | AC | 15 ms
11,116 KB |
testcase_26 | AC | 15 ms
11,160 KB |
testcase_27 | AC | 15 ms
11,120 KB |
testcase_28 | AC | 15 ms
11,288 KB |
testcase_29 | AC | 15 ms
11,168 KB |
testcase_30 | AC | 15 ms
11,228 KB |
testcase_31 | AC | 15 ms
11,200 KB |
testcase_32 | AC | 15 ms
11,176 KB |
コンパイルメッセージ
main.cpp:49:6: 警告: ‘{anonymous}::mint {anonymous}::perm(int, int)’ defined but not used [-Wunused-function] 49 | mint perm(int n, int k) { | ^~~~ main.cpp:48:6: 警告: ‘{anonymous}::mint {anonymous}::fact(int)’ defined but not used [-Wunused-function] 48 | mint fact(int n) {return Fact[n];} | ^~~~ main.cpp:44:6: 警告: ‘{anonymous}::mint {anonymous}::icomb(int, int)’ defined but not used [-Wunused-function] 44 | mint icomb(int n, int k) { | ^~~~~
ソースコード
#include<bits/stdc++.h> namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include<atcoder/all> #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair<int,int>; using VI = vector<int>; using VVI = vector<VI>; using VL = vector<ll>; using VVL = vector<VL>; using mint = modint998244353; constexpr int FACT_SIZE = 1000000; mint Fact[FACT_SIZE + 1]; mint iFact[FACT_SIZE + 1]; const auto fact_init = [] { Fact[0] = mint::raw(1); for(int i = 1; i <= FACT_SIZE; ++i) { Fact[i] = Fact[i-1] * i; } iFact[FACT_SIZE] = Fact[FACT_SIZE].inv(); for(int i = FACT_SIZE; i; --i) { iFact[i-1] = iFact[i] * i; } return false; }(); mint comb(int n, int k) { if (k == 0) return mint::raw(1); assert(n >= 0 && k >= 0); if (k > n) return mint::raw(0); return Fact[n] * iFact[n - k] * iFact[k]; } mint icomb(int n, int k) { return iFact[n] * Fact[n - k] * Fact[k]; } mint fact(int n) {return Fact[n];} mint perm(int n, int k) { assert(0 <= n); return Fact[n] * iFact[n - k]; } } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, m; cin >> n >> m; VI a(n, -1); rep(_, m) { int p, k; cin >> p >> k; a[k-1] = p-1; } mint ans; { fenwick_tree<int> ft(n); rep(i, n) if (a[i] != -1) { ans += ft.sum(a[i], n); ft.add(a[i], 1); } ans *= Fact[n - m]; } { ans += comb(n - m, 2) * Fact[n - m] / 2; } if (n - m - 1 >= 0) { int bl = 0; VI rest(n, 1); rep(i, n) if (a[i] != -1) rest[a[i]] = 0; VI sm(n + 1); rep(i, n) sm[i + 1] = sm[i] + rest[i]; rep(i, n) { if (a[i] == -1) { bl++; continue; } int br = n - m - bl; int smaller = sm[a[i]], larger = sm[n] - sm[a[i] + 1]; ans += (mint(smaller) * br + mint(larger) * bl) * Fact[n - m - 1]; } } cout << ans.val() << '\n'; }