Upward Pointset Embeddings of Planar st-Graphs

Carlos Alegria,Susanna Caroppo,Giordano Da Lozzo,Marco D'Elia,Giuseppe Di Battista,Fabrizio Frati,Fabrizio Grosso,Maurizio Patrignani

2024-09-12

Abstract:We study upward pointset embeddings (UPSEs) of planar $st$-graphs. Let $G$ be a planar $st$-graph and let $S \subset \mathbb{R}^2$ be a pointset with $|S|= |V(G)|$. An UPSE of $G$ on $S$ is an upward planar straight-line drawing of $G$ that maps the vertices of $G$ to the points of $S$. We consider both the problem of testing the existence of an UPSE of $G$ on $S$ (UPSE Testing) and the problem of enumerating all UPSEs of $G$ on $S$. We prove that UPSE Testing is NP-complete even for $st$-graphs that consist of a set of directed $st$-paths sharing only $s$ and $t$. On the other hand, for $n$-vertex planar $st$-graphs whose maximum $st$-cutset has size $k$, we prove that it is possible to solve UPSE Testing in $O(n^{4k})$ time with $O(n^{3k})$ space, and to enumerate all UPSEs of $G$ on $S$ with $O(n)$ worst-case delay, using $O(k n^{4k} \log n)$ space, after $O(k n^{4k} \log n)$ set-up time. Moreover, for an $n$-vertex $st$-graph whose underlying graph is a cycle, we provide a necessary and sufficient condition for the existence of an UPSE on a given poinset, which can be tested in $O(n \log n)$ time. Related to this result, we give an algorithm that, for a set $S$ of $n$ points, enumerates all the non-crossing monotone Hamiltonian cycles on $S$ with $O(n)$ worst-case delay, using $O(n^2)$ space, after $O(n^2)$ set-up time.

Data Structures and Algorithms,Computational Geometry,Discrete Mathematics

What problem does this paper attempt to address?

The paper attempts to address the problem of upward point set embedding (UPSE) for planar st-graphs. Specifically:

1. **UPSE Testing Problem**: Given a planar st-graph \( G \) and a point set \( S \), the study investigates whether there exists an upward point set embedding (i.e., a method of mapping the vertices of \( G \) to points in \( S \) such that the edges are represented as straight-line segments in an upward planar drawing). The paper proves that this problem is NP-complete even for st-graphs composed of a set of internally disjoint st-paths.

2. **Enumerating All UPSEs**: Beyond testing for the existence of a UPSE, the paper also explores how to enumerate all possible UPSEs. For a specific type of planar st-graph (with a maximum st-cut size of \( k \)), the paper proposes a polynomial-time solution to the UPSE testing problem and can enumerate all UPSEs with linear delay.

3. **Conditions and Algorithms for Specific Cases**: For planar st-graphs composed of two internally disjoint st-paths, the paper provides a set of necessary and sufficient conditions for the existence of a UPSE and offers an algorithm to test these conditions in \( O(n\log n) \) time.

4. **Enumeration of Non-Crossing Monotone Hamiltonian Cycles**: Inspired by the above results, the paper further provides an algorithm to enumerate all non-crossing monotone Hamiltonian cycles on a given point set, with a worst-case delay of \( O(n) \) and a space complexity of \( O(n^2) \).

In summary, the paper primarily focuses on the upward point set embedding problem for planar st-graphs, including testing, enumeration, and algorithm design for specific cases.