A question about the definition of termination functions.
We have a relatively simple function for calculating ⌊log₂ n⌋ of an input.
LOG2
Configuration: {[r, n] | Integers r ≥ 0 and n ≥ 1}
[r, n] -> [r + 1, n/2] if n > 1 ∧ n even
[r, n] -> [r, n − 1] if n > 1 ∧ n odd
And we are asked whether some termination functions μ(r,n) are correct.
μ(r,n)= n is correct: the function's end condition is when n = 1, as at that point r = ⌊log₂ n₀⌋.
However, μ(r,n)=2n+r is apparently also correct.
Furthermore, μ(r,n) = n + r is incorrect
It was my understanding that the termination function μ(r,n) was simply the variable that the functions termination was dependent upon, (In this case n reaching 1,) so why is 2n+r a termination function?
What is the exact definition of termination function μ(r,n) in this context?