Framework for ∃ℝ-Completeness of Two-Dimensional Packing Problems

04/16/2020
by   Mikkel Abrahamsen, et al.
0

We show that many natural two-dimensional packing problems are algorithmically equivalent to finding real roots of multivariate polynomials. A two-dimensional packing problem is defined by the type of pieces, containers, and motions that are allowed. The aim is to decide if a given set of pieces can be placed inside a given container. The pieces must be placed so that they are pairwise interior-disjoint, and only motions of the allowed type can be used to move them there. We establish a framework which enables us to show that for many combinations of allowed pieces, containers, and motions, the resulting problem is ∃ℝ-complete. This means that the problem is equivalent (under polynomial time reductions) to deciding whether a given system of polynomial equations and inequalities with integer coefficients has a real solution. We consider packing problems where only translations are allowed as the motions, and problems where arbitrary rigid motions are allowed, i.e., both translations and rotations. When rotations are allowed, we show that the following combinations of allowed pieces and containers are ∃ℝ-complete: ∙ simple polygons, each of which has at most 8 corners, into a square, ∙ convex objects bounded by line segments and hyperbolic curves into a square, ∙ convex polygons into a container bounded by line segments and hyperbolic curves. Restricted to translations, we show that the following combinations are ∃ℝ-complete: ∙ objects bounded by segments and hyperbolic curves into a square, ∙ convex polygons into a container bounded by segments and hyperbolic curves.

READ FULL TEXT

page 3

page 19

research
08/16/2023

Improved Approximations for Translational Packing of Convex Polygons

Optimal packing of objects in containers is a critical problem in variou...
research
06/25/2018

Maximum Area Axis-Aligned Square Packings

Given a point set S={s_1,... , s_n} in the unit square U=[0,1]^2, an anc...
research
11/22/2020

Tiling with Squares and Packing Dominos in Polynomial Time

We consider planar tiling and packing problems with polyomino pieces and...
research
01/22/2021

Online Packing to Minimize Area or Perimeter

We consider online packing problems where we get a stream of axis-parall...
research
11/17/2022

Covering and packing with homothets of limited capacity

This work revolves around the two following questions: Given a convex bo...
research
04/14/2014

Control point based exact description of higher dimensional trigonometric and hyperbolic curves and multivariate surfaces

Using the normalized B-bases of vector spaces of trigonometric and hyper...
research
06/30/2017

More Turán-Type Theorems for Triangles in Convex Point Sets

We study the following family of problems: Given a set of n points in co...

Please sign up or login with your details

Forgot password? Click here to reset