Defina - para ser a classe de idiomas modo que exista um idioma e para infinitos , e concordar em todos os casos de comprimento . (Ou seja, esta é a classe de idiomas que pode ser "resolvida infinitamente com frequência, em tempo subexponencial".)
Existe um oráculo tal que - SUBEXP ^ A ? Se equiparmos SAT com o oráculo A da maneira usual, podemos dizer que SAT ^ A não está nesta classe?
(Estou fazendo perguntas separadas aqui, porque precisamos ter cuidado com as classes de tempo infinitamente freqüentes: apenas porque você tem uma redução do problema para o problema e é solucionável infinitamente, você pode não entender que é solucionável infinitamente, sem outras suposições sobre a redução: e se a sua redução de "perder" os comprimentos de entrada nos quais você pode resolver ?)