Алгоритм проверки корректности определений. Определение считается корректным, если оно не определяется через само себя, либо через понятия, которые определяются через него. Иными словами, если применить это к графу понятий, то можно сказать, что в графе должны отсутствовать контуры.
Для отыскания контуров в графе понятий используется метод поиска в глубину с сохранением пути. Суть алгоритма поиска в глубину заключается в следующем. Пусть у нас имеется граф G V,E . 1 Начинаем поиск с произвольной вершины v0. 2 Выбираем произвольную вершину u, смежную с v0 и повторяем поиск от вершины u. 3 В общем случае допустим, что мы находимся в некоторой вершине v. Если существует еще не просмотренная вершина u, смежная для v, то повторяем поиск, начиная с вершины u. Если непросмотренных вершин, смежных с v, нет, то считаем вершину v использованной и возвращаемся в вершину, из которой попали в v. Если при возврате получаем v v0, то считаем алгоритм завершенным и все вершины являются использованными.
Идея поиска контуров с помощью метода поиска в глубина состоит в следующем. При поиске сохраняется путь, состоящий из просмотренных вершин, если мы встречаем уже просмотренную вершину, значит обнаружен контур. При этом по запомненному пути мы можем восстановить вершины данного контура. 2.5.