結果
問題 | No.137 貯金箱の焦り |
ユーザー |
![]() |
提出日時 | 2021-10-28 06:41:00 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 4,432 ms / 5,000 ms |
コード長 | 1,547 bytes |
コンパイル時間 | 4,916 ms |
コンパイル使用メモリ | 254,360 KB |
最終ジャッジ日時 | 2025-01-25 07:58:49 |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 23 |
ソースコード
#include <stdio.h> #include <bits/stdc++.h> #include <atcoder/all> using namespace atcoder; using mint = modint; using namespace std; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf 1000000000000000000 template <class T> vector<T> convolution_mint(vector<T> a,vector<T> b){ vector<long long> a1(a.size()),a2(a.size()),b1(b.size()),b2(b.size()); rep(i,a.size()){ a1[i] = a[i].val()>>15; a2[i] = a[i].val()&((1<<15)-1); } rep(i,b.size()){ b1[i] = b[i].val()>>15; b2[i] = b[i].val()&((1<<15)-1); } vector<long long> A = convolution_ll(a1,b1), C = convolution_ll(a2,b2); rep(i,a1.size())a1[i] += a2[i]; rep(i,b1.size())b1[i] += b2[i]; vector<long long> B = convolution_ll(a1,b1); rep(i,B.size()){ B[i] -= A[i] + C[i]; } vector<T> ret(A.size(),0); rep(i,A.size()){ ret[i] += (long long)T(A[i]).val()<<30; ret[i] += (long long)T(B[i]).val()<<15; ret[i] += T(C[i]).val(); } return ret; } int main(){ mint::set_mod(1234567891); int n; cin>>n; long long m; cin>>m; vector<int> a(n); rep(i,n)cin>>a[i]; vector<mint> dp(25005,0); dp[0] = 1; rep(i,n){ vector<mint> ndp(25005,0); rep(j,dp.size()){ if(dp[j]==0)continue; ndp[j] += dp[j]; ndp[j+a[i]] += dp[j]; } swap(dp,ndp); } vector<mint> ddp(25005,0); ddp[0] = 1; while(m!=0){ vector<mint> ndp = convolution_mint(dp,ddp); vector<mint> temp(25005,0); rep(i,ndp.size()){ if(i%2!=m%2)continue; temp[i>>1] = ndp[i]; } swap(temp,ddp); m>>=1; } cout<<ddp[0].val()<<endl; return 0; }