arc061 F - Card Game for Three

F - Card Game for Three

显然要出现n张a在m + 1张b、k + 1张c之前,使得Alice获胜,游戏结束。

考虑枚举b和c一共出现i次,以及把这i次插入a中(得在最后1个a之前),之后剩余牌即可任选的方案数,为C(n + i - 1, i) * 3 ^ (m + k - i)

再考虑这i次中b和c分别出现几次,此时限制为b小于等于m次,c小于等于k次。发现这个东西是可以随着i增大O(1)维护的,不妨记这个东西为t,则(i - 1) -> i,t = t * 2 - C(i - 1, m) - C(i - 1, k)

 #include<bits/stdc++.h>
#define pii pair<int,int>
#define fi first
#define sc second
#define pb push_back
#define ll long long
#define trav(v,x) for(auto v:x)
#define all(x) (x).begin(), (x).end()
#define VI vector<int>
#define VLL vector<ll>
#define pll pair<ll, ll>
#define double long double
//#define int long long
using namespace std;
const int N = 1e6 + 100;
const int inf = 1e9;
//const ll inf = 1e18;
const ll mod = 1e9 + 7;

#ifdef LOCAL
void debug_out(){cerr << endl;}
template<typename Head, typename... Tail>
void debug_out(Head H, Tail... T)
{
	cerr << " " << to_string(H);
	debug_out(T...);
}
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif

void sol()
{
	int n, m, k;
	cin >> n >> m >> k;
	VLL fac(N + 1);
	fac[0] = 1;
	for(int i = 1; i <= N; i++)
		fac[i] = fac[i - 1] * i % mod;
	VLL ifac(N);
	auto qpow = [&](ll x, ll y = mod - 2)
	{
		ll res = 1;
		while(y)
		{
			if(y & 1)
				res = res * x % mod;
			x = x * x % mod;
			y >>= 1;
		}
		return res;
	};
	ifac[N] = qpow(fac[N]);
	for(int i = N - 1; i >= 0; i--)
		ifac[i] = ifac[i + 1] * (i + 1) % mod;
	auto C = [&](ll x, ll y)
	{
		if(y < 0)
			return 0LL;
		if(x < y)
			return 0LL;
		return fac[x] * ifac[y] % mod * ifac[x - y] % mod;
	};
	VLL pw(N + 1);
	pw[0] = 1;
	for(int i = 1; i <= N; i++)
		pw[i] = pw[i - 1] * 3 % mod;
	ll ans = 0, t;
	for(int i = 0; i <= m + k; i++)
	{
		ll nw = C(n + i - 1, i) * pw[m + k - i] % mod;
		if(i == 0)
		{
			t = 1;
		}
		else
		{
			t = t * 2 % mod;
			if((i - 1) >= m)
				t = (t + mod - C(i - 1, m)) % mod;
			if((i - 1) >= k)
				t = (t + mod - C(i - 1, i - 1 - k)) % mod;
		}
		//cerr << i << ' ' << s << ' ' << t << '\n';
		ans = (ans + nw * t) % mod;
	}
	cout << ans << '\n';
}

signed main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
//	int tt;
//	cin >> tt;
//	while(tt--)
		sol();
}

  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
ARC069 F 题目传送门:https://atcoder.jp/contests/arc069/tasks/arc069_d 题目描述: 给定两个长度为 $n$ 的字符串 $s$ 和 $t$,每个字符都是小写字母。你需要找到一个长度为 $n$ 的字符串 $u$,满足: - 对于所有 $i \in [1,n]$,都有 $u_i \in \{s_i,t_i\}$。 - 对于所有 $i \in [1,n-1]$,都有 $u_i \neq u_{i+1}$。 - 对于所有 $i \in [1,n-2]$,都有 $u_i \neq u_{i+2}$。 求满足条件的字符串 $u$ 的个数,对 $10^9+7$ 取模。 解题思路: 这是一道比较经典的字符串构造问题,可以用 dp 或者数学方法来解决。 方法一:dp 我们可以使用 dp 来解决这个问题。设 $f_{i,j,k}$ 表示构造了前 $i$ 个字符,第 $i$ 个字符为 $j$,且第 $i-1$ 个字符为 $k$ 的方案数。其中,$j \in \{s_i,t_i\}$,$k \in \{s_{i-1},t_{i-1}\}$。 状态转移方程如下: $$f_{i,j,k} = \sum\limits_{l \in \{s_{i-2},t_{i-2}\},l \neq j} f_{i-1,k,l}$$ 最终的答案为 $\sum\limits_{j \in \{s_n,t_n\}} \sum\limits_{k \in \{s_{n-1},t_{n-1}\}} f_{n,j,k}$。 时间复杂度为 $O(n)$。 方法二:数学 我们可以定义 $a_i$ 表示以 $s_i$ 结尾,且不存在相邻字符相等的字符串的方案数;$b_i$ 表示以 $s_i$ 结尾,且存在相邻字符相等的字符串的方案数;$c_i$ 表示以 $t_i$ 结尾,且不存在相邻字符相等的字符串的方案数;$d_i$ 表示以 $t_i$ 结尾,且存在相邻字符相等的字符串的方案数。 根据题目的限制条件,我们可以得到递推式: $$\begin{cases} a_{i+1} = 2(b_i+c_i+d_i) \\ b_{i+1} = a_i \\ c_{i+1} = 2(a_i+d_i) \\ d_{i+1} = b_i \end{cases}$$ 初始状态为 $a_1=1,b_1=0,c_1=1,d_1=1$。 最终的答案为 $a_n+c_n$。 时间复杂度为 $O(n)$。 代码实现:

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值