Minimum cost b-matching problems with neighborhoods

In this paper, we deal with minimum cost b-matching problems on graphs where the nodes are assumed to belong to non-necessarily convex regions called neighborhoods, and the costs are given by the distances between points of the neighborhoods. The goal in the proposed problems is twofold: (i) finding a b-matching in the graph and (ii) determining a point in each neighborhood to be the connection point among the edges defining the b-matching. Different variants of the minimum cost b-matching problem are considered depending on the criteria to match neighborhoods: perfect, maximum cardinality, maximal and the a-b-matching problems. The theoretical complexity of solving each one of these problems is analyzed. Different mixed integer non-linear programming formulations are proposed for each one of the considered problems and then reformulated as Second Order Cone formulations. An extensive computational experience shows the efficiency of the proposed formulations to solve the problems under study

Travelling Salesman Problem with Neighborhoods

Práce se zabývá využitím metaheuristického algoritmu GLNS, používaného k řešení problému obecného obchodního cestujícího, k řešení upraveného problému obchodního cestujícího se sousedstvími. Tato úprava spočívá v tom, že sousedstvími jsou pouze nedegenerované mnohoúhelníky, jež se mohou i překrývat. V rámci práce jsou navrhnuty a implementovány dva algorithmy, které využívají původní nebo modifikovaný algoritmus GLNS. Dále je v obou také využit algoritmus pro řešení úlohy průchodu mnohoúhelníky. Druhý navrhnutý algoritmus je schopný řešit i instance, kde jsou mezi sousedstvími překážky ve tvaru nedegenerovaných mnohoúhelníků. Využívá k tomu datové struktury, která se nazývá graf viditelnosti.This thesis explores the possibility of transforming the metaheuristic algorithm GLNS, used for General Travelling Salesman Problem (GTSP), to instead solve the version of Travelling Salesman Problem with Neighborhoods (TSPN) where the neighborhoods are simple, possibly intersecting, polygons. Two algorithms are proposed and implemented, each utilizing GLNS in a different way. Both also make use of an algorithm solving the unconstrained version of Touring Polygons Problem (TPP). The second proposed algorithm is additionally equipped to handle a case, when there are simple polygonal obstacles between the neighborhoods. This is made possible using a visibility graph

Computing Smallest Convex Intersecting Polygons

Funding Information: Funding Mark de Berg is supported by the Dutch Research Council (NWO) through Gravitation-grant NETWORKS-024.002.003. Antonis Skarlatos: Part of the work was done during an internship at the Max Planck Institute for Informatics in Saarbrücken, Germany. Publisher Copyright: © 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.A polygon C is an intersecting polygon for a set O of objects in R2 if C intersects each object in O, where the polygon includes its interior. We study the problem of computing the minimum-perimeter intersecting polygon and the minimum-area convex intersecting polygon for a given set O of objects. We present an FPTAS for both problems for the case where O is a set of possibly intersecting convex polygons in the plane of total complexity n. Furthermore, we present an exact polynomial-time algorithm for the minimum-perimeter intersecting polygon for the case where O is a set of n possibly intersecting segments in the plane. So far, polynomial-time exact algorithms were only known for the minimum perimeter intersecting polygon of lines or of disjoint segments.Peer reviewe

LIPIcs, Volume 258, SoCG 2023, Complete Volume

LIPIcs, Volume 258, SoCG 2023, Complete Volum

The traveling salesman problem for lines, balls and planes

We revisit the traveling salesman problem with neighborhoods (TSPN) and propose several new approximation algorithms. These constitute either first approximations (for hyperplanes, lines, and balls in $\mathbb{R}^d$, for $d\geq 3$) or improvements over previous approximations achievable in comparable times (for unit disks in the plane). \smallskip (I) Given a set of $n$ hyperplanes in $\mathbb{R}^d$, a TSP tour whose length is at most $O(1)$ times the optimal can be computed in $O(n)$ time, when $d$ is constant. \smallskip (II) Given a set of $n$ lines in $\mathbb{R}^d$, a TSP tour whose length is at most $O(\log^3 n)$ times the optimal can be computed in polynomial time for all $d$. \smallskip (III) Given a set of $n$ unit balls in $\mathbb{R}^d$, a TSP tour whose length is at most $O(1)$ times the optimal can be computed in polynomial time, when $d$ is constant.Comment: 30 pages, 9 figures; final version to appear in ACM Transactions on Algorithm

A PTAS for Euclidean TSP with Hyperplane Neighborhoods

In the Traveling Salesperson Problem with Neighborhoods (TSPN), we are given a collection of geometric regions in some space. The goal is to output a tour of minimum length that visits at least one point in each region. Even in the Euclidean plane, TSPN is known to be APX-hard, which gives rise to studying more tractable special cases of the problem. In this paper, we focus on the fundamental special case of regions that are hyperplanes in the $d$-dimensional Euclidean space. This case contrasts the much-better understood case of so-called fat regions. While for $d=2$ an exact algorithm with running time $O(n^5)$ is known, settling the exact approximability of the problem for $d=3$ has been repeatedly posed as an open question. To date, only an approximation algorithm with guarantee exponential in $d$ is known, and NP-hardness remains open. For arbitrary fixed $d$, we develop a Polynomial Time Approximation Scheme (PTAS) that works for both the tour and path version of the problem. Our algorithm is based on approximating the convex hull of the optimal tour by a convex polytope of bounded complexity. Such polytopes are represented as solutions of a sophisticated LP formulation, which we combine with the enumeration of crucial properties of the tour. As the approximation guarantee approaches $1$, our scheme adjusts the complexity of the considered polytopes accordingly. In the analysis of our approximation scheme, we show that our search space includes a sufficiently good approximation of the optimum. To do so, we develop a novel and general sparsification technique to transform an arbitrary convex polytope into one with a constant number of vertices and, in turn, into one of bounded complexity in the above sense. Hereby, we maintain important properties of the polytope