Classes de complexidade "em gaiola"?

Esta é uma pergunta um tanto frívola que surgiu na minha cabeça depois de ler as várias respostas para "Qual é a menor classe de complexidade para a qual um circuito superlinear é conhecido? ".

As respostas se referem a e, quando olhei para a entrada do zoológico , descobri o seguinte:$\mathsf{S_2 P}$

: Não pergunte$\mathsf{S_2-EXP•P^{NP}}$

Uma das classes engaioladas do Zoo Complexity.

Tem sido implicada num escândalo envolvendo colapso , c o N P , e E $\mathsf{AM}[\text{polylog}]$$\mathsf{coNP}$$\mathsf{EH}$

Então agora estou intrigado. O que é uma classe de complexidade enjaulada e qual é o escândalo suculento aqui :)? O zoológico não tem referências para esclarecer.

O Zoológico de Complexidade tem uma referência a esse resultado na descrição da classe AM [polylog] :

[…] [SS04] mostra que se AM [polilog] contém coNP , então EH entra em colapso para S ₂ -EXP • P ^NP . ( [PV04] melhorou o colapso para AM _EXP .)

No Zoológico de Complexidade, uma classe ou uma instrução é enjaulada quando parece muito assustadora. Exemplos de instruções em gaiola podem ser encontrados nas descrições de coNP / poly e SF _k (não para os que se assustam facilmente, recomenda-se a discrição do leitor).