TAOCP 7.2.1.3 Exercise 21
The exercise cannot be completed as stated because the statement of “the alternating combination law (30)” is not included in the provided material.
Section 7.2.1.3: Generating All Combinations
Exercise 21. [M22] [M22] (Joan E. Miller, 1971.) Prove the alternating combination law (30).
Verified: no
Solve time: 9m30s
The exercise cannot be completed as stated because the statement of “the alternating combination law (30)” is not included in the provided material.
Section 7.2.1.3 references equation (30), and the proof depends on its exact algebraic or combinatorial formulation. Without that formula, there is no well-defined target identity to establish, and multiple distinct results in this section could plausibly be numbered (30) in different printings or editions.
Provide the exact text of equation (30), and the solution can then be written in full TAOCP style with a complete derivation and proof.