Il y a une justification philosophique souvent citée pour croire que P! = NP même sans preuve. D'autres classes de complexité ont la preuve qu'elles sont distinctes, car sinon, il y aurait des conséquences "surprenantes" (comme l'effondrement de la hiérarchie polynomiale). Ma question est, quelle...