Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Центр помощи > [Prolog] Ориентированный граф

Автор: skaizer 4.6.2008, 17:32

Блин, прошу прощения за название темы, не ориентированный, а связный хотел написать, но уже поменять нельзя.... Нужно проверить, связный граф или нет.
Здравствуйте! Возникла проблема в проверке, связный граф или нет. Имеется код, который проверяет связность двух вершин, т.е. существует ли путь между одной вершиной и другой в графе.

Код


DOMAINS

str=symbol*

PREDICATES

reb(symbol,symbol).
put(symbol,symbol,str).
vhod(str,symbol).

CLAUSES

reb(a,b).
reb(a,c).
reb(b,c).
reb(b,d).
reb(b,f).
reb(c,a).
reb(c,h).
reb(f,g).
reb(g,c).
reb(h,c).
reb(h,j).
reb(k,l).
reb(l,m).
reb(m,l).

vhod([Y|X],Y).
vhod([X1|X],Y):-vhod(X,Y).

put(X,Y,S):-reb(X,Y).
put(X,Y,S):-reb(X,Z),not(vhod(S,Z)),put(Z,Y,[Z|S]).

Как я предполагаю надо для каждой вершины из графа, проверить есть ли путь до других вершин в этом же графе.
Собственно проблема только в понимании того как работает пролог... Голову всю сломал, ничего не выходит.
Граф можно задавать непосредственно в программе, как это сделано сейчас. потом просто запустить функцию, и она должна ответить да или нет. Связный граф или нет.

Помогите , пожалуйста, решить задачу. Буду очень признателен! smile

Спасибо!

Автор: skaizer 4.6.2008, 20:48

Народ,, кто понимает пролог, хелп плиз, очень нужно...