题意
你有n个数字，范围[1, m]，你可以选择其中的三个数字构成一个三元组，但是这三个数字必须是连续的或者相同的，每个数字只能用一次，问这n个数字最多构成多少个三元组?
分析
根据官方Editorial的说法，似乎没有一个真正正确的贪心（但是说不定就有人乱搞出来了）。这里用dp来解决问题。
这种dp题目我没做过，这次涨姿势了。首先要搞明白一个事实：我们完全可以保证构建一个最优解，其中连续的三元组对于每个数不会出现超过两个——因为如果出现超过三个，就可以拆分成三个相同组。在这样的前提下，我们就可以构建状态了。
进一步思考状态怎么得到的。对于第i个数，与之的相关的顺子有\([i-2,i-1,i],[i-1,i,i+1],[i,i+1,i+2]\)，而全考虑是不必要的，重复了。选择两种状态考虑转移即可，这里考虑\([i-1,i,i+1]\)和\([i,i+1,i+2]\)。
暴力枚举他们分别有几种可能的情况（前面说了只有0，1，2三种情况），然后考虑转移，它们如何从i移动到i+1为center？那得看有几个i+1：记\(dp[i][j][k]\)为前i个数有j个第一种顺子和k种第二个顺子，那么就会剩下\(cnt[i+1]-j-k\)个i+1。我们不去考虑后面的i+2，i+3到底存不存在（因为如果不存在，后面推导的时候将只会更新j=0，k=0的情况），直接思考这些i+1分别会产生多少种顺子——暴力枚举产生0，1，2种连顺子（\([i+1,i+2,i+3]\)）即可。这样就能写出具体的状态转移方程了。具体见代码。
这样一来，这题就能得到解决。如果内存要求苛刻，可以使用滚动数组解决（提示：计算结果用到的结果并不多）。
代码
#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
#define PB emplace_back
#define MP make_pair
#define fi first
#define se second
#define rep(i,a,b) for(repType i=(a); i<=(b); ++i)
#define per(i,a,b) for(repType i=(a); i>=(b); --i)
#define ZERO(x) memset(x, 0, sizeof(x))
#define MS(x,y) memset(x, y, sizeof(x))
#define ALL(x) (x).begin(), (x).end()
#define QUICKIO \
ios::sync_with_stdio(false); \
cin.tie(0); \
cout.tie(0);
#define DEBUG(...) fprintf(stderr, __VA_ARGS__), fflush(stderr)
using namespace std;
using pi=pair<int,int>;
using repType=int;
using ll=long long;
using ld=long double;
using ull=unsigned long long;
const int MAXN = 100005;
int cnt[MAXN], dp[MAXN][3][3];
int main()
{
int n,m; cin>>n>>m;
ZERO(cnt);
rep(i,1,n)
{
int tmp; cin>>tmp;
cnt[tmp]++;
}
MS(dp, -1);
dp[0][0][0]=0;
rep(i,0,m+1)
{
rep(j,0,2)
{
rep(k,0,2)
{
if(dp[i][j][k]<0) continue;
int now=cnt[i+1]-j-k;
for(int t=0; t<=2 && t<=now; ++t)
{
dp[i+1][k][t] = max(dp[i+1][k][t], dp[i][j][k]+(now-t)/3+t);
}
}
}
}
cout<<dp[m+1][0][0]<<endl;
return 0;
}