If these ideas are new, begin with:
Understand the idea
Test bit i with x&(1<<i); set with OR; clear with AND of the inverse mask; toggle with XOR. Setting and clearing are idempotent, while toggling twice restores the original.
Work through an example
Starting x=0101, set bit 1→0111, clear bit 2→0011, toggle bit 0→0010.
Time and space complexity
O(1) fixed-width work/O(1) word state.
Why it works
Operations change only the selected bit, within the chosen width.
Common mistakes
- Using XOR to set a bit turns an already-set bit off.
- Preserve width when using complement masks.
Chapter lab · Python implementation
Bit operations treat an integer as binary positions. Our lab clears the lowest set bit repeatedly and enumerates subsets with masks. Examples use nonnegative integers unless an explicit width is supplied. Python integers are unbounded, so signed NOT and shifting differ from unsigned fixed-width machine examples.
This shared lab connects the chapter's topics. Follow the current lesson's worked example first, then trace the complete implementation. Additional algorithms described in topic exercises are variations you can implement independently.
def count_bits(value):
if value<0: raise ValueError('nonnegative value required')
count=0
while value:
value &= value-1
count+=1
return count
def subsets_mask(values):
output=[]
for mask in range(1<<len(values)):
output.append([x for i,x in enumerate(values) if mask & (1<<i)])
return output
def complement(value,width):
if width<1 or not 0<=value<(1<<width):
raise ValueError('value must fit width')
return (~value)&((1<<width)-1)Run and test the lab
Copy the implementation and these assertions into a Python 3 file and run it. An assertion failure means the actual result differs from the expectation. Add the current topic's exercise and boundary tests to deepen your understanding.
assert count_bits(13)==3 and count_bits(0)==0
assert complement(5,4)==10
assert subsets_mask(['a','b'])==[[],['a'],['b'],['a','b']]
assert all(count_bits(x)==bin(x).count('1') for x in range(256))