結果

問題 No.2839 AND Constraint
ユーザー 沙耶花沙耶花
提出日時 2024-08-09 23:19:28
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 601 ms / 2,000 ms
コード長 794 bytes
コンパイル時間 3,999 ms
コンパイル使用メモリ 267,680 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-08-09 23:19:36
合計ジャッジ時間 7,054 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 210 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 595 ms
6,944 KB
testcase_07 AC 601 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 7 ms
6,944 KB
testcase_10 AC 30 ms
6,940 KB
testcase_11 AC 93 ms
6,944 KB
testcase_12 AC 216 ms
6,944 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 97 ms
6,940 KB
testcase_15 AC 46 ms
6,944 KB
testcase_16 AC 225 ms
6,944 KB
testcase_17 AC 60 ms
6,944 KB
testcase_18 AC 2 ms
6,940 KB
testcase_19 AC 26 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000001


int main(){
	
	int n,m;
	cin>>n>>m;
	
	vector dp(m+1,vector<mint>(2,0));
	dp[0][0] = 1;
	dp[1][1] = 1;
	rep(i,n-1){
		{
			vector ndp(m+1,vector<mint>(2,0));
			rep(j,m+1){
				if(j<m){
					ndp[j+1][1] += dp[j][0] + dp[j][1];
				}
				ndp[j][0] += dp[j][0];
			}
			vector tdp(m+1,vector<mint>(2,0));
			rep(j,m+1){
				rep(k,2){
					rep(l,m+1){
						if(j+l>m)break;
						rep(ll,2){
							tdp[j+l][ll|k] += dp[j][k]*ndp[l][ll];
						}
					}
				}
			}
			swap(dp,tdp);
		}	
	}
	cout<<(dp[m][0] + dp[m][1]).val()<<endl;
    return 0;
}
0