swi prolog中的无向图

问题描述

查找内部稳定性的数量 无向图。图的内部稳定性数是图中不相邻的最大顶点数。

reb(a,1,2).
reb(b,2,3).
reb(c,3).
reb(d,3,4).
reb(e,4,6).
reb(f,5,6).
reb(g,7).

ver(1).
ver(2).
ver(3).
ver(4).
ver(5).
ver(6).
ver(7).

edge(A,B):- reb(_,A,B); reb(_,B,A).

nonadjacency(A,B):-
    ver(A),ver(B),\+(edge(A,B)).

do(L) :-
 findall((A,B),nonadjacency(A,L),write(L),nl.


dfs(From,To,_,[edge(From,To)]):-
  edge(From,To).
dfs(From,Visitednodes,[(From,X)|TailPath]):-
  edge(From,X),not(member(X,Visitednodes)),dfs(X,[From|Visitednodes],TailPath).

我只能显示未由边连接的成对顶点的列表。下一步怎么办?

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)