應用:
區間染色
區間查詢
線段樹不是完全二叉樹,線段樹是平衡二叉樹
使用數組來實現線段樹:存儲空間為4n
以下是使用數組實現的靜態線段樹:
public class SegmentTree<E> { private E[] tree; private E[] data; private Merger<E> merger; public SegmentTree(E[] arr, Merger<E> merger) { this.merger = merger; data = (E[]) new Object[arr.length]; for(int i = 0 ; i < arr.length ; i ++) { data[i] = arr[i]; } tree = (E[]) new Object[4 * arr.length]; buildSegmentTree(0, 0, data.length - 1); } //在tree Index的位置創建表示區間[l ... r]的線段樹 private void buildSegmentTree(int treeIndex, int l, int r) { if(l == r) { tree[treeIndex] = data[l]; return; } int leftTreeIndex = leftChild(treeIndex); int rightTreeIndex = rightChild(treeIndex); int mid = l + (r - l) / 2; buildSegmentTree(leftTreeIndex, l, mid); buildSegmentTree(rightTreeIndex, mid + 1, r); //根據業務組合線段樹 tree[treeIndex] = merger.merge(tree[leftTreeIndex], tree[rightTreeIndex]); } public E get(int index) { if(index < 0 || index >= data.length) { throw new IllegalArgumentException("Index is illegal."); } return data[index]; } public int getSize() { return data.length; } private int leftChild(int index) { return 2*index + 1; } private int rightChild(int index) { return 2*index + 2; } public E query(int queryL, int queryR) { if(queryL < 0 || queryL >= data.length || queryR < queryL){ throw new IllegalArgumentException("Index is illegal."); } return query(0, 0, data.length -1, queryL, queryR); } //查詢線段樹 //在以treeID為根的線段樹中[l...r]的范圍里,搜索區間[queryL...queryR]的值 private E query(int treeIndex, int l, int r, int queryL, int queryR) { if(l == queryL && r == queryR) { return tree[treeIndex]; } int mid = l + (r-l)/2; int leftTreeIndex = leftChild(treeIndex); int rightTreeIndex = rightChild(treeIndex); if(queryL >= mid +1) { return query(rightTreeIndex, mid + 1, r, queryL, queryR); }else if(queryR <= mid) { return query(leftTreeIndex, l, mid, queryL, queryR); }else { //這種情況下產生了兩段線段樹,需要進行融合 E leftResult = query(leftTreeIndex, l, mid, queryL, mid); E rightResult = query(rightTreeIndex, mid + 1, r, mid + 1, queryR); return merger.merge(leftResult, rightResult); } } //將index位置的值更新為e public void set(int index, E e) { if(index < 0 || index >= data.length) { throw new IllegalArgumentException("Index is illegal"); } data[index] = e; set(0,0, data.length - 1, index, e); } private void set(int treeIndex, int l, int r, int index, E e) { if(l == r) { tree[treeIndex] = e; return; } int mid = l + (r - l) / 2; int leftTreeIndex = leftChild(treeIndex); int rightTreeIndex = rightChild(treeIndex); if(index >= mid + 1) { set(rightTreeIndex, mid + 1, r, index, e); }else { set(leftTreeIndex, l, mid, index, e); } tree[treeIndex] = merger.merge(tree[leftTreeIndex], tree[rightTreeIndex]); } @Override public String toString() { StringBuilder res = new StringBuilder(); res.append('['); for(int i = 0 ; i < tree.length ; i ++) { if(tree[i] != null) { res.append(tree[i]); }else { res.append("null"); } if(i != tree.length - 1) { res.append(", "); } } res.append("]"); return res.toString(); } }
對於一個區間的更新:
懶惰更新:使用lazy數組記錄未更新的內容,下一次訪問時先訪問lazy數組,若有內容,更新后再訪問即可。
動態線段樹:
使用鏈表實現
節省空間
可以不均等划分區間,便於實際應用