結果
| 問題 | 
                            No.2670 Sum of Products of Interval Lengths
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2024-03-08 23:35:56 | 
| 言語 | C++14  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 50 ms / 2,000 ms | 
| コード長 | 772 bytes | 
| コンパイル時間 | 842 ms | 
| コンパイル使用メモリ | 75,420 KB | 
| 実行使用メモリ | 13,696 KB | 
| 最終ジャッジ日時 | 2024-09-29 20:49:12 | 
| 合計ジャッジ時間 | 1,804 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 17 | 
ソースコード
#include<iostream>
#include<cassert>
#include<atcoder/modint>
#include<atcoder/fenwicktree>
using namespace std;
using mint=atcoder::modint998244353;
int N;
long M;
mint dp[2<<17];
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>M;
	atcoder::fenwick_tree<mint>BIT[6][2];
	for(int i=0;i<6;i++)for(int j=0;j<2;j++)
	{
		BIT[i][j]=atcoder::fenwick_tree<mint>(N+1);
	}
	dp[0]=1;
	auto st=[&](int i){
		BIT[i%6][0].add(i,dp[i]);
		BIT[i%6][1].add(i,dp[i]*i);
	};
	st(0);
	for(int i=1;i<=N;i++)
	{
		dp[i]=0;
		int li=max(0L,i-M);
		for(int v=0;v<6&&v<=i;v++)if(v%3!=0)
		{
			int j=(i-v)%6;
			mint t0=BIT[j][0].sum(li,i);
			mint t1=BIT[j][1].sum(li,i);
			mint t=(M-i+1)*t0+t1;
			if(v>=3)t=-t;
			dp[i]+=t;
		}
		st(i);
	}
	cout<<dp[N].val()<<endl;
}