Algorithm 使用二进制GCD算法确定naive GCD算法中需要的减法次数

我该如何确定使用的朴素GCD算法中所需的减法次数？这可能吗？我理解，尝试使用欧几里德算法是可能的，例如：

nsubs = 0
while (Y) {
    nsubs += X//Y
    X, Y = Y, X % Y
}

---

我要说的是，在naive算法中减法的次数和二进制算法中的步骤之间没有相关性。链接文章中的示例采用4个步骤来查找GCD（36,24）。简单的解决方案（36-24=12，24-12=12，12-12=0）只需要三个步骤。相比之下，欧几里德算法只是简单地使用模运算来代替多次减法，因此朴素算法和欧几里德算法之间存在着很强的相关性。