Abstract:In the Euclidean Steiner Tree problem, we are given as input a set of points (called terminals) in the $\ell_2$-metric space and the goal is to find the minimum-cost tree connecting them. Additional points (called Steiner points) from the space can be introduced as nodes in the solution. The seminal works of Arora [JACM'98] and Mitchell [SICOMP'99] provide a Polynomial Time Approximation Scheme (PTAS) for solving the Euclidean Steiner Tree problem in fixed dimensions. However, the problem remains poorly understood in higher dimensions (such as when the dimension is logarithmic in the number of terminals) and ruling out a PTAS for the problem in high dimensions is a notoriously long standing open problem (for example, see Trevisan [SICOMP'00]). Moreover, the explicit construction of optimal Steiner trees remains unknown for almost all well-studied high-dimensional point configurations. Furthermore, a vast majority the state-of-the-art structural results on (high-dimensional) Euclidean Steiner trees were established in the 1960s, with no noteworthy update in over half a century. In this paper, we revisit high-dimensional Euclidean Steiner trees, proving new structural results. We also establish a link between the computational hardness of the Euclidean Steiner Tree problem and understanding the optimal Steiner trees of regular simplices (and simplicial complexes), proposing several conjectures and showing that some of them suffice to resolve the status of the inapproximability of the Euclidean Steiner Tree problem. Motivated by this connection, we investigate optimal Steiner trees of regular simplices, proving new structural properties of their optimal Steiner trees, revisiting an old conjecture of Smith [Algorithmica'92] about their optimal topology, and providing the first explicit, general construction of candidate optimal Steiner trees for that topology.

On convexity in split graphs: complexity of Steiner tree and domination

Tree Convex Bipartite Graphs: $\mathcal{NP}$-Complete Domination, Hamiltonicity and Treewidth

Independent Domination on Tree Convex Bipartite Graphs

Efficient Algorithms for Euclidean Steiner Minimal Tree on Near-Convex Terminal Sets

Solving Steiner trees: Recent advances, challenges, and perspectives

Complexity of domination, hamiltonicity and treewidth for tree convex bipartite graphs

From Directed Steiner Tree to Directed Polymatroid Steiner Tree in Planar Graphs

A tight Monte-Carlo algorithm for Steiner Tree parameterized by clique-width

Parameterized algorithms for Steiner tree and (connected) dominating set on path graphs

The Bidirected Cut Relaxation for Steiner Tree has Integrality Gap Smaller than 2

The Full Steiner Tree Problem

Steiner Cut Dominants

On Steiner Trees of the Regular Simplex

Degree-Constrained Steiner Problem in Graphs with Capacity Constraints

Complexity of total dominator coloring in graphs

ON THE STEINER RATIO IN $\Mathcal{r}_{n}$

Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem

Highly Connected Steiner Subgraph -- Parameterized Algorithms and Applications to Hitting Set Problems

Complexity Issues Concerning the Quadruple Roman Domination Problem in Graphs

A Partition-and-Merge Algorithm for Solving the Steiner Tree Problem in Large Graphs

Algorithmic study on $2$-transitivity of graphs