SlideShare a Scribd company logo
Closures of Relations
Lecture 15, CMSC 56
Allyn Joy D. Calcaben
Closures
Closure
Definition
The closure of a relation R with respect to property P is the
relation obtained by adding the minimum number of ordered
pairs to R to obtain property P.
Consider a relation R:
We want to add edges to
make the relation reflexive
By adding those edges,
we have made a non-
reflexive relation R into
a reflexive relation
This new relation is called the reflexive closure of R
Reflexive Closure
Theorem
The reflexive closure of a relation R on A is obtained by adding (a, a) to R for
each a ∈ A.
Reflexive Closure
Theorem
The reflexive closure of a relation R on A is obtained by adding (a, a) to R for
each a ∈ A.
The reflexive closure of R is R U ∆,
where ∆ = { (a,a) | a ∈ R } is the diagonal relation on A.
Reflexive Closure
What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of
integers?
Example
What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of
integers?
R = { (a, b) | a < b }
Solution
What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of
integers?
R = { (a, b) | a < b }
∆ = { (a, a) | a ∈ Z }
Solution
What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of
integers?
R = { (a, b) | a < b }
∆ = { (a, a) | a ∈ Z }
The reflexive closure of R is
R U ∆ = { (a, b) | a < b } U { (a, a) | a ∈ Z }
= { (a, b) | a ≤ b }
Solution
Let’s go back to the previous relation R:
We want to add edges to
make the relation symmetric
By adding those edges,
we have made a non-
symmetric relation R into
a symmetric relation
This new relation is called the symmetric closure of R
Symmetric Closure
Definition
Let R be a relation on A. Then R -1 or the inverse of R is the relation
R -1 = { < y,x > | < x, y > ∈ R}
Symmetric Closure
Definition
Let R be a relation on A. Then R -1 or the inverse of R is the relation
R -1 = { < y,x > | < x, y > ∈ R}
NOTE: This relation is sometimes denoted as RT or Rc and called the
converse of R
Symmetric Closure
Theorem
Let R be a relation on A. The symmetric closure of R, denoted s(R), is the
relation R ∪ R−1.
Symmetric Closure
What is the symmetric closure of the relation R = { (a, b) | a > b } on the set
of positive integers?
Example
What is the symmetric closure of the relation R = { (a, b) | a > b } on the set
of positive integers?
R = { (a, b) | a > b }
Solution
What is the symmetric closure of the relation R = { (a, b) | a > b } on the set
of positive integers?
R = { (a, b) | a > b }
R−1 = { (b, a) | a > b }
Solution
What is the symmetric closure of the relation R = { (a, b) | a > b } on the set
of positive integers?
R = { (a, b) | a > b }
R−1 = { (b, a) | a > b }
The symmetric closure of R is the relation
R ∪ R−1 = { (a, b) | a > b } U { (b, a) | a > b }
= { (a, b) | a ≠ b }
Solution
Paths in Digraphs
• A path is a sequences of connected edges from vertex a to vertex b
• No path exists from
the noted start location
• A path that starts and
ends at the same
vertex is called a
circuit or cycle
• Must have length ≥1
Start (a)
End (b)
Start (a)
Start (a)
End (b)
Paths in directed graphs
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
What are the lengths of those that are paths?
Which of the paths in this list are circuits?
Example
a b c
ed
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
a,e,c,d,b is not a path.
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
a,e,c,d,b is not a path.
b,a,c,b,a,a,b is a path of length 6.
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
a,e,c,d,b is not a path.
b,a,c,b,a,a,b is a path of length 6.
d,c is a path of length 1.
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
a,e,c,d,b is not a path.
b,a,c,b,a,a,b is a path of length 6.
d,c is a path of length 1.
c,b,a is a path of length 2.
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
a,e,c,d,b is not a path.
b,a,c,b,a,a,b is a path of length 6.
d,c is a path of length 1.
c,b,a is a path of length 2.
e,b,a,b,a,b,e is a path of length 6.
Which of the following are paths in the directed graph shown in the figure:
a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e?
Solution
a b c
ed
a,b,e,d is a path of length 3.
a,e,c,d,b is not a path.
b,a,c,b,a,a,b is a path of length 6.
d,c is a path of length 1.
c,b,a is a path of length 2.
e,b,a,b,a,b,e is a path of length 6.
30
• The length of a path is the number of edges in the path, not the number of
nodes
More on paths . . .
• What is really needed in most
applications is finding the
shortest path between two
vertices
Shortest PathShortest Path
Transitive Closure
• Informal definition: If there is a path from a to b, then there should be an
edge from a to b in the transitive closure
• First take of a definition:
• In order to find the transitive closure of a relation R, we add an edge from a to c,
when there are edges from a to b and b to c
• But there is a path from 1 to 4 with no edge!
1
2 3
4
R = { (1,2), (2,3), (3,4) } (1,2) & (2,3) (1,3)
(2,3) & (3,4) (2,4)
1
2 3
4
Transitive Closure
• Second take of a definition:
• In order to find the transitive closure of a relation R, we add an edge from a to c,
when there are edges from a to b and b to c
• Repeat this step until no new edges are added to the relation
• We will study different algorithms for determining the transitive closure
• green means added on
the first repeat
• orange means added on
the second repeat
1
2 3
4
Transitive Closure
Theorem:
If A ⊂ B and C ⊂ B, then A ∪ C ⊂ B.
Theorem:
If R ⊂ S and T ⊂ U then R ◦ T ⊂ S ◦ U.
Corollary:
If R ⊂ S then Rn ⊂ Sn
Theorem:
If R is transitive then so is Rn
Transitive Closure
Trick proof:
Show (Rn)2 = (R2)n ⊂ Rn
Theorem:
If Rk = Rj for some j > k, then Rj + m = Rn for some n ≤ j.
Transitive Closure
Definition
The connectivity relation or the star closure of the relation R, denoted R*, is
the set of ordered pairs <a, b> such that there is a path (in R) from a to b:
∞
R*= U Rn
n=1
Transitive Closure
R contains edges between all the nodes reachable via 1 edge
R ◦ R = R2 contains edges between nodes that are reachable via 2 edges in R
R2 ◦ R = R3 contains edges between nodes that are reachable via 3 edges in R
Rn contains edges between nodes that are reachable via n edges in R
Transitive Closure
R* contains edges between nodes that are reachable via any number of
edges (i.e. via any path) in R
Rephrased: R* contains all the edges between nodes a and b when is a path of length
at least 1 between a and b in R
R* is the transitive closure of R
The definition of a transitive closure is that there are edges between any nodes (a,b)
that contain a path between them
Transitive Closure
Theorem
The transitive closure of a relation R equals the connectivity relation R∗.
Transitive Closure
Lemma
Let A be a set with n elements, and let R be a relation on A. If there is a path
of length at least one in R from a to b, then there is such a path with length
not exceeding n. Moreover, when a = b, if there is a path of length at least one
in R from a to b, then there is such a path with length not exceeding n – 1.
Transitive Closure
Theorem
Let MR be the zero-one matrix of the relation R on a set with n elements.
Then the zero-one matrix of the transitive closure R* is:
Transitive Closure
Nodes reachable with
one application of the
relation
Nodes reachable with
two applications of
the relation
Nodes reachable with
n applications of the
relation
Find the zero-one matrix of the transitive closure of the relation R where
Example
1 0 1
MR = 0 1 0
1 1 0
Find the zero-one matrix of the
transitive closure of the relation
R where
Solution
1 0 1
MR = 0 1 0
1 1 0
1 2
3
Find the zero-one matrix of the
transitive closure of the relation
R where
Solution
1 0 1
MR = 0 1 0
1 1 0
1 1 1
MR2 = 0 1 0
1 1 1
1 2
3
Find the zero-one matrix of the
transitive closure of the relation
R where
Solution
1 0 1
MR = 0 1 0
1 1 0
1 1 1
MR3 = 0 1 0
1 1 1
1 2
3
Find the zero-one matrix of the
transitive closure of the relation
R where
Solution
1 1 1
V 0 1 0
1 1 1
1 0 1
MR* = 0 1 0
1 1 0
1 1 1
V 0 1 0
1 1 1
1 1 1
= 0 1 0
1 1 1
Any Question?
oSet
November 12 – December 05
FINAL EXAM
December 11, 2018
12:00PM – 02:00PM
49
Reminders

More Related Content

What's hot

CMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their PropertiesCMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their Properties
allyn joy calcaben
 
recurrence relations
 recurrence relations recurrence relations
recurrence relations
Anurag Cheela
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
nszakir
 
Types of RELATIONS
Types of RELATIONSTypes of RELATIONS
Types of RELATIONS
Janak Singh saud
 
Introduction to Graph Theory
Introduction to Graph TheoryIntroduction to Graph Theory
Introduction to Graph Theory
Yosuke Mizutani
 
Asymptotic Notations
Asymptotic NotationsAsymptotic Notations
Asymptotic Notations
Rishabh Soni
 
Graph theory
Graph theoryGraph theory
Graph theoryKumar
 
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكروDiscrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Dr. Khaled Bakro
 
Presentation of daa on approximation algorithm and vertex cover problem
Presentation of daa on approximation algorithm and vertex cover problem Presentation of daa on approximation algorithm and vertex cover problem
Presentation of daa on approximation algorithm and vertex cover problem
sumit gyawali
 
All pairs shortest path algorithm
All pairs shortest path algorithmAll pairs shortest path algorithm
All pairs shortest path algorithmSrikrishnan Suresh
 
26 Computational Geometry
26 Computational Geometry26 Computational Geometry
26 Computational Geometry
Andres Mendez-Vazquez
 
Relations
RelationsRelations
RelationsGaditek
 
Vector space
Vector spaceVector space
Vector space
Mehedi Hasan Raju
 
Introduction to Graph Theory
Introduction to Graph TheoryIntroduction to Graph Theory
Introduction to Graph Theory
Premsankar Chakkingal
 
Graph theory
Graph  theoryGraph  theory
Graph theory
Manash Kumar Mondal
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
Ikhtiar Khan Sohan
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notationsNikhil Sharma
 
Branch and bound
Branch and boundBranch and bound
Branch and bound
Nv Thejaswini
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematics
Rachana Pathak
 
Trees and graphs
Trees and graphsTrees and graphs
Trees and graphs
Lokesh Singrol
 

What's hot (20)

CMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their PropertiesCMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their Properties
 
recurrence relations
 recurrence relations recurrence relations
recurrence relations
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
Types of RELATIONS
Types of RELATIONSTypes of RELATIONS
Types of RELATIONS
 
Introduction to Graph Theory
Introduction to Graph TheoryIntroduction to Graph Theory
Introduction to Graph Theory
 
Asymptotic Notations
Asymptotic NotationsAsymptotic Notations
Asymptotic Notations
 
Graph theory
Graph theoryGraph theory
Graph theory
 
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكروDiscrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
Discrete mathematics Ch1 sets Theory_Dr.Khaled.Bakro د. خالد بكرو
 
Presentation of daa on approximation algorithm and vertex cover problem
Presentation of daa on approximation algorithm and vertex cover problem Presentation of daa on approximation algorithm and vertex cover problem
Presentation of daa on approximation algorithm and vertex cover problem
 
All pairs shortest path algorithm
All pairs shortest path algorithmAll pairs shortest path algorithm
All pairs shortest path algorithm
 
26 Computational Geometry
26 Computational Geometry26 Computational Geometry
26 Computational Geometry
 
Relations
RelationsRelations
Relations
 
Vector space
Vector spaceVector space
Vector space
 
Introduction to Graph Theory
Introduction to Graph TheoryIntroduction to Graph Theory
Introduction to Graph Theory
 
Graph theory
Graph  theoryGraph  theory
Graph theory
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notations
 
Branch and bound
Branch and boundBranch and bound
Branch and bound
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematics
 
Trees and graphs
Trees and graphsTrees and graphs
Trees and graphs
 

Similar to CMSC 56 | Lecture 15: Closures of Relations

CMSC 56 | Lecture 14: Representing Relations
CMSC 56 | Lecture 14: Representing RelationsCMSC 56 | Lecture 14: Representing Relations
CMSC 56 | Lecture 14: Representing Relations
allyn joy calcaben
 
Presentation2 vijayan pillai
Presentation2 vijayan pillaiPresentation2 vijayan pillai
Presentation2 vijayan pillai
unni2012
 
Relations
RelationsRelations
19 polar equations and graphs x
19 polar equations and graphs x19 polar equations and graphs x
19 polar equations and graphs x
math260
 
Relations
RelationsRelations
Relations
Shiwani Gupta
 
11. polar equations and graphs x
11. polar equations and graphs x11. polar equations and graphs x
11. polar equations and graphs x
harbormath240
 
20 polar equations and graphs x
20 polar equations and graphs x20 polar equations and graphs x
20 polar equations and graphs x
math267
 
Curve tracing
Curve tracingCurve tracing
Curve tracing
Kalpna Sharma
 
20 polar equations and graphs
20 polar equations and graphs20 polar equations and graphs
20 polar equations and graphs
math267
 
Chapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedChapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space merged
EasyStudy3
 
Chapter1.integer s.y.b.c.s
Chapter1.integer s.y.b.c.sChapter1.integer s.y.b.c.s
Chapter1.integer s.y.b.c.s
vidyabhoge1
 
Floyd aaaaaa
Floyd aaaaaaFloyd aaaaaa
Floyd aaaaaa
Pradeep Bisht
 
Hormann.2001.TPI.pdf
Hormann.2001.TPI.pdfHormann.2001.TPI.pdf
Hormann.2001.TPI.pdf
ssuserbe139c
 
Introductions to Relations
Introductions to RelationsIntroductions to Relations
Introductions to Relations
Lets Educate India
 
Radius of-curvature
Radius of-curvatureRadius of-curvature
Radius of-curvature
Zahidul Islam
 
66628563 dictionary-of-math-terms
66628563 dictionary-of-math-terms66628563 dictionary-of-math-terms
66628563 dictionary-of-math-terms
i_amprecious
 
Properties of relations
Properties of relationsProperties of relations
Properties of relations
Inamul Hossain Imran
 
dm_13_RelationsAndTheirProperties (1).pdf
dm_13_RelationsAndTheirProperties (1).pdfdm_13_RelationsAndTheirProperties (1).pdf
dm_13_RelationsAndTheirProperties (1).pdf
SanjanaAdri
 
Electromagnetic theory Chapter 1
Electromagnetic theory Chapter 1Electromagnetic theory Chapter 1
Electromagnetic theory Chapter 1
Ali Farooq
 

Similar to CMSC 56 | Lecture 15: Closures of Relations (20)

CMSC 56 | Lecture 14: Representing Relations
CMSC 56 | Lecture 14: Representing RelationsCMSC 56 | Lecture 14: Representing Relations
CMSC 56 | Lecture 14: Representing Relations
 
Presentation2 vijayan pillai
Presentation2 vijayan pillaiPresentation2 vijayan pillai
Presentation2 vijayan pillai
 
Relations
RelationsRelations
Relations
 
19 polar equations and graphs x
19 polar equations and graphs x19 polar equations and graphs x
19 polar equations and graphs x
 
Relations
RelationsRelations
Relations
 
11. polar equations and graphs x
11. polar equations and graphs x11. polar equations and graphs x
11. polar equations and graphs x
 
20 polar equations and graphs x
20 polar equations and graphs x20 polar equations and graphs x
20 polar equations and graphs x
 
Curve tracing
Curve tracingCurve tracing
Curve tracing
 
20 polar equations and graphs
20 polar equations and graphs20 polar equations and graphs
20 polar equations and graphs
 
Chapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedChapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space merged
 
Chapter1.integer s.y.b.c.s
Chapter1.integer s.y.b.c.sChapter1.integer s.y.b.c.s
Chapter1.integer s.y.b.c.s
 
Floyd aaaaaa
Floyd aaaaaaFloyd aaaaaa
Floyd aaaaaa
 
Hormann.2001.TPI.pdf
Hormann.2001.TPI.pdfHormann.2001.TPI.pdf
Hormann.2001.TPI.pdf
 
Introductions to Relations
Introductions to RelationsIntroductions to Relations
Introductions to Relations
 
Radius of-curvature
Radius of-curvatureRadius of-curvature
Radius of-curvature
 
66628563 dictionary-of-math-terms
66628563 dictionary-of-math-terms66628563 dictionary-of-math-terms
66628563 dictionary-of-math-terms
 
Properties of relations
Properties of relationsProperties of relations
Properties of relations
 
dm_13_RelationsAndTheirProperties (1).pdf
dm_13_RelationsAndTheirProperties (1).pdfdm_13_RelationsAndTheirProperties (1).pdf
dm_13_RelationsAndTheirProperties (1).pdf
 
Relations
RelationsRelations
Relations
 
Electromagnetic theory Chapter 1
Electromagnetic theory Chapter 1Electromagnetic theory Chapter 1
Electromagnetic theory Chapter 1
 

More from allyn joy calcaben

CMSC 56 | Lecture 17: Matrices
CMSC 56 | Lecture 17: MatricesCMSC 56 | Lecture 17: Matrices
CMSC 56 | Lecture 17: Matrices
allyn joy calcaben
 
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program CorrectnessCMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
allyn joy calcaben
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Induction
allyn joy calcaben
 
CMSC 56 | Lecture 10: Integer Representations & Algorithms
CMSC 56 | Lecture 10: Integer Representations & AlgorithmsCMSC 56 | Lecture 10: Integer Representations & Algorithms
CMSC 56 | Lecture 10: Integer Representations & Algorithms
allyn joy calcaben
 
CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representations
allyn joy calcaben
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
allyn joy calcaben
 
CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inference
allyn joy calcaben
 
CMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set OperationsCMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set Operations
allyn joy calcaben
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
allyn joy calcaben
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiers
allyn joy calcaben
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
allyn joy calcaben
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
allyn joy calcaben
 
La Solidaridad and the Propaganda Movement
La Solidaridad and the Propaganda MovementLa Solidaridad and the Propaganda Movement
La Solidaridad and the Propaganda Movement
allyn joy calcaben
 
Computer Vision: Feature matching with RANSAC Algorithm
Computer Vision: Feature matching with RANSAC AlgorithmComputer Vision: Feature matching with RANSAC Algorithm
Computer Vision: Feature matching with RANSAC Algorithm
allyn joy calcaben
 
Chapter 7 expressions and assignment statements ii
Chapter 7 expressions and assignment statements iiChapter 7 expressions and assignment statements ii
Chapter 7 expressions and assignment statements ii
allyn joy calcaben
 
#11 osteoporosis
#11 osteoporosis#11 osteoporosis
#11 osteoporosis
allyn joy calcaben
 

More from allyn joy calcaben (16)

CMSC 56 | Lecture 17: Matrices
CMSC 56 | Lecture 17: MatricesCMSC 56 | Lecture 17: Matrices
CMSC 56 | Lecture 17: Matrices
 
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program CorrectnessCMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
 
CMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical InductionCMSC 56 | Lecture 11: Mathematical Induction
CMSC 56 | Lecture 11: Mathematical Induction
 
CMSC 56 | Lecture 10: Integer Representations & Algorithms
CMSC 56 | Lecture 10: Integer Representations & AlgorithmsCMSC 56 | Lecture 10: Integer Representations & Algorithms
CMSC 56 | Lecture 10: Integer Representations & Algorithms
 
CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representations
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
 
CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inference
 
CMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set OperationsCMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set Operations
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiers
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
La Solidaridad and the Propaganda Movement
La Solidaridad and the Propaganda MovementLa Solidaridad and the Propaganda Movement
La Solidaridad and the Propaganda Movement
 
Computer Vision: Feature matching with RANSAC Algorithm
Computer Vision: Feature matching with RANSAC AlgorithmComputer Vision: Feature matching with RANSAC Algorithm
Computer Vision: Feature matching with RANSAC Algorithm
 
Chapter 7 expressions and assignment statements ii
Chapter 7 expressions and assignment statements iiChapter 7 expressions and assignment statements ii
Chapter 7 expressions and assignment statements ii
 
#11 osteoporosis
#11 osteoporosis#11 osteoporosis
#11 osteoporosis
 

Recently uploaded

Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
Jean Carlos Nunes Paixão
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Atul Kumar Singh
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
Thiyagu K
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
Jisc
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
RaedMohamed3
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Delapenabediema
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
vaibhavrinwa19
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
DhatriParmar
 
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdfAdversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Po-Chuan Chen
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
Vivekanand Anglo Vedic Academy
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
beazzy04
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
"Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe..."Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe...
SACHIN R KONDAGURI
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 
Polish students' mobility in the Czech Republic
Polish students' mobility in the Czech RepublicPolish students' mobility in the Czech Republic
Polish students' mobility in the Czech Republic
Anna Sz.
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
TechSoup
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
Peter Windle
 

Recently uploaded (20)

Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
 
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdfAdversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
"Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe..."Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe...
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 
Polish students' mobility in the Czech Republic
Polish students' mobility in the Czech RepublicPolish students' mobility in the Czech Republic
Polish students' mobility in the Czech Republic
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
 

CMSC 56 | Lecture 15: Closures of Relations

  • 1. Closures of Relations Lecture 15, CMSC 56 Allyn Joy D. Calcaben
  • 3. Closure Definition The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of ordered pairs to R to obtain property P.
  • 4. Consider a relation R: We want to add edges to make the relation reflexive By adding those edges, we have made a non- reflexive relation R into a reflexive relation This new relation is called the reflexive closure of R Reflexive Closure
  • 5. Theorem The reflexive closure of a relation R on A is obtained by adding (a, a) to R for each a ∈ A. Reflexive Closure
  • 6. Theorem The reflexive closure of a relation R on A is obtained by adding (a, a) to R for each a ∈ A. The reflexive closure of R is R U ∆, where ∆ = { (a,a) | a ∈ R } is the diagonal relation on A. Reflexive Closure
  • 7. What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of integers? Example
  • 8. What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of integers? R = { (a, b) | a < b } Solution
  • 9. What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of integers? R = { (a, b) | a < b } ∆ = { (a, a) | a ∈ Z } Solution
  • 10. What is the reflexive closure of the relation R = { (a, b) | a < b } on the set of integers? R = { (a, b) | a < b } ∆ = { (a, a) | a ∈ Z } The reflexive closure of R is R U ∆ = { (a, b) | a < b } U { (a, a) | a ∈ Z } = { (a, b) | a ≤ b } Solution
  • 11. Let’s go back to the previous relation R: We want to add edges to make the relation symmetric By adding those edges, we have made a non- symmetric relation R into a symmetric relation This new relation is called the symmetric closure of R Symmetric Closure
  • 12. Definition Let R be a relation on A. Then R -1 or the inverse of R is the relation R -1 = { < y,x > | < x, y > ∈ R} Symmetric Closure
  • 13. Definition Let R be a relation on A. Then R -1 or the inverse of R is the relation R -1 = { < y,x > | < x, y > ∈ R} NOTE: This relation is sometimes denoted as RT or Rc and called the converse of R Symmetric Closure
  • 14. Theorem Let R be a relation on A. The symmetric closure of R, denoted s(R), is the relation R ∪ R−1. Symmetric Closure
  • 15. What is the symmetric closure of the relation R = { (a, b) | a > b } on the set of positive integers? Example
  • 16. What is the symmetric closure of the relation R = { (a, b) | a > b } on the set of positive integers? R = { (a, b) | a > b } Solution
  • 17. What is the symmetric closure of the relation R = { (a, b) | a > b } on the set of positive integers? R = { (a, b) | a > b } R−1 = { (b, a) | a > b } Solution
  • 18. What is the symmetric closure of the relation R = { (a, b) | a > b } on the set of positive integers? R = { (a, b) | a > b } R−1 = { (b, a) | a > b } The symmetric closure of R is the relation R ∪ R−1 = { (a, b) | a > b } U { (b, a) | a > b } = { (a, b) | a ≠ b } Solution
  • 20. • A path is a sequences of connected edges from vertex a to vertex b • No path exists from the noted start location • A path that starts and ends at the same vertex is called a circuit or cycle • Must have length ≥1 Start (a) End (b) Start (a) Start (a) End (b) Paths in directed graphs
  • 21. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? What are the lengths of those that are paths? Which of the paths in this list are circuits? Example a b c ed
  • 22. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed
  • 23. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3.
  • 24. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3. a,e,c,d,b is not a path.
  • 25. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3. a,e,c,d,b is not a path. b,a,c,b,a,a,b is a path of length 6.
  • 26. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3. a,e,c,d,b is not a path. b,a,c,b,a,a,b is a path of length 6. d,c is a path of length 1.
  • 27. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3. a,e,c,d,b is not a path. b,a,c,b,a,a,b is a path of length 6. d,c is a path of length 1. c,b,a is a path of length 2.
  • 28. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3. a,e,c,d,b is not a path. b,a,c,b,a,a,b is a path of length 6. d,c is a path of length 1. c,b,a is a path of length 2. e,b,a,b,a,b,e is a path of length 6.
  • 29. Which of the following are paths in the directed graph shown in the figure: a,b,e,d; a,e,c,d,b; b,a,c,b,a,a,b; d,c; c,b,a; e,b,a,b,a,b,e? Solution a b c ed a,b,e,d is a path of length 3. a,e,c,d,b is not a path. b,a,c,b,a,a,b is a path of length 6. d,c is a path of length 1. c,b,a is a path of length 2. e,b,a,b,a,b,e is a path of length 6.
  • 30. 30 • The length of a path is the number of edges in the path, not the number of nodes More on paths . . .
  • 31. • What is really needed in most applications is finding the shortest path between two vertices Shortest PathShortest Path
  • 33. • Informal definition: If there is a path from a to b, then there should be an edge from a to b in the transitive closure • First take of a definition: • In order to find the transitive closure of a relation R, we add an edge from a to c, when there are edges from a to b and b to c • But there is a path from 1 to 4 with no edge! 1 2 3 4 R = { (1,2), (2,3), (3,4) } (1,2) & (2,3) (1,3) (2,3) & (3,4) (2,4) 1 2 3 4 Transitive Closure
  • 34. • Second take of a definition: • In order to find the transitive closure of a relation R, we add an edge from a to c, when there are edges from a to b and b to c • Repeat this step until no new edges are added to the relation • We will study different algorithms for determining the transitive closure • green means added on the first repeat • orange means added on the second repeat 1 2 3 4 Transitive Closure
  • 35. Theorem: If A ⊂ B and C ⊂ B, then A ∪ C ⊂ B. Theorem: If R ⊂ S and T ⊂ U then R ◦ T ⊂ S ◦ U. Corollary: If R ⊂ S then Rn ⊂ Sn Theorem: If R is transitive then so is Rn Transitive Closure
  • 36. Trick proof: Show (Rn)2 = (R2)n ⊂ Rn Theorem: If Rk = Rj for some j > k, then Rj + m = Rn for some n ≤ j. Transitive Closure
  • 37. Definition The connectivity relation or the star closure of the relation R, denoted R*, is the set of ordered pairs <a, b> such that there is a path (in R) from a to b: ∞ R*= U Rn n=1 Transitive Closure
  • 38. R contains edges between all the nodes reachable via 1 edge R ◦ R = R2 contains edges between nodes that are reachable via 2 edges in R R2 ◦ R = R3 contains edges between nodes that are reachable via 3 edges in R Rn contains edges between nodes that are reachable via n edges in R Transitive Closure
  • 39. R* contains edges between nodes that are reachable via any number of edges (i.e. via any path) in R Rephrased: R* contains all the edges between nodes a and b when is a path of length at least 1 between a and b in R R* is the transitive closure of R The definition of a transitive closure is that there are edges between any nodes (a,b) that contain a path between them Transitive Closure
  • 40. Theorem The transitive closure of a relation R equals the connectivity relation R∗. Transitive Closure
  • 41. Lemma Let A be a set with n elements, and let R be a relation on A. If there is a path of length at least one in R from a to b, then there is such a path with length not exceeding n. Moreover, when a = b, if there is a path of length at least one in R from a to b, then there is such a path with length not exceeding n – 1. Transitive Closure
  • 42. Theorem Let MR be the zero-one matrix of the relation R on a set with n elements. Then the zero-one matrix of the transitive closure R* is: Transitive Closure Nodes reachable with one application of the relation Nodes reachable with two applications of the relation Nodes reachable with n applications of the relation
  • 43. Find the zero-one matrix of the transitive closure of the relation R where Example 1 0 1 MR = 0 1 0 1 1 0
  • 44. Find the zero-one matrix of the transitive closure of the relation R where Solution 1 0 1 MR = 0 1 0 1 1 0 1 2 3
  • 45. Find the zero-one matrix of the transitive closure of the relation R where Solution 1 0 1 MR = 0 1 0 1 1 0 1 1 1 MR2 = 0 1 0 1 1 1 1 2 3
  • 46. Find the zero-one matrix of the transitive closure of the relation R where Solution 1 0 1 MR = 0 1 0 1 1 0 1 1 1 MR3 = 0 1 0 1 1 1 1 2 3
  • 47. Find the zero-one matrix of the transitive closure of the relation R where Solution 1 1 1 V 0 1 0 1 1 1 1 0 1 MR* = 0 1 0 1 1 0 1 1 1 V 0 1 0 1 1 1 1 1 1 = 0 1 0 1 1 1
  • 49. oSet November 12 – December 05 FINAL EXAM December 11, 2018 12:00PM – 02:00PM 49 Reminders

Editor's Notes

  1. • Add loops to all vertices on the digraph representation of R. • Put 1’s on the diagonal of the connection matrix of R.
  2. In order to find the reflexive closure of a relation R, we add a loop at each node that does not have one. With matrices, we set the diagonal to all 1’s
  3. Note: to get R -1 • reverse all the arcs in the digraph representation of R • take the transpose M T of the connection matrix M of R.
  4. The composition of the relation with its inverse does not necessarily produce the diagonal relation (recall that the composition of a bijective function with its inverse is the identity)
  5. Note: to get R -1 • reverse all the arcs in the digraph representation of R • take the transpose M T of the connection matrix M of R.
  6. Circuits
  7. We don’t get any new relations beyond Rj. As soon as you get a power of R that is the same as one you had before, STOP
  8. With matrices, we set the diagonal to all 1’s