偏序的问题&&CDQ分治

偏序，相信大家应该都听说过。
简单地说(不严谨的说)，偏序就是满足【自反性】【反对称性】【传递性】的关系。
那么偏序具体是什么呢，举个例子：有理数上的小于等于关系就是一个偏序关系。如果我们只将数进行两两对比，如果<a,b>是一个偏序集中的元素。

（1） a<=a显然成立
（2）若a<=b且b<=a，那么a=b
（3）a<=b,，b<=c，那么 a<=c显然成立

以上三点分别对应自反性，反对称性和传递性。

刚才笔者给大家解释了什么叫做偏序，上述偏序也是一维偏序。
那么什么叫二维偏序呢，若<a1,b1>，<a2,b2>都是偏序，且(a1,b1)和(a2,b2)分别是两个点对，则该问题就是二位偏序啦。

那么如何解决偏序问题呢？
首先从最简单的一维偏序开始。
【问题1】 给定一个无序序列，求出序列中比a小的元素有多少个？
【分析】将序列排序后可很轻松的解决。

这就是最简单的一维偏序问题。

接下来我们看二维偏序。
【问题2】给定一个无序序列，求出其最长上升子序列。
【分析】肯定有读者会有疑问了，最长上升子序列是偏序问题我明白，可是它为什么是二维的呢？它当然是二维的，因为我们有一维是序列，还有另外一维是时间。我们要保证权值大小关系的同时，还需要保证出现的先后。所以最长上升子序列是一个二维的偏序问题。
【解答】我们先按时间维排序后，然后再看序列元素之间的大小关系。怎么按时间维排序呢？在序列中，它本来就是按时间维排好序的。然后怎么做呢？我们接着往下看，然后大家就能明白了。

给定一个序列 a【2 1 5 3 6 4 8 9 7】
我们新开一个数组，为tmp。
我把数组画在下面：
这是初始状态

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp

遍历元素a[1] = 2

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp			1

遍历元素a[2] = 1

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1

遍历元素a[3] = 5

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1			2

遍历元素a[4] = 3

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1	2		2

遍历元素a[5] = 6

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1	2		2	3

遍历元素a[6] = 4

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1	2	3	2	3

遍历元素a[7] = 8

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1	2	3	2	3		4

遍历元素a[8] = 9

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1	2	3	2	3		4	5

遍历元素a[9] = 7

a		2	1	5	3	6	4	8	9	7
下标	0	1	2	3	4	5	6	7	8	9
tmp		1	1	2	3	2	3	4	4	5

好了，至此，整个过程就算结束了(10个表格画了半天啊！)(骗你的，其实是复制的表格 )
我们来找规律吧！

我开玩笑的，我们来看解答过程。
我们一个一个遍历序列元素，在tmp中将该元素前面最大值记录下来，再加一，存进tmp[a[i]]中，表示在序列中a[i]前面有几个比他小。
于是我们就可以发现，下标就是一个时间维，我们将序列中小于它的并且时间小于它的放入tmp里面维护，tmp中的最大值就是最长上升子序列，其中tmp[a[i]]表示序列中从1到 i 的最长上升子序列是多少。

维护tmp的时候十分类似前缀和，所以我们用树状数组来维护。这样时间复杂度为O(nlogn)。
下面是代码：

#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e5+7;
int sum[maxn];
int a[maxn]