[Luogu P3277] [BZOJ 2335] [SCOI2011]飞镖

洛谷传送门

BZOJ传送门

题目描述

飞镖是在欧洲颇为流行的一项运动。它的镖盘上分为$20$个扇形区域，分别标有$1$到$20$的分值，每个区域中有单倍、双倍和三倍的区域，打中对应的区域会得到分值乘以倍数所对应的分数。

例如打中$18$分里面的三倍区域，就会得到$54$分。

另外，在镖盘的中央，还有”小红心“和”大红心“，分别是$25$分和$50$分。

通常的飞镖规则还有一条，那就是在最后一镖的时候，必须以双倍结束战斗，才算获胜。也就是说，当还剩12分的时候，必须打中双倍的$6$才算赢，而打中单倍的$12$或者三倍的$4$则不算。

特别的，”大红心“也算双倍(双倍的$25$)。在这样的规则下，$3$镖能解决的最多分数是$170$分(两个三倍的$20$，最后用大红心结束)。

现在，lxhgww把原来的$1$到$20$分的分值变为了$1$到$K$分，同时把小红心的分数变为了$M$分(大红心是其双倍)，现在lxhgww想知道能否在$3$镖内（可以不一定用满$3$镖）解决$X$分。同样的，最后一镖必须是双倍（包括大红心）。

输入输出格式

输入格式：

输入的第一行是一个整数$T$，包括了$T$组数据。

第二行是$5$个整数，$A_1,B_1,C_1,D_1,K_1$，表示第一组数据的镖盘是从$1$到$K_1$分的，随后数据的镖盘由公式$K_i=(A_1{K}_{i-1}^2+B_1{K}_{i-1}+C_1)mod{D}_1+20$决定，其中第$i(1<i\le T)$组数据的镖盘是从$1$到$K_i$分的。

第三行是$5$个整数，$A_2,B_2,C_2,D_2,M_1$，表示第一组数据的小红心$M_1$分的，随后数据的镖盘由公式$M_i=(A_2{M}_{i-1}^2+B_2{M}_{i-1}+C_2)mod{D}_2+20$决定，其中第$i(1<i\le T)$组数据的小红心是$M_i$分。

第四行是$5$个整数，$A_3,B_3,C_3,D_3,X_1$，表示第一组数据需要解决的分数是$X_1$分的，随后数据的镖盘由公式$X_i=(A_3{X}_{i-1}^2+B_3{X}_{i-1}+C_3)mod{D}_3+20$决定，其中第$i(1<i\le T)$组数据需要解决的分数是$X_i$分。

输出格式：

一行，包括一个数字，表示这$T$组数据中，能够被解决的数据数目。

输入输出样例

输入样例#1：

5
1 2 2 10 20
1 3 2 15 25
2 2 5 200 170

输出样例#1：

4

说明

对于30%的数据，保证$1\le T\le 20,20\le K_1,M_1,X_1,D_1,D_2,D_3\le 1000$

对于100%的数据，保证$1\le T\le 10^6,20\le K_1,M_1,X_1,D_1,D_2,D_3\le 10^9$

对于所有的数据，保证$0\le A_1,B_1,A_2,B_2,C_2,A_3,B_3,C_3\le 10^9$

解题分析

恶心的特判题。

首先有一个结论：在$5K$之内除了$1$和$5K-1$都可以用$2a+3b$这种形式凑出来， 证明倒着来凑， 发现是每$5$个一个循环就行了。

设$M$表示小红心， $i$表示其他位置的$1\sim 3$倍区域。

先考虑没有红心的情况：

1. i
2. i,i
3. i,i,i

前两个比较好判， 最后那个由于$K>20$， 如果$X<2K$显然是有解的， $X>2K$的情况先搞一个$2K$出来， 剩下的尝试用$2a+3b$或$3a+3b$的形式凑就好了。

然后是有红心的情况：

4. M,i,i

5. 2M,i,i

6. M,M,i

7. 2M,M,i

8. 2M,2M,i

9. i,i,2M

10. i,M,2M

11. i,2M,2M

12. M,M,2M

13. M,2M,2M

14. 2M,2M,2M

15. M,i

16. M,2M

17. i,2M

18. 2M

这么直接讨论太麻烦了， 分成几类：

第一类： 4， 5

第二类： 6 ， 7， 8， 15

第三类： 9

第四类： 10， 11， 17

第五类： 12， 13， 14， 16， 17

然后大力判就好了…

代码如下：

#include <cstdio>
#include <cstring>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <algorithm>
#define R register
#define IN inline
#define W while
#define gc getchar()
#define ll long long
ll K, M, X, A[3], B[3], C[3], D[3];
int T, ans;
IN bool c1(R ll val)
{
	if (val <= 1 || val == 5 * K - 1) return false;
	if (val > 5 * K) return false;
	return true;
}
IN bool c2(R ll val)
{
	if (val <= 0 || val > 2 * K) return false;
	return val % 2 == 0;
}
IN bool c3(R ll val)
{
	if (val <= 0 || val > 6 * K) return false;
	if (val > 5 * K) return val % 3 == 0;
	if (val % 3 == 0) return true;
	return val != 1 && val != 5 * K - 1;
}
IN bool c4(R ll val)
{
	if (val <= 0 || val > 3 * K) return false;
	if (val % 3 == 0) return true;
	if (val <= 2 * K && val % 2 == 0) return true;
	if (val <= K) return true;
	return false;
}
IN bool mul() {return (X == 2 * M) || (X == 3 * M) || (X == 4 * M) || (X == 5 * M) || (X == 6 * M);}
IN bool spj()
{
	if (X <= 5 * K && X != 1 && X != 5 * K - 1) return true;
	ll del = X - 2 * K;
	if (del <= 5 * K && del != 5 * K - 1) return true;
	else
	{
		W (del % 3) del += 2;
		if (del > 6 * K) return false;
		return true;
	}
}
int main(void)
{
	scanf("%d", &T);
	scanf("%lld%lld%lld%lld%lld", &A[0], &B[0], &C[0], &D[0], &K);
	scanf("%lld%lld%lld%lld%lld", &A[1], &B[1], &C[1], &D[1], &M);
	scanf("%lld%lld%lld%lld%lld", &A[2], &B[2], &C[2], &D[2], &X);
	W (T--)
	{
		if (spj()) ++ans;
		else if (c1(X - M) || c1(X - 2 * M)) ++ans;
		else if (c2(X - M) || c2(X - 2 * M) || c2(X - 3 * M) || c2(X - 4 * M)) ++ans;
		else if (c3(X - 2 * M)) ++ans;
		else if (c4(X - 2 * M) || c4(X - 3 * M) || c4(X - 4 * M)) ++ans;
		else if (mul()) ++ans;
		K = (A[0] * K % D[0] * K % D[0] + B[0] * K % D[0] + C[0]) % D[0] + 20;
		M = (A[1] * M % D[1] * M % D[1] + B[1] * M % D[1] + C[1]) % D[1] + 20;
		X = (A[2] * X % D[2] * X % D[2] + B[2] * X % D[2] + C[2]) % D[2] + 20;
	}
	printf("%d\n", ans);
}