結果

問題 No.1181 Product Sum for All Subsets
ユーザー leaf_1415
提出日時 2020-08-21 22:02:05
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 101 ms / 2,000 ms
コード長 1,694 bytes
コンパイル時間 609 ms
コンパイル使用メモリ 80,328 KB
実行使用メモリ 6,784 KB
最終ジャッジ日時 2024-10-15 05:39:01
合計ジャッジ時間 2,633 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstdlib>
#include <cassert>
#include <vector>
#include <list>
#include <stack>
#include <queue>
#include <deque>
#include <map>
#include <set>
#include <bitset>
#include <string>
#include <algorithm>
#include <utility>
#define llint long long
#define inf 1e18
#define rep(x, s, t) for(llint (x) = (s); (x) < (t); (x)++)
#define Rep(x, s, t) for(llint (x) = (s); (x) <= (t); (x)++)
#define chmin(x, y) (x) = min((x), (y))
#define chmax(x, y) (x) = max((x), (y))
#define mod 1000000007

using namespace std;
typedef pair<llint, llint> P;

const int FACT_MAX = 200005;
llint fact[FACT_MAX], fact_inv[FACT_MAX];

llint modpow(llint a, llint n)
{
	if(n == 0) return 1;
	if(n % 2){
		return ((a%mod) * (modpow(a, n-1)%mod)) % mod;
	}
	else{
		return modpow((a*a)%mod, n/2) % mod;
	}
}

void make_fact()
{
	llint val = 1;
	fact[0] = 1;
	for(int i = 1; i < FACT_MAX; i++){
		val *= i;
		val %= mod;
		fact[i] = val;
	}
	fact_inv[FACT_MAX-1] = modpow(fact[FACT_MAX-1], mod-2);
	for(int i = FACT_MAX-2; i >= 0; i--){
		fact_inv[i] = fact_inv[i+1] * (i+1) % mod;
	}
}

llint comb(llint n, llint k)
{
	llint ret = 1;
	ret *= fact[n];
	ret *= fact_inv[k], ret %= mod;
	ret *= fact_inv[n-k], ret %= mod;
	return ret;
}

llint n, k;

int main(void)
{
	//ios::sync_with_stdio(0);
	//cin.tie(0);
	make_fact();

	cin >> n >> k;
	k %= mod;
	
	llint ans = 0;
	for(int i = 1; i <= n; i++){
		llint x = k * (k+1) / 2 % mod;
		ans += modpow(x, i) * modpow(k, n-i) % mod * comb(n, i) % mod;
		ans %= mod;
	}
	ans += modpow(k, n), ans %= mod;
	ans += mod - modpow(k * (k+1) / 2 % mod, n), ans %= mod;
	cout << ans << endl;
	
	return 0;
}
0