HDU 4819：Mosaic（线段树套线段树）

http://acm.hdu.edu.cn/showproblem.php?pid=4819

题意：给出一个矩阵，然后q个询问，每个询问有a,b,c，代表(a,b)这个点上下左右c/2的矩形区域内的（最大值+最小值）/2是多少，并且将(a,b)的值替换成这个答案。

思路：很久以前被暴力跑过去的一道题，今天怎么交也过不去。。。果然是人品爆发了。

学了一下树套树，一开始觉得挺容易理解，但是后面PushUp那里挺难懂的（对我来说）。

我的理解：

对于每个线段树的结点开一棵线段树，即tree[x][y]，x代表的是行的信息，y代表的是列的信息。

觉得PushUp难懂的原因是不知道行上的非叶子结点和列上的非叶子结点是怎么更新的。

 void PushUp1(int x, int y) {
     tree[x][y].small = min(tree[x<<][y].small, tree[x<<|][y].small);
     tree[x][y].big = max(tree[x<<][y].big, tree[x<<|][y].big);
 }

 void PushUp2(int x, int y) {
     tree[x][y].small = min(tree[x][y<<].small, tree[x][y<<|].small);
     tree[x][y].big = max(tree[x][y<<].big, tree[x][y<<|].big);
 }

 void Update1(int x, int leaf, int rt, int l, int r, int id, int val) {
     if(l == r) {
         if(leaf) { tree[x][rt].small = tree[x][rt].big = val; return ; }
         PushUp1(x, rt); // 列相同的时候并且行不是叶子结点的时候去更新行的线段树的状态
         return ;
     }
     int m = (l + r) >> ;
     if(id <= m) Update1(x, leaf, lson, id, val);
     else Update1(x, leaf, rson, id, val);
     PushUp2(x, rt);
 }

 void Update2(int rt, int l, int r, int xx, int yy, int val) {
     if(l == r) {
         Update1(rt, , , , n, yy, val);
         return ;
     }
     int m = (l + r) >> ;
     if(xx <= m) Update2(lson, xx, yy, val);
     else Update2(rson, xx, yy, val);
     Update1(rt, , , , n, yy, val);
 }

首先看Update2，这是更新行的线段树信息，和普通线段树一样，只不过是普通的PushUp改成了Update1，插入操作改成了Update1，因此理解Update1就好了。

对于既是列的叶子结点又是行的叶子结点的结点，是对应于矩阵一个点的结点，因此对其赋值修改。

对于是列的叶子结点但是不是行的叶子结点的结点，我们将其行的信息像平时维护一维线段树一样，将行的信息PushUp。

对于不是列的叶子结点的结点，它可以储存列的区间信息，因此将列的信息PushUp。

那么像我之前的疑问，即不是列的叶子结点又不是行的叶子结点的信息在哪里维护。。。

注意原本的PushUp操作变成了Update1，即对于每个行结点，都会去更新对应的那棵线段树，而且是从底向上，因此信息都会被更新。

还优化了一下一开始的读入插入，用类似于Update的Build函数，可以在Build的时候行为叶子列为叶子的时候读入，这样操作为O(n^2)的复杂度，普通的Update插入需要O(n^2 logn^2)，跑之后快了一倍的时间。

下面是所有代码：

 #include <bits/stdc++.h>
 using namespace std;
 #define N 800
 #define INF 1000000007
 #define lson rt<<1, l, m
 #define rson rt<<1|1, m + 1, r
 struct node {
     int small, big;
 } tree[N<<][N<<];
 int big, small, n;

 void PushUp1(int x, int y) {
     tree[x][y].small = min(tree[x<<][y].small, tree[x<<|][y].small);
     tree[x][y].big = max(tree[x<<][y].big, tree[x<<|][y].big);
 }

 void PushUp2(int x, int y) {
     tree[x][y].small = min(tree[x][y<<].small, tree[x][y<<|].small);
     tree[x][y].big = max(tree[x][y<<].big, tree[x][y<<|].big);
 }

 void Build1(int x, int leaf, int rt, int l, int r) {
     if(l == r) {
         if(leaf) { scanf("%d", &tree[x][rt].big), tree[x][rt].small = tree[x][rt].big; return ; }
         PushUp1(x, rt); return ;
     }
     int m = (l + r) >> ;
     Build1(x, leaf, lson); Build1(x, leaf, rson);
     PushUp2(x, rt);
 }

 void Build2(int rt, int l, int r) {
     if(l == r) { Build1(rt, , , , n); return ; }
     int m = (l + r) >> ;
     Build2(lson); Build2(rson);
     Build1(rt, , , , n);
 }

 void Query1(int x, int rt, int l, int r, int y1, int y2) {
     if(y1 <= l && r <= y2) {
         big = max(big, tree[x][rt].big);
         small = min(small, tree[x][rt].small);
         return ;
     }
     int m = (l + r) >> ;
     if(y1 <= m) Query1(x, lson, y1, y2);
     if(m < y2) Query1(x, rson, y1, y2);
 }

 void Query2(int rt, int l, int r, int x1, int x2, int y1, int y2) {
     if(x1 <= l && r <= x2) {
         Query1(rt, , , n, y1, y2);
         return ;
     }
     int m = (l + r) >> ;
     if(x1 <= m) Query2(lson, x1, x2, y1, y2);
     if(m < x2) Query2(rson, x1, x2, y1, y2);
 }

 void Update1(int x, int leaf, int rt, int l, int r, int id, int val) {
     if(l == r) {
         if(leaf) { tree[x][rt].small = tree[x][rt].big = val; return ; }
         PushUp1(x, rt); // 列相同的时候并且行不是叶子结点的时候去更新行的线段树的状态
         return ;
     }
     int m = (l + r) >> ;
     if(id <= m) Update1(x, leaf, lson, id, val);
     else Update1(x, leaf, rson, id, val);
     PushUp2(x, rt);
 }

 void Update2(int rt, int l, int r, int xx, int yy, int val) {
     if(l == r) {
         Update1(rt, , , , n, yy, val);
         return ;
     }
     int m = (l + r) >> ;
     if(xx <= m) Update2(lson, xx, yy, val);
     else Update2(rson, xx, yy, val);
     Update1(rt, , , , n, yy, val);
 }

 int main() {
     int t; scanf("%d", &t);
     for(int cas = ; cas <= t; cas++) {
         scanf("%d", &n);
         Build2(, , n);
         int q; scanf("%d", &q);
         printf("Case #%d:\n", cas);
         while(q--) {
             int a, b, c; scanf("%d%d%d", &a, &b, &c);
             int x1 = max(, a - c / ), x2 = min(n, a + c / );
             int y1 = max(, b - c / ), y2 = min(n, b + c / );
             big = -INF, small = INF;
             Query2(, , n, x1, x2, y1, y2);
             int now = (big + small) / ;
             printf("%d\n", now);
             Update2(, , n, a, b, now);
         }
     }
     return ;
 }