Several results in theoretical computer science are characterized by the conditional sentence “.. unless P NP”. As an example, a well known fact is that the… 1,290 more words