-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathvacationnewcalc.txt
99 lines (51 loc) · 5.49 KB
/
vacationnewcalc.txt
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Here all Preferred Interpretations for the Vacation Example are displayed, for a better overview the nodes have been split into parts, first are the nodes of special interest, in the second part are the nodes, which depend solely on themselves or are always true or false
Preferred Interpretations:
nodes =[["v4","(s1;s2;s3),(p4;t4)"],["s1","s1"],["s2","s2"],["s3","s3"],["t4","#p4"],["p3","l3"],["p4","(l3;l4),#t4"],["p5","l3;l4;l5"],\
["l3","#l4,#l5"],["l4","#l3,#l5"],["l5","#l3,#l4"]]
Nr.1 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:0.0', 't4:1.0', 'v4:0.0']
Nr.2 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.3 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.4 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.5 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.6 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.7 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.8 ['l3:0.0', 'l4:0.0', 'l5:1.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.9 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:0.0', 't4:1.0', 'v4:0.0']
Nr.10 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.11 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.12 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.13 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.14 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.15 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.16 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.17 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:0.0', 't4:0.0', 'v4:0.0']
Nr.18 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.19 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:0.0', 't4:0.0', 'v4:1.0']
Nr.20 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.21 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:0.0', 't4:0.0', 'v4:1.0']
Nr.22 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.23 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:0.0', 't4:0.0', 'v4:1.0']
Nr.24 ['l3:0.0', 'l4:1.0', 'l5:0.0', 'p3:0.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.25 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:0.0', 't4:1.0', 'v4:0.0']
Nr.26 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.27 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.28 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.29 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.30 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.31 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:0.0', 't4:1.0', 'v4:1.0']
Nr.32 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:0.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:1.0', 't4:1.0', 'v4:1.0']
Nr.33 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:0.0', 't4:0.0', 'v4:0.0']
Nr.34 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:0.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.35 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:0.0', 't4:0.0', 'v4:1.0']
Nr.36 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:0.0', 's2:1.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.37 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:0.0', 't4:0.0', 'v4:1.0']
Nr.38 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:0.0', 's3:1.0', 't4:0.0', 'v4:1.0']
Nr.39 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:0.0', 't4:0.0', 'v4:1.0']
Nr.40 ['l3:1.0', 'l4:0.0', 'l5:0.0', 'p3:1.0', 'p4:1.0', 'p5:1.0', 's1:1.0', 's2:1.0', 's3:1.0', 't4:0.0', 'v4:1.0']
[["v1","?"],["v2","?"],["v3","?"],["v5","?"],["s4","s4"],["s5","s5"]]
Other nodes:
Preferred:
Nr.1 ['s4:0.0', 's5:0.0', 'v1:0.0', 'v2:0.0', 'v3:0.0', 'v5:0.0']
Nr.2 ['s4:0.0', 's5:1.0', 'v1:0.0', 'v2:0.0', 'v3:0.0', 'v5:0.0']
Nr.3 ['s4:1.0', 's5:0.0', 'v1:0.0', 'v2:0.0', 'v3:0.0', 'v5:0.0']
Nr.4 ['s4:1.0', 's5:1.0', 'v1:0.0', 'v2:0.0', 'v3:0.0', 'v5:0.0']