TAOCP 7.1.4 Exercise 217

Working

taocpmathematicsalgorithmsvolume-4hard

Section 7.1.4: Binary Decision Diagrams

Exercise 217. [29] [29] The monomino/domino/tromino covering illustrated in (130) happens to satisfy an additional constraint: No two congruent pieces are adjacent. How many of the 92 sextillion coverings mentioned in the text are “separated,” in this sense?

Verified: no
Solve time: 1m

Working