标签：数字 DP 构成 Codeforces 三元组 dp 我们 1110D 每个

题意：你有n个数字，范围[1, m]，你可以选择其中的三个数字构成一个三元组，但是这三个数字必须是连续的或者相同的，每个数字只能用一次，问这n个数字最多构成多少个三元组?

解析：首先我们容易发现，我们发现，假设有3个三元组（x, x + 1, x + 2),我们不妨把这3个三元组换成(x, x, x), (x + 1, x + 1, x + 1), (x + 2, x + 2, x + 2)这3个三元组。那么，对于每个x，最多有2个(x, x + 1, x + 2)这样的三元组。这样，每个阶段的状态数就是有限的了。

设dp[i][j][k]为数字1到i，有j个(i - 1, i , i  + 1)三元组，k个(i , i + 1, i + 2)三元组可以组成的最多的三元组的数目，我们现在考虑向i + 1转移。因为前面有j个(i - 1, i , i  + 1)，k个(i , i + 1, i + 2)，假设本来有t个i + 1,那么现在可用来构成新的三元组的i + 1有t - j - k个。

这t - j - k个i + 1可以用来构成(i + 1, i + 2, i + 3)，也可用来构成(i + 1, i + 1, i + 1)。我们就可以枚举这些i + 1是形成什么样的三元组来进行状态转移了。初态：dp[0][0][0] = 0，其余负无穷。末态：dp[m + 1][0][0]。因为m + 1肯定没有数，所以dp[m + 1][0][0]是m + 1处的唯一合法状态，也就是答案。

代码：

#include <bits/stdc++.h>
#define ls(x) (x << 1)
#define rs(x) ((x << 1) | 1)
#define lowbit(x) (x & (-x))
#define LL long long
#define INF 0x3f3f3f3f
using namespace std;
const int maxn = 1000010;
int a[maxn], cnt[maxn];
int dp[maxn][3][3];
int main () {
	int n, m;
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= n; i++) {
		scanf("%d", &a[i]);
		cnt[a[i]]++;
	}
	memset(dp, -0x3f, sizeof(dp));
	dp[0][0][0] = 0;
	for (int i = 0; i <= m + 1; i++) {
		for (int j = 0; j < 3; j++)
			for (int k = 0; k < 3; k++) {
				if(dp[i][j][k] < 0) continue;
				int now = cnt[i + 1] - j - k;
				for (int t = 0; t < 3 && t <= now; t++) {
					dp[i + 1][k][t] = max(dp[i + 1][k][t], dp[i][j][k] + (now - t) / 3 + t);
				}
			}
	}
	printf("%d\n", dp[m + 1][0][0]);
	return 0;
}

标签：数字,DP,构成,Codeforces,三元组,dp,我们,1110D,每个
来源： https://www.cnblogs.com/pkgunboat/p/10356117.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。