Que dados ou estruturas o algoritmo de busca do máximo divisor comum (MDC) manipula?

O algoritmo de busca do máximo divisor comum (MDC, GCD) opera com números inteiros. Os principais dados são dois números inteiros, para os quais é necessário encontrar o divisor máximo que divide ambos os números sem resto.

Mais frequentemente, é utilizado o algoritmo de Euclides, que substitui sequencialmente o par de números por (b, a % b), até que o resto seja zero. No final, resta o último divisor não nulo — que é o MDC.

Exemplo em Swift:

func gcd(_ a: Int, _ b: Int) -> Int {
    var a = a
    var b = b
    while b != 0 {
        let temp = b
        b = a % b
        a = temp
    }
    return a
}

let result = gcd(48, 18) // o resultado será 6