``The method of undetermined generalization and specialization
illustrated with Fred Galvin's amazing proof of the Dinitz conjecture''
(Appeared in the Amer. Math. Monthly, March 1996).
conj. became famous when Jeannette Janssen `almost' proved it,
and was written up in Science Magazine (by Barry Cipra).
Fred Galvin's complete proof, less than a year later, was
a astounding in its simplicity. In the present paper, I console
myself for not finding this proof myself, by playing a `pretend
game': how I, and you, could have found this proof if we would have
followed Hilbert's advice.
.dvi version (for previewing)
John Noonan wrote some accompanying Maple programs.
Doron Zeilberger's List of Papers
Doron Zeilberger's Home Page