Mex HDU - 4747(dp)

https://cn.vjudge.net/problem/HDU-4747[题目传送门]
解题方案：
既然想用dp的方法解决这个问题，最容易想到的就是用递推解决，难点就在于如何定义从始到终的状态以及如何由上一个状态推出下一个状态，有时候状态的递推不是一个简单的递推式。
pos[i] 存放的是与i相等的数中最靠右端的数的位置。
full[a[i]] 表示完全覆盖[0, a[i]]中的所有数的区间的左端点（右端点为i）。

#include <iostream>
#include <cstdio>
#include <cstring>

using namespace std;

typedef long long ll;
int n;
int a[200020];
int full[200010];
int pos[200020];

int main()
{
	while(cin >> n && n)
	{
		memset(full, 0, sizeof(full));
		memset(pos, 0, sizeof(pos));
		for(int i = 1; i <= n; ++ i)
		{
			scanf("%d", &a[i]);
		}
		int last;
		ll temp = 0, ans = 0;
		for(int i = 1; i <= n; ++ i)
		{
			if(a[i] < n)
			{
				last = pos[a[i]];
				pos[a[i]] = i;
				for(int j = a[i]; j < n; ++ j)
				{
					if(j)
						full[j] = min(full[j - 1], pos[j]);  //求的是完全覆盖的区间左端点
					else 
						full[j] = i;
					if(full[j] > last)
						temp += full[j] - last;
					else 
						break;
				}
			}
			ans += temp;
		}
		cout << ans << endl;
	}
	return 0;
}