Biconnected Graph

DOWNLOAD Mathematica Notebook

A biconnected graph is a connected graph having no articulation vertices (Skiena 1990, p. 175). Biconnected graphs are also sometimes called blocks or nonseparable graphs (Harary 1994, p. 26). An equivalent definition for graphs on more than two vertices is a graph G having vertex connectivity kappa(G)>=2.

The cases of the singleton graph K_1 and path graph P_2 are somewhat problemetic. The singleton graph is "annoyingly inconsistent" (West 2000, p. 150) since it is connected (but 1-connected only; not 2-connected), but by convention it is taken to have kappa(K_1)=0. The path graph P_2 is also problematic, since it has no articulation vertices and for the purpose of theorems such as those involving unit-distance graphs, it is convenient to regard it as biconnected, yet it has vertex connectivity kappa(P_2)=1.

BiconnectedGraphs

Some biconnected graphs are illustrated above. Taking K_1 and P_2=K_2 as not biconnected and biconnected, respectively gives the numbers of biconnected simple graphs on n=1, 2, ... nodes as 0, 1, 1, 3, 10, 56, 468, ... (cf. OEIS A002218).

NotBiconnectedGraph

A number of graphs that are connected but not biconnected are illustrated above. Such graphs are called 1-connected, and the numbers of such graphs for n=1, 2, ... are given by 1, 1, 1, 3, 11, 56, 385, ... (OEIS A052442).

A graph can be tested for biconnectivity in the Wolfram Language using KVertexConnectedGraphQ[g, 2] or VertexConnectivity[g] >1. A collection of biconnected graphs is available using GraphData["Biconnected].

Any graph containing a node of degree 1 cannot be biconnected. All Hamiltonian graphs are biconnected (Skiena 1990, p. 177), but the converse is not necessarily so. In particular, a non-biconnected graph is automatically non-Hamiltonian, which can be seen be noting that if removal of an articulation vertex left a Hamiltonian path, this would imply that disconnected graphs were connected. The following table summarizes some named graphs that are biconnected but non-Hamiltonian.

graph G|V(G)|
theta-0 graph7
Petersen graph10
Herschel graph11
first Blanuša snark18
second Blanuša snark18
flower snark20
Coxeter graph28
double star snark30
Thomassen graph34
Tutte's graph46
Szekeres snark50
Meredith graph70

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.