求解时间复杂度c算法设计

为什么getcounterfeitcoin(）函数的时间复杂度是log

这不是天平称硬币的题吗
一半一半又一半
每次取一半，够取多少次的，
反过来想，假如次数是m次，每次加倍，那么2的m次方不等于n吗
那m不就是以2为底n的对数吗