OLD | NEW |
(Empty) | |
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. |
| 4 |
| 5 // Provides an implementation the parts of the RTree data structure that don't |
| 6 // require knowledge of the generic key type. Don't use these objects directly, |
| 7 // rather specialize the RTree<> object in r_tree.h. This file defines the |
| 8 // internal objects of an RTree, namely Nodes (internal nodes of the tree) and |
| 9 // Records, which hold (key, rectangle) pairs. |
| 10 |
| 11 #ifndef UI_GFX_GEOMETRY_R_TREE_BASE_H_ |
| 12 #define UI_GFX_GEOMETRY_R_TREE_BASE_H_ |
| 13 |
| 14 #include <list> |
| 15 #include <vector> |
| 16 |
| 17 #include "base/containers/hash_tables.h" |
| 18 #include "base/macros.h" |
| 19 #include "base/memory/scoped_ptr.h" |
| 20 #include "base/memory/scoped_vector.h" |
| 21 #include "ui/gfx/geometry/rect.h" |
| 22 #include "ui/gfx/gfx_export.h" |
| 23 |
| 24 namespace gfx { |
| 25 |
| 26 class GFX_EXPORT RTreeBase { |
| 27 protected: |
| 28 class NodeBase; |
| 29 class RecordBase; |
| 30 |
| 31 typedef std::vector<const RecordBase*> Records; |
| 32 typedef ScopedVector<NodeBase> Nodes; |
| 33 |
| 34 RTreeBase(size_t min_children, size_t max_children); |
| 35 ~RTreeBase(); |
| 36 |
| 37 // Protected data structure class for storing internal Nodes or leaves with |
| 38 // Records. |
| 39 class GFX_EXPORT NodeBase { |
| 40 public: |
| 41 virtual ~NodeBase(); |
| 42 |
| 43 // Appends to |records_out| the set of Records in this subtree with rects |
| 44 // that intersect |query_rect|. Avoids clearing |records_out| so that it |
| 45 // can be called recursively. |
| 46 virtual void AppendIntersectingRecords(const Rect& query_rect, |
| 47 Records* records_out) const = 0; |
| 48 |
| 49 // Returns all records stored in the subtree rooted at this node. Appends to |
| 50 // |matches_out| without clearing. |
| 51 virtual void AppendAllRecords(Records* records_out) const = 0; |
| 52 |
| 53 // Returns NULL if no children. Does not recompute bounds. |
| 54 virtual scoped_ptr<NodeBase> RemoveAndReturnLastChild() = 0; |
| 55 |
| 56 // Returns -1 for Records, or the height of this subtree for Nodes. The |
| 57 // height of a leaf Node (a Node containing only Records) is 0, a leaf's |
| 58 // parent is 1, etc. Note that in an R*-Tree, all branches from the root |
| 59 // Node will be the same height. |
| 60 virtual int Level() const = 0; |
| 61 |
| 62 // Recomputes our bounds by taking the union of all child rects, then calls |
| 63 // recursively on our parent so that ultimately all nodes up to the root |
| 64 // recompute their bounds. |
| 65 void RecomputeBoundsUpToRoot(); |
| 66 |
| 67 NodeBase* parent() { return parent_; } |
| 68 const NodeBase* parent() const { return parent_; } |
| 69 void set_parent(NodeBase* parent) { parent_ = parent; } |
| 70 const Rect& rect() const { return rect_; } |
| 71 void set_rect(const Rect& rect) { rect_ = rect; } |
| 72 |
| 73 protected: |
| 74 NodeBase(const Rect& rect, NodeBase* parent); |
| 75 |
| 76 // Bounds recomputation without calling parents to do the same. |
| 77 virtual void RecomputeLocalBounds(); |
| 78 |
| 79 private: |
| 80 friend class RTreeTest; |
| 81 friend class RTreeNodeTest; |
| 82 |
| 83 // This Node's bounding rectangle. |
| 84 Rect rect_; |
| 85 |
| 86 // A weak pointer to our parent Node in the RTree. The root node will have a |
| 87 // NULL value for |parent_|. |
| 88 NodeBase* parent_; |
| 89 |
| 90 DISALLOW_COPY_AND_ASSIGN(NodeBase); |
| 91 }; |
| 92 |
| 93 class GFX_EXPORT RecordBase : public NodeBase { |
| 94 public: |
| 95 explicit RecordBase(const Rect& rect); |
| 96 virtual ~RecordBase(); |
| 97 |
| 98 virtual void AppendIntersectingRecords(const Rect& query_rect, |
| 99 Records* records_out) const OVERRIDE; |
| 100 virtual void AppendAllRecords(Records* records_out) const OVERRIDE; |
| 101 virtual scoped_ptr<NodeBase> RemoveAndReturnLastChild() OVERRIDE; |
| 102 virtual int Level() const OVERRIDE; |
| 103 |
| 104 private: |
| 105 friend class RTreeTest; |
| 106 friend class RTreeNodeTest; |
| 107 |
| 108 DISALLOW_COPY_AND_ASSIGN(RecordBase); |
| 109 }; |
| 110 |
| 111 class GFX_EXPORT Node : public NodeBase { |
| 112 public: |
| 113 // Constructs an empty Node with |level_| of 0. |
| 114 Node(); |
| 115 virtual ~Node(); |
| 116 |
| 117 virtual void AppendIntersectingRecords(const Rect& query_rect, |
| 118 Records* records_out) const OVERRIDE; |
| 119 virtual scoped_ptr<NodeBase> RemoveAndReturnLastChild() OVERRIDE; |
| 120 virtual int Level() const OVERRIDE; |
| 121 virtual void AppendAllRecords(Records* matches_out) const OVERRIDE; |
| 122 |
| 123 // Constructs a new Node that is the parent of this Node and already has |
| 124 // this Node as its sole child. Valid to call only on root Nodes, meaning |
| 125 // Nodes with |parent_| NULL. Note that ownership of this Node is |
| 126 // transferred to the parent returned by this function. |
| 127 scoped_ptr<Node> ConstructParent(); |
| 128 |
| 129 // Removes |number_to_remove| children from this Node, and appends them to |
| 130 // the supplied list. Does not repair bounds upon completion. Nodes are |
| 131 // selected in the manner suggested in the Beckmann et al. paper, which |
| 132 // suggests that the children should be sorted by the distance from the |
| 133 // center of their bounding rectangle to their parent's bounding rectangle, |
| 134 // and then the n closest children should be removed for re-insertion. This |
| 135 // removal occurs at most once on each level of the tree when overflowing |
| 136 // nodes that have exceeded the maximum number of children during an Insert. |
| 137 void RemoveNodesForReinsert(size_t number_to_remove, Nodes* nodes); |
| 138 |
| 139 // Given a pointer to a child node within this Node, removes it from our |
| 140 // list. If that child had any children, appends them to the supplied orphan |
| 141 // list. Returns the removed child. Does not recompute bounds, as the caller |
| 142 // might subsequently remove this node as well, meaning the recomputation |
| 143 // would be wasted work. |
| 144 scoped_ptr<NodeBase> RemoveChild(NodeBase* child_node, Nodes* orphans); |
| 145 |
| 146 // Returns the best parent for insertion of the provided |node| as a child. |
| 147 Node* ChooseSubtree(NodeBase* node); |
| 148 |
| 149 // Adds |node| as a child of this Node, and recomputes the bounds of this |
| 150 // node after the addition of the child. Returns the new count of children |
| 151 // stored in this Node. This node becomes the owner of |node|. |
| 152 size_t AddChild(scoped_ptr<NodeBase> node); |
| 153 |
| 154 // Returns a sibling to this Node with at least min_children and no greater |
| 155 // than max_children of this Node's children assigned to it, and having the |
| 156 // same parent. Bounds will be valid on both Nodes after this call. |
| 157 scoped_ptr<NodeBase> Split(size_t min_children, size_t max_children); |
| 158 |
| 159 size_t count() const { return children_.size(); } |
| 160 const NodeBase* child(size_t i) const { return children_[i]; } |
| 161 NodeBase* child(size_t i) { return children_[i]; } |
| 162 |
| 163 private: |
| 164 typedef std::vector<Rect> Rects; |
| 165 |
| 166 explicit Node(int level); |
| 167 |
| 168 // Given two arrays of bounds rectangles as computed by BuildLowBounds() |
| 169 // and BuildHighBounds(), returns the index of the element in those arrays |
| 170 // along which a split of the arrays would result in a minimum amount of |
| 171 // overlap (area of intersection) in the two groups. |
| 172 static size_t ChooseSplitIndex(size_t start_index, |
| 173 size_t end_index, |
| 174 const Rects& low_bounds, |
| 175 const Rects& high_bounds); |
| 176 |
| 177 // R*-Tree attempts to keep groups of rectangles that are roughly square |
| 178 // in shape. It does this by comparing the "margins" of different bounding |
| 179 // boxes, where margin is defined as the sum of the length of all four sides |
| 180 // of a rectangle. For two rectangles of equal area, the one with the |
| 181 // smallest margin will be the rectangle whose width and height differ the |
| 182 // least. When splitting we decide to split along an axis chosen from the |
| 183 // rectangles either sorted vertically or horizontally by finding the axis |
| 184 // that would result in the smallest sum of margins between the two bounding |
| 185 // boxes of the resulting split. Returns the smallest sum computed given the |
| 186 // sorted bounding boxes and a range to look within. |
| 187 static int SmallestMarginSum(size_t start_index, |
| 188 size_t end_index, |
| 189 const Rects& low_bounds, |
| 190 const Rects& high_bounds); |
| 191 |
| 192 // Sorts nodes primarily by increasing y coordinates, and secondarily by |
| 193 // increasing height. |
| 194 static bool CompareVertical(const NodeBase* a, const NodeBase* b); |
| 195 |
| 196 // Sorts nodes primarily by increasing x coordinates, and secondarily by |
| 197 // increasing width. |
| 198 static bool CompareHorizontal(const NodeBase* a, const NodeBase* b); |
| 199 |
| 200 // Sorts nodes by the distance of the center of their rectangles to the |
| 201 // center of their parent's rectangles. |
| 202 static bool CompareCenterDistanceFromParent( |
| 203 const NodeBase* a, const NodeBase* b); |
| 204 |
| 205 // Given two vectors of Nodes sorted by vertical or horizontal bounds, |
| 206 // populates two vectors of Rectangles in which the ith element is the union |
| 207 // of all bounding rectangles [0,i] in the associated sorted array of Nodes. |
| 208 static void BuildLowBounds(const std::vector<NodeBase*>& vertical_sort, |
| 209 const std::vector<NodeBase*>& horizontal_sort, |
| 210 Rects* vertical_bounds, |
| 211 Rects* horizontal_bounds); |
| 212 |
| 213 // Given two vectors of Nodes sorted by vertical or horizontal bounds, |
| 214 // populates two vectors of Rectangles in which the ith element is the |
| 215 // union of all bounding rectangles [i, count()) in the associated sorted |
| 216 // array of Nodes. |
| 217 static void BuildHighBounds(const std::vector<NodeBase*>& vertical_sort, |
| 218 const std::vector<NodeBase*>& horizontal_sort, |
| 219 Rects* vertical_bounds, |
| 220 Rects* horizontal_bounds); |
| 221 |
| 222 virtual void RecomputeLocalBounds() OVERRIDE; |
| 223 |
| 224 // Returns the increase in overlap value, as defined in Beckmann et al. as |
| 225 // the sum of the areas of the intersection of all child rectangles |
| 226 // (excepting the candidate child) with the argument rectangle. Here the |
| 227 // |candidate_node| is one of our |children_|, and |expanded_rect| is the |
| 228 // already-computed union of the candidate's rect and |rect|. |
| 229 int OverlapIncreaseToAdd(const Rect& rect, |
| 230 const NodeBase* candidate_node, |
| 231 const Rect& expanded_rect) const; |
| 232 |
| 233 // Returns a new node containing children [split_index, count()) within |
| 234 // |sorted_children|. Children before |split_index| remain with |this|. |
| 235 scoped_ptr<NodeBase> DivideChildren( |
| 236 const Rects& low_bounds, |
| 237 const Rects& high_bounds, |
| 238 const std::vector<NodeBase*>& sorted_children, |
| 239 size_t split_index); |
| 240 |
| 241 // Returns a pointer to the child node that will result in the least overlap |
| 242 // increase with the addition of node_rect, or NULL if there's a tie found. |
| 243 // Requires a precomputed vector of expanded rectangles where the ith |
| 244 // rectangle in the vector is the union of |children_|[i] and node_rect. |
| 245 // Overlap is defined in Beckmann et al. as the sum of the areas of |
| 246 // intersection of all child rectangles with the |node_rect| argument |
| 247 // rectangle. This heuristic attempts to choose the node for which adding |
| 248 // the new rectangle to their bounding box will result in the least overlap |
| 249 // with the other rectangles, thus trying to preserve the usefulness of the |
| 250 // bounding rectangle by keeping it from covering too much redundant area. |
| 251 Node* LeastOverlapIncrease(const Rect& node_rect, |
| 252 const Rects& expanded_rects); |
| 253 |
| 254 // Returns a pointer to the child node that will result in the least area |
| 255 // enlargement if the argument node rectangle were to be added to that |
| 256 // node's bounding box. Requires a precomputed vector of expanded rectangles |
| 257 // where the ith rectangle in the vector is the union of children_[i] and |
| 258 // |node_rect|. |
| 259 Node* LeastAreaEnlargement(const Rect& node_rect, |
| 260 const Rects& expanded_rects); |
| 261 |
| 262 const int level_; |
| 263 |
| 264 Nodes children_; |
| 265 |
| 266 friend class RTreeTest; |
| 267 friend class RTreeNodeTest; |
| 268 |
| 269 DISALLOW_COPY_AND_ASSIGN(Node); |
| 270 }; |
| 271 |
| 272 // Inserts |node| into the tree. The |highest_reinsert_level| supports |
| 273 // re-insertion as described by Beckmann et al. As Node overflows progagate |
| 274 // up the tree the algorithm performs a reinsertion of the overflow Nodes |
| 275 // (instead of a split) at most once per level of the tree. A starting value |
| 276 // of -1 for |highest_reinsert_level| means that reinserts are permitted for |
| 277 // every level of the tree. This should always be set to -1 except by |
| 278 // recursive calls from within InsertNode(). |
| 279 void InsertNode(scoped_ptr<NodeBase> node, int* highest_reinsert_level); |
| 280 |
| 281 // Removes |node| from the tree without deleting it. |
| 282 scoped_ptr<NodeBase> RemoveNode(NodeBase* node); |
| 283 |
| 284 // If |root_| has only one child, deletes the |root_| Node and replaces it |
| 285 // with its only descendant child. Otherwise does nothing. |
| 286 void PruneRootIfNecessary(); |
| 287 |
| 288 // Deletes the entire current tree and replaces it with an empty Node. |
| 289 void ResetRoot(); |
| 290 |
| 291 const Node* root() const { return root_.get(); } |
| 292 |
| 293 private: |
| 294 friend class RTreeTest; |
| 295 friend class RTreeNodeTest; |
| 296 |
| 297 // A pointer to the root node in the RTree. |
| 298 scoped_ptr<Node> root_; |
| 299 |
| 300 // The parameters used to define the shape of the RTree. |
| 301 const size_t min_children_; |
| 302 const size_t max_children_; |
| 303 |
| 304 DISALLOW_COPY_AND_ASSIGN(RTreeBase); |
| 305 }; |
| 306 |
| 307 } // namespace gfx |
| 308 |
| 309 #endif // UI_GFX_GEOMETRY_R_TREE_BASE_H_ |
OLD | NEW |