Recentemente, Babai publicou um artigo no STOC 2016, alegando que o isomorfismo do gráfico pode ser resolvido em tempo quase-polinomial.
No início de 2017, Babai retirou a reivindicação quase-polinomial devido a alguns erros graves encontrados por Harald Helfgott. Conforme explicado pelo próprio Babai, essa falha torna a melhoria mais modesta em termos de tempo de execução.
Cerca de 5 dias após a retirada da alegação quase polinomial, Babai postou outra atualização em sua página inicial, argumentando que ele havia corrigido a falha na prova, restaurando assim o tempo de execução quase polinomial.
Devo dizer que, após essa rápida mudança no status da correção da prova, eu normalmente ignoraria completamente o novo artigo até que ele fosse publicado em uma revista bem respeitada.
Mas como Babai é Babai, a maioria da comunidade está dando como certa a palavra dele, pelo menos publicamente, mesmo que a nova versão do documento com todas as correções implementadas ainda não esteja disponível. Observe que mesmo grandes pessoas cometem erros e há uma chance não negligenciável de que a nova correção também tenha uma falha e assim por diante.
Então agora, como devo citar o novo resultado?
- Cite o documento STOC reivindicando o limite superior quase-lipinomial.
- Cite o documento STOC explicando que há uma falha grave e que o tempo de execução real melhora o limite inferior subexponencial anterior.
- Cite o documento do STOC dizendo que havia uma falha que foi corrigida por Babai.
- Não cite nada e indique o limite superior antigo de como o limite superior estabelecido atualmente.