Loading [MathJax]/jax/output/HTML-CSS/jax.js

Homework #11

Due in lecture, Thursday May 30June 6. Please do the homework in a workbook.

From the Text

Complete the following questions from the text:

Questions

  1. Use the naïve algorithm (the \Theta(n^4) one) to find the transitive closure of the relation represented by: \mathbf{M}_R=\left[\begin{smallmatrix}0&1&0 \\ 1&0&1 \\ 0&0&0 \end{smallmatrix}\right]
  2. Use Warshall's Algorithm to find the transitive closure of the relation represented by: \mathbf{M}_R=\left[\begin{smallmatrix}1&1&1 \\ 0&0&0 \\ 0&1&0 \end{smallmatrix}\right] Draw the graph of the relation represented by the matrix, and update it as you work through the algorithm.
  3. Show that if (A_1,\preceq_1) and (A_2,\preceq_2) are total orders, then A_1\times A_2 is totally-ordered by lexicographic ordering. [We already know its a partial order. You only need to show that it's total.]