1 / 19

Priority Search Trees

Priority Search Trees. Keys are pairs (x,y) . Basic (search, insert, delete) and rectangle operations. Two varieties. Based on a balanced binary search tree such as a red-black tree. Red-black Priority Search Tree (RBPST) Based on a radix search tree. Radix Priority Search Tree (RPST).

mgeiger
Download Presentation

Priority Search Trees

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Priority Search Trees • Keys are pairs (x,y). • Basic (search, insert, delete) and rectangle operations. • Two varieties. • Based on a balanced binary search tree such as a red-black tree. • Red-black Priority Search Tree (RBPST) • Based on a radix search tree. • Radix Priority Search Tree (RPST)

  2. Radix Priority Search Tree • All x values are different, integer, and in the range [0, k – 1]. • Each node of the priority search tree has exactly one element. • Min tree on y. • Radix tree on x.

  3. Radix Priority Search Tree • The y value of the element in node w is <= the y value of all elements in the subtree rooted at w (y values define a min tree). • Root interval is [0,k). • Interval for node w is [a,b). • Left child interval is [a, floor((a+b)/2)). • Right child interval is [floor((a+b)/2, b)).

  4. [0,16) [0,16) 5,8 5,8 6,9 [0,8) Insert • Start with empty RPST. • k = 16. • Root interval is [0,16). • Insert (5,8). • Insert (6,9). • (5,8) remains in root, because 8 < 9. • (6,9) inserted in left subtree, because 6 is in the left child interval.

  5. [0,16) [0,16) 5,8 6,9 7,1 5,8 6,9 [0,8) [0,8) [4,8) Insert • Insert (7,1). • (7,1) goes into the root, because 1 < 8. • (5,8) inserted in left subtree, because 5 is in the left child interval. • (5,8) displaces (6,9), because 8 < 9. • (6,9) inserted in right subtree, because 6 is in the right child interval.

  6. [8,16) 11,5 [0,16) [0,16) [4,8) 7,1 5,8 6,9 7,1 5,8 6,9 [0,8) [0,8) [4,8) Insert • Insert (11,5).

  7. [0,8) [8,16) 11,5 [0,16) [0,4) [4,8) 2,12 7,1 5,8 6,9 Properties • Height is O(log k). • Insert time is O(log k).

  8. [0,8) [8,16) 11,5 [0,16) [0,4) [4,8) 2,12 7,1 5,8 6,9 Search • Search time is O(log k).

  9. [0,8) [8,16) 11,5 [0,16) [0,4) [4,8) 2,12 7,1 5,8 6,9 Delete • Similar to delete min of min heap. • Delete time is O(log k).

  10. [0,16) 12,1 [0,8) [8,16) 11,5 [12,16) [0,4) [4,8) 2,12 5,8 6,9 14,6 minXinRectangle(xL,xR,yT) • minXinRectangle(6,12,7). • Time is O(log k).

  11. yok yok yok ynotOK ynotOK yok yok ynotOK yok yok ynotOK ynotOK ynotOK Complexity Profile of visited nodes. Node is visited iff its y is checked for being ok/notOK. This check is done only at nodes with an x-range overlap.

  12. yok yok yok ynotOK ynotOK yok yok ynotOK yok yok ynotOK ynotOK ynotOK Complexity Yellow node is node closest to root with 2 examined children.

  13. yok yok yok ynotOK ynotOK yok yok ynotOK yok yok ynotOK ynotOK ynotOK Complexity No yellow node  O(log k) examined nodes Yellow node  unique

  14. yok yok yok ynotOK ynotOK yok yok ynotOK yok yok ynotOK ynotOK ynotOK Complexity Assume both children of the yellow node are yok. The other cases are similar.

  15. yok yok yok ynotOK ynotOK yok yok ynotOK yok yok ynotOK ynotOK ynotOK Complexity No other node in the yellow node’s subtree can have two children marked yok.

  16. yok yok yok ynotOK ynotOK yok yok ynotOK yok yok ynotOK ynotOK ynotOK Complexity # nodes visited < 4log k.

  17. [0,16) 12,1 [0,8) [8,16) 11,5 [12,16) [0,4) [4,8) 2,12 5,8 6,9 14,6 maxXinRectangle(xL,xR,yT) • maxXinRectangle(6,12,7). • Time is O(log k).

  18. [0,16) 12,1 [0,8) [8,16) 11,5 [12,16) [0,4) [4,8) 2,12 5,8 6,9 14,6 minYinXrange(xL,xR) • minYinXrange(6,10). • Time is O(log k).

  19. [0,16) 12,1 [0,8) [8,16) 11,5 [12,16) [0,4) [4,8) 2,12 5,8 6,9 14,6 enumerateRectangle(xL,xR,yT) • enumerateRectangle(6,12,8). • Time is O(log k + s), where s is #points in rectangle.

More Related