AcWing 799. 最长连续不重复子序列

题目来源：AcWing 799. 最长连续不重复子序列

一、题目描述

$给定一个长度为n的整数序列，请找出最长的不包含重复的数的连续区间，输出它的长度。$

输入格式
$第一行包含整数n。$
$第二行包含n个整数（均在0\sim 10^5范围内），表示整数序列。$

输出格式
$共一行，包含一个整数，表示最长的不包含重复的数的连续区间的长度。$

数据范围
$1\le n\le 10^5$

输入样例：

5
1 2 2 3 5

输出样例：

3

二、双指针算法

双指针算法分为两种类型：指向两个序列，指向一个序列。

指向两个序列

指向两个序列的双指针算法最常见的就是归并排序中，将两个有序序列合并成一个有序序列。如果对归并排序不熟悉的话，可以看这里。

指向一个序列（最常见）

双指针算法的两个指针指向一个序列，最常见的就是快速排序中，将＜x的部分放在左侧区间，将 ≥ x的部分放在右侧区间的操作一致，如果不熟悉快排的童鞋可以看这里。两个指针实际上维护的是一段区间。

双指针算法的通用模板

基本上每个双指针算法都长这个样子，所有的双指针算法都是O(n)的：

for (int i = 0, j = 0; i < n; i++)
{
	while (j < i && check(i, j)) j++;
	
	// 每道题目的具体逻辑
	...
}

双指针算法的核心思想就是利用了某些单调性质把原来通过 i, j 两重循环的O(n²)优化到O(n)。
下面举一个简单的例子：

例

给一个单词字符串序列，每一个单词之间用一个空格分隔，请将每一个单词一行的格式将单词输出。
输入格式

adc def ghi

输出格式

abc
def
ghi

代码

#include <iostream>
using namespace std;

const int N = 1e3 + 10;
char str[N];

int main()
{
	gets(str);
	for (int i = 0; str[i]; i++)
	{
		int j = i;
		while (str[j] && str[j] != ' ') j++;
		// 这道题的逻辑
		for (int k = i; k < j; k++) cout << str[k];
		cout << endl;
		i = j;
	}
	return 0;
}

本题的思路

双指针算法一般都是先想一个朴素做法：

// 朴素做法O(n2)
for (int i = 0; i < n; i++)
	for (int j = 0; j < i; j++)
		if (check(j, i)) res = max(res, i - j + 1);

从上面可以分析出来：对于每一个 $i$ ，我们要算出 $j$ 离 $i$ 最远能到什么地方。
通过研究我们可以发现这样一个性质，当 $i$ 往后走的时候，$j$ 一定是往后走的，不可能往前走。

我们可以使用反证法证明：

其中红色较高的箭头代表往后移动的 $i$ ，绿色较高箭头代表往前移动的 $j$ 。已知当前 $[j,i]$ 维护了以 $i$ 为终点的最长连续不重复区间，如果真的发生了如上图所示的情况，那么说明$[j-1,i+1]$这个区间是没有重复元素的，那么说明把 $j$ 移动到 $j-1$形成的$[j-1,i]$也是没有重复元素的，那么这与 $[j,i]$ 始终维护一个当前以 $i$ 结尾的最长连续不重复区间的前提是矛盾的。

三、代码

#include <iostream>
using namespace std;

const int N = 1e5 + 10;
int a[N], cnt[N], n;

int main()
{
	scanf("%d", &n);
	for (int i = 0; i < n; i++) scanf("%d", &a[i]);
	
	int res= 0;
	for (int i = 0, j = 0; i < n; i++)
	{
		cnt[a[i]]++;
		while (j < i && cnt[a[i]] > 1) cnt[a[j++]]--;
		res = max(res, i - j + 1);
	}
	printf("%d\n", res);
	
	return 0;
}