Mathematics for Computer Science

Chapter 9 Directed graphs & Partial Orders360

1

2

4

3

5

6

Figure 9.14 DAG with edges not needed in paths

irreflexive, symmetric, asymmetric, antisymmetric, transitive. Identify which prop-
erty is expressed by each of these formulas and explain your reasoning.

(a)R\IdDD;

(b)RR^1

(c)RDR^1

(d)IdDR

(e)RıRR

(f)R\R^1 D;

(g)R\R^1 IdD

Problems for Section 9.7

Class Problems

Problem 9.28.