結果

問題 No.3041 非対称じゃんけん
ユーザー Tatsu_mr
提出日時 2025-03-01 17:56:53
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,908 ms / 2,200 ms
コード長 1,712 bytes
コンパイル時間 3,748 ms
コンパイル使用メモリ 279,300 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2025-03-01 17:57:09
合計ジャッジ時間 15,593 ms
ジャッジサーバーID
(参考情報)
judge4 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 1
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
using namespace std;
#define For(i, a, b) for(int i = (a); i < (b); i++)
#define rep(i, n) For(i, 0, n)
#define rFor(i, a, b) for(int i = (a); i >= (b); i--)
#define ALL(v) (v).begin(), (v).end()
#define rALL(v) (v).rbegin(), (v).rend()
using lint = long long;
using ld = long double;
int INF = 2000000000;
lint LINF = 1000000000000000000;
struct SetupIo {
SetupIo() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
cout << fixed << setprecision(15);
}
} setupio;
int main() {
int n, f;
cin >> n >> f;
vector<int> a(n), b(n), c(n);
rep(i, n) {
cin >> a[i];
}
rep(i, n) {
cin >> b[i];
}
rep(i, n) {
cin >> c[i];
}
using ulint = unsigned long long;
vector<ulint> mask(65, 0);
For(i, 1, 65) {
mask[i] = mask[i - 1] | (1ULL << (i - 1));
}
int siz = n * f / 64 + 1;
vector<ulint> dp(siz, 0), ndp(siz, 0);
dp[0] |= (1ULL << 63);
rep(i, n) {
ndp[0] = (dp[0] >> a[i]);
For(j, 1, siz) {
ndp[j] = (dp[j] >> a[i]);
ndp[j] |= ((dp[j - 1] & mask[a[i]]) << (64 - a[i]));
}
ndp[0] |= (dp[0] >> b[i]);
For(j, 1, siz) {
ndp[j] |= (dp[j] >> b[i]);
ndp[j] |= ((dp[j - 1] & mask[b[i]]) << (64 - b[i]));
}
ndp[0] |= (dp[0] >> c[i]);
For(j, 1, siz) {
ndp[j] |= (dp[j] >> c[i]);
ndp[j] |= ((dp[j - 1] & mask[c[i]]) << (64 - c[i]));
}
swap(dp, ndp);
int cnt = 0;
rep(j, siz) {
cnt += __popcount(dp[j]);
}
cout << cnt << "\n";
}
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0