![]() |
1. Пользуйтесь тегами кода. - [code] ... [/code]
2. Точно указывайте язык, название и версию компилятора (интерпретатора).
3. Название темы должно быть информативным.
В описании темы указываем язык!!!
![]() |
kosyak |
![]()
Сообщение
#1
|
Пионер ![]() ![]() Группа: Пользователи Сообщений: 100 Пол: Мужской Репутация: ![]() ![]() ![]() |
Доброго всем времени суток. Помогите разобраться с задачей: "определение цикла Гамильтона в заданном графе". Язык prolog. Какой может быть алгоритм, где можно об этом попонятней почитать? Может есть уже готовая))) На pascalе бы быстро все сделал, а вот с логическим программированием пока проблемы.
Заранее огромное спасибо. |
![]() ![]() |
kosyak |
![]()
Сообщение
#2
|
Пионер ![]() ![]() Группа: Пользователи Сообщений: 100 Пол: Мужской Репутация: ![]() ![]() ![]() |
Так он правильно выводит... нет никакого цикла... я просто сделал для ориентированного графа. надо rebro(1,2) и rebro(2,1) - не одно и тоже.
Вот исправленная программа, вроде все работает, как мне кажется(тоже с ориентированными): Код domains top=symbol Vlist=top* rebro=rebro(top,top) Rlist=rebro* gr=graf(Vlist,Rlist) predicates /*put' ot odnoy vershini do drugoy*/ path(top,top,Vlist,Vlist,gr) /*prinadlezhit li vershina spisku vershin*/ memberV(top,Vlist) /*prinadlezhit li rebro spisku reber*/ memberR(rebro,Rlist) /*gamiltonov cikl*/ gamil(gr,Vlist) /*vse li vershini proydeni*/ allV(Vlist,Vlist) clauses gamil(G,P):- G=graf(Vlist,Rlist), P=[A|V], path(A,B,[A],V,G), memberR(rebro(B,A),Rlist), allV(Vlist,V). path(A,B,V,[B|V],graf(Vlist,Rlist)):- memberR(rebro(A,B),Rlist), not(memberV(B,V)). path(A,B,V,V2,graf(Vlist,Rlist)):- memberR(rebro(A,N),Rlist), not(memberV(N,V)), V1=[N|V], path(N,B,V1,V2,graf(Vlist,Rlist)). allV([],L). allV([X|T],L):- memberV(X,L), allV(T,L). memberV(A, [A|_]). memberV(A, [_|L]):-memberV(A,L). memberR(A, [A|_]). memberR(A, [_|L]):-memberR(A,L). |
-Алексей- |
![]()
Сообщение
#3
|
Гость ![]() |
Так он правильно выводит... нет никакого цикла... я просто сделал для ориентированного графа. надо rebro(1,2) и rebro(2,1) - не одно и тоже. Вот исправленная программа, вроде все работает, как мне кажется(тоже с ориентированными): Код domains top=symbol Vlist=top* rebro=rebro(top,top) Rlist=rebro* gr=graf(Vlist,Rlist) predicates /*put' ot odnoy vershini do drugoy*/ path(top,top,Vlist,Vlist,gr) /*prinadlezhit li vershina spisku vershin*/ memberV(top,Vlist) /*prinadlezhit li rebro spisku reber*/ memberR(rebro,Rlist) /*gamiltonov cikl*/ gamil(gr,Vlist) /*vse li vershini proydeni*/ allV(Vlist,Vlist) clauses gamil(G,P):- G=graf(Vlist,Rlist), P=[A|V], path(A,B,[A],V,G), memberR(rebro(B,A),Rlist), allV(Vlist,V). path(A,B,V,[B|V],graf(Vlist,Rlist)):- memberR(rebro(A,B),Rlist), not(memberV(B,V)). path(A,B,V,V2,graf(Vlist,Rlist)):- memberR(rebro(A,N),Rlist), not(memberV(N,V)), V1=[N|V], path(N,B,V1,V2,graf(Vlist,Rlist)). allV([],L). allV([X|T],L):- memberV(X,L), allV(T,L). memberV(A, [A|_]). memberV(A, [_|L]):-memberV(A,L). memberR(A, [A|_]). memberR(A, [_|L]):-memberR(A,L). а никак нельзя код под SWI посмотреть? оч нужно |
![]() ![]() |
![]() |
Текстовая версия | 22.06.2024 11:11 |