Next Article in Journal / Special Issue
An Integer Programming Approach to Solving Tantrix on Fixed Boards
Previous Article in Journal
A Semi-Preemptive Computational Service System with Limited Resources and Dynamic Resource Ranking
Previous Article in Special Issue
How to Solve the Torus Puzzle
Article Menu

Article Versions

Export Article

Open AccessArticle
Algorithms 2012, 5(1), 148-157; doi:10.3390/a5010148

Any Monotone Function Is Realized by Interlocked Polygons

Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, MA 02139,USA
School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa 923-1292, Japan
Author to whom correspondence should be addressed.
Received: 15 November 2011 / Revised: 13 March 2012 / Accepted: 14 March 2012 / Published: 19 March 2012
(This article belongs to the Special Issue Puzzle/Game Algorithms)
Download PDF [2190 KB, uploaded 19 March 2012]


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 ƒ 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.
Keywords: computational complexity; interlocked polygons; monotone boolean function; sliding block puzzle computational complexity; interlocked polygons; monotone boolean function; sliding block puzzle
This is an open access article distributed under the Creative Commons Attribution License (CC BY 3.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

MDPI and ACS Style

Demaine, E.D.; Demaine, M.L.; Uehara, R. Any Monotone Function Is Realized by Interlocked Polygons. Algorithms 2012, 5, 148-157.

Show more citation formats Show less citations formats

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Algorithms EISSN 1999-4893 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top