基于双变量不等式的避免离散化的BIT维护方式

今日在做ICPC HK 2019 C题–Constructing Ranches时，题目要求在这样的式子上统计答案。

$sum[y]>2\ast max(mx[x],mx[y])-sum[x]+k$

由于一对$x,y$只统计一遍答案，显然可以考虑对$mx$数组进行排序，最暴力的做法是直接将$sum$ 和 $mx$ 存在一个 $pair$ 变量中，然后直接依据 $mx$ 排序后将不等式右边的东西扔进BIT里。

这样的问题在于当$sum$或$mx$的权值过大时，整个东西需要提前离散化，其实不算麻烦但恰巧此题卡常，而且本人不喜欢离散化。

此时我们可以考虑利用BIT来维护下标，那么值域就锐减到$max(x,y)$，非常舒适。

具体的做法是：

1.建立两个$pair$变量，$first$分别是$sum$值和$mx$值，$second$则为相同的下标。

2.对$pair$_$sum$依据$first$从大到小进行排序，便于我们之后的二分操作。

3.遍历$pair$_$sum$,然后:

for(int i=1;i<=tt;i++) pair_mx[pair_sum[i].second].second=i;

这样我们就成功将$pair$_$mx$的$second$值，

对应到相对应的$pair$_$sum$的当前下标上了。

4.对$pair$_$mx$从小到大排序

然后直接遍历$pair$_$mx$，考虑$c=2\ast max(mx[x],mx[y])-sum[x]+k$

我们在$pair$_$sum$中，二分找到最后一个值大于$c$的下标$ans$，直接在BIT中查询$(1,ans)$，然后将$pairmx[i].second$插入进BIT即可。（这一步就是将对应在$pairsum$数组里的下标扔进去）

搞定了。