---
title: Ideally Connected Graphs
url: https://www.emergentmind.com/topics/ideally-connected-graphs
type: topic
---

# Ideally Connected Graphs

An ideally connected graph is a graph in which the local connectivity between every two distinct vertices is as large as the endpoint degrees permit. If $\kappa_G(u,v)$ denotes the maximum number of internally disjoint $u$–$v$ paths in a graph $G$, then a classical consequence of Menger’s theorem gives $\kappa_G(u,v)\le \min\{\deg_G(u),\deg_G(v)\}$. The graph is ideally connected when equality holds for every pair of distinct vertices. In that sense, it realizes the “best-possible” local connectivity allowed by degree constraints. The notion also appears under the names *maximally locally connected* and *strongly Menger–connected*, and it has been studied both structurally and in connection with extremal average-connectivity problems and routing in fault-tolerant networks [2509.14393].

## 1. Definition and immediate consequences

Let $G=(V,E)$ be a simple graph and let $u\ne v$ be vertices of $G$. The parameter
\[
\kappa_G(u,v)
\]
is the maximum number of internally disjoint $u$–$v$ paths in $G$. In the broader multigraph setting one also considers
\[
\lambda_G(u,v),
\]
the maximum number of edge-disjoint $u$–$v$ paths. The standard inequality chain is
\[
\kappa_G(u,v)\le \lambda_G(u,v)\le \min\{\deg_G(u),\deg_G(v)\},
\]
for all distinct $u,v$ [1810.01972].

A graph is ideally connected if
\[
\kappa_G(u,v)=\min\{\deg_G(u),\deg_G(v)\}
\quad\text{for every pair of distinct vertices }u,v.
\]
Analogously, a graph is ideally edge-connected if
\[
\lambda_G(u,v)=\min\{\deg_G(u),\deg_G(v)\}
\quad\text{for all distinct }u,v.
\]
An ideally connected graph is therefore automatically ideally edge-connected [1810.01972].

The condition is local in formulation but global in force. It requires every pair of vertices to admit a saturating family of internally disjoint paths, so the graph cannot have even a single pair for which the degree bound is not attained. This is the feature that makes the class rigid enough to admit exact characterizations inside several hereditary graph classes [2509.14393].

## 2. Extremal role in average connectivity

Ideal connectedness is closely tied to average-connectivity extremal problems. For a graph $G$ of order $n$, the average connectivity is
\[
\overline{\kappa}(G)=\sum_{\{u,v\}\subseteq V(G)} \kappa_G(u,v)\big/\tbinom{n}{2},
\]
and the average edge-connectivity is
\[
\overline{\lambda}(G)=\sum_{\{u,v\}\subseteq V(G)} \lambda_G(u,v)\big/\tbinom{n}{2}.
\]
To compare these quantities with the degree sequence, one defines the *potential*
\[
P(d_1,\dots,d_n)=\sum_{1\le i<j\le n}\min\{d_i,d_j\}.
\]
If $G$ has degree sequence $(d_1,\dots,d_n)$, then
\[
\sum_{\{u,v\}}\kappa_G(u,v)\le P(G),
\]
with equality if and only if $G$ is ideally connected [1810.01972].

This converts ideal connectedness into an extremal equality case for a natural degree-based upper bound. The same work shows that among all nonnegative integer sequences with fixed total sum, the unique maximizer of the potential is a nearly regular sequence. Moreover, for every integer pair
\[
3\le n\le m\le \binom n2,
\]
there exists a simple nearly regular graph of order $n$, size $m$, and which is ideally connected [1810.01972].

These facts underpin the structure of extremal minimally $2$-connected graphs. Every minimally $2$-connected graph of order $n$ with largest average connectivity is bipartite, with the set of vertices of degree $2$ and the set of vertices of degree at least $3$ being the partite sets. The universal bound
\[
\overline{\kappa}(G)<\tfrac{9}{4}
\]
holds for every minimally $2$-connected graph, it is asymptotically tight, and every extremal graph of order $n$ is obtained from some ideally connected nearly regular graph on roughly $n/4$ vertices and $3n/4$ edges by subdividing every edge [1810.01972]. An analogous statement holds for average edge-connectivity in minimally $2$-edge-connected graphs.

## 3. Cographs

A cograph is a $P_4$-free graph; equivalently, it is the smallest class containing the single-vertex graph and closed under disjoint union and complete join. Within this class, ideal connectedness admits an exact forbidden-subgraph characterization: a cograph $G$ is ideally connected if and only if $G$ is $2K_2$-free [2509.14393].

The proof proceeds by induction on the unique cotree decomposition of the cograph. In the join-case, if $G=G_1\boxplus G_2$, then $G_1$ and $G_2$ are ideally connected if and only if $G$ is ideally connected. The forward direction uses the paths already present in each side together with length-$2$ detours through the opposite side; the reverse direction shows that ideal connectedness of the join restricts back to ideal connectedness of each factor. In the union-case, if $G=G_1\cup G_2$ and $G$ is ideally connected, then one of $G_1,G_2$ must be edgeless; otherwise vertices chosen from different components would satisfy $\kappa=0$ while both have positive degree [2509.14393].

The obstruction $2K_2$ is minimal and transparent. If $u$ and $v$ lie on different edges of an induced $2K_2$, then $\deg(u)=\deg(v)=1$ but $\kappa(u,v)=0$, so the degree bound fails. Conversely, the decomposition analysis shows that forbidding induced $2K_2$ is sufficient inside the cograph class [2509.14393].

## 4. Chordal graphs and threshold structure

A graph is chordal if every induced cycle of length at least $4$ has a chord. In this class, the ideally connected graphs are precisely the threshold graphs [2509.14393]. A threshold graph is one built from $K_1$ by repeatedly adding either an isolated vertex or a dominating vertex. Equivalently, it is exactly the class of $(P_4,C_4,2K_2)$-free graphs, or equivalently split graphs whose independent side has nested neighborhoods [2509.14393].

The two main exact classifications can be summarized as follows.

| Graph class | Ideally connected members | Equivalent description |
|---|---|---|
| Cographs | Exactly the $2K_2$-free cographs | No induced $2K_2$ [2509.14393] |
| Chordal graphs | Exactly the threshold graphs | $(P_4,C_4,2K_2)$-free split graphs with nested neighborhoods [2509.14393] |

The chordal proof uses clique-cut decompositions. Dirac’s theorem implies that in a noncomplete chordal graph every minimum vertex-cutset is a clique. Writing such a cutset as $S$ with $|S|=t=\kappa(G)$, the decomposition of $G$ along $S$ into $S$-attached chordal subgraphs is constrained sharply by ideal connectedness: exactly one $S$-subgraph has connectivity at least $t$ and is itself ideally connected and chordal, while every other $S$-subgraph consists of $S$ plus one extra vertex $v_i$ with $N(v_i)=S$ [2509.14393].

This forces a split decomposition with nested neighborhoods, hence threshold structure. The converse is immediate from the cograph result, since every threshold graph is a $2K_2$-free cograph and therefore ideally connected [2509.14393].

## 5. Examples, non-examples, and local path geometry

Several standard graph families illustrate the definition sharply. Any complete graph $K_n$ is trivially ideally connected. Any star $K_{1,r}$ is ideally connected. At the opposite extreme, $2K_2$ is a cograph but not ideally connected, and a split graph whose independent vertices have non-nested neighborhoods is chordal but not ideally connected [2509.14393].

The contrast between threshold and non-threshold chordal graphs is especially instructive. A threshold graph admits a recursive construction by isolated and dominating vertices, and this recursive simplicity is reflected in its path structure. In fact, threshold graphs are not only ideally connected: between any two vertices $u,v$ the required $\min\{\deg(u),\deg(v)\}$ internally disjoint paths can all be found of length at most $2$ [2509.14393].

This short-path property gives a concrete interpretation of the equality $\kappa_G(u,v)=\min\{\deg(u),\deg(v)\}$. In threshold graphs, saturation of the smaller endpoint degree does not require long detours or globally complicated routing; the graph’s nested neighborhood structure realizes the disjoint path system in a highly compressed form. By contrast, the presence of non-nested neighborhoods in a split graph creates exactly the kind of interference that prevents simultaneous saturation for all vertex pairs [2509.14393].

## 6. Proof methods, terminology, and related directions

The structural theory of ideally connected graphs in cographs and chordal graphs is driven by decomposition. For cographs, the central tools are the union and join operations together with induction on the cotree. For chordal graphs, the crucial ingredient is that every minimal separator is a clique, so clique-cut analysis reduces ideal connectedness to a single “big” piece plus simplicial attachments. In both settings, Menger’s theorem and saturation arguments control the equality cases in
\[
\kappa_G(u,v)\le \min\{\deg_G(u),\deg_G(v)\}
\]
and force the eventual forbidden-subgraph descriptions [2509.14393].

A recurrent source of confusion is terminological rather than mathematical. *Ideally connected graphs* concern local path connectivity. By contrast, *distance ideals* are algebraic invariants that generalize the Smith normal form and the spectrum of several distance matrices associated with a graph [2504.11706]. Likewise, the *$t$-connected ideal* of a graph is a square-free monomial ideal generated by the connected induced subgraphs with $t$ vertices, and when $t=2$ it coincides with the usual edge ideal [2512.05376]. A related formulation studies an $r$-connected ideal generated by connected induced subgraphs of size $r+1$ [2512.06346]. These are separate theories despite the overlap in vocabulary.

The current structural classifications also point to broader directions. Suggested extensions include larger super-classes of cographs, such as distance-hereditary graphs, parity graphs, or circle graphs, asking which members are ideally connected; further variants include strongly $m$-Menger-connected versions and edge-versions of the problem [2509.14393]. In this sense, the known cograph and chordal results serve both as exact classification theorems and as templates for a wider decomposition-based program in local connectivity theory.

Source: https://www.emergentmind.com/topics/ideally-connected-graphs