MST/test.pl at main · Knos01/MST · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
:- dynamic heap/2.
:- dynamic heap_entry/4.

% heap di test - ben formato

%heap(myHeap, 11).
%heap_entry(myHeap, 0, 3, 3).
%heap_entry(myHeap, 1, 18, 18).
%heap_entry(myHeap, 2, 5, 5).
%heap_entry(myHeap, 3, 24, 24).
%heap_entry(myHeap, 4, 19, 19).
%heap_entry(myHeap, 5, 14, 14).
%heap_entry(myHeap, 6, 15, 15).
%heap_entry(myHeap, 7, 25, 25).
%heap_entry(myHeap, 8, 32, 32).
%heap_entry(myHeap, 9, 20, 20).
%heap_entry(myHeap, 10, 22, 22).

% grafo di test

graph(myGraph).
vertex(myGraph, a).
vertex(myGraph, b).
vertex(myGraph, c).
vertex(myGraph, d).
vertex(myGraph, e).
vertex(myGraph, f).
vertex(myGraph, g).
arc(myGraph, a, b, 2).
arc(myGraph, b, a, 2).
arc(myGraph, a, c, 3).
arc(myGraph, c, a, 3).
arc(myGraph, a, d, 3).
arc(myGraph, d, a, 3).
arc(myGraph, b, e, 3).
arc(myGraph, e, b, 3).
arc(myGraph, b, c, 4).
arc(myGraph, c, b, 4).
arc(myGraph, c, d, 5).
arc(myGraph, d, c, 5).
arc(myGraph, c, e, 1).
arc(myGraph, e, c, 1).
arc(myGraph, c, f, 6).
arc(myGraph, f, c, 6).
arc(myGraph, d, f, 7).
arc(myGraph, f, d, 7).
arc(myGraph, f, e, 8).
arc(myGraph, e, f, 8).
arc(myGraph, f, g, 9).
arc(myGraph, g, f, 9).