Advantages of Non-Deterministic Algorithms