Strong Connectivity
A graph is strongly connected if there is a path from any node to all other nodes in the graph.
The strongly connected components of a graph divide the graph into strongly connected parts that are as large as possible. The strongly connected components form an acyclic component graph that represents the deep structure of the original graph.
You can solve 2-SAT using Kosaraju’s Algorithm.
From this blog
- A directed graph is called connected if, when you ignore direction, there is a path from every vertex to every other vertex.
- A graph is strongly connected if you still get paths everywhere when considering direction.
MATH239
Definitions
Connectness
A graph is connected if there exists a -path for every pair of vertices .
Component
A component of a graph is a connected subgraph of such that is not a proper subgraph of any other connected subgraph of . (Equivalently, is a maximally connected subgraph of .)
Graph Cut
Let . The cut induced by in is the set of all edges in with exactly one end in .
Theorems and Lemmas
Theorem 4.8.2
Let be a graph and let . A -path exists for each if and only if is connected.
Theorem 4.8.5
A graph is disconnected if and only if there exists a non-empty proper subset of of such that the cut induced by is empty.
- This illustrates the connection between Cuts and Connectedness
Theorem 4.9.2
Let be a connected graph. Then, has an Eulerian Circuit if and only if every vertex has even degree.
How to prove a graph is connected?
Use theorem 4.8.2 (from above): A -path exists for each if and only if is connected.
- Set to a particular vertex in . Then, prove that this vertex is connected to every other vertex through a particular path.
For example: