PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
connected graph (Definition)

A connected graph is a graph such that there exists a path between all pairs of vertices. If the graph is a directed graph, and there exists a path from each vertex to every other vertex, then it is a strongly connected graph.

A connected component is a maximal (under inclusion) subset of vertices of any graph and any edges between them that forms a connected graph. Similarly, a strongly connected component is a maximal (under inclusion) subset of vertices of any digraph and any edges between them that forms a strongly connected graph. Any graph or digraph is a union of connected or strongly connected components, plus some edges to join the components together. Thus any graph can be decomposed into its connected or strongly connected components. For instance, Tarjan's algorithm can decompose any digraph into its strongly connected components.

For example, the following graph and digraph are connected and strongly connected, respectively.

\begin{displaymath} \begin{array}{cc} \xymatrix{ A \ar@{-}[r] & B \ar@{-}[r] & C... ...r[r] & C \ar[d]\ D \ar[u] & E \ar[l] & F \ar[l] } \end{array}\end{displaymath}

On the other hand, the following graph is not connected, and consists of the union of two connected components.

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ A \ar@{-}[r] & B \ar@{-}[r] & C \ D \ar@{-}[r] & E \ar@{-}[r] & F } } \end{xy}$

The following digraph is not strongly connected, because there is no way to reach $ F$ from other vertices, and there is no vertex reachable from $ C$.

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ A \ar[r] & B \ar[d] \ar[r] & C \ D \ar[u] & E \ar[l] & F \ar[l]\ar[u] } } \end{xy}$

The three strongly connected components of this graph are

\begin{displaymath} \begin{array}{ccc} \xymatrix{ A \ar[r] & B\ar[d] \ D \ar[u] & E\ar[l] } & $C$ & $F$ \end{array}\end{displaymath}



"connected graph" is owned by rspuzio. [ full author list (2) | owner history (1) ]
(view preamble)

View style:

See Also: graph, bridge, cut-vertex, locally connected, ${k}$-connected graph, graph topology, (closed) walk / trek / trail / path, connected poset

Other names:  connected, strongly connected, component
Also defines:  strongly connected graph, connected components, strongly connected components
Log in to rate this entry.
(view current ratings)

Cross-references: algorithm, join, plus, union, edges, subset, inclusion, vertex, directed graph, vertices, path, graph
There are 136 references to this entry.

This is version 4 of connected graph, born on 2002-03-02, modified 2005-08-09.
Object id is 2743, canonical name is ConnectedGraph.
Accessed 26687 times total.

Classification:
AMS MSC05C40 (Combinatorics :: Graph theory :: Connectivity)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
connected component by marijke on 2005-04-05 13:52:03
In my correction (about not every subset that's connected being a connected *component*) i suggested added something along the lines of

> Let $X\sim Y$ denote there exists a path joining vertices X and Y;
> it is not hard to see $\sim$ is an equivalence relation. Each of
> its equivalence classes, together with the edges connected to the
> vertices in that class, is known as a (\emph{connected})
> \emph{component} of the graph.
>
> A \emph{connected graph} is one that consists of a single connected
> component.

I'm glad you didn't take this suggestion up (yet) because my use of the $\sim$ symbol is unfortunate. That notation is already in use for "are linked directly by an edge", not a transitive concept. For the (transitive) relation on vertices of being connected by a path, any other ad hoc symbol would do in the course of the argument, such as $\approx$.

--regards, marijke
 http://web.mat.bham.ac.uk/marijke/
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)