wisconsin
Chapter 6: Relations Diagraphs

Chapter 6: Relations Diagraphs

Content locked

The catalog is public. Reading this content requires approved access.

Sign in to read
Chapter 6: Relations Diagraphs
6.1 Introduction to binary relations
Animation content:
Animation captions:
Animation content:
Animation captions:
Animation content:
Animation captions:
Additional exercises
EXERCISE
EXERCISE
EXERCISE
6.2 Properties of binary relations
Reflexive and anti-reflexive binary relations
Animation content:
Animation captions:
Symmetric binary relations
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Anti-symmetric binary relations
PARTICIPATION ACTIVITY
6.2.5: Anti-symmetric binary relations.
Animation content:
Animation captions:
Transitive binary relations
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
PARTICIPATION ACTIVITY
Proving and disproving properties of binary relations
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Additional exercises
EXERCISE
EXERCISE
EXERCISE
EXERCISE
EXERCISE
6.3 Directed graphs, paths, and cycles
Animation content:
Animation captions:
Example 6.3.1: The internet as a directed graph.
Pharmaceutical Company: D
C: Academy of Pediatrics
PARTICIPATION ACTIVITY
Walks in directed graphs
PARTICIPATION ACTIVITY
6.3.3: Walks in directed graphs.
Walk:
Walk:
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Trails, circuits, paths, and cycles
Walk:
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Additional exercises
EXERCISE
EXERCISE
EXERCISE
6.4 Composition of relations
Animation content:
Animation captions:
Additional exercises
EXERCISE
EXERCISE
6.5 Graph powers and the transitive closure
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
The transitive closure
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Example 6.5.1: Connectivity in sensor networks.
Induction overview for the proof of the Graph Power Theorem
Proof 6.5.1: Proof of the Graph Power Theorem.
Proof.
Additional exercises
EXERCISE
EXERCISE
EXERCISE
EXERCISE
EXERCISE
EXERCISE
6.6 Matrix multiplication and graph powers
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
PARTICIPATION ACTIVITY
PARTICIPATION ACTIVITY
Check Show answer
Check Show answer
Check Show answer
Theorem 6.6.2: Addition and graph union.
Animation content:
Animation captions:
Check Show answer
Check Show answer
Check Show answer
PARTICIPATION ACTIVITY
Check Show answer
Check Show answer
Check Show answer
Additional exercises
EXERCISE
EXERCISE
EXERCISE
EXERCISE
6.7 Partial orders
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
PARTICIPATION ACTIVITY
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
Upward drawings of partial orders
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
Start
Additional exercises
EXERCISE
EXERCISE
EXERCISE
6.8 Strict orders and directed acyclic graphs
Animation content:
Animation captions:
Fact 6.8.1: Strict orders are anti-symmetric.
Proof 6.8.1: Strict orders are anti-symmetric.
Proof.
PARTICIPATION ACTIVITY
Directed acyclic graphs
Proof.
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
Topological sorts of DAGs
Animation content:
Animation captions:
Additional exercises
EXERCISE
EXERCISE
EXERCISE
6.9 Equivalence relations
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
Proof.
Proof.
PARTICIPATION ACTIVITY
Animation content:
Animation captions:
PARTICIPATION ACTIVITY
EXERCISE
EXERCISE
EXERCISE
EXERCISE
EXERCISE
6.10 N-ary relations and relational databases
PARTICIPATION ACTIVITY
The selection operation
Animation content:
Animation captions:
The projection operation
Animation content:
Animation captions:
Additional exercises
EXERCISE
EXERCISE
Source