Acwing 双指针算法

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

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

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

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

输入样例：

5
1 2 2 3 5

输出样例

3

这道题目是双指针算法的应用。双指针算法的核心思想就是可以实现对暴力（朴素）算法的优化，使时间复杂度由$O(n^2)$优化到$O(n)$，要求序列有单调关系。

一般的代码板子为：

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

本题的实现思路：

• 暴力算法：两重for循环枚举，选出满足条件的结果

• 双指针算法：设置双指针，指针i指向结果区间的末尾元素，指针j指向结果区间的首元素。

• 整数序列用a[]存储，s[]用来计数，如s[a[i]]表示元素a[i]出现的次数，最后s[]中为1的元素就是最后结果区间中的元素；

• i,j刚开始都指向序列的首个元素，然后i指针后移，同时对指向的元素计数；

• 当出现某个元素计数值>1,说明此数字出现重复，此时j指针指向的元素计数减1（也就是这个指向的数字已经没用了），且j指针后移直到此时区间不含重复的数，然后记录当前区间长度，i继续后移判断。循环直到i指针移动到末尾。、

具体实现代码：

#include <iostream>
#include <algorithm>

const int N=100010;

int a[N],s[N];

using namespace std;

int main(){
    int n,res = 0;
    cin>>n;
    for(int i = 0; i < n; i ++) cin >> a[i];
    
    for(int i = 0, j = 0; i < n;i ++){
        s[a[i]]++;//记录每个数字出现的次数
        while(s[a[i]] > 1){//当出现重复的数字
            s[a[j]] --;
            j ++;
        }
        res = max(res, i - j + 1);
    }
    cout << res << endl;
    
    return 0;
}

为了帮助理解，请看下图：

关于双指针算法，还有个经典的字符串分割单词的题目：给定一个由单词组成的字符串，单词之间用空格相隔，实现输出各个单词。

实现思路：使用双指针算法，设置指针i，j，指针i指向单词首部，指针j向后移找到单词之间的空格。输出j和i之间的单词，再让i后移到j的位置，j继续后移找到下一个空格，循环直至j移动到末尾。

#include <iostream>
#include <string>

using namespace std;

int main(){
    string str;
    getline(cin,str);
    int n=str.size();
    for(int i = 0;i < n;i ++){
        int j = i;
        while(j < n && str[j] != ' ') j ++;
        for(int k = i; k < j; k++) cout << str[k];
        i = j;//跳过当前这个单词啦~
        cout << endl;
    }
    return 0;
}

类似的题目：
Acwing 800. 数组元素的目标和

给定两个升序排序的有序数组 A 和 B ，以及一个目标值 x 。

数组下标从 0 开始。

请你求出满足 A[i]+B[j]=x 的数对 (i,j) 。
数据保证有唯一解。

输入样例：

4 5 6
1 2 4 7
3 4 6 8 9

输出样例：

1 1

本题实现思路：指针i从0开始从前往后遍历，j从m-1开始从后往前遍历。和纯暴力的$O(n^2)$算法的区别就在于j指针不会回退。
具体的就是当$a[i]+a[j]>x,$时，那么我们只能让j往前走，直到找到解。

具体实现代码：

#include <iostream>

using namespace std;

int n,m,x;
const int N=100010;

int a[N],b[N];

int main(){
    cin >> n >> m >> x;
    
    for(int i = 0;i < n;i ++) cin >> a[i];
    for(int i = 0;i < m;i ++) cin >> b[i];

    for(int i = 0,j = m-1;i < n;i ++){//i从左往右
        while(j >= 0 && a[i]+b[j] > x) j --;//j从右往左，若不满足条件，则继续往左
        if(j >= 0 && a[i]+b[j] == x) cout << i <<' '<< j <<endl;//找到唯一解
    }
    return 0;
}

Acwing2816 判断子序列

给定一个长度为 n的整数序列 a1,a2,…,an
以及一个长度为 m的整数序列 b1,b2,…,bm。请你判断 a 序列是否为 b 序列的子序列。

输入样例：

3 5
1 3 5
1 2 3 4 5

输出样例：

Yes

本题思路：i指针从前往后遍历a数组，j指针从前往后遍历b数组；这里要注意，j不断往后移动，给a中元素匹配的机会，而i指针当且仅当匹配成功时，才可以往后移动，这是关键。最后只需要判断i==n是否成立即可。

具体实现代码：

#include <iostream>
#include <algorithm>

using namespace std;

int n,m;
const int N=100010;

int a[N],b[N];

int main(){
    cin >> n >> m;
    
    for(int i = 0;i < n;i ++) cin >> a[i];
    
    for(int i = 0;i < m;i ++) cin >> b[i];
  
    int i = 0, j = 0;
    for(j = 0;j < m; j ++){//j一直移动
        if(i < n && a[i] == b[j]) i ++;//当匹配的时候，i才移动;
    }
    if(i == n) puts("Yes");
    else puts("No");
    
    return 0;
}

以上就是双指针算法的原理和应用。