The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture

Doron Zeilberger
DOI: https://doi.org/10.48550/arXiv.math/9506215
1995-06-24
Abstract:Fred Galvin's amazing proof of the Dinitiz conjecture is used to illustrate the method of undetermined generalization and specialization.
Combinatorics
What problem does this paper attempt to address?