Twenty Questions, Focus of Attention, and A*: A theoretical comparison of optimization strategies