Skip to main content
The new Teacher Workspace is here. Your first 3 assignments are free. Try it →

Strongly connected digraph

A strongly connected digraph is a directed graph where every vertex can reach every other vertex by a directed path. In Combinatorics, you use it to study directed routes, cycles, and when a graph can be traversed cleanly.

Last updated July 2026

What is strongly connected digraph?

A strongly connected digraph is a directed graph in which, for every pair of vertices u and v, there is a directed path from u to v and also from v to u. That is the whole idea: direction matters, and the graph still lets you get from anywhere to anywhere else following the arrows.

This is stricter than just being connected. In an undirected graph, you only care that a route exists somehow. In a digraph, a path has to respect edge direction, so one-way arrows can trap you in part of the graph. If you can still travel between all vertices in both directions, the digraph is strongly connected.

A small example helps. Suppose you have vertices A, B, and C with arrows A -> B, B -> C, and C -> A. That digraph is strongly connected because you can start at any vertex and eventually reach the other two by following arrows. If you remove C -> A, then you can still get from A to C, but not from C back to A, so the digraph is no longer strongly connected.

A common mistake is to think that having lots of arrows or even a cycle somewhere is enough. It is not. Strong connectivity is about the entire graph, not just one part of it. One isolated one-way segment can break the property.

In combinatorics, this concept often shows up with traversal problems. If you are checking for an Eulerian circuit in a directed graph, strong connectivity is part of the setup along with equal in-degree and out-degree at each vertex. It also connects to strongly connected components, which are the maximal groups of vertices that are strongly connected inside a larger digraph.

Why strongly connected digraph matters in COMBINATORICS

Strongly connected digraphs show up whenever a combinatorics problem is really about moving through a network with direction. Once arrows are involved, you cannot rely on ordinary connectedness, because a route that works one way may fail the other way. Strong connectivity tells you whether the directed network is fully navigable in both directions.

This matters a lot in Eulerian path and cycle problems. A directed graph can only have an Eulerian circuit if it is strongly connected and each vertex has matching in-degree and out-degree. So before you even start looking for a circuit, you check whether the graph is strongly connected. That cuts down guesswork and keeps you from searching for a traversal that cannot exist.

It also gives structure to bigger graphs. If a digraph is not strongly connected, you can break it into strongly connected components and study how those parts connect. That is a useful move in graph theory problems, especially when a directed network has several clusters that do not all communicate the same way.

In real applications, the idea matches one-way systems like webpages linking to each other, traffic with one-way streets, or computer networks with directed communication. If the graph is not strongly connected, some nodes are not reachable from others, which changes what routes, schedules, or search procedures are possible.

Keep studying COMBINATORICS Unit 11

Official unit cheatsheet

open one-pager

How strongly connected digraph connects across the course

Directed Graph

A strongly connected digraph is a special kind of directed graph. The arrows are what make strong connectivity different from ordinary connectivity, because reachability has to follow edge direction. If you are given a digraph, the first question is whether direction still lets every vertex reach every other vertex.

Eulerian Path

Strong connectivity is one of the conditions that comes up when you study Eulerian circuits in directed graphs. Even if the in-degrees and out-degrees match, you still need the graph to be strongly connected for a closed traversal to exist. That is why this term often appears right before or alongside Eulerian path questions.

Hierholzer's Algorithm

Hierholzer's Algorithm is used to find an Eulerian circuit once the directed graph meets the right conditions. Strong connectivity is part of the setup check, so you do not waste time trying to build a circuit in a graph that cannot support one. Think of strong connectivity as the gatekeeper before the algorithm can work.

Depth-first search

Depth-first search is a common way to explore reachability in a digraph. While DFS by itself does not prove strong connectivity, it helps you test whether vertices can be reached from a starting point. In algorithms like Kosaraju's or Tarjan's, search order is part of finding strongly connected components.

Is strongly connected digraph on the COMBINATORICS exam?

A problem set or quiz question will usually give you a directed graph and ask whether it is strongly connected, or ask you to justify why it is not. Your move is to check reachability in both directions, not just whether the graph looks like one piece. If needed, trace a directed path from one vertex to another and then reverse the direction test.

You may also use strong connectivity as a checkpoint before Eulerian circuit work. If the graph fails this test, you can rule out an Eulerian circuit right away, even before checking in-degree and out-degree. In graph algorithm questions, you might identify strongly connected components or explain how a search procedure separates the graph into directed clusters.

Strongly connected digraph vs Connected Graph

A connected graph only needs a path between vertices when you ignore direction, which is a weaker idea. A strongly connected digraph requires directed paths both ways between every pair of vertices. In a digraph, a graph can look connected in the usual sense and still fail to be strongly connected because the arrows do not let you travel back.

Key things to remember about strongly connected digraph

  • A strongly connected digraph lets you travel from any vertex to any other vertex by following arrow directions.

  • This is stronger than ordinary connectedness, because directed edges can block return paths.

  • A single missing return route can break strong connectivity, even if most of the graph is reachable.

  • Strong connectivity is a common checkpoint in Eulerian circuit problems for directed graphs.

  • If a digraph is not strongly connected, you often study its strongly connected components instead.

Frequently asked questions about strongly connected digraph

What is a strongly connected digraph in Combinatorics?

It is a directed graph where every vertex can reach every other vertex by a directed path. Both directions matter, so you need a path from u to v and also from v to u for every pair of vertices. That makes it a stronger condition than just having one big connected-looking network.

How do you tell if a directed graph is strongly connected?

Check whether every vertex can reach every other vertex following the arrow directions. In practice, you can use directed searches or look for a way to move around the whole graph and also return to your starting point from each vertex. If even one pair of vertices lacks a directed path one way, the graph is not strongly connected.

Is a strongly connected digraph the same as a connected graph?

No. A connected graph is usually about undirected reachability, while a strongly connected digraph must work in both directed directions. A digraph can be connected if you ignore arrow directions but still fail strong connectivity because the arrows do not allow return paths.

Why does strong connectivity matter for Eulerian circuits?

For a directed graph to have an Eulerian circuit, it must be strongly connected and each vertex must have equal in-degree and out-degree. Strong connectivity makes sure the graph is one navigable directed system instead of separate pieces. Without it, you can get stuck in part of the graph and never return.

Strongly Connected Digraph | Combinatorics | Fiveable