Paper by Martin L. Demaine

Erik D. Demaine, Martin L. Demaine, and Ryuhei Uehara, “Any Monotone Boolean Function Can Be Realized by Interlocked Polygons”, Algorithms, volume 5, number 1, March 2012, pages 148–157.

Suppose there is a collection of n simple polygons in the plane, none of which overlap each other. The polygons are interlocked if no subset can be separated arbitrarily far from the rest. It is natural to ask the characterization of the subsets that makes the set of interlocked polygons free (not interlocked). This abstracts the essence of a kind of sliding block puzzle. We show that any monotone Boolean function f on n variables can be described by m = O(n) interlocked polygons. We also show that the decision problem that asks if given polygons are interlocked is PSPACE-complete.

This paper is also available from MDPI (open access).

The paper is 10 pages.

The paper is available in PDF (2189k).
See information on file formats.
[Google Scholar search]

Related papers:
InterlockedPolygons_CCCG2010 (Any Monotone Boolean Function Can Be Realized by Interlocked Polygons)

Related webpages:
Interlocked Polygons

See also other papers by Martin Demaine.
These pages are generated automagically from a BibTeX file.
Last updated December 13, 2016 by Martin Demaine.