Abstract
In this methodological article on experimental-yet-rigorous enumerative combinatorics, we use two instructive case studies, to show that often, just like Alexander the Great before us, the simple, “cheating” solution to a hard problem is the best. So before you spend days (and possibly years) trying to answer a mathematical question by analyzing and trying to ‘understand’ its structure, let your computer generate enough data, and then let it guess the answer. Often its guess can be proved by a quick ‘hand-waving’ (yet fully rigorous) ‘meta-argument’. Since our purpose is to illustrate a methodology, we include many details, as well as Maple source-code.
This article is dedicated to Peter Paule, one of the great pioneers of experimental mathematics and symbolic computation. In particular, it is greatly inspired by his masterpiece, co-authored with Manuel Kauers, ‘The Concrete Tetrahedron’ [ 3 ], where a whole chapter is dedicated to our favorite ansatz, the C-finite ansatz
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Doyle, P., Snell, L.: Random Walks and Electrical Networks. Carus Mathematical Monographs, vol. 22. Mathematical Association of America, Washington (1984)
Faase, F.J.: On the number of specific spanning subgraphs of the graphs g × pn. Ars Combinatorica 49, 129–154 (1998)
Kauers, M., Paule, P.: The Concrete Tetrahedron. Springer, New York (2011)
Raff, P.: Spanning Trees in Grid Graph. https://arxiv.org/abs/0809.2551
Shalosh, B., Ekhad, N.J.A.: Sloane and Doron Zeilberger. Automated proof (or disproof) of linear recurrences satisfied by pisot sequences. Personal Journal of Shalosh B. Ekhad and Doron Zeilberger. Available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pisot.html
Stanley, R.: Enumerative Combinatorics, vol. 1, 1st edn. Wadsworth & Brooks/Cole, Belmont, CA (1986). 2nd edn. Cambridge University Press, Cambridge (2011)
Wikipedia contributors. “Berlekamp-Massey algorithm.” Wikipedia, The Free Encyclopedia. Wikipedia, The Free Encyclopedia, 26 November 2018. Web. 7 Jan. 201
Zeilberger, D.: An enquiry concerning human (and computer!) [mathematical] understanding. In: Calude, C.S. (ed.) Randomness & Complexity, from Leibniz to Chaitin, pp. 383–410. World Scientific, Singapore (2007). Available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/enquiry.html
Zeilberger, D.: The C-finite ansatz. Ramanujan J. 31, 23–32 (2013). Available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/cfinite.html
Zeilberger, D.: Why the cautionary tales supplied by Richard Guy’s strong law of small numbers should not be overstated. Personal J. Shalosh B. Ekhad and Doron Zeilberger. Available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/small.html
Acknowledgements
Many thanks are due to a very careful referee that pointed out many minor, but annoying errors, that we hope corrected. Also thanks to Peter Doyle for permission to include his elegant electric argument.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Yao, Y., Zeilberger, D. (2020). Untying the Gordian Knot via Experimental Mathematics. In: Pillwein, V., Schneider, C. (eds) Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra. Texts & Monographs in Symbolic Computation. Springer, Cham. https://doi.org/10.1007/978-3-030-44559-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-030-44559-1_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-44558-4
Online ISBN: 978-3-030-44559-1
eBook Packages: Computer ScienceComputer Science (R0)