Half-Exponential No More Computational Complexity, 28 Sep 2023 I've mentioned Kannan's proof that \(\Sigma_2^p\) does not have \(n^2\) size-circuits before. A similar proof shows that \(\Sigma…