当前位置:XINDOO  Math  正文
x & (x - 1)==0
2013-02-12 分类:Math 阅读() 评论(0)
判断一个整数x是否是2的N次方.
方法之一是判断x & (x - 1)==0.若为True,则x是2的N次方;若为False,则x不是2的N次方.
有人质疑,他证明了"2的n次方一定符合这个条件", 却并没有证明"符合这个条件的一定是2的n次方"呀!更没有证明"不符合条件的一定不是2的n次方"呀.
现在,从两个方面来证明这个方法的正确性
证明之前,先给出一些定义
&运算的定义:A & B 表示将A和B转化为二进制,然后按照对位&运算.
例如:17 & 9
100012 =1710