代码之家 › 专栏 › 技术社区 › I'm not human

Prolog查找不相关的图形节点

transitive-closure graph-theory prolog

I'm not human · 技术社区 · 8 年前

我有以下图表:

我的目标是获得某个节点的所有直接连接以及未与某个节点连接的所有节点,例如:

连接(1,X)。

X=3;

X=4;

X=5;

X=6。

无连接(1,X)。

X=2。

这是我的代码:

% knowledge base

path(1, 6).
path(1, 5).
path(1, 4).
path(1, 3).
path(6, 5).
path(5, 4).
path(4, 2).
path(2, 3).

% rules

connections(X,Y) :- path(X,Y) ; path(Y,X).
noConnections(X,Y) :- \+path(X,Y).

正如你所看到的,我成功地做到了连接但我不知道该怎么做 无连接

2 回复 | 直到 6 年前

joel76 8 年前

单向:

connected(X, Y) :-
    path(X,Y);path(Y,X).

% fetching all nodes of the database
collectAllNodesButX(X, L) :-
    setof(A, B^(path(A,B);path(B,A)), L1),
    select(X, L1, L).

% main predicate
notConnected(X, L) :-
   collectAllNodesButX(X,Nodes),
   % we exclude all nodes that succeed the predicate connected/2
   findall(Y, (member(Y, Nodes), \+connected(X, Y)), L).

现在,我们得到:

?- notConnected(1, L).
L = [2] .

?- notConnected(X, [2]).
X = 1 .

G_V 8 年前

您可以使用 not(Goal) 谓语你可以说 not(path(X,Y)); not(path(Y,X)). 这只是你的目标的颠倒。如果节点直接连接到要检查的节点,则结果为false。然后,无连接返回true。

推荐文章

Bala Ji · 以下BFS的实施效率如何?

1 年前

feasega · 聚合物模拟-2个节点之间的最短路线,适用于所有节点

1 年前

Alisa Petrova · 在有向图中更改一对顶点以创建循环

1 年前

NeoExceptCodeBad · 如果我有很多垂直线,我如何找到它们的边缘?

2 年前

VIAGC · 使用相邻列表创建图形

2 年前

Alexander · 提取节点属性最大值的键

3 年前

R3FL3CT · 如何在Python中将一组网站及其链接转换为有向图?

3 年前

Szyszka947 · 我什么时候可以假设Dijkstra算法中的某个顶点已经完成了最短路径

3 年前

amonroejj · 实现基于节点的工作流的一般原则,如Unreal、Blender、Alteryx等?

8 年前

quantummidget · 正在查找BFS父关系数组

8 年前