4 papers
math.CO2022
Counting Permutations Where The Difference Between Entries Located Places Apart Can never be (For any given positive integers and )
George Spahn, Doron Zeilberger
Given positive integers and , we use inclusion-exclusion, weighted-counting of tilings, and dynamical programming, in order to enumerate, semi-efficiently, the classes of pe…
math.CO2022
Variations on the Missionaries and Cannibals Problem
George Spahn, Doron Zeilberger
We explore both automated and human approaches to the generalized Missionaries and Cannibals problem.
math.CO2022
Enumerating solutions to grid based puzzles with a fixed number of rows
George Spahn
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solve…
math.CO2021
Automatic Counting of Generalized Latin Rectangles and Trapezoids
George Spahn, Doron Zeilberger
In this case study in ``fully automated enumeration'', we illustrate how to take full advantage of symbolic computation by developing (what we call) `symbolic-dynamical-programming…