-
Highly connected orientations from edge-disjoint rigid subgraphs
Authors:
Dániel Garamvölgyi,
Tibor Jordán,
Csaba Király,
Soma Villányi
Abstract:
We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-c…
▽ More
We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-connected) spanning subgraphs, where $h(d) = 10d(d+1)$. This also implies a positive answer to the conjecture of Kriesell that every sufficiently highly connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $k$-connected.
△ Less
Submitted 13 February, 2025; v1 submitted 23 January, 2024;
originally announced January 2024.
-
Globally linked pairs and cheapest globally rigid supergraphs
Authors:
Tibor Jordán,
Soma Villányi
Abstract:
Given a graph $G$, a cost function on the non-edges of $G$, and an integer $d$, the problem of finding a cheapest globally rigid supergraph of $G$ in $\mathbb{R}^d$ is NP-hard for $d\geq 1$. For this problem, which is a common generalization of several well-studied graph augmentation problems, no approximation algorithm has previously been known for $d\geq 2$. Our main algorithmic result is a 5-ap…
▽ More
Given a graph $G$, a cost function on the non-edges of $G$, and an integer $d$, the problem of finding a cheapest globally rigid supergraph of $G$ in $\mathbb{R}^d$ is NP-hard for $d\geq 1$. For this problem, which is a common generalization of several well-studied graph augmentation problems, no approximation algorithm has previously been known for $d\geq 2$. Our main algorithmic result is a 5-approximation algorithm in the $d=2$ case. We achieve this by proving numerous new structural results on rigid graphs and globally linked vertex pairs. In particular, we show that every rigid graph in $\mathbb{R}^2$ has a tree-like structure, which conveys all the information regarding its globally rigid augmentations. Our results also yield a new, simple solution to the minimum cardinality version (where the cost function is uniform) for rigid input graphs, a problem which is known to be solvable in polynomial time.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Every $d(d+1)$-connected graph is globally rigid in $\mathbb{R}^d$
Authors:
Soma Villányi
Abstract:
Using a probabilistic method, we prove that $d(d+1)$-connected graphs are rigid in $\mathbb{R}^d$, a conjecture of Lovász and Yemini. Then, using recent results on weakly globally linked pairs, we modify our argument to prove that $d(d+1)$-connected graphs are globally rigid, too, a conjecture of Connelly, Jordán and Whiteley. The constant $d(d+1)$ is best possible.
Using a probabilistic method, we prove that $d(d+1)$-connected graphs are rigid in $\mathbb{R}^d$, a conjecture of Lovász and Yemini. Then, using recent results on weakly globally linked pairs, we modify our argument to prove that $d(d+1)$-connected graphs are globally rigid, too, a conjecture of Connelly, Jordán and Whiteley. The constant $d(d+1)$ is best possible.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Globally linked pairs of vertices in generic frameworks
Authors:
Tibor Jordán,
Soma Villányi
Abstract:
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $xy\in E$ in $(G,p)$ is the distance between $p(x)$ and $p(y)$. A vertex pair $\{u,v\}$ of $G$ is said to be globally linked in $(G,p)$ if the distance between $p(u)$ and $p(v)$ is equal to the distance between $q(u)$ and $q(v)$ for every $d$-dimensional fram…
▽ More
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $xy\in E$ in $(G,p)$ is the distance between $p(x)$ and $p(y)$. A vertex pair $\{u,v\}$ of $G$ is said to be globally linked in $(G,p)$ if the distance between $p(u)$ and $p(v)$ is equal to the distance between $q(u)$ and $q(v)$ for every $d$-dimensional framework $(G,q)$ in which the corresponding edge lengths are the same as in $(G,p)$. We call $(G,p)$ globally rigid in $\mathbb{R}^d$ when each vertex pair of $G$ is globally linked in $(G,p)$. A pair $\{u,v\}$ of vertices of $G$ is said to be weakly globally linked in $G$ in $\mathbb{R}^d$ if there exists a generic framework $(G,p)$ in which $\{u,v\}$ is globally linked.
In this paper we first give a sufficient condition for the weak global linkedness of a vertex pair of a $(d+1)$-connected graph $G$ in $\mathbb{R}^d$ and then show that for $d=2$ it is also necessary. We use this result to obtain a complete characterization of weakly globally linked pairs in graphs in $\mathbb{R}^2$, which gives rise to an algorithm for testing weak global linkedness in the plane in $O(|V|^2)$ time. Our methods lead to a new short proof for the characterization of globally rigid graphs in $\mathbb{R}^2$, and further results on weakly globally linked pairs and globally rigid graphs in the plane and in higher dimensions.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
