Computing crossing numbers with topological and geometric restrictions

Thekla Hamm,Fabian Klute,Irene Parada
2024-12-18
Abstract:Computing the crossing number of a graph is one of the most classical problems in computational geometry. Both it and numerous variations of the problem have been studied, and overcoming their frequent computational difficulty is an active area of research. Particularly recently, there has been increased effort to show and understand the parameterized tractability of various crossing number variants. While many results in this direction use a similar approach, a general framework remains elusive. We suggest such a framework that generalizes important previous results, and can even be used to show the tractability of deciding crossing number variants for which this was stated as an open problem in previous literature. Our framework targets variants that prescribe a partial predrawing and some kind of topological restrictions on crossings. Additionally, to provide evidence for the non-generalizability of previous approaches for the partially crossing number problem to allow for geometric restrictions, we show a new more constrained hardness result for partially predrawn rectilinear crossing number. In particular, we show W-hardness of deciding Straight-Line Planarity Extension parameterized by the number of missing edges.
Computational Geometry,Data Structures and Algorithms
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to solve the algorithmic challenges in terms of complexity and under specific constraints when calculating the crossing number of a computational graph. Specifically, the authors focus on how to effectively calculate the crossing number given a partially predrawn graph and certain topological or geometric constraints. #### Background of the paper The crossing number problem is one of the classic problems in computational geometry, that is, minimizing the number of intersections between edges in a graph drawing. Although this problem and its variants have been widely studied, its computational complexity is usually very high and it is an NP - complete problem. In recent years, researchers have been committed to exploring the parameterized tractability of these problems in order to find more effective algorithms. #### Main contributions 1. **Proposing a new framework**: This framework can handle the crossing number problem with a partially predrawn graph and topological constraints. By introducing the concept of "topological crossing patterns", the authors show how to solve these variant problems in fixed - parameter time (FPT - time). 2. **Handling geometric constraints**: In addition to topological constraints, this framework also takes into account geometric constraints, such as straight - line drawing. This enables it to be applied to a wider range of scenarios, such as pseudolinear drawing and fan - planar graphs. 3. **Proving new hardness results**: For the rectilinear crossing number problem with a partially predrawn graph, the authors prove its W[1] - hard property, even when both the partial and final drawings are planar. This indicates that this type of problem may be more difficult to solve in some cases than other extended problems. #### Specific applications - **Crossing number of fan - planar graphs**: The authors show how to use their framework to determine the crossing number of fan - planar graphs in fixed - parameter time, solving an open problem in previous literature. - **Crossing number of pseudolinear drawing**: For the pseudolinear crossing number problem with a partially predrawn graph, the authors also show its solvability in fixed - parameter time. #### Hardness results The authors further prove that in the case of a partially predrawn graph, determining the Straight - Line Planarity Extension is a W[1] - hard problem, especially when the parameter is the number of missing edges. Overall, this paper significantly advances the research on the crossing number problem by introducing new concepts and techniques, especially making important progress in calculating the crossing number under the condition of handling partially predrawn graphs and specific constraints.