题意(摘自洛谷)
没有想到贪心方案,只好通过 d p dp dp 求解
首先,一个很显然重要的结论:
3
3
3 个形如
[
x
,
x
+
1
,
x
+
2
]
[x,x+1,x+2]
[x,x+1,x+2] 的三元组能够通过三个分别形如
[
x
,
x
,
x
]
,
[
x
+
1
,
x
+
1
,
x
+
1
]
,
[
x
+
2
,
x
+
2
,
x
+
2
]
[x,x,x],[x+1,x+1,x+1],[x+2,x+2,x+2]
[x,x,x],[x+1,x+1,x+1],[x+2,x+2,x+2] 的三元组表示,所以对于每一个数组
x
x
x 最多只会有
2
2
2 组形如
[
x
,
x
+
1
,
x
+
2
]
[x,x+1,x+2]
[x,x+1,x+2] 的三元组
之后我们就能够列出 d p dp dp 方程
令 d p [ i ] [ j ] [ k ] dp[i][j][k] dp[i][j][k] 表示对于前 i i i 中数值,有 j j j 个形如 [ i − 1 , i , i + 1 ] [i-1,i,i+1] [i−1,i,i+1] 的三元组和 k k k 个形如 [ i , i + 1 , i + 2 ] [i,i+1,i+2] [i,i+1,i+2] 的三元组
之后枚举 l l l 表示有 l l l 个形如 [ i + 1 , i + 2 , i + 3 ] [i+1,i+2,i+3] [i+1,i+2,i+3] 的三元组,把剩下的 i + 1 i+1 i+1 变成 [ i + 1 , i + 1 , i + 1 ] [i+1,i+1,i+1] [i+1,i+1,i+1] 然后就能够转移到 d p [ i + 1 ] [ k ] [ l ] dp[i+1][k][l] dp[i+1][k][l]
#include <map>
#include <set>
#include <ctime>
#include <queue>
#include <stack>
#include <cmath>
#include <vector>
#include <bitset>
#include <cstdio>
#include <cctype>
#include <string>
#include <numeric>
#include <cstring>
#include <cassert>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std ;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define loop(s, v, it) for (s::iterator it = v.begin(); it != v.end(); it++)
#define cont(i, x) for (int i = head[x]; i; i = e[i].nxt)
#define clr(a) memset(a, 0, sizeof(a))
#define ass(a, sum) memset(a, sum, sizeof(a))
#define lowbit(x) (x & -x)
#define all(x) x.begin(), x.end()
#define pq priority_queue
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define iv inline void
#define enter cout << endl
#define siz(x) ((int)x.size())
#define file(s) freopen(s".in", "r", stdin), freopen(s."out", "w", stdout)
typedef long long ll ;
typedef unsigned long long ull ;
typedef pair <int, int> pii ;
typedef vector <int> vi ;
typedef vector <pii> vii ;
typedef queue <int> qi ;
typedef set <int> si ;
typedef map <int, int> mii ;
typedef map <string, int> msi ;
const int N = 1000010 ;
const int INF = 0x3f3f3f3f ;
const int iinf = 1 << 30 ;
const ll linf = 2e18 ;
const int MOD = 1000000007 ;
const double eps = 1e-7 ;
void print(int x) { cout << x << endl ; exit(0) ; }
void PRINT(string x) { cout << x << endl ; exit(0) ; }
void douout(double x){ printf("%lf\n", x + 0.0000000001) ; }
int n, m ;
int dp[4][4], dp2[4][4] ;
int cnt[N] ;
signed main(){
scanf("%d%d", &n, &m) ;
rep(i, 1, n) {
int x ; scanf("%d", &x) ;
cnt[x]++ ;
}
rep(i, 1, m + 2) {
memcpy(dp2, dp, sizeof(dp2)) ; clr(dp) ;
rep(j, 0, 2)
rep(k, 0, 2)
rep(f, 0, 2) {
int t = cnt[i] - j - k - f ;
if (t >= 0)
dp[k][f] = max(dp[k][f], dp2[j][k] + (int) (t / 3) + f) ;
}
}
printf("%d\n", dp[0][0]) ;
return 0 ;
}
/*
写代码时请注意:
1.ll?数组大小,边界?数据范围?
2.精度?
3.特判?
4.至少做一些
思考提醒:
1.最大值最小->二分?
2.可以贪心么?不行dp可以么
3.可以优化么
4.维护区间用什么数据结构?
5.统计方案是用dp?模了么?
6.逆向思维?
*/