Uno de ellos es el problema de decisión asociado al máximo común divisor de dos enteros en notación binaria.