Non Deterministic Algorithms Examples