Существует ли алгоритм «упрощения» графа зависимостей?

Моя проблема очень проста, но я действительно не знаю ее названия, и поэтому ее трудно найти решение самостоятельно: Как упростить граф зависимостей, например (где -> означает зависимости):

A -> B -> C & A -> C

to

A -> B -> C