JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/10662

Title: Any Monotone Function is Realized by Interlocked Polygons
Authors: Demaine, Erik D.
Demaine, Martin L.
Uehara, Ryuhei
Keywords: Computational Complexity
interlocked polygons
monotone Boolean function
sliding block puzzle
Issue Date: 2012-03-19
Publisher: MDPI Publishing
Magazine name: Algorithms
Volume: 5
Number: 1
Start page: 148
End page: 157
DOI: 10.3390/a5010148
Abstract: 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.
Rights: © 2012 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/)
URI: http://hdl.handle.net/10119/10662
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
17809.pdf2189KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)