結果
問題 |
No.3117 Reversible Tile
|
ユーザー |
|
提出日時 | 2025-04-20 17:00:36 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 219 ms / 3,000 ms |
コード長 | 1,043 bytes |
コンパイル時間 | 8,007 ms |
コンパイル使用メモリ | 356,176 KB |
実行使用メモリ | 101,536 KB |
最終ジャッジ日時 | 2025-04-20 17:00:49 |
合計ジャッジ時間 | 12,957 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 24 |
ソースコード
#pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include<bits/stdc++.h> #include<atcoder/all> using namespace std; using namespace atcoder; using ll=long long; using mint=modint998244353; const ll inf=(1e9+7)*(1e9+7); int dx[4]={1,0,0,-1},dy[4]={0,1,-1,0}; const int mod=998244353; using P=pair<ll,int>; mint dp[5001][5002],fact[5002]; int main(){ int n,m; cin>>n>>m; vector<int>a(n); for(int i=0;i<n;i++) cin>>a[i]; int cnt=a[0]+a[n-1]; for(int i=1;i<n;i++) if(a[i]!=a[i-1]) cnt++; fact[0]=1; for(int i=1;i<=n+1;i++) fact[i]=fact[i-1]*i; mint comb=fact[n+1]/(fact[cnt]*fact[n+1-cnt]); int memo1[5002],memo2[5002],memo3[5003]; for(int j=0;j<=n+1;j+=2){ if(j>=2) memo1[j]=j*(j-1)/2; memo2[j]=j*(n+1-j); if(j+2<=n+1) memo3[j]=(n+1-j)*(n+1-j-1)/2; } dp[0][0]=1; for(int i=0;i<m;i++){ for(int j=0;j<=n+1;j+=2){ if(j>=2) dp[i+1][j-2]+=dp[i][j]*memo1[j]; dp[i+1][j]+=dp[i][j]*memo2[j]; if(j+2<=n+1) dp[i+1][j+2]+=dp[i][j]*memo3[j]; } } cout<<(dp[m][cnt]/comb).val()<<endl; }