Amortization Results for Chromatic Search Trees, with an Application to Priority Queues.
Joan BoyarRolf FagerbergKim S. LarsenPublished in: J. Comput. Syst. Sci. (1997)
Keyphrases
- search tree
- priority queue
- arrival processes
- search algorithm
- search space
- color images
- queue length
- branch and bound algorithm
- service times
- root node
- branching factor
- b tree
- tree search
- queueing networks
- sat solvers
- symmetry breaking
- binary search trees
- databases
- constraint satisfaction
- steady state
- genetic algorithm