1. Using Warshall’s algorithm, compute the reflexive-transitive closure of the relation below.

Show the matrix after the reflexive closure and then after each pass of the outermost for loop

that computes the transitive closure.

[

0 1 0 0 0

0 0 0 1 0

0 0 1 1 0

0 0 0 0 1

0 0 1 0 1]

2. Using the matrix in the previous problem show the final result of executing Floyd’s

algorithm on that matrix to produce a matrix containing path lengths.

3. Show the graph that corresponds to the matrix in the first problem assuming the rows and

columns correspond to the vertices a, b, c, d and e. Show its condensation graph, renaming its

vertices. Determine any topological order of that graph and create an adjacency matrix with

the vertices ordered in that topological order. Finally compute the reflexive-transitive closure

of that matrix. What characteristic of that matrix indicates that it defines a total order?