結果

問題 No.997 Jumping Kangaroo
コンテスト
ユーザー QCFium
提出日時 2020-02-21 22:31:14
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 3,500 bytes
コンパイル時間 1,914 ms
コンパイル使用メモリ 170,340 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-08 21:59:30
合計ジャッジ時間 2,926 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}
int64_t rs64() {
	int64_t n;
	scanf("%" SCNd64, &n);
	return n;
}
#define MOD 1000000007

template<int mod>
struct ModInt{
	int x;
	ModInt():x(0){}
	ModInt(long long y):x(y>=0?y%mod:(mod-(-y)%mod)%mod){}
	ModInt &operator+=(const ModInt &p){
		if((x+=p.x)>=mod)x-=mod;
		return *this;
	}
	ModInt &operator-=(const ModInt &p){
		if((x+=mod-p.x)>=mod)x-=mod;
		return *this;
	}
	ModInt &operator*=(const ModInt &p){
		x=(int)(1LL*x*p.x%mod);
		return *this;
	}
	ModInt &operator/=(const ModInt &p){
		*this*=p.inverse();
		return *this;
	}
	ModInt &operator^=(long long p){
		ModInt res = 1;
		for (; p; p >>= 1) {
			if (p & 1) res *= *this;
			*this *= *this;
		}
		return *this = res;
	}
	ModInt operator-()const{return ModInt(-x);}
	ModInt operator+(const ModInt &p)const{return ModInt(*this)+=p;}
	ModInt operator-(const ModInt &p)const{return ModInt(*this)-=p;}
	ModInt operator*(const ModInt &p)const{return ModInt(*this)*=p;}
	ModInt operator/(const ModInt &p)const{return ModInt(*this)/=p;}
	ModInt operator^(long long p)const{return ModInt(*this)^=p;}
	bool operator==(const ModInt &p)const{return x==p.x;}
	bool operator!=(const ModInt &p)const{return x!=p.x;}
	explicit operator int() const { return x; }						   // added by QCFium
	ModInt operator=(const int p) {x = p; return ModInt(*this);} // added by QCFium
	ModInt inverse()const{
		int a=x,b=mod,u=1,v=0,t;
		while(b>0){
			t=a/b;
			a-=t*b;
			std::swap(a,b);
			u-=t*v;
			std::swap(u,v);
		}
		return ModInt(u);
	}
	friend std::ostream &operator<<(std::ostream &os,const ModInt<mod> &p){
		return os<<p.x;
	}
	friend std::istream &operator>>(std::istream &is,ModInt<mod> &a){
		long long x;
		is>>x;
		a=ModInt<mod>(x);
		return (is);
	}
};
typedef ModInt<MOD> mint;

struct MComb {
	std::vector<mint> fact;
	std::vector<mint> inversed;
	MComb(int n) { // O(n+log(mod))
		fact = std::vector<mint>(n+1,1);
		for (int i = 1; i <= n; i++) fact[i] = fact[i-1]*mint(i);
		inversed = std::vector<mint>(n+1);
		inversed[n] = fact[n] ^ (MOD-2);
		for (int i = n - 1; i >= 0; i--) inversed[i]=inversed[i+1]*mint(i+1);
	}
	mint ncr(int n, int r) {
		return (fact[n] * inversed[r] * inversed[n-r]);
	}
	mint npr(int n, int r) {
		return (fact[n] * inversed[n-r]);
	}
	mint nhr(int n, int r) {
		assert(n+r-1 < (int)fact.size());
		return ncr(n+r-1, r);
	}
};

int main() {
	int n = ri(), w = ri();
	int64_t k;
	std::cin >> k;
	int a[n];
	for (auto &i : a) i = ri();
	mint r1, r2;
	{
		mint dp[w + 1];
		dp[0] = 1;
		for (int i = 0; i < w; i++)
			for (int j = 0; j < n; j++) if (i + a[j] <= w) dp[i + a[j]] += dp[i];
		r1 = dp[w];
	}{
		mint dp[2 * w + 1];
		dp[0] = 1;
		for (int i = 0; i < 2 * w; i++) {
			if (i == w) continue;
			for (int j = 0; j < n; j++) if (i + a[j] <= 2 * w) dp[i + a[j]] += dp[i];
		}
		r2 = dp[2 * w];
	}
	mint mat[2][2] = {{0, r2}, {1, r1}};
	mint cur[2] = {1, r1};
	for (; k; k >>= 1) {
		if (k & 1) {
			mint next[2];
			for (int i = 0; i < 2; i++) for (int j = 0; j < 2; j++) next[j] += cur[i] * mat[i][j];
			cur[0] = next[0];
			cur[1] = next[1];
		}
		mint next[2][2] = {
			{mat[0][0] * mat[0][0] + mat[0][1] * mat[1][0], mat[0][0] * mat[0][1] + mat[0][1] * mat[1][1]},
			{mat[1][0] * mat[0][0] + mat[1][1] * mat[1][0], mat[1][0] * mat[0][1] + mat[1][1] * mat[1][1]},
		};
		mat[0][0] = next[0][0];
		mat[0][1] = next[0][1];
		mat[1][0] = next[1][0];
		mat[1][1] = next[1][1];
	}
	std::cout << cur[0] << std::endl;
	return 0;
}
0