嘟嘟嘟
这题真的挺神的，我是真没想出来。
洛谷的第一篇题解说的非常妙，实在是佩服。
就是我们首先预处理出对于第(i)个数，在(i)左边比第一个比(i)大的数(l_i)，在(i)右边第一个比(i)大的数(r_i)。
这个可以用单调栈扫两边分别求出来。
然后我们考虑位于([l_i, r_i])中的所有数产生的贡献：
1.(l_i)和(r_i)单独产生(p1)的贡献。
2.位于([l_i + 1, i - 1])的数都和(r_i)产生(p2)的贡献。
3.位于([i + 1, r_i - 1])的数都和(l_i)产生(p2)的贡献。
所以我们把所有的(l_i, r_i)排序，然后从1开始扫到(n)，对于三种贡献：
1.遇到(r_i)，就在对应的(l_i)上加(p1)。
2.遇到(r_i)，就在区间([l_i + 1, i - 1])加(p2)。
3.遇到(l_i)，就在区间([i + 1, r_i - 1])加(p2)。
同时询问也是离线下来排好序的，然后我们用前缀和的思想，把每一个询问([L_i, R_i])拆成(L_i - 1)和(R_i)，修改的同时遇到(L_i - 1)就查询([L_i, R_i])，并从(ans_i)中减去；遇到(R_i)，就再查询一遍([L_i, R_i])，加到(ans_i)里去。
这也就能解释为什么(p1)的贡献加在(l_i)而不是(r_i)上了：因为扫到(r_i)的时候，查询区间的右端点一定满足(R_i = r_i)，而这个贡献能否加上去，就是看(L_i)是否包含(l_i)。所以应该加到(l_i)上。
我这题之所以调了半天，是因为把当前枚举的位置和区间所在编号弄混了……
区间修改大佬们似乎都是写的树状数组，我一时想不明白，还是乖乖写线段树去了。
p.s.区间排序用vector直接存下来是真的方便
#include<cstdio>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<cctype>
#include<vector>
#include<stack>
#include<queue>
using namespace std;
#define enter puts("")
#define space putchar(' ')
#define Mem(a, x) memset(a, x, sizeof(a))
#define In inline
typedef long long ll;
typedef double db;
const int INF = 0x3f3f3f3f;
const db eps = 1e-8;
const int maxn = 2e5 + 5;
inline ll read()
{
ll ans = 0;
char ch = getchar(), last = ' ';
while(!isdigit(ch)) last = ch, ch = getchar();
while(isdigit(ch)) ans = (ans << 1) + (ans << 3) + ch - '0', ch = getchar();
if(last == '-') ans = -ans;
return ans;
}
inline void write(ll x)
{
if(x < 0) x = -x, putchar('-');
if(x >= 10) write(x / 10);
putchar(x % 10 + '0');
}
int n, m, p1, p2, a[maxn];
ll ans[maxn];
struct Node
{
int l, r;
}t[maxn << 1];
struct Node2
{
int id, flg; //0:l, 1:r; -1:L, 1:R
};
vector<Node2> v[maxn], q[maxn];
int st[maxn], top = 0;
In void init()
{
for(int i = 1; i <= n; ++i)
{
while(top && a[st[top]] < a[i]) --top;
t[i].l = st[top]; st[++top] = i;
}
st[top = 0] = n + 1;
for(int i = n; i; --i)
{
while(top && a[st[top]] < a[i]) --top;
t[i].r = st[top]; st[++top] = i;
}
for(int i = 1; i <= n; ++i)
{
v[t[i].l].push_back((Node2){i, 0});
v[t[i].r].push_back((Node2){i, 1});
}
}
int l[maxn << 2], r[maxn << 2];
ll sum[maxn << 2], lzy[maxn << 2];
In void build(int L, int R, int now)
{
l[now] = L; r[now] = R;
if(L == R) return;
int mid = (L + R) >> 1;
build(L, mid, now << 1);
build(mid + 1, R, now << 1 | 1);
}
In void change(int now, int d)
{
sum[now] += 1LL * (r[now] - l[now] + 1) * d;
lzy[now] += d;
}
In void pushdown(int now)
{
if(lzy[now])
{
change(now << 1, lzy[now]), change(now << 1 | 1, lzy[now]);
lzy[now] = 0;
}
}
In void update(int L, int R, int now, int d)
{
if(L > R) return;
if(l[now] == L && r[now] == R) {change(now, d); return;}
pushdown(now);
int mid = (l[now] + r[now]) >> 1;
if(R <= mid) update(L, R, now << 1, d);
else if(L > mid) update(L, R, now << 1 | 1, d);
else update(L, mid, now << 1, d), update(mid + 1, R, now << 1 | 1, d);
sum[now] = sum[now << 1] + sum[now << 1 | 1];
}
In ll query(int L, int R, int now)
{
if(l[now] == L && r[now] == R) return sum[now];
pushdown(now);
int mid = (l[now] + r[now]) >> 1;
if(R <= mid) return query(L, R, now << 1);
else if(L > mid) return query(L, R, now << 1 | 1);
else return query(L, mid, now << 1) + query(mid + 1, R, now << 1 | 1);
}
int main()
{
//freopen("ha.in", "r", stdin);
n = read(), m = read(), p1 = read(), p2 = read();
for(int i = 1; i <= n; ++i) a[i] = read();
init();
for(int i = 1; i <= m; ++i)
{
int L = read(), R = read();
t[i + n] = (Node){L, R};
q[L - 1].push_back((Node2){i, -1});
q[R].push_back((Node2){i, 1});
}
build(1, n, 1);
for(int i = 1; i <= n; ++i)
{
for(int j = 0; j < (int)v[i].size(); ++j)
{
int id = v[i][j].id, flg = v[i][j].flg;
if(!flg) update(id + 1, t[id].r - 1, 1, p2);
else
{
if(t[id].l) update(t[id].l, t[id].l, 1, p1);
update(t[id].l + 1, id - 1, 1, p2);
}
}
for(int j = 0, id; j < (int)q[i].size(); ++j)
id = q[i][j].id, ans[id] += query(t[id + n].l, t[id + n].r, 1) * q[i][j].flg;
}
for(int i = 1; i <= m; ++i)
write(ans[i] + 1LL * p1 * (t[i + n].r - t[i + n].l)), enter;
return 0;
}