結果

問題 No.1693 Invasion
ユーザー kabipoyokabipoyo
提出日時 2021-12-24 17:43:08
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 275 ms / 2,000 ms
コード長 2,173 bytes
コンパイル時間 4,592 ms
コンパイル使用メモリ 276,028 KB
実行使用メモリ 128,676 KB
最終ジャッジ日時 2024-09-19 16:27:38
合計ジャッジ時間 7,323 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 3 ms
6,940 KB
testcase_07 AC 2 ms
6,944 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 171 ms
85,580 KB
testcase_10 AC 89 ms
42,368 KB
testcase_11 AC 34 ms
16,640 KB
testcase_12 AC 114 ms
50,860 KB
testcase_13 AC 44 ms
23,424 KB
testcase_14 AC 62 ms
32,512 KB
testcase_15 AC 34 ms
21,376 KB
testcase_16 AC 88 ms
44,544 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 256 ms
120,804 KB
testcase_19 AC 9 ms
8,448 KB
testcase_20 AC 2 ms
6,940 KB
testcase_21 AC 255 ms
124,536 KB
testcase_22 AC 232 ms
105,040 KB
testcase_23 AC 275 ms
128,676 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
typedef int64_t lint;
#define rep(i, n) for(int i=0; i<n; i++)
#define repx(i, l, n) for(int i=l; i<n; i++)
#define all(v) v.begin(), v.end()
#define show(x) cout << #x << ": " << x << endl;
#define list(x) cout << #x << ": " << x << "  ";
#define pb push_back
using vi = vector<lint>;
using vvi = vector<vector<lint>>;
template<class T> inline void vin(vector<T>& v) { rep(i, v.size()) cin >> v.at(i); }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }
template<class T> inline void drop(T x) { cout << x << endl; exit(0); }
template<class T> void vout(vector<T> v) { rep(i, v.size()) { cout << v.at(i) << ' '; } cout << endl; }
constexpr lint LINF = LLONG_MAX/2;
#define mp make_pair
using pint = pair<lint, lint>;
using mint = modint998244353;
using vm = vector<mint>;
struct combination {
	vector<mint> fact, ifact;
	combination(int n):fact(n+1),ifact(n+1) {
		assert(n < mint::mod());
		fact[0] = 1;
		for (int i = 1; i <= n; ++i) fact[i] = fact[i-1]*i;
		ifact[n] = fact[n].inv();
		for (int i = n; i >= 1; --i) ifact[i-1] = ifact[i]*i;
	}
	mint operator()(int n, int k) {
		if (k < 0 || k > n) return 0;
		return fact[n]*ifact[k]*ifact[n-k];
	}
};

vector<vector<pair<lint, lint>>> G;
void dijkstra(int start, vector<lint> &dist) {
	lint a=0, b=0, x, y, N = G.size();
	dist.resize(N, LINF); dist[start] = 0;
	priority_queue<pint, vector<pint>, greater<pint>> PQ;
	PQ.push(make_pair(0, start));
	while (!PQ.empty()) {
		tie(x, a) = PQ.top(); PQ.pop();
		if (dist[a] < x) continue;
		for (auto p : G[a]) {
			tie(y, b) = p;
			if (chmin(dist[b], x+y)) PQ.push(make_pair(x+y, b));
		}
	}
}

int main() {
	lint N, M;
	cin >> N >> M;
	vi v(N);
	vin(v);

	mint a=1, b=0, c=0;
	lint x, y, z;
	G.resize(M+1);
	rep(i, N) {
		rep(j, M) {
			if (j + v[i] <= M) G[j].pb({1, j+v[i]});
		}
	}
	vi w;
	dijkstra(0, w);
	combination C(M+1);
	repx(i, 1, M+1) {
		if (w[i] == LINF) continue;
		a += C(M-w[i], i-w[i]);
	}
	std::cout << a.val() << '\n';
}
0