Dicionário

"… in mathematics you don't understand things,
you just get used to them."
— J. von Neumann

A terminologia técnica em português da teoria dos grafos e digrafos ainda não está bem sedimentada. Vou adotar as seguintes traduções dos termos técnicos do livro:

arc-strong connectivity		arco-conexidade forte (= conexidade forte relativa aos arcos)
arc-k-strong digraph		digrafo arco-k-forte
acyclic order		ordem acíclica (= ordem topológica)
arborescence (of a digraph)		(sub-)árvore divergente ou convergente (de um digrafo)
bipartite		bipartido  bipartite
branching		árvore geradora convergente ou divergente
bridge		ponte
connected		fracamente conexo
connectivity		conexidade  conectividade
converse (of a digraph)		transposto (de um digrafo)
cycle		ciclo
cycle factor		CDCi (= cobertura disjunta por ciclos)
directed tree		árvore orientada
directed multigraph		multi-digrafo (pode ter arcos paralelos, mas não laços)
ear decomposition		decomposição em orelhas
factor		subdigrafo gerador
family of sets		coleção (= conjunto) de conjuntos
feedback set		conjunto de realimentação (ou de retorno)
feasible		viável
head of arc		ponta final de arco
in-branching		árvore geradora convergente
matching		emparelhamento
nowhere-zero		nenhures nulo
out-branching		árvore geradora divergente
path		caminho
path factor		CDCa (= cobertura disjunta por caminhos)
path-cycle factor		CDCaCi (= cobertura disjunta por caminhos e ciclos)
round digraph		digrafo redondo
semicomplete digraph		digrafo semicompleto
semicomplete multipartite		multipartido semicompleto
sink		sorvedouro
source		fonte
spanning subdigraph		subdigrafo gerador
splitting		fissão
splitting off		fissão
strong connectivity		conexidade forte (= relativa aos vértices)
k-strong digraph		digrafo k-forte
subpartition		subpartição (= coleção disjunta)
tail of arc		ponta inicial de arco
tournament		torneio
traceable		traçável (= tem caminho hamiltoniano)
weakly connected		fracamente conexo