cf1110d 线性dp

/*
dp[i][j][k]表示值i作为最大值结束的边剩k条，i-1剩下j条的情况的结果
dp[i][k][l]是由dp[i-1][j][k]的j决定的，因为k+l是被留下给后面用的，所以a[i]-(k+l+j)就是组成全等三角形的边了
状态转移：dp[i][k][l]=dp[i-1][j][k]+j+(a[i]-j-k-l)/3; 
注意k不是给i的，k是留给i+1用的
*/
#include<bits/stdc++.h>
using namespace std;
#define maxn 1000009
int cnt[maxn],n,m,dp[maxn][4][4],ans,a;  
int main(){
    cin>>n>>m;
    for(int i=1;i<=n;i++)cin>>a,cnt[a]++;
    memset(dp,-1,sizeof dp);
    dp[0][0][0]=0;//初始条件 
    for(int i=1;i<=m;i++)
        for(int j=0;j<3;j++)
            for(int k=0;k<3;k++){
                if(dp[i-1][j][k]<0)continue;
                for(int l=0;l<3;l++){
                    int tmp=cnt[i]-j-k-l;
                    if(tmp<0)continue;
                    tmp/=3;
                    dp[i][k][l]=max(dp[i][k][l],dp[i-1][j][k]+tmp+j);
                    ans=max(ans,dp[i][k][l]);
                }
            }
        printf("%d\n",ans);
            
}