2026-09-19T03:24:23Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/770302022-01-13T07:54:29Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Erik D. Demaine.
Morgan, Thomas D., M. Eng. Massachusetts Institute of Technology
Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2013-02-14T15:40:11Z
2013-02-14T15:40:11Z
2012
2012
http://hdl.handle.net/1721.1/77030
825813101
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 55).
In 1997, Jack Edmonds posed as an open problem the computational complexity of deciding whether a given m x n map-rectangular paper with horizontal and vertical creases, each marked mountain or valley-has a flat folded state. This problem has remained open since then, even for the 2 x n case. This thesis presents several theoretical contributions to this problem. Most significantly, it presents an O(n⁹ ) time algorithm for deciding the flat foldability of a 2 x n map. To achieve this result, this thesis makes a sequence of reductions which ultimately lead to a new general hidden tree problem, where the goal is to construct a "valid" tree on a given polynomial set of candidate vertices, given oracles to navigate hypothetical partially constructed trees. To complete the algorithm, it is shown that the hidden tree problem can be solved in polynomial time using dynamic programming. Additionally, several faster algorithms are given for special cases of 2 x n map folding. This thesis goes on to extend this algorithm to optimization variants of the problem. In particular, by certain metrics it finds the simplest flat folded state achievable by a given 2 x n map in polynomial time. This thesis also provides results for the general m x n map folding problem. It presents a set of nontrivial necessary conditions for an m x n map to be flat foldable, that are checkable in polynomial. Additionally, this thesis presents a fixed parameter tractable algorithm for the m x n map folding problem, where the parameter is the entropy in the partial order induced by the mountain valley pattern on the cells of the map.
by Thomas D. Morgan.
M.Eng.
60 p.
eng
Massachusetts Institute of Technology
M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Electrical Engineering and Computer Science.
Map folding
Thesis
application/pdf
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="9ffe3066-6357-4b53-a6b8-6f935dc0aa14">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>Map folding</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2012</PublicationDate>
<Authors>
<Author>
<DisplayName>Morgan, Thomas D., M. Eng. Massachusetts Institute of Technology</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Electrical Engineering and Computer Science.</Keyword>
<Abstract>In 1997, Jack Edmonds posed as an open problem the computational complexity of deciding whether a given m x n map-rectangular paper with horizontal and vertical creases, each marked mountain or valley-has a flat folded state. This problem has remained open since then, even for the 2 x n case. This thesis presents several theoretical contributions to this problem. Most significantly, it presents an O(n⁹ ) time algorithm for deciding the flat foldability of a 2 x n map. To achieve this result, this thesis makes a sequence of reductions which ultimately lead to a new general hidden tree problem, where the goal is to construct a "valid" tree on a given polynomial set of candidate vertices, given oracles to navigate hypothetical partially constructed trees. To complete the algorithm, it is shown that the hidden tree problem can be solved in polynomial time using dynamic programming. Additionally, several faster algorithms are given for special cases of 2 x n map folding. This thesis goes on to extend this algorithm to optimization variants of the problem. In particular, by certain metrics it finds the simplest flat folded state achievable by a given 2 x n map in polynomial time. This thesis also provides results for the general m x n map folding problem. It presents a set of nontrivial necessary conditions for an m x n map to be flat foldable, that are checkable in polynomial. Additionally, this thesis presents a fixed parameter tractable algorithm for the m x n map folding problem, where the parameter is the entropy in the partial order induced by the mountain valley pattern on the cells of the map.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>