Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes

Details Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes

2011-01-20

arxiv.org/abs/1101.3949v1

Mathematics

Combinatorics

17 pages

Scientific paper

This article, dedicated to Herbert Saul Wilf on the occaison of his forthcoming 80-th birthday, describes two complementary approaches to enumeration, the "positive" and the "negative", each with its advantages and disadvantages. Both approaches are amenable to automation, and when applied to the currently active subarea, initiated in 2003 by Sergi Elizalde and Marc Noy, of enumerating consecutive-Wilf classes (i.e. consecutive pattern-avoidance) in permutations, were successfully pursued by DZ's two current PhD students, Andrew Baxter and Brian Nakamura. The Maple packages SERGI and ELIZALDE, implementing the algorithms enable the computer to "do research" by deriving, "all by itself", functional equations for the generating functions that enable polynomial-time enumeration for any set of patterns. In the case of ELIZALDE (the "negative" approach), these functional equations can be sometimes (automatically!) simplified, and imply "explicit" formulas, that previously were derived by humans using ad-hoc methods. We also get lots of new "explicit" results, beyond the scope of humans, but we have to admit, that we still need humans to handle "infinite families" of patterns, but this too, no doubt, will soon be automatable, and we leave it as a challenge to the (human and/or computer) reader. The Maple packages, and lots of sample output, is available from the webpage of this article: http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/auto.html

Affiliated with

Also associated with

No associations

Rating

Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-334252