結果

問題 No.1193 Penguin Sequence
ユーザー leaf_1415leaf_1415
提出日時 2020-08-22 15:45:56
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 123 ms / 2,000 ms
コード長 3,099 bytes
コンパイル時間 1,976 ms
コンパイル使用メモリ 84,668 KB
実行使用メモリ 28,660 KB
最終ジャッジ日時 2023-08-05 12:48:50
合計ジャッジ時間 8,775 ms
ジャッジサーバーID
(参考情報)
judge15 / judge14
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 80 ms
28,548 KB
testcase_01 AC 121 ms
28,560 KB
testcase_02 AC 121 ms
28,628 KB
testcase_03 AC 120 ms
28,496 KB
testcase_04 AC 123 ms
28,564 KB
testcase_05 AC 120 ms
28,500 KB
testcase_06 AC 121 ms
28,544 KB
testcase_07 AC 121 ms
28,628 KB
testcase_08 AC 121 ms
28,536 KB
testcase_09 AC 121 ms
28,648 KB
testcase_10 AC 121 ms
28,660 KB
testcase_11 AC 74 ms
26,032 KB
testcase_12 AC 74 ms
26,164 KB
testcase_13 AC 105 ms
28,156 KB
testcase_14 AC 99 ms
27,984 KB
testcase_15 AC 115 ms
28,368 KB
testcase_16 AC 82 ms
28,548 KB
testcase_17 AC 18 ms
22,188 KB
testcase_18 AC 26 ms
23,104 KB
testcase_19 AC 118 ms
28,584 KB
testcase_20 AC 99 ms
27,820 KB
testcase_21 AC 80 ms
26,276 KB
testcase_22 AC 28 ms
23,196 KB
testcase_23 AC 69 ms
25,864 KB
testcase_24 AC 62 ms
25,532 KB
testcase_25 AC 38 ms
24,020 KB
testcase_26 AC 23 ms
22,992 KB
testcase_27 AC 103 ms
28,092 KB
testcase_28 AC 77 ms
26,184 KB
testcase_29 AC 106 ms
28,172 KB
testcase_30 AC 46 ms
24,528 KB
testcase_31 AC 41 ms
24,192 KB
testcase_32 AC 85 ms
27,724 KB
testcase_33 AC 63 ms
25,644 KB
testcase_34 AC 54 ms
25,196 KB
testcase_35 AC 65 ms
25,736 KB
testcase_36 AC 54 ms
25,172 KB
testcase_37 AC 101 ms
28,176 KB
testcase_38 AC 18 ms
22,184 KB
testcase_39 AC 18 ms
22,548 KB
testcase_40 AC 18 ms
22,316 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#define llint long long
#define inf 1e18
#define rep(x, s, t) for(llint (x) = (s); (x) < (t); (x)++)
#define Rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define mod 998244353

using namespace std;
typedef pair<llint, llint> P;

const int FACT_MAX = 1000005;
llint fact[FACT_MAX], fact_inv[FACT_MAX];

llint modpow(llint a, llint n)
{
	if(n == 0) return 1;
	if(n % 2){
		return ((a%mod) * (modpow(a, n-1)%mod)) % mod;
	}
	else{
		return modpow((a*a)%mod, n/2) % mod;
	}
}

void make_fact()
{
	llint val = 1;
	fact[0] = 1;
	for(int i = 1; i < FACT_MAX; i++){
		val *= i;
		val %= mod;
		fact[i] = val;
	}
	fact_inv[FACT_MAX-1] = modpow(fact[FACT_MAX-1], mod-2);
	for(int i = FACT_MAX-2; i >= 0; i--){
		fact_inv[i] = fact_inv[i+1] * (i+1) % mod;
	}
}

llint comb(llint n, llint k)
{
	llint ret = 1;
	ret *= fact[n];
	ret *= fact_inv[k], ret %= mod;
	ret *= fact_inv[n-k], ret %= mod;
	return ret;
}
llint icomb(llint n, llint k)
{
	llint ret = 1;
	ret *= fact_inv[n];
	ret *= fact[k], ret %= mod;
	ret *= fact[n-k], ret %= mod;
	return ret;
}

struct BIT{
	int size;
	vector<llint> bit;
	BIT(){size = 0;}
	BIT(int s){
		size = s;
		bit.resize(size+1);
		init();
	}
	void init(){
		for(int i = 1; i <= size; i++) bit[i] = 0;
	}
	llint query(int i){
		llint ret = 0;
		while(i > 0){
			ret += bit[i];
			i -= i&(-i);
		}
		return ret;
	}
	void add(int i, llint x){
		while(i <= size){
			bit[i] += x;
			i += i&(-i);
		}
	}
};


llint n;
llint a[200005];
vector<llint> comp;
llint sum[200005], sum2[200005], ssum[200005];
BIT bit(200005);

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	make_fact();
	
	cin >> n;
	for(int i = 1; i <= n; i++) cin >> a[i];
	
	if(n == 1){
		cout << 0 << endl;
		return 0;
	}
	
	for(int i = 1; i <= n; i++){
		sum[i] = sum[i-1] + comb(n-1, i-1) * icomb(n, i) % mod, sum[i] %= mod;
		if(i >= 2) sum2[i] = sum2[i-1] + comb(n-2, i-2) * icomb(n, i) % mod, sum2[i] %= mod;
	}
	for(int i = 1; i <= n; i++){
		ssum[i] = ssum[i-1] + comb(n-1, i-1) * icomb(n, i) % mod * sum[i-1] % mod, ssum[i] %= mod;
	}
	
	for(int i = 1; i <= n; i++) comp.push_back(a[i]);
	sort(comp.begin(), comp.end());
	comp.erase(unique(comp.begin(), comp.end()), comp.end());
	for(int i = 1; i <= n; i++) a[i] = lower_bound(comp.begin(), comp.end(), a[i]) - comp.begin() + 1;
	
	llint ans = 0;
	for(int i = 1; i <= n; i++){
		llint res = bit.query(n) - bit.query(a[i]);
		ans += (ssum[n] + sum2[n]) % mod * res % mod, ans %= mod;
		bit.add(a[i], 1);
	}
	
	bit.init();
	for(int i = n; i >= 1; i--){
		llint res = bit.query(n) - bit.query(a[i]);
		ans += ssum[n] * res % mod, ans %= mod;
		bit.add(a[i], 1);
	}
	
	for(int i = 1; i <= n; i++) ans *= comb(n, i), ans %= mod;
	cout << ans << endl;
	
	return 0;
}
0