Well-Separation and Hyperplane Transversals in High Dimensions

09/06/2022
by   Helena Bergold, et al.
0

A family of k point sets in d dimensions is well-separated if the convex hulls of any two disjoint subfamilies can be separated by a hyperplane. Well-separation is a strong assumption that allows us to conclude that certain kinds of generalized ham-sandwich cuts for the point sets exist. But how hard is it to check if a given family of high-dimensional point sets has this property? Starting from this question, we study several algorithmic aspects of the existence of transversals and separations in high-dimensions. First, we give an explicit proof that k point sets are well-separated if and only if their convex hulls admit no (k - 2)-transversal, i.e., if there exists no (k - 2)-dimensional flat that intersects the convex hulls of all k sets. It follows that the task of checking well-separation lies in the complexity class coNP. Next, we show that it is NP-hard to decide whether there is a hyperplane-transversal (that is, a (d - 1)-transversal) of a family of d + 1 line segments in ℝ^d, where d is part of the input. As a consequence, it follows that the general problem of testing well-separation is coNP-complete. Furthermore, we show that finding a hyperplane that maximizes the number of intersected sets is NP-hard, but allows for an Ω(log k/k loglog k)-approximation algorithm that is polynomial in d and k, when each set consists of a single point. When all point sets are finite, we show that checking whether there exists a (k - 2)-transversal is in fact strongly NP-complete.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/18/2019

Minimum Convex Partition of Point Sets is NP-Hard

Given a point set P, are k closed convex polygons sufficient to partitio...
research
07/28/2018

Team Diagonalization

Ten years ago, Glaßer, Pavan, Selman, and Zhang [GPSZ08] proved that if ...
research
08/29/2021

Linking disjoint segments into a simple polygon is hard

Deciding whether a family of disjoint line segments in the plane can be ...
research
07/02/2020

A Fully Polynomial Time Approximation Scheme For A NP-Hard Problem

We present a novel feasibility criteria for the intersection of convex s...
research
07/15/2021

On the Complexity of SPEs in Parity Games

We study the complexity of problems related to subgame-perfect equilibri...
research
06/26/2023

An FPT Algorithm for Splitting a Necklace Among Two Thieves

It is well-known that the 2-Thief-Necklace-Splitting problem reduces to ...
research
12/10/2020

No Krasnoselskii number for general sets in ℝ^2

For a family ℱ of sets in ℝ^d, the Krasnoselskii number of ℱ is the smal...

Please sign up or login with your details

Forgot password? Click here to reset