I have a static 7-weighing schedule:
- {3,5,6,7}
- {1,4,6,7,8}
- {1,2,5,7,8,9}
- {1,2,3,6,8,9,10}
- {2,3,4,7,9,10,11}
- {3,4,5,8,10,11,12}
- {1,4,5,6,9,11,12}
This can also be given in terms of ON/OFF (with 1/0) given the array of 12 coins:
- 0 0 1 0 1 1 1 0 0 0 0 0
- 1 0 0 1 0 1 1 1 0 0 0 0
- 1 1 0 0 1 0 1 1 1 0 0 0
- 1 1 1 0 0 1 0 1 1 1 0 0
- 0 1 1 1 0 0 1 0 1 1 1 0
- 0 0 1 1 1 0 0 1 0 1 1 1
- 1 0 0 1 1 1 0 0 1 0 1 1
I am still considering how to properly explain it in an intuitive way. The pattern in the above bit-array-set is obvious - i.e. some kind of shifting pattern. But as to how/why this achieves the goal (c.f. my other answer) is not yet clear.