An improved lower bound for the time complexity of mutual exclusion.

James H. Anderson Yong-Jik Kim

Published in: PODC (2001)

Keyphrases

mutual exclusion
lower bound
long distance
upper bound
worst case
branch and bound
np hard
branch and bound algorithm
optimal solution
linear programming relaxation
average case complexity
lower and upper bounds
objective function
decision problems
temporal planning