なかなか頭が混乱する。
https://yukicoder.me/problems/no/1193
問題
N要素の整数列Aが与えられる。
ここから以下の手順で数列Bを作る。
- 初期状態でBは空である。
- i=1~Nに対し、順に以下の手順を行う。Aからi要素を選び、相対的な並びを変えずにBの末尾に追加する。
すべての要素の選び方におけるBの転倒数の和を求めよ。
解法
Aにおいて値が異なる2要素が、Bにおいてどのように登場するかを考えよう。
まず最初に以下を数える。
- X := A[p]<A[q]であるp<qの組み合わせ数
- Y := A[p]>A[q]であるp<qの組み合わせ数、すなわちAにおける転倒数
Bの構築法はComb(N,1)*Comb(N,2)*....*Comb(N,N)通りである。
そこにおいて、X,Yに分類される組が、それぞれB中で何回現れるかその期待値を考えよう。
具体的には以下を数え上げればよい。
総当たりする変数はi,jと一見2つ見えるが、片方は容易に総和が取れるのでO(N)で済む。
- Xに分類される組
- i回目の手順でqが選ばれ、j回目の手順でpが選ばれる確率のi,jを総当たりしたときの総和
- Yに分類される組
- i回目の手順でpが選ばれ、j回目の手順でqが選ばれる確率のi,jを総当たりしたときの総和
- i回目の手順でp,qが同時に選ばれる確率のiを総当たりしたときの総和
int N; int A[202020]; const ll mo=998244353; template<class V, int ME> class BIT { public: V bit[1<<ME]; V operator()(int e) {if(e<0) return 0;V s=0;e++;while(e) s+=bit[e-1],e-=e&-e; return s;} void add(int e,V v) { e++; while(e<=1<<ME) bit[e-1]+=v,e+=e&-e;} }; BIT<int,20> bt; ll modpow(ll a, ll n = mo-2) { ll r=1;a%=mo; while(n) r=r*((n%2)?a:1)%mo,a=a*a%mo,n>>=1; return r; } ll comb(ll N_, ll C_) { const int NUM_=400001; static ll fact[NUM_+1],factr[NUM_+1],inv[NUM_+1]; if (fact[0]==0) { inv[1]=fact[0]=factr[0]=1; for (int i=2;i<=NUM_;++i) inv[i] = inv[mo % i] * (mo - mo / i) % mo; for (int i=1;i<=NUM_;++i) fact[i]=fact[i-1]*i%mo, factr[i]=factr[i-1]*inv[i]%mo; } if(C_<0 || C_>N_) return 0; return factr[C_]*fact[N_]%mo*factr[N_-C_]%mo; } ll hcomb(int P_,int Q_) { return (P_==0&&Q_==0)?1:comb(P_+Q_-1,Q_);} void solve() { int i,j,k,l,r,x,y; string s; cin>>N; if(N==1) { cout<<0<<endl; return; } vector<int> V; FOR(i,N) { cin>>A[i]; V.push_back(A[i]); } sort(ALL(V)); V.erase(unique(ALL(V)),V.end()); ll X=0,Y=0; FOR(i,N) { A[i]=lower_bound(ALL(V),A[i])-V.begin(); X+=bt(A[i]-1); Y+=bt(N)-bt(A[i]); bt.add(A[i],1); } ll pat=1; for(i=1;i<=N;i++) pat=pat*comb(N,i)%mo; //同一ない ll ret=0; for(i=2;i<=N;i++) { ll p=comb(N-2,i-2)*modpow(comb(N,i))%mo; (ret+=p*pat%mo*(Y%mo))%=mo; } for(i=1;i<=N;i++) { ll p=i*modpow(N)%mo; ll q=1LL*i*(i-1)/2%mo*modpow(N)%mo; (ret+=p*pat%mo*q%mo*((X+Y)%mo))%=mo; } cout<<ret<<endl; }
まとめ
何を何回か数えるの混乱するけど、2値の登場頻度に着目すると若干簡単になる。