A Parameterized Algorithm for Flat Folding

06/20/2023
by   David Eppstein, et al.
0

We prove that testing the flat foldability of an origami crease pattern (either labeled with mountain and valley folds, or unlabeled) is fixed-parameter tractable when parameterized by the ply of the flat-folded state and by the treewidth of an associated planar graph, the cell adjacency graph of an arrangement of polygons formed by the flat-folded state. For flat foldings of bounded ply, our algorithm is single-exponential in the treewidth; this dependence on treewidth is necessary under the exponential time hypothesis.

READ FULL TEXT
research
07/31/2021

An improved planar graph product structure theorem

Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved th...
research
10/02/2019

TE-ETH: Lower Bounds for QBFs of Bounded Treewidth

The problem of deciding the validity (QSAT) of quantified Boolean formul...
research
09/13/2023

Flat origami is Turing Complete

Flat origami refers to the folding of flat, zero-curvature paper such th...
research
04/11/2021

Fabrication-aware Design for Furniture with Planar Pieces

We propose a computational design tool to enable casual end-users to eas...
research
09/03/2023

Upward and Orthogonal Planarity are W[1]-hard Parameterized by Treewidth

Upward planarity testing and Rectilinear planarity testing are central p...
research
05/14/2018

Exploiting Treewidth for Projected Model Counting and its Limits

In this paper, we introduce a novel algorithm to solve projected model c...
research
03/15/2022

ETH-tight algorithms for finding surfaces in simplicial complexes of bounded treewidth

Given a simplicial complex with n simplices, we consider the Connected S...

Please sign up or login with your details

Forgot password? Click here to reset