結果

問題 No.2058 Binary String
ユーザー 沙耶花
提出日時 2022-08-26 22:22:58
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 2,032 bytes
コンパイル時間 7,349 ms
コンパイル使用メモリ 267,616 KB
最終ジャッジ日時 2025-01-31 05:07:27
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 6 TLE * 17
権限があれば一括ダウンロードができます

ソースコード

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 4000000000000000001

struct combi{
	deque<mint> kaijou;
	deque<mint> kaijou_;
	
	combi(int n){
		kaijou.push_back(1);
		for(int i=1;i<=n;i++){
			kaijou.push_back(kaijou[i-1]*i);
		}
		
		mint b=kaijou[n].inv();
		
		kaijou_.push_front(b);
		for(int i=1;i<=n;i++){
			int k=n+1-i;
			kaijou_.push_front(kaijou_[0]*k);
		}
	}
	
	mint combination(int n,int r){
		if(r>n)return 0;
		mint a = kaijou[n]*kaijou_[r];
		a *= kaijou_[n-r];
		return a;
	}
	
	mint junretsu(int a,int b){
		mint x = kaijou_[a]*kaijou_[b];
		x *= kaijou[a+b];
		return x;
	}
	
	mint catalan(int n){
		return combination(2*n,n)/(n+1);
	}
	
};
int N,K;
array<array<vector<mint>,2>,2> merge(array<array<vector<mint>,2>,2> a,array<array<vector<mint>,2>,2> b){
	
	array<array<vector<mint>,2>,2> ret;
	rep(i,2){
		rep(j,2){
			ret[i][j] = vector<mint>(K+1,0);
		}
	}
	//cout<<ret[0][0].size()<<endl;
	rep(i,2){
		rep(j,2){
			rep(k,2){
				auto t = convolution(a[i][j],b[j][k]);
				rep(l,min(K+1,(int)t.size()))ret[i][k][l] += t[l];
			}
		}
	}
	return ret;
}

int main() {
	
	combi C(300000);
	
	//int N,K;
	cin>>N>>K;
	
	array<array<vector<mint>,2>,2> dp;
	dp[0][0] = vector<mint>(K+1,0);
	dp[0][0][0] = 1;
	dp[0][1] = dp[0][0];
	{
		vector<mint> t(K+1);
		for(int i=0;i<=K;i++){
			t[i] = C.kaijou_[i];
		}
		dp[1][0] = t;
		dp[1][1] = t;
	}
			
	array<array<vector<mint>,2>,2> cur;
	rep(i,2){
		rep(j,2)cur[i][j] = vector<mint>(K+1,0);
	}
	cur[0][0][0] = 1;
	
	rep(i,18){
		if((N>>i)&1){
			cur = merge(cur,dp);
		}
		dp = merge(dp,dp);
	}
	/*
	rep(i,2){
		rep(j,2){
			rep(k,cur[i][j].size())cout<<cur[i][j][k].val()<<',';
			cout<<endl;
		}
	}
	*/
	mint ans = 0;
	rep(i,2){
		rep(j,2){
			if(i!=0||j!=0)continue;
			if(cur[i][j].size()>K)ans += cur[i][j][K];
		}
	}
	rep(i,K)ans *= i+1;
	
	cout<<ans.val()<<endl;
	
    return 0;
}
0