Showing 2019Show all
3 papers · 1 filter
cs.DS2019
Using Non-Linear Difference Equations to Study Quicksort Algorithms
Yukun Yao
Using non-linear difference equations, combined with symbolic computations, we make a detailed study of the running times of numerous variants of the celebrated Quicksort algorithm…
math.CO2019
Numerical and Symbolic Studies of the Peaceable Queens Problem
Yukun Yao, Doron Zeilberger
We discuss, and make partial progress on, the peaceable queens problem, the protagonist of OEIS sequence A250000. Symbolically, we prove that Jubin's construction of two pentagons…
math.CO2019
Untying The Gordian Knot via Experimental Mathematics
Yukun Yao, Doron Zeilberger
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…