Jongmah CodeForces - 1110D +DP

题意：给出n个不大于m的数字，如果三个数字连续或者相等，则可以组成三元组。求最多可以组成多少三元组
思路：三维dp[i][j][k]去搜 这里的dp[i][j][k]表示便利到i为止含有j个i-1,i,i+1序列,含有k个i,i+1,i+2序列 
这里函数中对于i计算的i-1,i,i+1序列，是假定i+1是存在的，另一个序列的i+1，i+2也都是假定存在的,这里的意思是假如i满足&i-1满足整个序列就先假定这个序列存在,所以输出的肯定是dp[m][0][0]因为没有后继数那都为零.
附加：为什么j,k,t只搜0~3? 原因：若大于了3，3*(i-1,i,i+1)就可以看成3个i-1，3个i，3个i+1
每次枚举序列长度都是从0开始,就可以先把他除到3以内  

/*
题意：给出n个不大于m的数字，如果三个数字连续或者相等，
则可以组成三元组。求最多可以组成多少三元组
思路：三维dp[i][j][k]去搜 这里的dp[i][j][k]表示便利到i为止含有j个i-1,i,i+1序列,含有k个i,i+1,i+2序列 
这里函数中对于i计算的i-1,i,i+1序列，是假定i+1是存在的，另一个序列的i+1，i+2也都是假定存在的
这里的意思是假如i满足&i-1满足整个序列就先假定这个序列存在.
所以输出的肯定是dp[m][0][0]因为没有后继数那都为零.
附加：为什么j,k,t只搜0~3? 原因：若大于了3，3*(i-1,i,i+1)就可以看成3个i-1，3个i，3个i+1
每次枚举序列长度都是从0开始,就可以先把他除到3以内 
*/
#include<bits/stdc++.h>
using namespace std;
#define int long long 
int dp[1000006][3][3];
/*dp[i][j][k]表示便利到i为止含有j个i-1,i,i+1序列,含有k个i,i+1,i+2序列 
这里函数中对于i计算的i-1,i,i+1序列，是假定i+1是存在的，另一个序列的i+1，i+2也都是假定存在的
这里的意思是假如i满足i-1满足整个序列就先假定他满足， 
*/ 
int a[1000006]; 
signed main(){
	int n,m;
	cin>>n>>m;
	memset(dp,0,sizeof(dp));
	memset(a,0,sizeof(a));
	for(int i=1;i<=n;i++){
		int k;
		scanf("%lld",&k);
		a[k]++;
	} 
	dp[0][0][0]=0;
	for(int i=1;i<=m;i++){
		for(int j=0;j<3;j++){//j是i-2,i-1,i这个序列的个数,已经确定所以放前面; 
			for(int k=0;k<3;k++){
				for(int t=0;t<3;t++){
					if(a[i]>=j+k+t){
						dp[i][k][t]=max(dp[i][k][t],dp[i-1][j][k]+t+(a[i]-j-k-t)/3);
					}				
				}
			}
		}
	}
	cout<<dp[m][0][0]<<endl;
	return 0;
}