---
title: Bidirected Graphs
url: https://www.emergentmind.com/topics/bidirected-graphs
type: topic
---

# Bidirected Graphs

A bidirected graph is a combinatorial structure generalizing both directed and signed graphs by attaching an independent orientation (“+” or “−”) to each end of each edge. This capability to locally encode “incoming” and “outgoing” behavior at each vertex-end makes bidirected graphs a versatile framework in combinatorial optimization, algebra, network theory, and modern applications such as biological sequence graphs and statistical models.

## 1. Formal Definition and Basic Properties

Let $G=(V,E)$ be a finite undirected graph (possibly with loops or parallel edges). A bidirected structure on $G$ comprises, for each edge $e$ with ends $u$ and $v$, two sign assignments $\epsilon, \epsilon' \in \{+1, -1\}$, not necessarily of opposite sign. These are sometimes encoded through functions:
- $\beta(e,u), \beta(e,v) \in \{+,-\}$ assigning a sign to each end of $e$ [1303.3084, 1610.00179, 1709.07414, 2304.12555].
- Alternatively, a bidirection (in the sense of Edmonds) $\tau:\{(e,x): x \in V,\, e \ni x\} \to \{+1, -1\}$ [1512.08448, 1610.00179].

Each edge is then described as the unordered pair $\{\,(u,\alpha),(v,\beta)\,\}$ or simply as $\{u^\alpha,v^\beta\}$, where $\alpha, \beta\in\{+,-\}$. Notable specializations:
- $(+,-)$ or $(-,+)$ at an edge correspond to a classic directed arc from head to tail or vice versa.
- $(+,+)$ and $(-,-)$ encode parallel signed/arbitrarily oriented edges, as in signed graphs.

A walk in a bidirected graph is a sequence of signed vertices $v_1\alpha_1, v_2\alpha_2, \dots, v_\ell\alpha_\ell$, such that for each consecutive pair, $\{v_i \alpha_i, v_{i+1} \widehat{\alpha_{i+1}}\}$ is an edge with $\widehat{+} = -$ and $\widehat{-} = +$ [2605.13074]. At each internal vertex, incident half-edges must carry opposite signs.

Bidirected graphs are thus a common generalization of digraphs (all edges have ends of opposite sign) and signed graphs (ends at both vertices share the same sign) [1709.07414, 1303.3084, 2304.12555].

## 2. Connections to Directed and Signed Graphs

Bidirected graphs unify and extend orientations from digraphs and edge signings from signed graphs:
- A digraph corresponds to the case where every edge has one $+$ and one $-$ sign (local orientation). The walk structure thus coincides with classical directed walks [1709.07414, 1310.00179, 2511.12283].
- A signed graph, as per Zaslavsky, arises as the image of a bidirected graph where both ends of every edge share the same sign. The signed graph induced by a bidirected structure uses the rule $\sigma(uv) = -\beta(uv, u) \beta(uv, v)$ [1303.3084].
- "Directionally two-signed" graphs are equivalent to bidirected graphs under a mapping between ordered pairs of endpoint-signs and bidirection assignments [1303.3084].

This generality allows representation of a richer class of combinatorial objects and supports structure-preserving mappings between signatures, orientations, and degree patterns [1512.08448, 2304.12555].

## 3. Path Structures, Strong Connectivity, and Decomposition

Standard walk, trail, and cycle notions generalize through local sign alternation. A ditrail is a trail in which the edges at each inner vertex have opposite incident signs. A dipath is a ditrail with no repeated vertices [1709.07414].

Unlike digraphs, reachability by trails and by paths may diverge for bidirected graphs; ditrails can self-intersect, causing trail-path divergence [1709.07414].

The strong connectivity theory is more intricate:
- Bidirected strong components are defined using circular connectivity: two vertices are circularly connected (denoted $u\equiv v$) if a path between them exists using only edges that belong to cyclic ditrails [1709.07414].
- The general Kotzig–Lovász decomposition partitions circular components into equivalence classes via a relation $\sim_\alpha$, based on the absence of closed $(\alpha,\alpha)$-ditrails [1709.07414]. This unifies strong component partitioning in digraphs with matching/block decompositions in factor theory.

Radials and semiradials offer further analogues of critical graphs and flowgraphs, giving constructive decompositions via iterative addition of "diears" (directed ears) and controlling access to the root by specific sign-sequence restrictions [2001.00083].

## 4. Structural Theorems, Flows, and Connectivity

Bidirected graphs exhibit fundamental differences in the context of classical connectivity theorems and flows:
- The classical Menger theorem does not always hold verbatim. It requires a generalization to account for "turnarounds": unions of $X$-$X$ and $Y$-$Y$ paths (max-packing/min-cuts via turnarounds, rather than only $X$-$Y$ paths) [2511.12283].
- Rooted connectivity and edge/path-disjointness in bidirected graphs admit a reduction, under suitable “cleanliness” hypotheses, to the corresponding results in digraphs via a canonical edge decomposition and contraction [2509.23394].

Flow theory on bidirected graphs generalizes group-valued flows and supports dualities with tensions and colourings via local sign combinations and orientations [1310.8406, 2309.00704]. Bouchet’s conjecture concerns the existence of nowhere-zero 6-flows in every flow-admissible bidirected graph. Improvements (e.g., 8-flow for cyclically 5-edge-connected graphs, 12-flow in general) are achieved using modular lifting arguments, parity decompositions, and perfect matching theory [1310.8406, 2309.00704].

Network flows, degree-constrained flows, and factor problems translate bidirected inputs directly to signed incidence matrices and corresponding quadratic forms (incidence forms), allowing algebraic classification, universality results, and root system analysis [2304.12555].

## 5. Algorithmic Aspects and Transformations

Bidirected graphs admit several constructive reductions and algorithmic frameworks:
- **Graph Doubling**: A canonical transformation converts a bidirected graph $G$ to a directed graph $D(G)$ on doubled signed vertices, preserving reachability. This enables the porting of directed-graph algorithms, including shortest paths, flows, and structural enumeration (e.g., ultrabubbles in genomics) to the bidirected realm [2605.13074].
- **Transitive closure and reduction**: Generalizing Aho–Garey–Ullman for digraphs, bipaths and bicircuits are used to define closure and irredundant spanning subgraphs, respecting signed-matroidal dependencies [1610.00179].
- **Degree sequence characterizations**: Erdős-Gallai–type criteria, Havel-Hakimi–type moves, and extremal/minimum instances extend to bidirected settings, and the set of all net-degree vectors forms a zonotope with simple bounding facet descriptions [1512.08448].

Tables of bidirected graph classes and key results:

| Bidirected Specialization      | Corresponds to        | Key Results/Sources           |
|-------------------------------|-----------------------|-------------------------------|
| Digraph (one $+,-$ per edge)  | Directed graph        | Standard reachability         |
| Signed (same sign both ends)  | Signed graph          | Induced signed graph theory   |
| Generic (all 4 pairs allowed) | Bidirected graph      | Trail/path divergence, generalized flows, connectivity decompositions |

## 6. Applications in Statistics, Combinatorics, and Algebra

- **Graphical models/statistical inference**: Bidirected graphs model systems where absence of bidirected edges encodes marginal independence (covariance structure) [1310.2641]. Duality with undirected models enables systematic transfer of Markov properties, separation criteria, and faithfulness results. Gaussian linear systems and algebraic walk-matrix frameworks extend natural interpretations, e.g., latent projections corresponding to confounding [2407.15744].
- **Incidence quadratic forms and root systems**: Every bidirected graph defines an incidence form $q_B$, whose structure encodes root systems of Dynkin type $A$, $D$, $C$ depending on the presence of bidirected loops or cycles. These forms classify possible algebraic and combinatorial symmetries of a graph, with applications to gentle algebras and Diophantine equations [2304.12555].
- **Genome graph analysis**: Ultrabubbles in bidirected graphs correspond to biologically relevant loci, and their enumeration via graph doubling links deep combinatorial constraints with practical algorithmic frameworks [2605.13074].

## 7. Future Directions and Open Problems

Several prominent research directions are emerging:
- Extensions of graph doubling to more complex signed or higher-dimensional structures (snarls, cacti-decompositions) and to dynamic/streaming graphs [2605.13074].
- Combinatorial and algorithmic refinements for network optimization, such as minimizing structural augmentation for strong connectivity or optimal edge-modifications [1709.00824].
- Full characterization of edge-disjoint analogues of classical connectivity theorems, weighted versions, and fractional packings/cuts in the bidirected setting [2511.12283].
- Systematic exploitation of the duality between undirected and bidirected models in graphical inference, especially for faithfulness and causal identification [1310.2641, 2407.15744].

A plausible implication is that bidirected graphs will continue to serve as a key combinatorial abstraction for problems requiring local orientation and flexible modeling of flows, connectivity, and statistical dependence, especially in contexts where neither directed nor undirected graphs suffice.

Source: https://www.emergentmind.com/topics/bidirected-graphs