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

Я не смог полностью понять вопрос, но, кажется, вам нужна конденсация исходного графа. http://en.wikipedia.org/wiki/Condensation_(graph_theory)

Как минимум, можно привести к простым циклам:

https://e-reports-ext.llnl.gov/pdf/245237.pdf

Я не смог полностью понять вопрос

Я сам не до конца понимаю его в математической терминологии т.к. в теории даже таких задач не встречалось. Попробую объяснить в чём проблема на практике. Есть примерно такой граф

            |#|-----------
        --->|C|--        |
        |   |#| |        |
|#|   |###|     --->|#|  |  |#|
|A|-->| B |<--------|D|  -->|E|
|#|   |###|     --->|#|  -->|#|
       | |  |#| |        |
       | -->|F|--        |
       |    |#|          |
       -------------------

При этом по документам граф задан через рёбра (начиная от 20-и). Вершин штук 10-15. Порой возникает желание понять, а сколько ещё неожиданных (тех которые не предполагала спецификация, а предполагает она обычно штуки 3-4, остальные в тории никогда не случатся) путей выхода будет у этого графа и где нужно быть внимательнее что б не улететь в цикл. Конечно можно и нарисовать это дело, но в реальности мозгу проще было бы воспринять n-ое число линейных вариантов, вместо дикого клубка на рисунке.

Хм, пожалуй теперь я сформулирую вопрос конкретнее, нужна тулза для поиска всех возможных путей из точки А в точку Е, учитывающая циклы.

но, кажется, вам нужна конденсация исходного графа

Мне нужна прежде всего тулза

http://e-maxx.ru/algo/

нужна тулза для поиска всех возможных путей из точки А в точку Е, учитывающая циклы.

математические всякие. Wolfram Mathematica, Sage.

int i;
scanf("%i", &i);
while (i) {
    printf("%i\n", i);
    i--;
}

Вариантов прохождения этой программы столько же, сколько значений может поместиться в int, то есть, обычно, 2 ^ 31 - 1 вариантов. И все они абсолютно корректны и не являются бесконечными циклами. Как ты предлагаешь строить такой граф?

А мне не нужен граф что б осознать варианты развития событий при исполнении этой программы. Поэтому я даже не предлагаю строить для неё граф.