Abstract:A mixed graph $G$ is a graph that consists of both undirected and directed edges. An orientation of $G$ is formed by orienting all the undirected edges of $G$, i.e., converting each undirected edge $\{u,v\}$ into a directed edge that is either $(u,v)$ or $(v,u)$. The problem of finding an orientation of a mixed graph that makes it strongly connected is well understood and can be solved in linear time. Here we introduce the following orientation problem in mixed graphs. Given a mixed graph $G$, we wish to compute its maximal sets of vertices $C_1,C_2,\ldots,C_k$ with the property that by removing any edge $e$ from $G$ (directed or undirected), there is an orientation $R_i$ of $G\setminus{e}$ such that all vertices in $C_i$ are strongly connected in $R_i$. We discuss properties of those sets, and we show how to solve this problem in linear time by reducing it to the computation of the $2$-edge twinless strongly connected components of a directed graph. A directed graph $G=(V,E)$ is twinless strongly connected if it contains a strongly connected spanning subgraph without any pair of antiparallel (or twin) edges. The twinless strongly connected components (TSCCs) of a directed graph $G$ are its maximal twinless strongly connected subgraphs. A $2$-edge twinless strongly connected component (2eTSCC) of $G$ is a maximal subset of vertices $C$ such that any two vertices $u, v \in C$ are in the same twinless strongly connected component of $G \setminus e$, for any edge $e$. These concepts are motivated by several diverse applications, such as the design of road and telecommunication networks, and the structural stability of buildings.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Given a mixed graph (i.e., a graph containing undirected edges and directed edges), how to calculate its maximum vertex sets \(C_1, C_2, \ldots, C_k\) such that after removing any edge (whether it is a directed edge or an undirected edge), there exists an orientation \(R\) so that all vertices within each set \(C_i\) are strongly connected in \(R\). These vertex sets are called "edge - elastic strongly orientable blocks".
Specifically, the problem can be described as follows:
- Given a mixed graph \(G\), we need to find its maximum vertex sets \(C_1, C_2, \ldots, C_k\) that satisfy for each \(i\in\{1,\ldots,k\}\) and each edge \(e\) (whether it is a directed edge or an undirected edge), there exists an orientation \(R\) such that all vertices in \(C_i\) are strongly connected in \(R\).
To understand this problem more clearly, we can break it down into the following aspects:
1. **Definition of a mixed graph**:
- A mixed graph \(G\) is a graph that contains both undirected edges and directed edges simultaneously.
- An orientation \(R\) is formed by converting all undirected edges into directed edges, that is, converting an undirected edge \(\{u, v\}\) into a directed edge \((u, v)\) or \((v, u)\).
2. **Strong connectivity**:
- If there exists a path from one vertex to another between any two vertices in a graph, then the graph is said to be strongly connected.
- For a mixed graph \(G\), we hope to find an orientation \(R\) such that \(G\) is still strongly connected after removing any edge.
3. **Edge - elastic strongly orientable blocks**:
- These blocks refer to the maximum vertex sets in which all vertices within the block can still be kept strongly connected by some orientation method after removing any edge.
4. **Linear - time algorithm**:
- The paper proposes a linear - time algorithm to solve this problem. This algorithm is achieved by reducing the problem to calculating the 2 - edge twinless strongly connected components (2eTSCC) of a directed graph.
Through the above methods, the paper not only solves the problem of calculating the edge - elastic strongly orientable blocks of a mixed graph, but also shows how to utilize these concepts in practical applications, such as designing road and telecommunication networks, analyzing biological networks, etc.
In summary, the main contribution of this paper lies in proposing an efficient algorithm to calculate the edge - elastic strongly orientable blocks in a mixed graph and showing the application potential of these concepts in multiple fields.