When Can You Fold a Map?

Esther M. Arkin; Michael A. Bender; Erik D. Demaine; Martin L. Demaine; Joseph S. B. Mitchell; Saurabh Sethia; Steven S. Skiena

arXiv · cs/0011026

When Can You Fold a Map?

Esther M. Arkin·Michael A. Bender·Erik D. Demaine·Martin L. Demaine·Joseph S. B. Mitchell·Saurabh Sethia·Steven S. Skiena

View original source ↗Read source document ↗Export metadata ↓

Abstract

We explore the following problem: given a collection of creases on a piece of paper, each assigned a folding direction of mountain or valley, is there a flat folding by a sequence of simple folds? There are several models of simple folds; the simplest one-layer simple fold rotates a portion of paper about a crease in the paper by +-180 degrees. We first consider the analogous questions in one dimension lower -- bending a segment into a flat object -- which lead to interesting problems on strings. We develop efficient algorithms for the recognition of simply foldable 1D crease patterns, and reconstruction of a sequence of simple folds. Indeed, we prove that a 1D crease pattern is flat-foldable by any means precisely if it is by a sequence of one-layer simple folds. Next we explore simple foldability in two dimensions, and find a surprising contrast: ``map'' folding and variants are polynomial, but slight generalizations are NP-complete. Specifically, we develop a linear-time algorithm for deciding foldability of an orthogonal crease pattern on a rectangular piece of paper, and prove that it is (weakly) NP-complete to decide foldability of (1) an orthogonal crease pattern on a orthogonal piece of paper, (2) a crease pattern of axis-parallel and diagonal (45-degree) creases on a square piece of paper, and (3) crease patterns without a mountain/valley assignment.

Explore related subjects

cs.CG cs.DM

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Esther M. Arkin, Michael A. Bender, Erik D. Demaine, Martin L. Demaine, Joseph S. B. Mitchell, Saurabh Sethia, Steven S. Skiena. 2003-08-31. When Can You Fold a Map?. https://arxiv.org/abs/cs/0011026

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

K-subareas partitioning subject to coinciding boundary segments of neighboring subareas

A method for the problem of partitioning an area into K subareas subject to coinciding boundary segments of neighboring subareas is presented. The given area may be non-convex and may additionally include obstacle areas. The proposed hierarchical method involves three steps: repeated bisection splitting, merging and the solution of traveling salesman problems. Geographic real-world outdoors areas data is used for the evaluation of the method. The benefit of computational simplicity at the cost of imbalanced subarea sizes is highlighted.

cs.CG↗

arXiv2026

A Sublinear Approximation Algorithm for Minimum Dilation Trees in the Plane

The dilation of a geometric graph measures how much longer the path between pairs of points becomes when restricted to graph edges, rather than following the direct path through the ambient space. The minimum dilation tree of a point set is the spanning tree with minimum dilation, where edge lengths in the tree are given by distances in the ambient space. In the Euclidean plane, computing the minimum dilation tree is NP-hard, but no hardness of approximation result is known. On the other hand, the minimum spanning tree is an $(n-1)$-approximation to the minimum dilation tree, but no asymptotically-better approximation algorithm is known for general point sets in the Euclidean plane. We give the first sublinear approximation algorithm for the minimum dilation tree in the Euclidean plane. Our approximation ratio is $\tilde{O}(n^{14/15})$ and our algorithm runs in polynomial time. This resolves an open problem proposed by Eppstein in 1996.

cs.CG↗

arXiv2026

Projected and Reflected Sliced Wasserstein Kernels for Persistence Diagrams

Persistence diagrams do not naturally live in a Hilbert space. Carrière, Cuturi, and Oudot embedded them in kernel methods through the Sliced Wasserstein kernel, built from the Sliced Wasserstein distance $\mathrm{SW}_1$, which is conditionally negative definite (CND). We study the projected ($\mathrm{SW}_p$) and reflected ($\mathrm{RW}_p$) Sliced Wasserstein distances for every order $p\ge1$, and compare them with the $p$-Wasserstein distance $d_p$ and with a reflected variant $d_p^r$, in which projection onto the diagonal is replaced by reflection across it. We show that $2^{1/p}d_p\le d_p^r\le 2d_p$ with sharp constants, so that $d_1^r=2d_1$ and $d_p^r$ inherits the stability of $d_p$, although it is a metric only for $p=1$. The distances $\mathrm{SW}_1$ and $\mathrm{RW}_1$ are CND metrics, and $\mathrm{RW}_1$ gives rise to a new positive definite kernel, stable with respect to $d_1$. For $p>1$, neither $\mathrm{SW}_p$ nor $\mathrm{RW}_p$ satisfies the triangle inequality, and rigorous interval-arithmetic certificates prove that $\mathrm{SW}_2$ and $\mathrm{RW}_2$ are not CND; numerical experiments suggest that the CND property fails for every $p$ above some $p^*\in(1,1.2]$. On diagrams with at most $N$ points, $\mathrm{SW}_p$ and $\mathrm{RW}_p$ are metrically equivalent to $d_p$ and $d_p^r$, with sharp upper constants. On an orbit recognition benchmark, the kernels built from $\mathrm{SW}_1$ and $\mathrm{RW}_1$ reach about 85% accuracy, outperform the persistence scale space kernel, perform on par with the persistence weighted Gaussian kernel, and are about one percentage point below the kernel built from $\mathrm{SW}_2$, which is not positive definite.

cs.CG↗