A Tight Lower Bound for Streett Complementation.

Yang Cai Ting Zhang

Published in: FSTTCS (2011)

Keyphrases

lower bound
upper bound
branch and bound algorithm
branch and bound
worst case
np hard
objective function
optimal solution
lagrangian relaxation
upper and lower bounds
lower bounding
lower and upper bounds
statistical queries
competitive ratio
theoretical analysis
databases
online algorithms
sufficiently accurate