Connected Component Tree

Size: px
Start display at page:

Download "Connected Component Tree"

Transcription

1 onnected omponent Tree Jean ousty OUR-DAY OURSE on Mathematical Morphology in image analysis Bangalore 19- October 010 Motivation onnectivity plays important role for image processing Morphological connected filters Morphological filters acting on components of a set Morphological filters acting on components of the flat zones of a function Graphs are adapted for handling digital connectivity Problem How can connected filters be efficiently implemented? J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 1 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 1

2 Outline Structuring a discrete set onnected filters on (weighted) graphs onnected components omponent tree Example of application Algorithms for connected filters on (weighted) graphs Union of disjoint set onnected component labeling omponent tree extraction Let V be a set (eg, the set of all image pixels) Let X be a subset of V (eg, a binary object to be processed) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 3 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 4

3 Discrete set Discrete set V (white & black dots) and X (black dots) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 5 V (white & black dots) and X (black dots) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 6 3

4 Graph Graph Neighborhood (in blue) of a point (in red) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 7 Vertex set (dots) and edge set E (line segments) of a graph (V,E) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 8 4

5 onnected sets Example: Discrete set that is not connected Let G = (V,E) be a (undirected) graph Let X be a subset of V Definition X is connected if there exists a path between any two points of X J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 9 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 10 5

6 Example: onnected discrete set onnected components Let G = (V,E) be a (undirected) graph. Let X be a subset of V Let Y be a subset of X Definition Y is a (connected) component of X if Y is connected no proper superset of Y included in X is connected Property Y is a component of X iff for any x in Y Y is the union of all connected subsets of X that conains x J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 11 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 1 6

7 Example : onnected components partition onnected opening a discrete set According to a given criterion (e.g., the size), keep the most important components of X J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 13 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 14 7

8 Example: area filtering a discrete set Example: area filtering a discrete set J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 15 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 16 8

9 rom maps to sets rom maps to sets k k k = {x E, (x) k}, i.e., points above k J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 17 k = {x E, (x) < k}, i.e., points below k J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 18 9

10 Structuring a discrete map: level sets decomposition Structuring a discrete map: (upper) omponent tree Definition Let be a map from V to N and let k be an integer The (upper) level-set of at level k is the set made of the points of V whose value is greater than or equal to k k = {x E, (x) k} Any connected component of any (upper) level set of is called a (upper) component of Remark Any two components of are either nested or disjoint omponents + inclusion relation tree structure J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 19 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 0 10

11 Structuring a discrete map: (upper) omponent tree Level-sets, components: the D case J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 1 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 11

12 Level-sets, components: the D case Level-sets, components: the D case 1 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 3 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 4 1

13 Level-sets, components: the D case Level-sets, components: the D case 3 4 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 5 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 6 13

14 ross-sections, components: the D case omponent tree: the D case Level 1 1 Level Level 3 Level omponent tree omponent mapping J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology

15 omponent tree: the D case omponent tree: the D case Level Level Level 3 8 Level Level 3 Level Level 3 Level omponent tree omponent mapping omponent tree omponent mapping

16 omponent tree: the D case omponent tree: the D case Level 1 1 Level Level Level 3 Level 3 Level Level 3 Level omponent tree omponent mapping omponent tree omponent mapping

17 iltering a discrete map : flooding looding: intuitive example step 1 A leaf of the component tree T of is: a regional minimum of, if T is a lower component tree a regional maximum of, if T is an upper component tree According to a given criterion, we can iteratively remove the leaf components of Such a removal is called a flooding J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 33 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 34 17

18 looding: intuitive example step 1 looding: intuitive example step J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 35 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 36 18

19 looding: intuitive example step 3 looding: formal definition Definition Let x in V The elementary flooding of at x is defined by: η x (y) = (y) + 1 if x and y belong to the same minimum η x (y) = (y) otherwise Any map obtained from by composition of elementary floodings is called a flooding of We remove one branch of T We flood one lobe of J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 37 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 38 19

20 iltering a grayscale map Attributes: height What criterion (attribute) to select the non-significant minima to be flooded? h J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 39 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 40 0

21 Attributes: area Attributes: volume a v J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 41 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 4 1

22 iltering by volume iltering by volume Regional minima J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 43 Regional minima J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 44

23 Application: keep the 10 most volumic lobes Algorithms requested for achieving this result omponent tree algorithm Original image (top) and its many minima (bottom) iltered image (top) and its 10 minima (bottom) looding the minima with attribute below a given threshold Or alternatively, keeping only the k most significant minima J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 45 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 46 3

24 Algorithms for the component tree There exist several algorithms for the component tree Breen & Jones 1996 Salembier, Oliveras & Garido 1998 Mattes & Demongeot 000 ouprie & Najman 006 Tarjan s union find onnected components labeling Quasi-linear time component tree extraction J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 47 Disjoint set problem Maintaining a collection of disjoint subsets of a set V under the operation of union Each subset X is represented by a unique element of X called the canonical element of X Three operations allow the collection to be managed: MakeSet(x): add the set {x} to the collection ind(x): return the canonical element of the set containing x Link(x,y): Remove the two sets whose canonical elements are x and y Add their union J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 48 4

25 Tarjan s union-find algorithm onnected components labeling with union-find Quasi-linear algorithm: O(m X α(m, V )) for m operations α : inverse of Ackerman function (in practice never greater than 4) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 49 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 50 5

26 onnected components labeling with union-find onnected components labeling with union-find J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 51 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 5 6

27 onnected components labeling with union-find onnected components labeling with union-find J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 53 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 54 7

28 onnected components labeling with union-find onnected components labeling with union-find J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 55 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 56 8

29 onnected components labeling with union-find onnected components labeling with union-find J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 57 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 58 9

30 onnected components labeling with union-find onnected components labeling with union-find J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 59 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 60 30

31 onnected components labeling with union-find omponent tree algorithm General case Two collections of disjoint subsets of V Particular case: all values are distinct One collection of disjoint subsets of V J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 61 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 6 31

32 omponent tree algorithm: all values distinct foreach point x in V in decreasing order of altitude do foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] omponent tree algorithm: all values distinct foreach point x in V in decreasing order of altitude do foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] (init) Image Lowest Node nodes Disjoint sets A:7B:1:9 D:6E:4 : G:8H:5 I:3 A B D E G H I E B I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 63 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 64 3

33 omponent tree algorithm: all values distinct (step 1) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] A B D E G H I E B x = Image Lowest Node nodes Disjoint sets I H A D G omponent tree algorithm: all values distinct (step ) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] A B D E G H I E B x = G Image Lowest Node nodes Disjoint sets G I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 65 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 66 33

34 omponent tree algorithm: all values distinct (step 3) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] A B D E G H I E B x = A Image Lowest Node nodes Disjoint sets G A I H A D G omponent tree algorithm: all values distinct (step 4) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] A B D E G H I E B x = D Image Lowest Node nodes Disjoint sets G A I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 67 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 68 34

35 omponent tree algorithm: all values distinct (step 4) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] D B D E G H I E B x = D y = A Image Lowest Node nodes Disjoint sets G A D I H A D G omponent tree algorithm: all values distinct (step 4) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] D B D E G H I E B x = D y = G Image Lowest Node nodes Disjoint sets G A D I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 69 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 70 35

36 omponent tree algorithm: all values distinct (step 5) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] H B D E G H I E B x = H y = G Image Lowest Node nodes Disjoint sets G A D H I H A D G omponent tree algorithm: all values distinct (step 6) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] E B D E G H I E B x = E y = D Image Lowest Node nodes Disjoint sets G A D H E I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 71 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 7 36

37 omponent tree algorithm: all values distinct (step 6) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] E B D E G H I E B x = E y = H Image Lowest Node nodes Disjoint sets G A D H E I H A D G omponent tree algorithm: all values distinct (step 7) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] I B D E G H I E B x = I y = H Image Lowest Node nodes Disjoint sets G A D H E I I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 73 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 74 37

38 omponent tree algorithm: all values distinct (step 8) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] I B D E G H I E B x = y = Image Lowest Node nodes Disjoint sets G A D H E I I H A D G omponent tree algorithm: all values distinct (step 7) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] I B D E G H I E B x = y = E Image Lowest Node nodes Disjoint sets G A D H E I I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 75 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 76 38

39 omponent tree algorithm: all values distinct (step 7) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] I B D E G H I E B x = y = I Image Lowest Node nodes Disjoint sets G A D H E I I H A D G omponent tree algorithm: all values distinct (step 9) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] I B B D E G H I E B x = B y = A Image Lowest Node nodes Disjoint sets G A D H E I B I H A D G J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 77 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 78 39

40 omponent tree algorithm: all values distinct (step 10) foreach point x in V in decreasing order of altitude do A:7B:1:9 D:6E:4 : G:8H:5 I:3 foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] I B B D E G H I E B x = B y = Image Lowest Node nodes Disjoint sets G A D H E I B I H A D G omponent tree algorithm: all values distinct foreach point x in V in decreasing order of altitude do foreach neighbor y of x do If ((y) > (x)) and (ind(x)!= ind(y)) do adjnode := lowestnode[ind(y)] nodes[x].addhild(nodes[adjnode]) curnode := Link(x,adjNode) lowestnode[curnode] := nodes[x] Time complexity : quasi-linear with respect to the number of edges and vertices Requires a sorting pre-processing step O( V ) O( V + E ) O( E.α( E, V )) O( E ) O( E ) O( E. α( E, V )) O( E ) J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 79 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 80 40

41 omponent tree algorithm: general case Build the component tree Two union-find implementations needed One for building the union of connected components over height Similar to the one in the case where all values were distinct One for building the connected components of a given altitude J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 81 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 8 41

42 Auxiliary functions Example ; 0; ; 1; 14; 13; 3; 4; 5; 8; 9; 10; 11; 6; 7 [10] [110] [100] [90] [80] [70] [50] [40] [0] J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 83 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 84 4

43 step 1 Step th1 th SubtreeRoot th1 th SubtreeRoot [1] 10 [1] 10 [0] 110 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 85 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 86 43

44 step 3 step th1 th SubtreeRoot th1 th SubtreeRoot [1] 90 [1] 10 [0] 110 [] 100 [1] 10 [0] 110 [] 100 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 87 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 88 44

45 step 5 step th1 th SubtreeRoot th1 th SubtreeRoot [1] 90 [1] 90 [13] 70 [0] 110 [] 100 [1] 10 [14] 80 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 89 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 90 45

46 step 7 step th1 th SubtreeRoot th1 th SubtreeRoot [3] 50 [3] 50 [1] 90 [13] 70 [1] 90 [13] 70 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 91 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 9 46

47 step 9 step th1 th SubtreeRoot th1 th SubtreeRoot [3] 50 [3] 50 [1] 90 [13] 70 [1] 90 [13] 70 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 93 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 94 47

48 step 11 step th1 th SubtreeRoot th1 th SubtreeRoot [3] 50 [9] 50 [3] 50 [9] 50 [1] 90 [13] 70 [1] 90 [13] 70 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 95 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 96 48

49 step 13 step th1 th [9] 50 SubtreeRoot th1 [6] 40 th SubtreeRoot [9] 50 [1] 90 [13] 70 [1] 90 [13] 70 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 97 [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 98 49

50 step 15 omponent tree: conclusion Another insight into connected filters (level sets stacking) Useful to compute floodings then attribute openings & closings Efficient algorithm th1 [7] 0 [6] 40 th SubtreeRoot Quasi-linear time Easy implementation Many applications in signal processing and image analysis [9] 50 Important for computing connection values [1] 90 [13] 70 There exist self-dual trees [0] 110 [] 100 [1] 10 [14] 80 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology 99 J. Serra, J. ousty, B.S. Daya Sagar: ourse on Math. Morphology

Segmentation by discrete watersheds Part 1: Watershed cuts

Segmentation by discrete watersheds Part 1: Watershed cuts Segmentation by discrete watersheds Part 1: Watershed cuts Jean Cousty Four-Day Course on Mathematical Morphology in image analysis Bangalore 19- October 010 J. Serra, J. Cousty, B.S. Daya Sagar : Course

More information

Minimum spanning tree

Minimum spanning tree Minimum spanning tree Jean Cousty MorphoGraph and Imagery 2011 J. Cousty : MorphoGraph and Imagery 1/17 Outline of the lecture 1 Minimum spanning tree 2 Cut theorem for MST 3 Kruskal algorithm J. Cousty

More information

Algorithms and Theory of Computation. Lecture 11: Network Flow

Algorithms and Theory of Computation. Lecture 11: Network Flow Algorithms and Theory of Computation Lecture 11: Network Flow Xiaohui Bei MAS 714 September 18, 2018 Nanyang Technological University MAS 714 September 18, 2018 1 / 26 Flow Network A flow network is a

More information

Independencies. Undirected Graphical Models 2: Independencies. Independencies (Markov networks) Independencies (Bayesian Networks)

Independencies. Undirected Graphical Models 2: Independencies. Independencies (Markov networks) Independencies (Bayesian Networks) (Bayesian Networks) Undirected Graphical Models 2: Use d-separation to read off independencies in a Bayesian network Takes a bit of effort! 1 2 (Markov networks) Use separation to determine independencies

More information

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms Part a: You are given a graph G = (V,E) with edge weights w(e) > 0 for e E. You are also given a minimum cost spanning tree (MST) T. For one particular edge

More information

Part II : Connection

Part II : Connection Indian Statistical Institute System Science and Informatics Unit Bengalore, India Bengalore, 19-22 October 2010 ESIEE University of Paris-Est France Part II : Connection - Set case - Function case Jean

More information

4.1 Notation and probability review

4.1 Notation and probability review Directed and undirected graphical models Fall 2015 Lecture 4 October 21st Lecturer: Simon Lacoste-Julien Scribe: Jaime Roquero, JieYing Wu 4.1 Notation and probability review 4.1.1 Notations Let us recall

More information

Lecture 4 October 18th

Lecture 4 October 18th Directed and undirected graphical models Fall 2017 Lecture 4 October 18th Lecturer: Guillaume Obozinski Scribe: In this lecture, we will assume that all random variables are discrete, to keep notations

More information

Disconnecting Networks via Node Deletions

Disconnecting Networks via Node Deletions 1 / 27 Disconnecting Networks via Node Deletions Exact Interdiction Models and Algorithms Siqian Shen 1 J. Cole Smith 2 R. Goli 2 1 IOE, University of Michigan 2 ISE, University of Florida 2012 INFORMS

More information

Chapter 9: Relations Relations

Chapter 9: Relations Relations Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair

More information

Part I : Bases. Part I : Bases

Part I : Bases. Part I : Bases Indian Statistical Institute System Science and Informatics Unit Bengalore, India Bengalore, 19-22 October 2010 ESIEE University of Paris-Est France Part I : Bases - ordering and lattices - erosion and

More information

Prof. Dr. Lars Schmidt-Thieme, L. B. Marinho, K. Buza Information Systems and Machine Learning Lab (ISMLL), University of Hildesheim, Germany, Course

Prof. Dr. Lars Schmidt-Thieme, L. B. Marinho, K. Buza Information Systems and Machine Learning Lab (ISMLL), University of Hildesheim, Germany, Course Course on Bayesian Networks, winter term 2007 0/31 Bayesian Networks Bayesian Networks I. Bayesian Networks / 1. Probabilistic Independence and Separation in Graphs Prof. Dr. Lars Schmidt-Thieme, L. B.

More information

3 Undirected Graphical Models

3 Undirected Graphical Models Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.438 Algorithms For Inference Fall 2014 3 Undirected Graphical Models In this lecture, we discuss undirected

More information

7.5 Bipartite Matching

7.5 Bipartite Matching 7. Bipartite Matching Matching Matching. Input: undirected graph G = (V, E). M E is a matching if each node appears in at most edge in M. Max matching: find a max cardinality matching. Bipartite Matching

More information

Propositional Logic. What is discrete math? Tautology, equivalence, and inference. Applications

Propositional Logic. What is discrete math? Tautology, equivalence, and inference. Applications What is discrete math? Propositional Logic The real numbers are continuous in the senses that: between any two real numbers there is a real number The integers do not share this property. In this sense

More information

Image Segmentation Using Minimum st Cut

Image Segmentation Using Minimum st Cut Image Segmentation Using Minimum st Cut Tomas Werner Center for Machine Perception Czech Technical University Prague Minimum st Cut 2 Undirected graph (V, ) with nodes v V and edges vv ( ) V 2 very edge

More information

Tree sets. Reinhard Diestel

Tree sets. Reinhard Diestel 1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked

More information

Intelligent Systems:

Intelligent Systems: Intelligent Systems: Undirected Graphical models (Factor Graphs) (2 lectures) Carsten Rother 15/01/2015 Intelligent Systems: Probabilistic Inference in DGM and UGM Roadmap for next two lectures Definition

More information

Relation between Graphs

Relation between Graphs Max Planck Intitute for Math. in the Sciences, Leipzig, Germany Joint work with Jan Hubička, Jürgen Jost, Peter F. Stadler and Ling Yang SCAC2012, SJTU, Shanghai Outline Motivation and Background 1 Motivation

More information

Separating Variants of LEM, LPO, and MP

Separating Variants of LEM, LPO, and MP Matt Hendtlass, U Canterbury Robert S. Lubarsky, FAU Proof Theory, Modal Logic and Reflection Principles Mexico City, Mexico September 29 - October 2, 2014 Implications Definition The Law of Excluded Middle

More information

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

More information

Chapter 8 The Disjoint Sets Class

Chapter 8 The Disjoint Sets Class Chapter 8 The Disjoint Sets Class 2 Introduction equivalence problem can be solved fairly simply simple data structure each function requires only a few lines of code two operations: and can be implemented

More information

Salembier s Min-tree algorithm turned into breadth first search

Salembier s Min-tree algorithm turned into breadth first search Information Processing Letters 88 (2003) 225 229 www.elsevier.com/locate/ipl Salembier s Min-tree algorithm turned into breadth first search Wim H. Hesselink Department of Mathematics and Computing Science,

More information

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

BOOLEAN ALGEBRA INTRODUCTION SUBSETS BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations

More information

and e 2 ~ e 2 iff e 1

and e 2 ~ e 2 iff e 1 Section 4. Equivalence Relations A binary relation is an equivalence relation if it has the three properties reflexive, symmetric, and transitive (RST). Examples. a. Equality on any set. b. x ~ y iff x

More information

Rotation-invariant connected size-shape pattern spectra

Rotation-invariant connected size-shape pattern spectra Rotation-invariant connected size-shape pattern spectra Erik R. Urbach Institute for Mathematics and Computing Science University of Groningen The Netherlands April 28, 2004 BCN Retraite Research topic

More information

More on NP and Reductions

More on NP and Reductions Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India http://www.iiitdm.ac.in COM 501 Advanced Data

More information

Models of Computation. by Costas Busch, LSU

Models of Computation. by Costas Busch, LSU Models of Computation by Costas Busch, LSU 1 Computation CPU memory 2 temporary memory input memory CPU output memory Program memory 3 Example: f ( x) x 3 temporary memory input memory Program memory compute

More information

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS HUNTER LEHMANN AND ANDREW PARK Abstract. A graph on n vertices is said to admit a prime labeling if we can label its vertices with the first n natural

More information

Disjoint-Set Forests

Disjoint-Set Forests Disjoint-Set Forests Thanks for Showing Up! Outline for Today Incremental Connectivity Maintaining connectivity as edges are added to a graph. Disjoint-Set Forests A simple data structure for incremental

More information

Undirected Graphical Models: Markov Random Fields

Undirected Graphical Models: Markov Random Fields Undirected Graphical Models: Markov Random Fields 40-956 Advanced Topics in AI: Probabilistic Graphical Models Sharif University of Technology Soleymani Spring 2015 Markov Random Field Structure: undirected

More information

BASIC MATHEMATICAL TECHNIQUES

BASIC MATHEMATICAL TECHNIQUES CHAPTER 1 ASIC MATHEMATICAL TECHNIQUES 1.1 Introduction To understand automata theory, one must have a strong foundation about discrete mathematics. Discrete mathematics is a branch of mathematics dealing

More information

Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs

Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs Nathan Lindzey, Ross M. McConnell Colorado State University, Fort Collins CO 80521, USA Abstract. Tucker characterized

More information

NP-Complete Reductions 2

NP-Complete Reductions 2 x 1 x 1 x 2 x 2 x 3 x 3 x 4 x 4 12 22 32 CS 447 11 13 21 23 31 33 Algorithms NP-Complete Reductions 2 Prof. Gregory Provan Department of Computer Science University College Cork 1 Lecture Outline NP-Complete

More information

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms (a) Let G(V, E) be an undirected unweighted graph. Let C V be a vertex cover of G. Argue that V \ C is an independent set of G. (b) Minimum cardinality vertex

More information

GENERALIZED INDEPENDENCE IN GRAPHS HAVING CUT-VERTICES

GENERALIZED INDEPENDENCE IN GRAPHS HAVING CUT-VERTICES GENERALIZED INDEPENDENCE IN GRAPHS HAVING CUT-VERTICES Vladimir D. Samodivkin 7th January 2008 (Dedicated to Mihail Konstantinov on his 60th birthday) Abstract For a graphical property P and a graph G,

More information

Some links between extremum spanning forests, watersheds and min-cuts

Some links between extremum spanning forests, watersheds and min-cuts Some links between extremum spanning forests, watersheds and min-cuts Cédric Allène a,b, Jean-Yves Audibert a, Michel Couprie b and Renaud Keriven a a Université Paris-Est, CERTIS, Ecole des Ponts ParisTech,

More information

Cographs; chordal graphs and tree decompositions

Cographs; chordal graphs and tree decompositions Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs

More information

Cuts & Metrics: Multiway Cut

Cuts & Metrics: Multiway Cut Cuts & Metrics: Multiway Cut Barna Saha April 21, 2015 Cuts and Metrics Multiway Cut Probabilistic Approximation of Metrics by Tree Metric Cuts & Metrics Metric Space: A metric (V, d) on a set of vertices

More information

Optimization of Max-Norm Objective Functions in Image Processing and Computer Vision

Optimization of Max-Norm Objective Functions in Image Processing and Computer Vision Optimization of Max-Norm Objective Functions in Image Processing and Computer Vision Filip Malmberg 1, Krzysztof Chris Ciesielski 2,3, and Robin Strand 1 1 Centre for Image Analysis, Department of Information

More information

Lecture 18: More NP-Complete Problems

Lecture 18: More NP-Complete Problems 6.045 Lecture 18: More NP-Complete Problems 1 The Clique Problem a d f c b e g Given a graph G and positive k, does G contain a complete subgraph on k nodes? CLIQUE = { (G,k) G is an undirected graph with

More information

4. How to prove a problem is NPC

4. How to prove a problem is NPC The reducibility relation T is transitive, i.e, A T B and B T C imply A T C Therefore, to prove that a problem A is NPC: (1) show that A NP (2) choose some known NPC problem B define a polynomial transformation

More information

Lecture 23 Branch-and-Bound Algorithm. November 3, 2009

Lecture 23 Branch-and-Bound Algorithm. November 3, 2009 Branch-and-Bound Algorithm November 3, 2009 Outline Lecture 23 Modeling aspect: Either-Or requirement Special ILPs: Totally unimodular matrices Branch-and-Bound Algorithm Underlying idea Terminology Formal

More information

Math Homework 5 Solutions

Math Homework 5 Solutions Math 45 - Homework 5 Solutions. Exercise.3., textbook. The stochastic matrix for the gambler problem has the following form, where the states are ordered as (,, 4, 6, 8, ): P = The corresponding diagram

More information

(tree searching technique) (Boolean formulas) satisfying assignment: (X 1, X 2 )

(tree searching technique) (Boolean formulas) satisfying assignment: (X 1, X 2 ) Algorithms Chapter 5: The Tree Searching Strategy - Examples 1 / 11 Chapter 5: The Tree Searching Strategy 1. Ex 5.1Determine the satisfiability of the following Boolean formulas by depth-first search

More information

CSE 20 DISCRETE MATH. Winter

CSE 20 DISCRETE MATH. Winter CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric

More information

6.046 Recitation 11 Handout

6.046 Recitation 11 Handout 6.046 Recitation 11 Handout May 2, 2008 1 Max Flow as a Linear Program As a reminder, a linear program is a problem that can be written as that of fulfilling an objective function and a set of constraints

More information

The matrix approach for abstract argumentation frameworks

The matrix approach for abstract argumentation frameworks The matrix approach for abstract argumentation frameworks Claudette CAYROL, Yuming XU IRIT Report RR- -2015-01- -FR February 2015 Abstract The matrices and the operation of dual interchange are introduced

More information

Math 671: Tensor Train decomposition methods

Math 671: Tensor Train decomposition methods Math 671: Eduardo Corona 1 1 University of Michigan at Ann Arbor December 8, 2016 Table of Contents 1 Preliminaries and goal 2 Unfolding matrices for tensorized arrays The Tensor Train decomposition 3

More information

Greedy Trees, Caterpillars, and Wiener-Type Graph Invariants

Greedy Trees, Caterpillars, and Wiener-Type Graph Invariants Georgia Southern University Digital Commons@Georgia Southern Mathematical Sciences Faculty Publications Mathematical Sciences, Department of 2012 Greedy Trees, Caterpillars, and Wiener-Type Graph Invariants

More information

Midterm 1 for CS 170

Midterm 1 for CS 170 UC Berkeley CS 170 Midterm 1 Lecturer: Satish Rao October 2 Midterm 1 for CS 170 Print your name:, (last) (first) Sign your name: Write your section number (e.g., 101): Write your SID: One page of notes

More information

Math 262A Lecture Notes - Nechiporuk s Theorem

Math 262A Lecture Notes - Nechiporuk s Theorem Math 6A Lecture Notes - Nechiporuk s Theore Lecturer: Sa Buss Scribe: Stefan Schneider October, 013 Nechiporuk [1] gives a ethod to derive lower bounds on forula size over the full binary basis B The lower

More information

7 The structure of graphs excluding a topological minor

7 The structure of graphs excluding a topological minor 7 The structure of graphs excluding a topological minor Grohe and Marx [39] proved the following structure theorem for graphs excluding a topological minor: Theorem 7.1 ([39]). For every positive integer

More information

k-blocks: a connectivity invariant for graphs

k-blocks: a connectivity invariant for graphs 1 k-blocks: a connectivity invariant for graphs J. Carmesin R. Diestel M. Hamann F. Hundertmark June 17, 2014 Abstract A k-block in a graph G is a maximal set of at least k vertices no two of which can

More information

CMSC 451: Lecture 7 Greedy Algorithms for Scheduling Tuesday, Sep 19, 2017

CMSC 451: Lecture 7 Greedy Algorithms for Scheduling Tuesday, Sep 19, 2017 CMSC CMSC : Lecture Greedy Algorithms for Scheduling Tuesday, Sep 9, 0 Reading: Sects.. and. of KT. (Not covered in DPV.) Interval Scheduling: We continue our discussion of greedy algorithms with a number

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design and Analysis LECTURE 22 Maximum Flow Applications Image segmentation Project selection Extensions to Max Flow Sofya Raskhodnikova 11/07/2016 S. Raskhodnikova; based on slides by E. Demaine,

More information

CPSC 421: Tutorial #1

CPSC 421: Tutorial #1 CPSC 421: Tutorial #1 October 14, 2016 Set Theory. 1. Let A be an arbitrary set, and let B = {x A : x / x}. That is, B contains all sets in A that do not contain themselves: For all y, ( ) y B if and only

More information

Pruning digraphs for reducing catchment zones

Pruning digraphs for reducing catchment zones Pruning digraphs for reducing catchment zones Fernand Meyer Centre de Morphologie Mathématique 19 March 2017 ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones

More information

Flows and Cuts. 1 Concepts. CS 787: Advanced Algorithms. Instructor: Dieter van Melkebeek

Flows and Cuts. 1 Concepts. CS 787: Advanced Algorithms. Instructor: Dieter van Melkebeek CS 787: Advanced Algorithms Flows and Cuts Instructor: Dieter van Melkebeek This lecture covers the construction of optimal flows and cuts in networks, their relationship, and some applications. It paves

More information

arxiv: v1 [math.co] 5 May 2016

arxiv: v1 [math.co] 5 May 2016 Uniform hypergraphs and dominating sets of graphs arxiv:60.078v [math.co] May 06 Jaume Martí-Farré Mercè Mora José Luis Ruiz Departament de Matemàtiques Universitat Politècnica de Catalunya Spain {jaume.marti,merce.mora,jose.luis.ruiz}@upc.edu

More information

Outline. Complexity Theory. Example. Sketch of a log-space TM for palindromes. Log-space computations. Example VU , SS 2018

Outline. Complexity Theory. Example. Sketch of a log-space TM for palindromes. Log-space computations. Example VU , SS 2018 Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 3. Logarithmic Space Reinhard Pichler Institute of Logic and Computation DBAI Group TU Wien 3. Logarithmic Space 3.1 Computational

More information

Undirected Graphical Models

Undirected Graphical Models Readings: K&F 4. 4.2 4.3 4.4 Undirected Graphical Models Lecture 4 pr 6 20 SE 55 Statistical Methods Spring 20 Instructor: Su-In Lee University of Washington Seattle ayesian Network Representation irected

More information

Branching. Teppo Niinimäki. Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science

Branching. Teppo Niinimäki. Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science Branching Teppo Niinimäki Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science 1 For a large number of important computational problems

More information

CV-width: A New Complexity Parameter for CNFs

CV-width: A New Complexity Parameter for CNFs CV-width: A New Complexity Parameter for CNFs Umut Oztok and Adnan Darwiche 1 Abstract. We present new complexity results on the compilation of CNFs into DNNFs and OBDDs. In particular, we introduce a

More information

CS Lecture 4. Markov Random Fields

CS Lecture 4. Markov Random Fields CS 6347 Lecture 4 Markov Random Fields Recap Announcements First homework is available on elearning Reminder: Office hours Tuesday from 10am-11am Last Time Bayesian networks Today Markov random fields

More information

Prime Labeling of Small Trees with Gaussian Integers

Prime Labeling of Small Trees with Gaussian Integers Rose-Hulman Undergraduate Mathematics Journal Volume 17 Issue 1 Article 6 Prime Labeling of Small Trees with Gaussian Integers Hunter Lehmann Seattle University Andrew Park Seattle University Follow this

More information

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp April 28, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct nonempty

More information

Probabilistic Graphical Models Lecture Notes Fall 2009

Probabilistic Graphical Models Lecture Notes Fall 2009 Probabilistic Graphical Models Lecture Notes Fall 2009 October 28, 2009 Byoung-Tak Zhang School of omputer Science and Engineering & ognitive Science, Brain Science, and Bioinformatics Seoul National University

More information

DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE

DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE Discussiones Mathematicae Graph Theory 30 (2010 ) 335 347 DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE Jaroslav Ivančo Institute of Mathematics P.J. Šafári University, Jesenná 5 SK-041 54

More information

1 Multiset ordering. Travaux Dirigés. Multiset ordering, battle of the hydra Well-quasi-orderings, Higman and Kruskal theorems

1 Multiset ordering. Travaux Dirigés. Multiset ordering, battle of the hydra Well-quasi-orderings, Higman and Kruskal theorems Travaux Dirigés Multiset ordering, battle of the hydra Well-quasi-orderings, Higman and Kruskal theorems λ-calculs et catégories (31 octobre 2016) 1 Multiset ordering Recall that a multiset M on a set

More information

Undirected Graphical Models

Undirected Graphical Models Outline Hong Chang Institute of Computing Technology, Chinese Academy of Sciences Machine Learning Methods (Fall 2012) Outline Outline I 1 Introduction 2 Properties Properties 3 Generative vs. Conditional

More information

Algorithmic Primitives for Network Analysis: Through the Lens of the Laplacian Paradigm

Algorithmic Primitives for Network Analysis: Through the Lens of the Laplacian Paradigm Algorithmic Primitives for Network Analysis: Through the Lens of the Laplacian Paradigm Shang-Hua Teng Computer Science, Viterbi School of Engineering USC Massive Data and Massive Graphs 500 billions web

More information

Differential Attribute Profiles in Remote Sensing

Differential Attribute Profiles in Remote Sensing Differential Attribute Profiles in Remote Sensing Georgios K. Ouzounis DigitalGlobe, Inc. 1601 Dry Creek Drive, Suite 260, Longmont, CO 80503, USA. Image: Dubai July 5, 2011 50cm Contents Overview Connected

More information

Algorithms for Picture Analysis. Lecture 07: Metrics. Axioms of a Metric

Algorithms for Picture Analysis. Lecture 07: Metrics. Axioms of a Metric Axioms of a Metric Picture analysis always assumes that pictures are defined in coordinates, and we apply the Euclidean metric as the golden standard for distance (or derived, such as area) measurements.

More information

Math Models of OR: Branch-and-Bound

Math Models of OR: Branch-and-Bound Math Models of OR: Branch-and-Bound John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA November 2018 Mitchell Branch-and-Bound 1 / 15 Branch-and-Bound Outline 1 Branch-and-Bound

More information

Enumerating minimal connected dominating sets in graphs of bounded chordality,

Enumerating minimal connected dominating sets in graphs of bounded chordality, Enumerating minimal connected dominating sets in graphs of bounded chordality, Petr A. Golovach a,, Pinar Heggernes a, Dieter Kratsch b a Department of Informatics, University of Bergen, N-5020 Bergen,

More information

Randomized Algorithms III Min Cut

Randomized Algorithms III Min Cut Chapter 11 Randomized Algorithms III Min Cut CS 57: Algorithms, Fall 01 October 1, 01 11.1 Min Cut 11.1.1 Problem Definition 11. Min cut 11..0.1 Min cut G = V, E): undirected graph, n vertices, m edges.

More information

Automata-based Verification - III

Automata-based Verification - III COMP30172: Advanced Algorithms Automata-based Verification - III Howard Barringer Room KB2.20: email: howard.barringer@manchester.ac.uk March 2009 Third Topic Infinite Word Automata Motivation Büchi Automata

More information

CS6375: Machine Learning Gautam Kunapuli. Decision Trees

CS6375: Machine Learning Gautam Kunapuli. Decision Trees Gautam Kunapuli Example: Restaurant Recommendation Example: Develop a model to recommend restaurants to users depending on their past dining experiences. Here, the features are cost (x ) and the user s

More information

Neuronal structure detection using Persistent Homology

Neuronal structure detection using Persistent Homology Neuronal structure detection using Persistent Homology J. Heras, G. Mata and J. Rubio Department of Mathematics and Computer Science, University of La Rioja Seminario de Informática Mirian Andrés March

More information

Cheng Soon Ong & Christian Walder. Canberra February June 2018

Cheng Soon Ong & Christian Walder. Canberra February June 2018 Cheng Soon Ong & Christian Walder Research Group and College of Engineering and Computer Science Canberra February June 2018 Outlines Overview Introduction Linear Algebra Probability Linear Regression

More information

Computing Connected Components Given a graph G = (V; E) compute the connected components of G. Connected-Components(G) 1 for each vertex v 2 V [G] 2 d

Computing Connected Components Given a graph G = (V; E) compute the connected components of G. Connected-Components(G) 1 for each vertex v 2 V [G] 2 d Data Structures for Disjoint Sets Maintain a Dynamic collection of disjoint sets. Each set has a unique representative (an arbitrary member of the set). x. Make-Set(x) - Create a new set with one member

More information

Near-domination in graphs

Near-domination in graphs Near-domination in graphs Bruce Reed Researcher, Projet COATI, INRIA and Laboratoire I3S, CNRS France, and Visiting Researcher, IMPA, Brazil Alex Scott Mathematical Institute, University of Oxford, Oxford

More information

Even Pairs and Prism Corners in Square-Free Berge Graphs

Even Pairs and Prism Corners in Square-Free Berge Graphs Even Pairs and Prism Corners in Square-Free Berge Graphs Maria Chudnovsky Princeton University, Princeton, NJ 08544 Frédéric Maffray CNRS, Laboratoire G-SCOP, University of Grenoble-Alpes, France Paul

More information

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.

More information

Ramsey theory of homogeneous structures

Ramsey theory of homogeneous structures Ramsey theory of homogeneous structures Natasha Dobrinen University of Denver Notre Dame Logic Seminar September 4, 2018 Dobrinen big Ramsey degrees University of Denver 1 / 79 Ramsey s Theorem for Pairs

More information

CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems

CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems Antoine Vigneron King Abdullah University of Science and Technology September 20, 2012 Antoine Vigneron (KAUST)

More information

arxiv: v1 [math.co] 15 Jun 2014

arxiv: v1 [math.co] 15 Jun 2014 arxiv:1406.3798v1 [math.o] 15 Jun 2014 Unifying duality theorems for width parameters in graphs and matroids II. General duality Reinhard iestel September 10, 2018 bstract Sang-il Oum We prove a general

More information

Maximum Flow. Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai

Maximum Flow. Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai Maximum Flow Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai Flow Network A low network G ( V, E) is a directed graph with a source node sv, a sink node tv, a capacity unction c. Each edge ( u,

More information

Markov Random Fields

Markov Random Fields Markov Random Fields Umamahesh Srinivas ipal Group Meeting February 25, 2011 Outline 1 Basic graph-theoretic concepts 2 Markov chain 3 Markov random field (MRF) 4 Gauss-Markov random field (GMRF), and

More information

CS 161: Design and Analysis of Algorithms

CS 161: Design and Analysis of Algorithms CS 161: Design and Analysis of Algorithms Greedy Algorithms 3: Minimum Spanning Trees/Scheduling Disjoint Sets, continued Analysis of Kruskal s Algorithm Interval Scheduling Disjoint Sets, Continued Each

More information

CS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle

CS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle 8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,

More information

Determine the size of an instance of the minimum spanning tree problem.

Determine the size of an instance of the minimum spanning tree problem. 3.1 Algorithm complexity Consider two alternative algorithms A and B for solving a given problem. Suppose A is O(n 2 ) and B is O(2 n ), where n is the size of the instance. Let n A 0 be the size of the

More information

Writing: Algorithms, Mathematics, Definitions

Writing: Algorithms, Mathematics, Definitions Writing: Algorithms, Mathematics, Definitions Javier Larrosa UPC Barcelona Tech. Javier Larrosa (UPC Barcelona Tech) Writing. 1 / 31 Algorithms In CS we often write algorithms (that we have previously

More information

ACO Comprehensive Exam October 14 and 15, 2013

ACO Comprehensive Exam October 14 and 15, 2013 1. Computability, Complexity and Algorithms (a) Let G be the complete graph on n vertices, and let c : V (G) V (G) [0, ) be a symmetric cost function. Consider the following closest point heuristic for

More information

arxiv: v2 [cs.dm] 12 Jul 2014

arxiv: v2 [cs.dm] 12 Jul 2014 Interval Scheduling and Colorful Independent Sets arxiv:1402.0851v2 [cs.dm] 12 Jul 2014 René van Bevern 1, Matthias Mnich 2, Rolf Niedermeier 1, and Mathias Weller 3 1 Institut für Softwaretechnik und

More information

Agenda. Soviet Rail Network, We ve done Greedy Method Divide and Conquer Dynamic Programming

Agenda. Soviet Rail Network, We ve done Greedy Method Divide and Conquer Dynamic Programming Agenda We ve done Greedy Method Divide and Conquer Dynamic Programming Now Flow Networks, Max-flow Min-cut and Applications c Hung Q. Ngo (SUNY at Buffalo) CSE 531 Algorithm Analysis and Design 1 / 52

More information

Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results

Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results Isabelle Bloch, Alain Bretto DGCI 2011 I. Bloch, A. Bretto (Paris, Caen - France) Mathematical Morphology on Hypergraphs DGCI

More information

Factorised Representations of Query Results: Size Bounds and Readability

Factorised Representations of Query Results: Size Bounds and Readability Factorised Representations of Query Results: Size Bounds and Readability Dan Olteanu and Jakub Závodný Department of Computer Science University of Oxford {dan.olteanu,jakub.zavodny}@cs.ox.ac.uk ABSTRACT

More information

Chapter I : Basic Notions

Chapter I : Basic Notions Chapter I : Basic Notions - Image Processing - Lattices - Residues - Measurements J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology I. 1 Image Processing (I) => Image processing may

More information