Approximation and parameterized algorithms for geometric independent set with shrinking

TL;DR

This paper introduces approximation and parameterized algorithms for the geometric independent set problem with shrinking, providing efficient solutions in the shrinking model and advancing the understanding of kernelization for square rectangles.

Contribution

It presents the first fixed-parameter tractable and EPTAS algorithms for the shrinking model of the problem, improving previous PTAS and exploring kernelization for square rectangles.

Findings

EPTAS with $f(\, ext{epsilon}, ext{delta}) imes n^{O(1)}$ running time

FPT algorithm for solutions of size at most $k$

Kernelization procedures for square rectangles

Abstract

Consider the Maximum Weight Independent Set problem for rectangles: given a family of weighted axis-parallel rectangles in the plane, find a maximum-weight subset of non-overlapping rectangles. The problem is notoriously hard both in the approximation and in the parameterized setting. The best known polynomial-time approximation algorithms achieve super-constant approximation ratios [Chalermsook and Chuzhoy, SODA 2009; Chan and Har-Peled, Discrete & Comp. Geometry 2012], even though there is a $(1+\epsilon)$-approximation running in quasi-polynomial time [Adamaszek and Wiese, FOCS 2013; Chuzhoy and Ene, FOCS 2016]. When parameterized by the target size of the solution, the problem is $\mathsf{W}[1]$-hard even in the unweighted setting [Marx, FOCS 2007]. To achieve tractability, we study the following shrinking model: one is allowed to shrink each input rectangle by a multiplicative factor $1-\delta$ for some fixed $\delta>0$, but the performance is still compared against the optimal solution for the original, non-shrunk instance. We prove that in this regime, the problem admits an EPTAS with running time $f(\epsilon,\delta)\cdot n^{\mathcal{O}(1)}$, and an FPT algorithm with running time $f(k,\delta)\cdot n^{\mathcal{O}(1)}$, in the setting where a maximum-weight solution of size at most $k$ is to be computed. This improves and significantly simplifies a PTAS given earlier for this problem [Adamaszek et al., APPROX 2015], and provides the first parameterized results for the shrinking model. Furthermore, we explore kernelization in the shrinking model, by giving efficient kernelization procedures for several variants of the problem when the input rectangles are squares.