Algorithm 电位法计算电位下降的二元计数器摊销分析

电位法的摊销分析公式为

amortized_time=Actual_Time+(Potential_After-Potential_Before)

在二进制计数器的情况下，一些材料提出计数器的势函数是设置为1的位数。每次递增时，假设k位表示1到0，1位表示0到1，所以实际时间是k+1。这似乎是合理的，但当使用这种方法时，如何计算潜在的减少。 我找到了很多数据，结果是（-k+1），但我没有找到如何获得这些数据的细节。有人知道吗，非常感谢您的指导，谢谢