Whether P equals NP remains unresolved, leaving open whether non-determinism adds power for time-bou...