6 research outputs found
Fast domino tileability
Domino tileability is a classical problem in Discrete Geometry, famously
solved by Thurston for simply connected regions in nearly linear time in the
area. In this paper, we improve upon Thurston's height function approach to a
nearly linear time in the perimeter.Comment: Appeared in Discrete Comput. Geom. 56 (2016), 377-39
Computational complexity of counting coincidences
Can you decide if there is a coincidence in the numbers counting two
different combinatorial objects? For example, can you decide if two regions in
have the same number of domino tilings? There are two versions
of the problem, with and boxes. We
prove that in both cases the coincidence problem is not in the polynomial
hierarchy unless the polynomial hierarchy collapses to a finite level. While
the conclusions are the same, the proofs are notably different and generalize
in different directions.
We proceed to explore the coincidence problem for counting independent sets
and matchings in graphs, matroid bases, order ideals and linear extensions in
posets, permutation patterns, and the Kronecker coefficients. We also make a
number of conjectures for counting other combinatorial objects such as plane
triangulations, contingency tables, standard Young tableaux, reduced
factorizations and the Littlewood--Richardson coefficients.Comment: 23 pages, 6 figure