It probably does not, though there are some proposals (such as generating certified random bits I think). But that is not relevant to the discussion here. A com

It probably does not, though there are some proposals (such as generating certified random bits I think). But that is not relevant to the discussion here. A computational algorithm does not have to be useful generally, for it to prove a result about complexity classes.