×

Fréchet distance between a line and avatar point set. (English) Zbl 1390.68705

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 32, 14 p. (2016).
Summary: Fréchet distance is an important geometric measure that captures the distance between two curves or more generally point sets. In this paper, we consider a natural variant of Fréchet distance problem with multiple choice, provide an approximation algorithm and address its parameterized and kernelization complexity. A multiple choice problem consists of a set of color classes \({\mathcal Q}=\{Q_1,Q_2,\dots,Q_n\}\), where each class \(Q_i\) consists of a pair of points \(Q_i=\{q_i,\overline q_i\}\). We call a subset \(A\subset\{q_i,\overline q_i:1\leq i\leq n\}\) conflict free if \(A\) contains at most one point from each color class. The standard objective in multiple choice problem is to select a conflict free subset that optimizes a given function.
Given a line segment \(\ell\) and set \({\mathcal Q}\) of a pair of points in \(\mathbb{R}^2\), our objective is to find a conflict free subset that minimizes the Fréchet distance between \(\ell\) and the point set, where the minimum is taken over all possible conflict free subsets. We first show that this problem is NP-hard, and provide a 3-approximation algorithm. Then we develop a simple randomized FPT algorithm which is later derandomized using universal family of sets. We believe that this technique can be of independent interest, and can be used to solve other parameterized multiple choice problems. The randomized algorithm runs in \(O(2^kn\log^2n)\) time, and the derandomized deterministic algorithm runs in \(O(2^kk^{O(\log k)}n\log^2n)\) time, where \(k\), the parameter, is the number of elements in the conflict free subset solution. Finally we present a simple branching algorithm for the problem running in \(O(2^kn^2\log n)\) time. We also show that the problem is unlikely to have a polynomial sized kernel under standard complexity theoretic assumption.
For the entire collection see [Zbl 1354.68012].

MSC:

68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
68Q25 Analysis of algorithms and problem complexity
68W20 Randomized algorithms
68W25 Approximation algorithms
Full Text: DOI