【筆記/模板】線段樹（改）

線段樹

線段樹是 OI 競賽中最強大的資料結構之一，可以用來維護和、積以及最值等具有合併性質的資訊。

一般線段樹

P3372 【模板】線段樹 1 - 洛谷 | 電腦科學教育新生態 (luogu.com.cn)

P3373 【模板】線段樹 2 - 洛谷 | 電腦科學教育新生態 (luogu.com.cn)

以模板一為例：

class Segment_Tree
{
    #define lc u << 1
    #define rc u << 1 | 1

private:
    struct Tree
    {
        int l, r, sum, tag;
        inline int len() { return r - l + 1; }
        inline void addtag(int k) { sum += len() * k, tag += k; }
    } tr[N << 2];

public:
    inline void pushup(int u) { tr[u].sum = tr[lc].sum + tr[rc].sum; }

    void build(int u, int l, int r)
    {
        tr[u].l = l, tr[u].r = r;
        if (l == r) return tr[u].sum = a[l], void(0);
        int mid = l + r >> 1;
        build(lc, l, mid), build(rc, mid + 1, r);
        pushup(u);
    }

    void pushdown(int u)
    {
        int &k = tr[u].tag;
        tr[lc].addtag(k), tr[rc].addtag(k);
        k = 0;
    }

    void dot_modify(int u, int x, int k)
    {
        if (tr[u].l == tr[u].r)
            return tr[u].addtag(k);
        pushdown(u);
        int mid = tr[u].l + tr[u].r >> 1;
        dot_modify(u << 1 | (x > mid), x, k);
        pushup(u);
    }

    void range_modify(int u, int l, int r, int k)
    {
        if (l <= tr[u].l && tr[u].r <= r)
            return tr[u].addtag(k);
        pushdown(u);
        int mid = tr[u].l + tr[u].r >> 1;
        if (l <= mid) range_modify(lc, l, r, k);
        if (r > mid) range_modify(rc, l, r, k);
        pushup(u); 
    }

    int query(int u, int l, int r)
    {
        if (l <= tr[u].l && tr[u].r <= r)
            return tr[u].sum;
        pushdown(u);
        int mid = tr[u].l + tr[u].r >> 1, res = 0;
        if (l <= mid) res += query(lc, l, r);
        if (r > mid) res += query(rc, l, r);
        return res;
    }
    
	#undef lc
	#undef rc
} SGT;

權值線段樹

在遇到需要以權值為下標建立的線段樹時，過大的值域使得無法如上種方式建立線段樹，這時候需要權值線段樹和動態開點的技巧。

T125847 【模板】動態開點線段樹 - 洛谷 | 電腦科學教育新生態 (luogu.com.cn)

在權值 \(x\) 上加 \(k\)

inline void insert(int &u, int l, int r, int x, int k)
{
    if (!u) u = ++ idx;
    tr[u].len = r - l + 1;
    if (l == r) return tr[u].sum = k, void(0);

    int mid = l + r >> 1;
    if (x <= mid) insert(lc, l, mid, x, k);
    else insert(rc, mid + 1, r, x, k);
    pushup(u);
}

上 / 下傳標記

inline void pushup(int u) { tr[u].sum = (tr[lc].sum + tr[rc].sum) % mod; }

/* void pushdown(int u)
{
    int &k = tr[u].tag;
    if (!lc) lc = ++ idx, tr[lc].len = tr[u].len >> 1;
    if (!rc) rc = ++ idx, tr[rc].len = tr[u].len - tr[lc].len;

    tr[lc].addtag(k), tr[rc].addtag(k);
    k = 0;
} */

void pushdown(int u, int len)
{	
	if (!tr[u].tag) return;

    if (!lc) lc = ++ idx;
    if (!rc) rc = ++ idx;
    tr[lc].tag = (tr[lc].tag + tr[u].tag) % mod;
    tr[rc].tag = (tr[rc].tag + tr[u].tag) % mod;
    tr[lc].sum = tr[lc].sum + tr[u].tag 
    (tr[lc].sum += ll(tr[u].tag % p) * ((len - len / 2) % p) % p) %= p;
    (tr[rc].sum += ll(tr[u].tag % p) * ((len / 2) % p) % p) %= p;
    tr[u].tag = 0;
}

區間加

void modify(int &u, int l, int r, int L, int R, int k)
{
// 	if (r < L || l > R) return;
	if (!u) u = ++ idx;
	if (L <= l && r <= R)
	{
		(tr[u].sum += (ll(r - l + 1) % p) * (k % p) % p) % p;
		(tr[u].tag += k) %= p;
		return;
	}
	
	int mid = l + r >> 1;
	pushdown(u, r - l + 1);
	modify(lc, l, mid, L, R, k);
	modify(rc, mid + 1, r, L, R, k);
	pushup(u);
}

區間查詢

int query(int u, int l, int r, int L, int R)
{
	if (!u) return 0;
	if (r < L || l > R) return 0;
	if (L <= l && r <= R)
		return tr[u].sum;
	
	int mid = l + r >> 1;
	pushdown(u, r - l + 1);
	return (query(lc, l, mid, L, R) + query(rc, mid + 1, r, L, R)) % p;
}