Talk:Karp–Lipton theorem

Please define the notation!

Could someone please explain or give a link to the notation $\Pi _{2}$, $\Sigma _{2}$, $\mathrm {PH}$, etc? I wondered if they might represent complexity classes, but there's nothing obviously relevant on that page. Thanks, Jowa fan (talk) 01:45, 10 January 2012 (UTC)

Try the link to polynomial hierarchy in the immediately following sentence. —David Eppstein (talk) 01:57, 10 January 2012 (UTC)

Thanks! There were a few links to choose from, and it wasn't obvious to me which one contained the necessary definitions. I've added a hatnote to that effect, although there's probably a more elegant way to incorporate this information. Jowa fan (talk) 03:07, 10 January 2012 (UTC)

Well, if you were confused, then I have to assume that random readers of the article would be likely to be even more confused, so thanks for the improvements. —David Eppstein (talk) 03:45, 10 January 2012 (UTC)

Too technical

I just tried to read this article after learning about the "collapse of the polynomial hierarchy", hoping I would get some insight into what that means. I regret to report that I'm none the wiser. I think this article should give the minimal explanation of what this hierarchy is, maybe reusing File:Polynomial time hierarchy.svg, and referring to Polynomial hierarchy only for details. Right now, the reader is instructed by the hatnote to read an even more technical article first, just to learn the notation. QVVERTYVS (hm?) 20:10, 10 October 2014 (UTC)