題目連結 https://vjudge.net/problem/UVA-1451

紫書243頁例題，採用數形結合的方法，用deque來維護一個單調結點的佇列，即不包含上凸點的序列，每次都更新結果，記錄最優解。

#include<bits/stdc++.h>
using namespace std;

const int maxn = 100050;

int n, l;
char st[maxn];
int s[maxn];
deque<int> que;

//a,b對應直線斜率大於c,d對應直線，返回值>0，小於則返回值<0，等於返回0 
int check(int a, int b, int c, int d) {
	return (c - d)*(s[a] - s[b]) - (a - b)*(s[c] - s[d]);
}

int main() {
	int t;
	scanf("%d", &t);
	while (t--) {
		scanf("%d%d", &n, &l);
		scanf("%s", 1 + st);
		que.clear();
		for (int i = 1; i <= n; ++i) {
			s[i] = s[i - 1] + st[i] - '0';
		}
		
		int ansl = 0, ansr = l;//ansl記錄左端點的前一位
		 
		for (int i = l; i <= n; ++i) {
			//加入新結點j前，先把形成的上凸點刪掉
			int j = i - l;
			while (que.size() > 1) {
				int t1 = que[que.size() - 1];//倒數第一個點
				int t2 = que[que.size() - 2];//倒數第二個點
				if (check(t2, t1, t2, j) > 0) que.pop_back();
				else break;
			}
			//加入j
			que.push_back(j);
			//把不可能是解的開頭若干項去掉
			while (que.size() > 1) {
				if (check(que[0], i, que[1], i) <= 0) que.pop_front();
				else break;
			} 
			
			//更新結果 
			int res = check(que[0], i, ansl, ansr);
			if (res > 0 || 0 == res && i - que[0] < ansr - ansl) {
				ansl = que[0];
				ansr = i;
			}
		}
		
		printf("%d %d\n", 1 + ansl, ansr);
	}
	return 0;
}