5 ms·NP factorial sounds like NP-ultra-hard.by astrodust 3mo agoNP factorial sounds like NP-ultra-hard.emil-lp 3mo agoNP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.