CERC2017 I: Intrinsic Interval 线段树

CERC2017I
题目是求最小的好区间
好区间就是一段区间都是连续的数 对于好区间显然有个数据结构叫析和树是可以求解的
但是我们用线段树怎么处理呢
首先我们知道 好区间 l 到 r是满足区间maxx-区间minn = r - l
然后我们又知道 两个好区间的交 一定也是好区间
反证法:假如这个交不是好区间 差几个数 那么这几个数如果在左边 那么和右边的数就不能构成好区间
所以两个好区间的交也一定是好区间
这样的话我们可以固定每个l不动 去右边找满足的最小的r(使得 l r包括询问区间)
用一个数组 tmp[i] 代表 i 后面有几个满足 那么 tmp[i] = r- i
tmp[i]+i = r;
所以你让tmp[i] 一开始= i，
每次找线段树最大值是否等于 r
因为每个数只有对相邻的数有贡献 而且我们是从前往后统计
所以代码有这句话

		if(arr[i]>1&&p[arr[i]-1]<=i) sgt::update(1,1,n,1,p[arr[i]-1],1);
        if(arr[i]<n&&p[arr[i]+1]<=i) sgt::update(1,1,n,1,p[arr[i]+1],1);

/*
    created by ljq
*/
#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
#include <cmath>
#include <map>
#include <stack>
#include <set>
#include <sstream>
#include <vector>
#include <stdlib.h>
#include <algorithm>
//ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
//#pragma comment(linker, "/STACK:10240000,10240000")
using namespace std;

#define dbg(x) cout<<#x<<" = "<< (x)<< endl
#define dbg2(x1,x2) cout<<#x1<<" = "<<x1<<" "<<#x2<<" = "<<x2<<endl
#define dbg3(x1,x2,x3) cout<<#x1<<" = "<<x1<<" "<<#x2<<" = "<<x2<<" "<<#x3<<" = "<<x3<<endl
#define max3(a,b,c) max(a,max(b,c))
#define min3(a,b,c) min(a,min(b,c))

typedef pair<int,int> pll;
typedef long long ll;
typedef unsigned long long ull;
const ull hash1 = 201326611;
const int inf = 0x3f3f3f3f;
const int _inf = 0xc0c0c0c0;
const ll INF = 0x3f3f3f3f3f3f3f3f;
const ll _INF = 0xc0c0c0c0c0c0c0c0;
const ll mod =  (int)1e9+7;

ll gcd(ll a,ll b){
   return b?gcd(b,a%b):a;}
ll ksm(ll a,ll b,ll mod){
   int ans=1;while(b){
   if(b&1) ans=(ans*a)%mod;a