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][][],ans,a;
int main(){
    cin>>n>>m;
    for(int i=;i<=n;i++)cin>>a,cnt[a]++;
    memset(dp,-,sizeof dp);
    dp[][][]=;//初始条件
    for(int i=;i<=m;i++)
        for(int j=;j<;j++)
            for(int k=;k<;k++){
                if(dp[i-][j][k]<)continue;
                for(int l=;l<;l++){
                    int tmp=cnt[i]-j-k-l;
                    if(tmp<)continue;
                    tmp/=;
                    dp[i][k][l]=max(dp[i][k][l],dp[i-][j][k]+tmp+j);
                    ans=max(ans,dp[i][k][l]);
                }
            }
        printf("%d\n",ans);

}