TAOCP 7.1.4 Exercise 229

Solution to TAOCP 7.1.4 Exercise 229.

Section 7.1.4: Binary Decision Diagrams

Exercise 229. [15] [15] There are 587,218,421,488 paths from CA to ME in the graphs (18), but only 437,525,772,584 such paths in (133). Explain the discrepancy.

Verified: no
Solve time: 1m20s