LeetCode 1562. 查找大小为 M 的最新分组

示例 1：
输入：arr = [3,5,1,2,4], m = 1
输出：4
解释：
步骤 1："00100"，由 1 构成的组：["1"]
步骤 2："00101"，由 1 构成的组：["1", "1"]
步骤 3："10101"，由 1 构成的组：["1", "1", "1"]
步骤 4："11101"，由 1 构成的组：["111", "1"]
步骤 5："11111"，由 1 构成的组：["11111"]
存在长度为 1 的一组 1 的最后步骤是步骤 4 。

示例 2：
输入：arr = [3,1,5,4,2], m = 2
输出：-1
解释：
步骤 1："00100"，由 1 构成的组：["1"]
步骤 2："10100"，由 1 构成的组：["1", "1"]
步骤 3："10101"，由 1 构成的组：["1", "1", "1"]
步骤 4："10111"，由 1 构成的组：["1", "111"]
步骤 5："11111"，由 1 构成的组：["11111"]
不管是哪一步骤都无法形成长度为 2 的一组 1 。

示例 3：
输入：arr = [1], m = 1
输出：1

示例 4：
输入：arr = [2,1], m = 2
输出：2
 
提示：
n == arr.length
1 <= n <= 10^5
1 <= arr[i] <= n
arr 中的所有整数 互不相同
1 <= m <= arr.length

class Solution {
public:
    int findLatestStep(vector<int>& arr, int m) {
    	int n = arr.size(), i, ans = -1;
    	vector<vector<int>> pos(n+2, vector<int>(2, -1));//存储该组的左右端点位置
    	vector<int> len(n+1, 0);//长度为x的有多少组
    	int l1,r1,l2,r2,n1,n2,nall,l,r;
    	for(i = 0; i < n; ++i)
    	{
    		l = r = arr[i];
    		nall = 1;
    		n1 = n2 = 0;
    		if(pos[l-1][0] != -1)//左边存在
    		{
    			l1 = pos[l-1][0];
    			r1 = pos[l-1][1];
    			n1 = r1-l1+1;
    		}
    		if(pos[l+1][0] != -1)//右边存在
    		{
    			l2 = pos[l+1][0];
    			r2 = pos[l+1][1];
    			n2 = r2-l2+1;
    		}
    		if(n1)
    		{
    			l = min(l, l1);
    			nall += n1;
    			len[n1]--;
    		}
    		if(n2)
    		{
    			r = max(r, r2);
    			nall += n2;
    			len[n2]--;
    		}
            len[nall]++;
    		pos[l][0] = l;
    		pos[l][1] = r;
    		pos[r][0] = l;
    		pos[r][1] = r;
    		if(len[m])
    			ans = i+1;
    	}
    	return ans;
    }
};