1 Partial Orderings Based on Slides by Chuck Allison from Rosen, Chapter 8.6 Modified by.

Slides:



Advertisements
Similar presentations
Partial Orderings Section 8.6.
Advertisements

CSE 211- Discrete Structures1 Relations Ch 2 schaums, Ch 7 Rosen.
Partial Orders Section 8.6 of Rosen Fall 2010 CSCE 235 Introduction to Discrete Structures Course web-page: cse.unl.edu/~cse235 Questions:
CSCI 115 Chapter 6 Order Relations and Structures.
Relations Relations on a Set. Properties of Relations.
Equivalence, Order, and Inductive Proof
8.6 Partial Orderings. Definition Partial ordering– a relation R on a set S that is Reflexive, Antisymmetric, and Transitive Examples? R={(a,b)| a is.
Chapter 7 Relations : the second time around
CSE115/ENGR160 Discrete Mathematics 05/03/11 Ming-Hsuan Yang UC Merced 1.
1 Relations: The Second Time Around Chapter 7 Equivalence Classes.
Relations binary relations xRy on sets x  X y  Y R  X  Y Example: “less than” relation from A={0,1,2} to B={1,2,3} use traditional notation 0 < 1,
Partial Orderings: Selected Exercises
Section 7.6: Partial Orderings Def: A relation R on a set S is called a partial ordering (or partial order) if it is reflexive, antisymmetric, and transitive.
Partially Ordered Sets (POSets)
Relations Chapter 9.
Chapter 9 1. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing.
Relations (3) Rosen 6th ed., ch fall.
Sets, POSets, and Lattice © Marcelo d’Amorim 2010.
Chapter 6. Order Relations and Structure
Lecture 4.5: POSets and Hasse Diagrams CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren.
1 Partial Orderings Aaron Bloomfield CS 202 Rosen, section 7.6.
Copyright © Cengage Learning. All rights reserved.
Chapter 9. Chapter Summary Relations and Their Properties Representing Relations Equivalence Relations Partial Orderings.
Discrete Structures – CNS2300
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Discrete Math for CS Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation.
2.6 Equivalence Relation §1.Equivalence relation §Definition 2.18: A relation R on a set A is called an equivalence relation if it is reflexive, symmetric,
Chapter 9. Section 9.1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and.
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
8.3 Representing Relations Directed Graphs –Vertex –Arc (directed edge) –Initial vertex –Terminal vertex.
Discrete Mathematics and Its Applications Sixth Edition By Kenneth Rosen Chapter 8 Relations 歐亞書局.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
Relations and their Properties
Sets, Relations, and Lattices
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Sets and Subsets Set A set is a collection of well-defined objects (elements/members). The elements of the set are said to belong to (or be contained in)
1 Partial Orderings Aaron Bloomfield CS 202 Epp, section ???
Equivalence Relations. Partial Ordering Relations 1.
Problem Statement How do we represent relationship between two related elements ?
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Unit II Discrete Structures Relations and Functions SE (Comp.Engg.)
1 Section 4.3 Order Relations A binary relation is an partial order if it transitive and antisymmetric. If R is a partial order over the set S, we also.
Chapter 8: Relations. 8.1 Relations and Their Properties Binary relations: Let A and B be any two sets. A binary relation R from A to B, written R : A.
Chap. 7 Relations: The Second Time Around
1 Partial Orderings Based on Slides by Chuck Allison from Rosen, Chapter 8.6 Modified by.
1 Partial Orderings Epp, section Introduction An equivalence relation is a relation that is reflexive, symmetric, and transitive A partial ordering.
Relations and Their Properties
Chapter 5 Relations and Operations
Partial Orderings: Selected Exercises
Chapter 6 Order Relations and Structures
CSE 2813 Discrete Structures
Partial Orders.
Partial Orderings CSE 2813 Discrete Structures.
Partial Orders (POSETs)
CSE15 Discrete Mathematics 05/03/17
Relations Binary relations represent relationships between the elements of two sets. A binary relation R from set A to set B is defined by: R  A 
Equivalence Relations
Atmiya Institute of Technology & Science
6.1 Partially Ordered Sets
Relations Chapter 9.
Partial Orderings.
Relations and Digraphs
Aaron Bloomfield CS 202 Epp, section ???
Discrete Math (2) Haiming Chen Associate Professor, PhD
Partial Orders Section 9.6 of Rosen Spring 2018
Background material.
Relations.
교환 학생 프로그램 내년 1월 중순부터 6월 초 현재 학부 2,3 학년?
Background material.
Relations: The Second Time Around
Presentation transcript:

1 Partial Orderings Based on Slides by Chuck Allison from Rosen, Chapter 8.6 Modified by Longin Jan Latecki

2 Introduction An equivalence relation is a relation that is reflexive, symmetric, and transitive A partial ordering (or partial order) is a relation that is reflexive, antisymmetric, and transitive Recall that antisymmetric means that if (a,b)  R, then (b,a)  R unless b = a Thus, (a,a) is allowed to be in R But since it’s reflexive, all possible (a,a) must be in R

3 Partially Ordered Set (POSET) A relation R on a set S is called a partial ordering or partial order if it is reflexive, antisymmetric, and transitive. A set S together with a partial ordering R is called a partially ordered set, or poset, and is denoted by ( S, R )

4 Example (1) Let S = {1, 2, 3} and let R = {(1,1), (2,2), (3,3), (1, 2), (3,1), (3,2)} 1 2 3

5 In a poset the notation a b denotes that This notation is used because the “less than or equal to” relation is a paradigm for a partial ordering. (Note that the symbol is used to denote the relation in any poset, not just the “less than or equals” relation.) The notation a b denotes that a b, but

6 Example Let S = {1, 2, 3} and let R = {(1,1), (2,2), (3,3), (1, 2), (3,1), (3,2)}

7 Example (2) Show that ≥ is a partial order on the set of integers It is reflexive: a ≥ a for all a  Z It is antisymmetric: if a ≥ b then the only way that b ≥ a is when b = a It is transitive: if a ≥ b and b ≥ c, then a ≥ c Note that ≥ is the partial ordering on the set of integers (Z, ≥) is the partially ordered set, or poset

8 Example (3) Consider the power set of { a, b, c } and the subset relation. ( P ({ a, b, c }), ) Draw a graph of this relation.

9 Comparable / Incomparable The elements a and b of a poset ( S, ) are called comparable if either a b or b a. When a and b are elements of S such that neither a b nor b a, a and b are called incomparable.

10 Example Consider the power set of { a, b, c } and the subset relation. ( P ({ a, b, c }), ) So, { a, c } and { a, b } are incomparable

11 ( S, ) If is a poset and every two elements of S are comparable, S is called totally ordered or linearly ordered set, and is called a total order or a linear order. A totally ordered set is also called a chain. Totally Ordered, Chains

12 In the poset (Z +, ≤ ), are the integers 3 and 9 comparable? Yes, as 3 ≤ 9 Are 7 and 5 comparable? Yes, as 5 ≤ 7 As all pairs of elements in Z + are comparable, the poset (Z +, ≤ ) is a total order a.k.a. totally ordered poset, linear order, or chain

13 In the poset (Z +,|) with “divides” operator |, are the integers 3 and 9 comparable? Yes, as 3 | 9 Are 7 and 5 comparable? No, as 7 | 5 and 5 | 7 Thus, as there are pairs of elements in Z + that are not comparable, the poset (Z +,|) is a partial order. It is not a chain.

14

15 ( S, ) is a well-ordered set if it is a poset such that is a total ordering and such that every nonempty subset of S has a least element. Well-Ordered Set Example: Consider the ordered pairs of positive integers, Z + x Z + where

16 Well-ordered sets examples Example: (Z,≤) Is a total ordered poset (every element is comparable to every other element) It has no least element Thus, it is not a well-ordered set Example: (S,≤) where S = { 1, 2, 3, 4, 5 } Is a total ordered poset (every element is comparable to every other element) Has a least element (1) Thus, it is a well-ordered set

17 Lexicographic Order This ordering is called lexicographic because it is the way that words are ordered in the dictionary.

18

19 For any positive integers m and n and a 1 a 2 … a m and b 1 b 2 … b n in. 1.If and a i = b i for all i = 1, 2,,..., m, then a 1, a 2 … a m b 1 b 2 …. b n. 2.If for some integer k with for all i = 1,2,…, k -1, and a k R b k but, then a 1, a 2 … a m b 1 b 2 …. b n. 3. If is the null string and s is any string in then s. Let be a finite set and suppose R is a partial order relation defined on. Define a relation on, the set of all strings over, as follows:

20 The Principle of Well-Ordered Induction Suppose that S is a well-ordered set. Then P( x ) is true for all x S, if: BASIS STEP: P( x 0 ) is true for the least element of S, and INDUCTION STEP: For every y S if P( x ) is true for all x y, then P( y ) is true.

21 Hasse Diagrams Given any partial order relation defined on a finite set, it is possible to draw the directed graph so that all of these properties are satisfied. This makes it possible to associate a somewhat simpler graph, called a Hasse diagram, with a partial order relation defined on a finite set.

22 Hasse Diagrams (continued) Start with a directed graph of the relation in which all arrows point upward. Then eliminate: 1.the loops at all the vertices, 2.all arrows whose existence is implied by the transitive property, 3.the direction indicators on the arrows.

23 Example Let A = {1, 2, 3, 9, 19} and consider the “divides” relation on A : For all

24 Example Eliminate the loops at all the vertices Eliminate all arrows whose existence is implied by the transitive property. Eliminate the direction indicators on the arrows.

25 Hasse Diagram For the poset ({1,2,3,4,6,8,12}, |)

26

27 a is a maximal in the poset (S, ) if there is no such that a b. Similarly, an element of a poset is called minimal if it is not greater than any element of the poset. That is, a is minimal if there is no element such that b a. It is possible to have multiple minimals and maximals. Maximal and Minimal Elements

28 a is the greatest element in the poset (S, ) if b a for all. Similarly, an element of a poset is called the least element if it is less or equal than all other elements in the poset. That is, a is the least element if a b for all Greatest Element Least Element

29 Upper bound, Lower bound Sometimes it is possible to find an element that is greater than all the elements in a subset A of a poset (S, ). If u is an element of S such that a u for all elements, then u is called an upper bound of A. Likewise, there may be an element less than all the elements in A. If l is an element of S such that l a for all elements, then l is called a lower bound of A. Examples 18, p. 574 in Rosen.

30 Least Upper Bound, Greatest Lower Bound The element x is called the least upper bound (lub) of the subset A if x is an upper bound that is less than every other upper bound of A. The element y is called the greatest lower bound (glb) of A if y is a lower bound of A and z y whenever z is a lower bound of A. Examples 19 and 20, p. 574 in Rosen.

31 Lattices A partially ordered set in which every pair of elements has both a least upper bound and a greatest lower bound is called a lattice.

32 Examples 21 and 22, p. 575 in Rosen.

33 Lattice Model (LinuxSecurity.com) (I) A security model for flow control in a system, based on the lattice that is formed by the finite security levels in a system and their partial ordering. [Denn] (See: flow control, security level, security model.) (C) The model describes the semantic structure formed by a finite set of security levels, such as those used in military organizations. (C) A lattice is a finite set together with a partial ordering on its elements such that for every pair of elements there is a least upper bound and a greatest lower bound. For example, a lattice is formed by a finite set S of security levels -- i.e., a set S of all ordered pairs (x, c), where x is one of a finite set X of hierarchically ordered classification levels (X1,..., Xm), and c is a (possibly empty) subset of a finite set C of non-hierarchical categories (C1,..., Cn) -- together with the "dominate" relation. (See: dominate.)

34 Topological Sorting A total ordering is said to be compatible with the partial ordering R if a b whenever a R b. Constructing a total ordering from a partial ordering is called topological sorting.

If there is an edge from v to w, then v precedes w in the sequential listing

36 Example Consider the set A = {2, 3, 4, 6, 18, 24} ordered by the “divides” relation. The Hasse diagram follows: The ordinary “less than or equal to” relation on this set is a topological sorting for it since for positive integers a and b, if a | b then a b

37 Topological Sorting

38 Assemble an Automobile 1) Build Frame 2) Install engine, power train components, gas tank. 3) Install brakes, wheels, tires. 4) Install dashboard, floor, seats. 5) Install electrical lines. 6) Install gas lines. 7) Attach body panels to frame 8) Paint body.

39 Prerequisites TaskImmediately Preceding Tasks Time Needed to Perform Task , 3 4 2, 3 4, 5 6, 7, 8 7 hours 6 hours 3 hours 6 hours 3 hours 1 hour 2 hours 5 hours

40 Example – Job Scheduling What is the total order compatible with it? Task 1 7 hours Task 2 6 hours Task 3 3 hours Task 4 6 hours Task 5 3 hours Task 7 1 hour Task 6 1 hour Task 8 2 hour Task 9 5 hour

41

42 Example 27, p. 578 in Rosen.