Connected Component Tree
|
|
- Samson Rodney Brooks
- 5 years ago
- Views:
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 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 informationMinimum 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 informationAlgorithms 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 informationIndependencies. 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 informationACO 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 informationPart 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 information4.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 informationLecture 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 informationDisconnecting 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 informationChapter 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 informationPart 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 informationProf. 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 information3 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 information7.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 informationPropositional 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 informationImage 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 informationTree 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 informationIntelligent 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 informationRelation 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 informationSeparating 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 informationSets. 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 informationChapter 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 informationSalembier 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 informationBOOLEAN 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 informationand 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 informationRotation-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 informationMore 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 informationModels 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 informationPRIME 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 informationDisjoint-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 informationUndirected 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 informationBASIC 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 informationLinear-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 informationNP-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 informationACO 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 informationGENERALIZED 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 informationSome 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 informationCographs; 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 informationCuts & 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 informationOptimization 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 informationLecture 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 information4. 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 informationLecture 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 informationMath 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 )
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 informationCSE 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 information6.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 informationThe 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 informationMath 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 informationGreedy 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 informationMidterm 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 informationMath 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 information7 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 informationk-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 informationCMSC 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 informationAlgorithm 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 informationCPSC 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 informationPruning 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 informationFlows 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 informationarxiv: 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 informationOutline. 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 informationUndirected 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 informationBranching. 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 informationCV-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 informationCS 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 informationPrime 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 informationColoring 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 informationProbabilistic 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 informationDECOMPOSITIONS 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 information1 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 informationUndirected 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 informationAlgorithmic 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 informationDifferential 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 informationAlgorithms 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 informationMath 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 informationEnumerating 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 informationRandomized 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 informationAutomata-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 informationCS6375: 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 informationNeuronal 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 informationCheng 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 informationComputing 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 informationNear-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 informationEven 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 informationTHE 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 informationRamsey 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 informationCS 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 informationarxiv: 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 informationMaximum 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 informationMarkov 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 informationCS 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 informationCS 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 informationDetermine 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 informationWriting: 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 informationACO 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 informationarxiv: 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 informationAgenda. 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 informationMathematical 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 informationFactorised 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 informationChapter 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