Resolution:
## Figure 5.
An example how the Floyd-Warshall algorithm calculates the minimal transitive interaction
uncertainties. Consider order I of the nodes (b): In the first iteration (k=1=a) nothing changes since no path via 1 exists as 1 has no incoming edge. In the next
iteration (k=2=b) the path 1^{→0.1}2^{→0.3}3 with transitive interaction uncertainty, i.e., its maximal weight, 0.3 is found and this fact is memorised by adding 1^{→0.3}3. Furthermore, the path 1^{→0.1}2^{→0.8}4 is considered, but as its transitive interaction uncertainty (0.8) is greater than the interaction uncertainty of the direct edge 1^{→0.5}4, nothing changes. During the third iteration (k=3=c) the paths 2^{→0.3}3^{→0.2}4 and 1^{→0.3}3^{→0.2}4 (which corresponds to the path a^{→0.1}b^{→0.3}c^{→0.2}din the original graph) are found and since they have smaller (transitive) interaction
uncertainties than the direct edges, these are changed to 2^{→0.3}4 and 1^{→0.3}4, respectively. In the last iteration (k=4=d), nothing changes since 4 has no outgoing edge and thus no path via 4 exists. Finally,
all edges that were added or changed by the Floyd-Warshall algorithm, i.e., those
for which an alternative path with a smaller transitive interaction uncertainty were
found, are removed to obtain the weighted transitive reduction of the original graph
as depicted in (d). For order II of the nodes (c), the algorithm works similar. Note that the correctness of the algorithm does not
depend on the concrete order of the outer iteration (k) over the nodes, e.g., order I as well as order II produce finally the same result.
Bošnački |