Алгоритмы на графах и их пролог программы

ЦЕЛЬ: Дать представление об основных задачах на графах.

В настоящее время возросла роль графовых моделей в различных практических приложениях таких, как автоматизированные системы управления, экспертные системы, системы искусственного интеллекта и т.п.

Графом называют систему объектов G = (V,E), где V={V1,...,Vm} - множество вершин, а E = {E1 = (Vi1,Vj1),...,En = (Vin,Vjn)} - множество ребер.

Если пара (Vik,Vjk) упорядочена, то граф называют ориентированным, в противном случае граф - неориентированный или просто граф.

Например,

V={1,2,3,4,5}

E={a=(1,2),

b=(2,3),

c=(1,3),

d=(2,4),

e=(4,5),

f=(3,5)}

Граф в прологе удобно задавать с помощью предиката 'ребро'. В общем случае этот предикат выглядит следующим образом

ребро(Имя_ребра, Вершина_начало_ребра, Вершина_конец_ребра, Вес_ребра).

В частных случаях некоторые аргументы предиката 'ребро' могут отсутствовать. Так для графа, нарисованного выше, имеем