Skip to main content

Showing 1–23 of 23 results for author: Kisfaludi-Bak, S

Searching in archive cs. Search in all archives.
.
  1. arXiv:2407.09362  [pdf, other

    cs.CG cs.DS

    Structure and Independence in Hyperbolic Uniform Disk Graphs

    Authors: Thomas Bläsius, Jean-Pierre von der Heydt, Sándor Kisfaludi-Bak, Marcus Wilhelm, Geert van Wordragen

    Abstract: We consider intersection graphs of disks of radius $r$ in the hyperbolic plane. Unlike the Euclidean setting, these graph classes are different for different values of $r$, where very small $r$ corresponds to an almost-Euclidean setting and $r \in Ω(\log n)$ corresponds to a firmly hyperbolic setting. We observe that larger values of $r$ create simpler graph classes, at least in terms of separator… ▽ More

    Submitted 27 March, 2025; v1 submitted 12 July, 2024; originally announced July 2024.

    Comments: 31 pages, 11 figures, full version of extended abstract accepted at SoCG 2025

    ACM Class: F.2.2

  2. arXiv:2310.11283  [pdf, other

    cs.DS cs.CG cs.DM

    Separator Theorem and Algorithms for Planar Hyperbolic Graphs

    Authors: Sándor Kisfaludi-Bak, Jana Masaříková, Erik Jan van Leeuwen, Bartosz Walczak, Karol Węgrzycki

    Abstract: The hyperbolicity of a graph, informally, measures how close a graph is (metrically) to a tree. Hence, it is intuitively similar to treewidth, but the measures are formally incomparable. Motivated by the broad study of algorithms and separators on planar graphs and their relation to treewidth, we initiate the study of planar graphs of bounded hyperbolicity. Our main technical contribution is a n… ▽ More

    Submitted 17 October, 2023; originally announced October 2023.

  3. arXiv:2305.01356  [pdf, other

    cs.CG

    A Quadtree, a Steiner Spanner, and Approximate Nearest Neighbours in Hyperbolic Space

    Authors: Sándor Kisfaludi-Bak, Geert van Wordragen

    Abstract: We propose a data structure in $d$-dimensional hyperbolic space that can be considered a natural counterpart to quadtrees in Euclidean spaces. Based on this data structure we propose a so-called L-order for hyperbolic point sets, which is an extension of the Z-order defined in Euclidean spaces. Using these quadtrees and the L-order we build geometric spanners. Near-linear size $(1+ε)$-spanners d… ▽ More

    Submitted 16 October, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

    Comments: Significantly expanded original paper with results for (Steiner) $(1+ε)$-spanners and $(1+ε)$-approximate nearest neighbours

  4. arXiv:2208.07567  [pdf, other

    cs.CG

    Computing Smallest Convex Intersecting Polygons

    Authors: Antonios Antoniadis, Mark de Berg, Sándor Kisfaludi-Bak, Antonis Skarlatos

    Abstract: A polygon C is an intersecting polygon for a set O of objects in the plane 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 c… ▽ More

    Submitted 16 August, 2022; originally announced August 2022.

    Comments: Accepted to ESA 2022

  5. arXiv:2208.06015  [pdf, other

    cs.DS cs.CC

    Subexponential Parameterized Directed Steiner Network Problems on Planar Graphs: a Complete Classification

    Authors: Esther Galby, Sandor Kisfaludi-Bak, Daniel Marx, Roohani Sharma

    Abstract: In the Directed Steiner Network problem, the input is a directed graph G, a subset T of k vertices of G called the terminals, and a demand graph D on T. The task is to find a subgraph H of G with the minimum number of edges such that for every edge (s,t) in D, the solution H contains a directed s to t path. In this paper we investigate how the complexity of the problem depends on the demand patter… ▽ More

    Submitted 11 August, 2022; originally announced August 2022.

    Comments: 87 pages, 18 figures

    MSC Class: 68Q25; 68Q27 ACM Class: F.2

  6. arXiv:2203.07898  [pdf, other

    cs.CG cs.DS

    Dynamic Time Warping Under Translation: Approximation Guided by Space-Filling Curves

    Authors: Karl Bringmann, Sándor Kisfaludi-Bak, Marvin Künnemann, Dániel Marx, André Nusser

    Abstract: The Dynamic Time Warping (DTW) distance is a popular measure of similarity for a variety of sequence data. For comparing polygonal curves $π, σ$ in $\mathbb{R}^d$, it provides a robust, outlier-insensitive alternative to the Fréchet distance. However, like the Fréchet distance, the DTW distance is not invariant under translations. Can we efficiently optimize the DTW distance of $π$ and $σ$ under a… ▽ More

    Submitted 16 March, 2022; v1 submitted 15 March, 2022; originally announced March 2022.

    Comments: Full version of SoCG '22 paper

  7. arXiv:2203.03663  [pdf, other

    cs.CG

    Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs

    Authors: Karl Bringmann, Sándor Kisfaludi-Bak, Marvin Künnemann, André Nusser, Zahra Parsaeian

    Abstract: We initiate the study of diameter computation in geometric intersection graphs from the fine-grained complexity perspective. A geometric intersection graph is a graph whose vertices correspond to some shapes in $d$-dimensional Euclidean space, such as balls, segments, or hypercubes, and whose edges correspond to pairs of intersecting shapes. The diameter of a graph is the largest distance realized… ▽ More

    Submitted 10 March, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

    Comments: Full version of SoCG '22 paper

  8. arXiv:2202.08896  [pdf, other

    cs.DS cs.CC

    Computing list homomorphisms in geometric intersection graphs

    Authors: Sándor Kisfaludi-Bak, Karolina Okrasa, Paweł Rzążewski

    Abstract: A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by \textsc{LHom}($H$), the instance is a graph $G$, whose every vertex is equipped with a subset of $V(H)$, called list. We ask whether there exists a homomorphism from $G$ to $H$, such that every vertex from… ▽ More

    Submitted 17 February, 2022; originally announced February 2022.

  9. arXiv:2109.09874  [pdf, other

    cs.CG

    Clique-Based Separators for Geometric Intersection Graphs

    Authors: Mark de Berg, Sándor Kisfaludi-Bak, Morteza Monemizadeh, Leonidas Theocharous

    Abstract: Let $F$ be a set of $n$ objects in the plane and let $G(F)$ be its intersection graph. A balanced clique-based separator of $G(F)$ is a set $S$ consisting of cliques whose removal partitions $G(F)$ into components of size at most $δn$, for some fixed constant $δ<1$. The weight of a clique-based separator is defined as $\sum_{C\in S}\log (|C|+1)$. Recently De Berg et al. (SICOMP 2020) proved that i… ▽ More

    Submitted 20 September, 2021; originally announced September 2021.

    Comments: 23 pages, 8 figures

  10. arXiv:2109.04340  [pdf, other

    cs.CG cs.DS

    Online Search for a Hyperplane in High-Dimensional Euclidean Space

    Authors: Antonios Antoniadis, Ruben Hoeksma, Sándor Kisfaludi-Bak, Kevin Schewior

    Abstract: We consider the online search problem in which a server starting at the origin of a $d$-dimensional Euclidean space has to find an arbitrary hyperplane. The best-possible competitive ratio and the length of the shortest curve from which each point on the $d$-dimensional unit sphere can be seen are within a constant factor of each other. We show that this length is in $Ω(d)\cap O(d^{3/2})$.

    Submitted 9 September, 2021; originally announced September 2021.

    Comments: Pages: 7, Figures: 2

  11. arXiv:2011.03778  [pdf, other

    cs.CG cs.CC cs.DS

    A Gap-ETH-Tight Approximation Scheme for Euclidean TSP

    Authors: Sándor Kisfaludi-Bak, Jesper Nederlof, Karol Węgrzycki

    Abstract: We revisit the classic task of finding the shortest tour of $n$ points in $d$-dimensional Euclidean space, for any fixed constant $d \geq 2$. We determine the optimal dependence on $\varepsilon$ in the running time of an algorithm that computes a $(1+\varepsilon)$-approximate tour, under a plausible assumption. Specifically, we give an algorithm that runs in… ▽ More

    Submitted 11 September, 2024; v1 submitted 7 November, 2020; originally announced November 2020.

    Comments: 50 pages, 7 colored figures

  12. On the Approximability of the Traveling Salesman Problem with Line Neighborhoods

    Authors: Antonios Antoniadis, Sándor Kisfaludi-Bak, Bundit Laekhanukit, Daniel Vaz

    Abstract: We study the variant of the Euclidean Traveling Salesman problem where instead of a set of points, we are given a set of lines as input, and the goal is to find the shortest tour that visits each line. The best known upper and lower bounds for the problem in $\mathbb{R}^d$, with $d\ge 3$, are $\mathrm{NP}$-hardness and an $O(\log^3 n)$-approximation algorithm which is based on a reduction to the g… ▽ More

    Submitted 24 November, 2020; v1 submitted 27 August, 2020; originally announced August 2020.

  13. Euclidean TSP in Narrow Strips

    Authors: Henk Alkema, Mark de Berg, Remco van der Hofstad, Sándor Kisfaludi-Bak

    Abstract: We investigate how the complexity of Euclidean TSP for point sets $P$ inside the strip $(-\infty,+\infty)\times [0,δ]$ depends on the strip width $δ$. We obtain two main results. First, for the case where the points have distinct integer $x$-coordinates, we prove that a shortest bitonic tour (which can be computed in $O(n\log^2 n)$ time using an existing algorithm) is guaranteed to be a shortest t… ▽ More

    Submitted 5 April, 2024; v1 submitted 22 March, 2020; originally announced March 2020.

    Comments: To appear in Discrete & Computational Geometry. See also earlier version in Proceedings 36th International Symposium on Computational Geometry (SoCG 2020)

  14. arXiv:2002.05414  [pdf, other

    cs.CG cs.DS

    A quasi-polynomial algorithm for well-spaced hyperbolic TSP

    Authors: Sándor Kisfaludi-Bak

    Abstract: We study the traveling salesman problem in the hyperbolic plane of Gaussian curvature $-1$. Let $α$ denote the minimum distance between any two input points. Using a new separator theorem and a new rerouting argument, we give an $n^{O(\log^2 n)\max(1,1/α)}$ algorithm for Hyperbolic TSP. This is quasi-polynomial time if $α$ is at least some absolute constant, and it grows to $n^{O(\sqrt{n})}$ as… ▽ More

    Submitted 13 February, 2020; originally announced February 2020.

    Comments: SoCG 2020

  15. arXiv:1909.12044  [pdf, other

    cs.CG cs.DS

    How does object fatness impact the complexity of packing in d dimensions?

    Authors: Sándor Kisfaludi-Bak, Dániel Marx, Tom C. van der Zanden

    Abstract: Packing is a classical problem where one is given a set of subsets of Euclidean space called objects, and the goal is to find a maximum size subset of objects that are pairwise non-intersecting. The problem is also known as the Independent Set problem on the intersection graph defined by the objects. Although the problem is NP-complete, there are several subexponential algorithms in the literature… ▽ More

    Submitted 26 September, 2019; originally announced September 2019.

    Comments: Short version appears in ISAAC 2019

  16. arXiv:1902.09234  [pdf, other

    cs.CG cs.GT

    On One-Round Discrete Voronoi Games

    Authors: Mark de Berg, Sándor Kisfaludi-Bak, Mehran Mehr

    Abstract: Let $V$ be a multiset of $n$ points in $\mathbb{R}^d$, which we call voters, and let $k\geq 1$ and $\ell\geq 1$ be two given constants. We consider the following game, where two players $\mathcal{P}$ and $\mathcal{Q}$ compete over the voters in $V$: First, player $\mathcal{P}$ selects $k$ points in $\mathbb{R}^d$, and then player $\mathcal{Q}$ selects $\ell$ points in $\mathbb{R}^d$. Player… ▽ More

    Submitted 25 February, 2019; originally announced February 2019.

    Comments: 25 pages

  17. arXiv:1812.03960  [pdf, other

    cs.CG

    Hyperbolic intersection graphs and (quasi)-polynomial time

    Authors: Sándor Kisfaludi-Bak

    Abstract: We study unit ball graphs (and, more generally, so-called noisy uniform ball graphs) in $d$-dimensional hyperbolic space, which we denote by $\mathbb{H}^d$. Using a new separator theorem, we show that unit ball graphs in $\mathbb{H}^d$ enjoy similar properties as their Euclidean counterparts, but in one dimension lower: many standard graph problems, such as Independent Set, Dominating Set, Steiner… ▽ More

    Submitted 30 September, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

    Comments: Short version appears in SODA 2020

  18. arXiv:1811.06871  [pdf, other

    cs.DS

    Nearly ETH-Tight Algorithms for Planar Steiner Tree with Terminals on Few Faces

    Authors: Sándor Kisfaludi-Bak, Jesper Nederlof, Erik Jan van Leeuwen

    Abstract: The Planar Steiner Tree problem is one of the most fundamental NP-complete problems as it models many network design problems. Recall that an instance of this problem consists of a graph with edge weights, and a subset of vertices (often called terminals); the goal is to find a subtree of the graph of minimum total weight that connects all terminals. A seminal paper by Erickson et al. [Math. Oper.… ▽ More

    Submitted 16 November, 2018; originally announced November 2018.

    Comments: 32 pages, 8 figures, accepted at SODA 2019

  19. arXiv:1807.06933  [pdf, other

    cs.CG cs.CC cs.DS

    An ETH-Tight Exact Algorithm for Euclidean TSP

    Authors: Mark de Berg, Hans L. Bodlaender, Sándor Kisfaludi-Bak, Sudeshna Kolay

    Abstract: We study exact algorithms for Euclidean TSP in $\mathbb{R}^d$. In the early 1990s algorithms with $n^{O(\sqrt{n})}$ running time were presented for the planar case, and some years later an algorithm with $n^{O(n^{1-1/d})}$ running time was presented for any $d\geq 2$. Despite significant interest in subexponential exact algorithms over the past decade, there has been no progress on Euclidean TSP,… ▽ More

    Submitted 10 February, 2023; v1 submitted 18 July, 2018; originally announced July 2018.

    Comments: FOCS 2018, to appear in SICOMP

  20. arXiv:1803.10633  [pdf, other

    cs.CG cs.DS

    A Framework for ETH-Tight Algorithms and Lower Bounds in Geometric Intersection Graphs

    Authors: Mark de Berg, Hans L. Bodlaender, Sándor Kisfaludi-Bak, Dániel Marx, Tom C. van der Zanden

    Abstract: We give an algorithmic and lower-bound framework that facilitates the construction of subexponential algorithms and matching conditional complexity bounds. It can be applied to intersection graphs of similarly-sized fat objects, yielding algorithms with running time $2^{O(n^{1-1/d})}$ for any fixed dimension $d \geq 2$ for many well known graph problems, including Independent Set, $r$-Dominating S… ▽ More

    Submitted 17 December, 2020; v1 submitted 28 March, 2018; originally announced March 2018.

    Comments: 41 pages. v4 corrects a small mistake in the conference version of Theorem 1 by slightly restricting its scope and adding Lemma 4 to its proof

  21. arXiv:1709.05182  [pdf, other

    cs.CG cs.CC

    The Dominating Set Problem in Geometric Intersection Graphs

    Authors: Mark de Berg, Sándor Kisfaludi-Bak, Gerhard Woeginger

    Abstract: We study the parameterized complexity of dominating sets in geometric intersection graphs. In one dimension, we investigate intersection graphs induced by translates of a fixed pattern Q that consists of a finite number of intervals and a finite number of isolated points. We prove that Dominating Set on such intersection graphs is polynomially solvable whenever Q contains at least one interval, an… ▽ More

    Submitted 15 September, 2017; originally announced September 2017.

    Comments: 19 pages. Preliminary version appears in the proceedings of IPEC 2017

  22. arXiv:1705.01465  [pdf, other

    cs.CG cs.CC cs.DS

    The Homogeneous Broadcast Problem in Narrow and Wide Strips

    Authors: Mark de Berg, Hans L. Bodlaender, Sándor Kisfaludi-Bak

    Abstract: Let $P$ be a set of nodes in a wireless network, where each node is modeled as a point in the plane, and let $s\in P$ be a given source node. Each node $p$ can transmit information to all other nodes within unit distance, provided $p$ is activated. The (homogeneous) broadcast problem is to activate a minimum number of nodes such that in the resulting directed communication graph, the source $s$ ca… ▽ More

    Submitted 3 May, 2017; originally announced May 2017.

    Comments: 50 pages, WADS 2017 submission

    ACM Class: F.2.2; F.1.3

  23. arXiv:1410.1653  [pdf, other

    cs.DS cs.CC math.CO

    Notes on dual-critical graphs

    Authors: Zoltán Király, Sándor Kisfaludi-Bak

    Abstract: We define dual-critical graphs as graphs having an acyclic orientation, where the indegrees are odd except for the unique source. We have very limited knowledge about the complexity of dual-criticality testing. By the definition the problem is in NP, and a result of Balázs and Christian Szegedy provides a randomized polynomial algorithm, which relies on formal matrix rank computing. It is unknown… ▽ More

    Submitted 7 October, 2014; originally announced October 2014.

    Comments: 10 pages, conference