Remix.run Logo
astrodust 2 hours ago

NP factorial sounds like NP-ultra-hard.

emil-lp 43 minutes ago | parent [-]

NP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.