наверно сюда можно добавить еще раздел

# Алгоритмы над конечными автоматами (ориентированными графами с конечным числом состояний)
* Детерминизация конечного автомата - построение эквивалентного автомата и устранение совпадающих переходов.
* Минимизация конечного автомата - построение эквивалентного автомата с меньшим числом состояний.

# Представления графа в памяти компьютера
- Функция действия автомата - определяет действие вершины и дальнейшее следование по матрице смежности
- Польская запись - запись выражений в обратном опрядке, где операнды расположены перед знаками операций.

# Потоки в сетях
* Алгоритм Левита - находит кратчайшее расстояние от одной из вершин графа до всех остальных.
* Алгоритм Джонсона - позволяет найти кратчайшие пути между всеми парами вершин взвешенного ориентированного графа.
* Алгоритм Флойда — Уоршелла - для нахождения кратчайших расстояний между всеми вершинами взвешенного ориентированного графа
* Алгоритм Беллмана — Форда - алгоритм поиска кратчайшего пути во взвешенном графе.

* Поиск максимального паросочетания в двудольном графе 
тут есть несколько варианций:
- Алгоритм Куна 
- алгоритм Хопкрофта-Карпа, (адаптированный алгоритм Форда-Фалкерсона)
- алгоритм Куна-Манкреса, он же венгерский алгоритм.

Привет!

У меня есть ориентированный граф и по нему стоят следующие задачи:

1. Для произвольного узла (вершины) X графа нужно найти ближайшую к нему вершину вверх по графу, через которую проходят все возможные пути к узлу X.

2. Для нескольких (>=2) произвольно выбранных узлов графа требуется:

а) проверить, что все эти узлы полностью независимы друг от друга;
б) если зависимость всё же имеется, то среди выбранных узлов должны быть узлы, обеспечивающие такую связь, т.е. не должно быть пропущенных этапов между "первыми" и "последними" выбранными узлами.

Есть ли готовые алгоритмы решения таких задач?
Если нет, то подскажите, пожалуйста, какие алгоритмы (их названия) нужно применить для решения каждой задачи?

Arkado, лучше сделать отдельную тему