Amortization Results for Chromatic Search Trees, with an Application to Priority Queues.
Joan BoyarRolf FagerbergKim S. LarsenPublished in: WADS (1995)
Keyphrases
- search tree
- priority queue
- arrival processes
- search algorithm
- search space
- branch and bound algorithm
- branching factor
- data structure
- b tree
- tree search
- queue length
- service times
- color images
- sat solvers
- root node
- queueing networks
- single server
- symmetry breaking
- binary search trees
- databases
- steady state
- heuristic function
- constraint satisfaction problems
- arrival process