Considere el siguiente problema de conteo (o el problema de decisión asociado): dados dos enteros positivos codificados en binario, calcule su máximo divisor común (mcd). ¿Cuál es la clase de complejidad más pequeña en la que se encuentra este problema? ¿Me puede proporcionar una referencia?
En esta pregunta, no estoy interesado principalmente en los límites asintóticos del tiempo de ejecución, sino en las clases de complejidad. ¿El problema está en AC? ¿Se puede demostrar que no miente en AC0? ¿Cuáles son otras clases de complejidad dentro de P que son relevantes aquí?
Respuestas:
Esta es una pregunta abierta importante en la teoría de la complejidad: no se sabe si los GCD se pueden calcular en NC, y no se sabe si calcular los GCD es P-completo. Los mejores algoritmos paralelos tienen un tiempo de ejecución paralelo sublineal, uno de los cuales se debe a Sorenson:
Si no me equivoco, ni siquiera se sabe si uno puede decidir si dos enteros son relativamente primos en Carolina del Norte.
fuente
fuente
Este documento, publicado en 2007, dice que el entero GCD está en Carolina del Norte.
Editar: La afirmación es probablemente falsa. Revisa los comentarios.
fuente