English
Related papers

Related papers: A Parameterized Algorithm for Flat Folding

200 papers

Origami crease patterns are folding paths that transform flat sheets into spatial objects. Origami patterns with a single degree of freedom (DOF) have creases that fold simultaneously. More often, several substeps are required to…

Computational Engineering, Finance, and Science · Computer Science 2020-06-11 Yucai Hu , Haiyi Liang

The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general…

Data Structures and Algorithms · Computer Science 2022-02-16 Vikraman Arvind , Roman Nedela , Ilia Ponomarenko , Peter Zeman

We consider the well-studied problem of finding a spanning tree with minimum average distance between vertex pairs (called a MAD tree). This is a classic network design problem which is known to be NP-hard. While approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-04-01 Tom-Lukas Breitkopf , Vincent Froese , Anton Herrmann , André Nichterlein , Camille Richer

Origami is the archetype of a structural material with unusual mechanical properties that arise almost exclusively from the geometry of its constituent folds and forms the basis for mechanical metamaterials with an extreme deformation…

Classical Physics · Physics 2016-11-26 Zhiyan Wei , Zengcai Guo , Levi Dudte , Haiyi Liang , L. Mahadevan

Folding paper along curves leads to spatial structures that have curved surfaces meeting at spatial creases, defined as curve-fold origami. In this work, we provide an Eulerian framework focusing on the mechanics of arbitrary curve-fold…

Soft Condensed Matter · Physics 2024-08-16 Zhixuan Wen , Pengyu Lv , Fan Feng , Huiling Duan

We study a generalization of the classic Spanning Tree problem that allows for a non-uniform failure model. More precisely, edges are either \emph{safe} or \emph{unsafe} and we assume that failures only affect unsafe edges. In Unweighted…

Discrete Mathematics · Computer Science 2024-02-29 Matthias Bentert , Jannik Schestag , Frank Sommer

Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general…

Combinatorics · Mathematics 2021-12-23 Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma

In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction…

Computational Geometry · Computer Science 2020-11-10 Hugo Akitaya , Erik D. Demaine , Takashi Horiyama , Thomas C. Hull , Jason S. Ku , Tomohiro Tachi

It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula…

Logic in Computer Science · Computer Science 2025-05-28 Jakub Gajarský , Michał Pilipczuk , Marek Sokołowski , Giannos Stamoulis , Szymon Toruńczyk

We analyze the problem of folding one polyhedron, viewed as a metric graph of its edges, into the shape of another, similar to 1D origami. We find such foldings between all pairs of Platonic solids and prove corresponding lower bounds,…

Computational Geometry · Computer Science 2024-12-20 Lily Chung , Erik D. Demaine , Martin L. Demaine , Markus Hecher , Rebecca Lin , Jayson Lynch , Chie Nara

A connectivity function on a finite set $V$ is a symmetric submodular function $f \colon 2^V \to \mathbb{Z}$ with $f(\emptyset)=0$. We prove that finding a branch-decomposition of width at most $k$ for a connectivity function given by an…

Data Structures and Algorithms · Computer Science 2026-02-10 Tuukka Korhonen , Sang-il Oum

Origami has shown the potential to approximate three-dimensional curved surfaces by folding through designed crease patterns on flat materials. The Miura-ori tessellation is a widely used pattern in engineering and tiles the plane when…

Computational Engineering, Finance, and Science · Computer Science 2020-09-08 Yucai Hu , Yexin Zhou , Haiyi Liang

We prove that finding a rooted subtree with at least $k$ leaves in a digraph is a fixed parameter tractable problem. A similar result holds for finding rooted spanning trees with many leaves in digraphs from a wide family $\cal L$ that…

Data Structures and Algorithms · Computer Science 2007-05-23 Noga Alon , Fedor Fomin , Gregory Gutin , Michael Krivelevich , Saket Saurabh

Treewidth is a graph parameter of fundamental importance to algorithmic and structural graph theory. This paper surveys several graph parameters tied to treewidth, including separation number, tangle number, well-linked number and Cartesian…

Combinatorics · Mathematics 2016-01-29 Daniel J. Harvey , David R. Wood

We prove that the pleated hyperbolic paraboloid, a familiar origami model known since 1927, in fact cannot be folded with the standard crease pattern in the standard mathematical model of zero-thickness paper. In contrast, we show that the…

Computational Geometry · Computer Science 2009-06-26 Erik D. Demaine , Martin L. Demaine , Vi Hart , Gregory N. Price , Tomohiro Tachi

We investigate crossing minimization for 1-page and 2-page book drawings. We show that computing the 1-page crossing number is fixed-parameter tractable with respect to the number of crossings, that testing 2-page planarity is…

Data Structures and Algorithms · Computer Science 2018-12-18 Michael J. Bannister , David Eppstein

Origami metamaterials typically consist of folded sheets with periodic patterns, conferring them with remarkable mechanical properties. In the context of Continuum Mechanics, the majority of existing predictive methods are mechanism analogs…

Soft Condensed Matter · Physics 2026-01-22 Xuwen Li , Amin Jamalimehr , Mathias Legrand , Damiano Pasini

We obtain new parameterized algorithms for the classical problem of determining whether a directed acyclic graph admits an upward planar drawing. Our results include a new fixed-parameter algorithm parameterized by the number of sources, an…

Computational Geometry · Computer Science 2022-03-11 Steven Chaplick , Emilio Di Giacomo , Fabrizio Frati , Robert Ganian , Chrysanthi N. Raftopoulou , Kirill Simonov

Structural parameters of graph (such as degeneracy and arboricity) had rarely been considered when designing algorithms for $\textit{(edge) clique cover}$ problems. Taking degeneracy of graph into account, we present a greedy framework and…

Data Structures and Algorithms · Computer Science 2022-09-07 Ahammed Ullah

Origami structures, particularly Miura-ori patterns, offer unique capabilities for surface approximation and deployable designs. In this study, a constrained mapping optimization algorithm is designed for designing surface-aligned Miura-ori…

Computational Geometry · Computer Science 2026-04-23 Ka Ho Lai , Hei Tung Tsang , Gary P. T. Choi , Lok Ming Lui