Geometry and complexity of O'Hara's algorithm
Combinatorics
2007-10-09 v2
Abstract
In this paper we analyze O'Hara's partition bijection. We present three type of results. First, we show that O'Hara's bijection can be viewed geometrically as a certain scissor congruence type result. Second, we obtain a number of new complexity bounds, proving that O'Hara's bijection is efficient in several special cases and mildly exponential in general. Finally, we prove that for identities with finite support, the map of the O'Hara's bijection can be computed in polynomial time, i.e. much more efficiently than by O'Hara's construction.
Cite
@article{arxiv.0710.1459,
title = {Geometry and complexity of O'Hara's algorithm},
author = {Matjaz Konvalinka and Igor Pak},
journal= {arXiv preprint arXiv:0710.1459},
year = {2007}
}
Comments
20 pages, 4 figures