Considere o seguinte problema de contagem (ou o problema de decisão associado): Dados dois inteiros positivos codificados em binário, calcule seu maior divisor comum (MDC). Qual é a menor classe de complexidade em que esse problema está contido? Você pode fornecer uma referência?
Nesta questão, não estou interessado principalmente em limites assintóticos no tempo de execução, mas em classes de complexidade. O problema está no AC? Pode-se provar que não está no AC0? Quais são as outras classes de complexidade dentro de P que são relevantes aqui?