Связный список – это такая структура данных, которая состоит из следующих частей: заголовок – содержит ссылку на первый хранящийся в сети узел, который состоит из двух частей: данные и связка.
Мн-во всех возможных списков образует образует универсальную двухосновную алгебраическую систему.
Рассмотрим один из алгоритмов.
Для каждого узла N в графе выполняется пять шагов.
1. Задаются начальные условия: L-пустой список, все ребра не маркированы.
2. Текущий узел добавляем вконец списка L и проверяем количество появления узла в списке. Если он встречается два раза, значит цикл и взаимоблокировка.
3. Для заданного узла смотрим, выходит ли из него хотя бы одно немаркированное ребро. Если да, то переходим к шагу 4, если нет, то переходим к шагу 5.
4. Выбираем новое немаркированное исходящее ребро и маркируем его. И переходим по нему к новому узлу и возвращаемся к шагу 3.
5. Зашли в тупик. Удаляем последний узел из списка и возвращаемся к предыдущему узлу. Возвращаемся к шагу 3. Если это первоначальный узел, значит, циклов нет, и алгоритм завершается.