結果
問題 | No.1621 Sequence Inversions |
ユーザー | mugen_1337 |
提出日時 | 2021-07-22 22:59:54 |
言語 | C++17 (gcc 13.2.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 2,214 ms / 3,000 ms |
コード長 | 3,834 bytes |
コンパイル時間 | 2,472 ms |
コンパイル使用メモリ | 214,824 KB |
実行使用メモリ | 11,356 KB |
最終ジャッジ日時 | 2023-09-24 18:48:29 |
合計ジャッジ時間 | 21,989 ms |
ジャッジサーバーID (参考情報) |
judge15 / judge12 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,376 KB |
testcase_01 | AC | 2 ms
4,376 KB |
testcase_02 | AC | 2 ms
4,376 KB |
testcase_03 | AC | 9 ms
4,376 KB |
testcase_04 | AC | 683 ms
6,272 KB |
testcase_05 | AC | 2 ms
4,376 KB |
testcase_06 | AC | 2 ms
4,380 KB |
testcase_07 | AC | 15 ms
4,376 KB |
testcase_08 | AC | 801 ms
6,656 KB |
testcase_09 | AC | 1,074 ms
7,516 KB |
testcase_10 | AC | 2,147 ms
11,356 KB |
testcase_11 | AC | 879 ms
7,064 KB |
testcase_12 | AC | 2,139 ms
11,144 KB |
testcase_13 | AC | 2,214 ms
11,072 KB |
testcase_14 | AC | 307 ms
4,596 KB |
testcase_15 | AC | 235 ms
4,376 KB |
testcase_16 | AC | 700 ms
5,960 KB |
testcase_17 | AC | 1,488 ms
7,700 KB |
testcase_18 | AC | 647 ms
5,672 KB |
testcase_19 | AC | 3 ms
4,376 KB |
testcase_20 | AC | 220 ms
4,680 KB |
testcase_21 | AC | 1,738 ms
8,260 KB |
testcase_22 | AC | 409 ms
4,576 KB |
testcase_23 | AC | 2,097 ms
9,440 KB |
testcase_24 | AC | 2 ms
4,376 KB |
testcase_25 | AC | 1 ms
4,376 KB |
testcase_26 | AC | 2 ms
4,380 KB |
testcase_27 | AC | 1 ms
4,380 KB |
testcase_28 | AC | 2 ms
4,376 KB |
ソースコード
#include<bits/stdc++.h> #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") using namespace std; #define ALL(x) begin(x),end(x) #define rep(i,n) for(int i=0;i<(n);i++) #define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl; #define mod 1000000007 using ll=long long; const int INF=1000000000; const ll LINF=1001002003004005006ll; int dx[]={1,0,-1,0},dy[]={0,1,0,-1}; // ll gcd(ll a,ll b){return b?gcd(b,a%b):a;} template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;} template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return true;}return false;} struct IOSetup{ IOSetup(){ cin.tie(0); ios::sync_with_stdio(0); cout<<fixed<<setprecision(12); } } iosetup; template<typename T> ostream &operator<<(ostream &os,const vector<T>&v){ for(int i=0;i<(int)v.size();i++) os<<v[i]<<(i+1==(int)v.size()?"":" "); return os; } template<typename T> istream &operator>>(istream &is,vector<T>&v){ for(T &x:v)is>>x; return is; } template<ll Mod> struct ModInt{ long long x; ModInt():x(0){} ModInt(long long y):x(y>=0?y%Mod:(Mod-(-y)%Mod)%Mod){} ModInt &operator+=(const ModInt &p){ if((x+=p.x)>=Mod) x-=Mod; return *this; } ModInt &operator-=(const ModInt &p){ if((x+=Mod-p.x)>=Mod)x-=Mod; return *this; } ModInt &operator*=(const ModInt &p){ x=(int)(1ll*x*p.x%Mod); return *this; } ModInt &operator/=(const ModInt &p){ (*this)*=p.inverse(); return *this; } ModInt operator-()const{return ModInt(-x);} ModInt operator+(const ModInt &p)const{return ModInt(*this)+=p;} ModInt operator-(const ModInt &p)const{return ModInt(*this)-=p;} ModInt operator*(const ModInt &p)const{return ModInt(*this)*=p;} ModInt operator/(const ModInt &p)const{return ModInt(*this)/=p;} bool operator==(const ModInt &p)const{return x==p.x;} bool operator!=(const ModInt &p)const{return x!=p.x;} ModInt inverse()const{ int a=x,b=Mod,u=1,v=0,t; while(b>0){ t=a/b; swap(a-=t*b,b);swap(u-=t*v,v); } return ModInt(u); } ModInt pow(long long n)const{ ModInt ret(1),mul(x); while(n>0){ if(n&1) ret*=mul; mul*=mul;n>>=1; } return ret; } friend ostream &operator<<(ostream &os,const ModInt &p){return os<<p.x;} friend istream &operator>>(istream &is,ModInt &a){long long t;is>>t;a=ModInt<Mod>(t);return (is);} static int get_mod(){return Mod;} }; using mint=ModInt<998244353>; signed main(){ int N,K;cin>>N>>K; vector<int> A(N); cin>>A; sort(ALL(A)); { auto B=A; B.erase(unique(ALL(B)),end(B)); for(auto &x:A) x=lower_bound(ALL(B),x)-begin(B); } // // 要素がuniqueなら解けるんだよなぁ... // vector<vector<mint>> dp(N+1,vector<mint>(K+1,0)); // dp[0][0]=1; // rep(i,N){ // vector<mint> S(K+2,0); // rep(j,K+1) S[j+1]=S[j]+dp[i][j]; // rep(j,K+1) dp[i+1][j]=S[j+1]-S[max(0,j-i)]; // } // cout<<dp[N][K]<<endl; // naive vector<vector<mint>> dp(K+1,vector<mint>(1,0)); dp[0][0]=1; rep(i,N){ vector<vector<mint>> ndp(K+1,vector<mint>(i+2,0)); // i個すでに置いてる rep(j,K+1)rep(k,(int)dp[0].size()){ for(int pos=0;pos<=i;pos++){ if(j+i-pos<=K){ if(pos<=k){ if(i==0 or A[i]!=A[i-1]) ndp[j+i-pos][pos]+=dp[j][k]; } else ndp[j+i-pos][pos]+=dp[j][k]; } } } dp=move(ndp); } mint res=0; rep(i,N) res+=dp[K][i]; cout<<res<<endl; return 0; }