https://codeforces.com/contest/1550/problem/C

题目大意

曼哈顿距离 

有三个点,若 则称这三个点组成Bad Triple

定义一个数组是good array，如果不能从这个数组中选出三个不同的序号，使得组成Bad Triple.

目标：现给一个a数组，计算a数组中所有子数组有多少个是good array

另外由定义得知，长度为1或2的都是good array

数据范围

t 组test cases，[1, 5000]

array长度n

array 大小 

test中所有n的和不超过

分析

暴力是肯定过不了的，那么我们从给的条件入手

设p，q，r是数组中按顺序的三点，那么可以知道他们的y是依次递增的，另外我们知道曼哈顿距离跟真实距离趋势是一致的，也就是真实距离长的曼哈顿距离也长，那么我们可以得出：

1、将pqr组成三角形，若pq是不是最长边，则一定不成立，所以一定是good。

若pq是最长边，则

d(p, q) = yq-yp + |xq-xp| 

d(q, r) = yr-yq + |xr-xq|

d(p,r) = yr-yp + |xr-xp|

那么d(p,q) =? d(q,r) + d(p,r)

=》2yq - 2yr =？|xr-xq| + |xr - xp| - |xq-xp|

因为pq最长边，则xr在xp，xq之间，则右边=0

而左边不等于0，因此也一定不成立，所以一定也是good。

所以d(p,q) != d(q,r) + d(r,p)一定成立

2、同理，d(q,r) != d(p,q) + d(r, p)一定成立

3、最后是d(p,r) =? d(p,q) + d(p,r)

=》yr-yp + |xr-xp| =? yq-yp + |xq-xp| + yr-yp + |xr-xp|

因为yq 在yp 和yr之间，因此等式变为

|xr-xp| =? |xq-xp| + |xr - xp|

那么可以知道若xq在xp和xr之间，则等式成立，此时这三点为bad，否则等式不成立。

结论：

所以要判断三点是否是good，只需要判断xq是否在xp和xr之间

换一种说法，就是：

对于连续三点，若其x坐标是递增或递减的，则这三点为bad，否则这三点是good。

算法：

对于我们要求解的问题：n长度的数组中有多少个子数组是good的，也就是说这些子数组中没有任意三点是bad，那么问题转化成了判断子数组中的是否存在任意三点是递增的或递减的，若存在，则这个子数组是bad，若不存在，这个子数组是good。

暴力肯定也是过不了的，那么我们期望得到一个接近O(n)的的算法，也就是期望只遍历数组一遍就能得到结果。

首先，我们可以得出简单的前置条件：若长度为n的序列是good的，那么其中的所有子序列是good的。那么我们只需要贪心的去找到全部尽可能长的good的子序列，再计算其中有多少个各个长度的子序列。

那么问题就转化成了：如何快速在线判断一个子数组中任意三点是递增或递减的。

为了满足O(n)的时间复杂度，我们用空间换时间，

由于长度1与2的序列都是good，我们初始化基础序列为[pleft, pright = pleft + 1],是good，对于判断递增，使用deque来记录直到当前序列中前2小的数，当下一个数[pright + 1]到来，判断其是否大于第二小的数。

若大于，则加上这个点后，子序列存在递增三点。此时pleft到pright是当前可以是good的最长序列，接着转移状态至寻找下一个最长子序列，若pright-pleft=1则代表长度为3的是bad，此时将基础状态同时右移1，否则的话将[pright-2, pright-1]作为基础序列。

若小于，且当前值大于第一小的数，则替换更新deque中第二小的数，这样才能确保当前deque中的序列是最小的两个，递增总是可以被找到。

对于判断递减也是一样的思路。

这样我们就可以在O(n)的时间里找到所有最长子序列。

另外这里有一个问题在于你需要去更新deque来确保你总是可以找到递增或递减，那么存在这样一种情况43765，当43进入deque后，当算法运行至6后需要更新deque中43为76，因此在这里使用一个备用deque2，在递增的情况下，当当前值小于deque.front的时候，将其加入deque2，若deque2.size=1时，若当前值小于deque.back，则也将其加入deque2，这时deque2中的序列优于deque中的序列，就用deque2的序列替代deque1的序列。

递减同理。

代码如下，由于修修补补，代码不够优雅。

```

```