EE512 Graphical Models Fall 2009

Size: px
Start display at page:

Download "EE512 Graphical Models Fall 2009"

Transcription

1 EE512 Graphical Models Fall 2009 Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical Engineering Fall Quarter, Lecture 13 - Nov 12th, 2009 Last updated $Id: lec13.tex,v /11/18 10:16:30 bilmes Exp $ Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 1 / 45

2 Class Road Map L1 (10/1): intro, cond. indep., ex. GMs L2 (10/6): GMs and MRFs L3 (10/8): MRFs, mobius, FGs L4 (10/13): Sem BNs L5 (10/15): Sem BNs 2. L6 (10/20): Evidence L7 (10/22): Inf. Trees 1 L8 (10/27): Inf. Trees 2 L9 (10/29): Inf. Trees 3 L10 (11/03): Inf. Trees 4 L11 (11/05): Inf. Trees 5 L12 (11/10): Inf. Trees 6 L13 (11/12): L14 (11/17): L15 (11/19): L16 (11/24): L17 (12/01): L18 (12/03): L19 (12/08): (video lecture) L20 (12/10): (video lecture) L21 (12/18): Friday, 2:30-4:20pm, final presentations Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 2 / 45

3 Readings Read tree inference.pdf Read evidence.pdf Read dgms.pdf Read ugms.pdf. Read intro.pdf. Optionally (but encouraged): read chapters 1 through 10 in Jordan text. Read relevant chapters in Koller/Friedman text. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 3 / 45

4 Homework/Project Project proposals due in 1 week from now (Thursday, Nov 19th, 11:59pm). What to turn in: One page proposals that describe what you plan to do for a project, again me PDF files (only PDF accepted). I ll comment on the PDF and mail it back to you. Final project will be a 4-page conference-style research paper due on Dec. 17th. Project should ideally be on some aspect of the material we have learnt. It could also be an implementation (i.e., a fast implementation of the JT algorithm, or loopy BP, and some reporting and experiences that you have had in doing this). While it ideally should be research-oriented, it is not acceptable to propose whatever machine learning task you are currently working on (e.g., An application of SVMs to protein folding would not be acceptable). Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 4 / 45

5 the MAXCLIQUE NP-COMPLETE problem There are a class of related problems that equivalently indicate the difficulty were are in. Theorem Given an arbitrary graph G = (V, E), find the largest clique C V (G), where large is measured in terms of C is an NP-complete optimization problem. Approximation algorithms - possible to do no worse than O((log V ) 2 / V ) times size of true maximum size clique. Inapproximable V 1/2 ɛ for any ɛ > 0. If we could find the smallest k such that it could be embedded it a k tree, we could identify the maximum clique in the graph. How? Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 5 / 45

6 Review Maximum-Cardinality search (MCS) (repeatedly select next node that has greatest number of previously selected neighbors). O( V + E ). Key insight - try to generate perfect elimination order in reverse. Want to do multiple queries, clique queries vs. non-clique queries, do it cheaply re-use work. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 6 / 45

7 Decomposition of G and Decomposable graphs Definition (Decomposition of G) A decomposition of a graph G = (V, E) (if it exists) is a partition (A, B, C) of V such that: C separates A from B in G. C is a clique. if A and B are both non-empty, then the decomposition is called proper. Definition A graph G = (V, E) is decomposable if either: 1) G is a clique, or 2) G possesses a proper decomposition (A, B, C) s.t. both subgraphs G[A C] and G[B C] are decomposable. Note part 2. It says possesses. Bottom of tree might affect top. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 7 / 45

8 Decomposable models and decomposition trees CDF A ACDF CH DK B C F D E BH DI EIJ EI DI BH BGH CK G H I J BGH BCH EI CK DIK DEI CH CDF K EIJ DEI CHK DK BCH CHK ACDF CDFK DIK CDFK p(x) = C C(G) p(x C ) S S(G) p(x S) d(s) 1 (1) Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 8 / 45

9 Decomposable models Proposition All of the maxcliques in a graph lie on the leaf nodes of the binary decomposition tree Proposition The set of all minimal separators of graph constitute the unique non-leaf nodes of the binary decomposition tree, with d(s) 1 being the number of times the minimal separator appears as a given non-leaf node. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 9 / 45

10 Triangulated vs. decomposable Theorem A given graph G = (V, E) is triangulated iff it is decomposable. So the following graph classes are identical: chordal (triangulated) graphs Those that have a perfect elimination order (one where elimination can be run w/o any fill-in) Those that are decomposable Those that MCS algorithm outputs chordal Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 10 / 45

11 Cluster graphs Definition (Cluster graph) Consider forming a new graph based on G where the new graph has nodes that correspond to clusters in the original G, and has edges existing between two (cluster) nodes only when the corresponding clusters have a non-zero intersection. That is, let C(G) = { C 1, C 2,..., C I } = be a set of I clusters of nodes V (G), where C i V (G), i I. Consider a new graph J = (I, E) where each node in J corresponds to a set of nodes in G, and where edge (i, j) E if C i C j. We will also use S ij = C i C j as notation. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 11 / 45

12 Cluster Trees If the graph is a tree, then we have what is called a cluster tree. Definition (Cluster Tree) Let C = { C 1, C 2,..., C I } be a set of node clusters of graph G = (V, E). A cluster tree is a tree T = (I, E T ) with vertices corresponding to clusters in C and edges corresponding to pairs of clusters C 1, C 2 C. We can label each vertex in i I by the set of graph nodes in the corresponding cluster in G, and we label each edge (i, j) E T by the cluster intersection, i.e., S ij = C i C j. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 12 / 45

13 Cluster Graphs/Trees F G F,G,A,B H,F,A,K,C H,C,I H A B C K D E ABK C,D,K D,K,E,J I J Left: a graph. Right: A cluster graph with I = 6 clusters, where C 1 = {F, G, A, B}, C 2 = {H, F, A, K, C},.... There is an edge (1, 2) since C 1 C 2 = {F, A}. If we remove all but the blue edges, then we get a cluster tree. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 13 / 45

14 Cluster Intersection Property (c.i.p.) Definition (Cluster Intersection Property) We are given a cluster tree T = (I, E T ), and let C 1, C 2 be any two clusters in the tree. Then the cluster intersection property states that C 1 C 2 C i for all C i on the (by definition, necessarily) unique path between C 1 and C 2 in the tree T. A given cluster tree might or might not have that property. Example Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 14 / 45

15 Running Intersection Property (r.i.p.) Definition (Running Intersection Property (r.i.p.)) Let C 1, C 2,..., C l be an ordered sequence of subsets of V (G). Then the ordering obeys the running intersection property (r.i.p.) property if for all i > 1, there exists j < i such that C i ( k<i C k ) = C i C j. r.i.p. is defined in terms of clusters of nodes in a graph. r.i.p. holds if such an ordering can be found. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 15 / 45

16 Running Intersection Property (r.i.p.) Given sequence of clusters C 1, C 2,..., C l. Define the history (accumulation) of sequence at position i: H i = C 1 C 2 C i. (2) Innovation (residual) or new nodes in C i not encountered in the previous history, as: R i = C i \ H i 1. (3) Lastly, define the non-innovation, commonality, or separation elements between new and previous history: S i = C i H i 1 (4) Note C i = R i S i, i th clusters consists of the innovation R i and the commonality S i. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 16 / 45

17 Running Intersection Property (r.i.p.) H i C j S i C i S i = (C 1 C 2 C i 1 ) C i = C j C i Clusters are in r.i.p. order if the commonality S i between new and history is fully contained in one element of history. I.e., there exists an j < i such that S i C j. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 17 / 45

18 First Two Properties Lemma The cluster intersection and running intersection properties are identical. Proof. Starting with clusters in r.i.p. order, construct cluster tree by connecting each i to its corresponding j node. This is a tree. Also, take any C i, C k with i > k. S i summarizes everything between C i and H i 1 so C i C k S i. Apply recursively on unique path between C i and C j. Conversely, perform traversal (depth or breadth first search) on cluster tree. That order will satisfy r.i.p. since any possible intersection between C i, C j on unique path, it must be fully contained in neighbor. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 18 / 45

19 First Two Properties BCE BE BEH BC ABC AB ABD BD BDF Example of a set of node clusters (within the cloud-like shapes) arranged in a tree that satisfies the r.i.p. and also the cluster intersection property. The intersections between neighboring node clusters are shown in the figure as square boxes. Consider the path or {B, E, H} {B, D, F } = {B}. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 19 / 45

20 Induced sub-tree property (i.s.p.) Definition (Induced Sub-tree Property) Given a a cluster tree T for graph G, the induced sub-tree property holds for T if for all v V, the set of clusters C C such that v C induces a sub-tree T (v) of T. Note, by definition the sub-tree is necessarily connected. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 20 / 45

21 Three properties Lemma Induced sub-tree property holds whenever cluster intersection property holds Proof. Assume induced subtree holds. Take all v C i C j, then each such v induces a sub-tree of T, and all of these sub-trees overlap on the unique path between C i and C j in T. Conversely, when cluster intersection property holds, given v V, consider all clusters that contain v, C(v) = {C C : v C}. For any pair C 1, C 2 C(v), we have that C 1 C 2 exists on the unique path between C 1 and C 2 in T, and since v C 1 C 2, v always exists on each of these paths. These paths, considered as a union together, cannot form a cycle (since they are paths on a tree). Moreover, these paths unioned together form a tree (they re connected). Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 21 / 45

22 Tree decomposition A tree decomposition is a cluster tree that satisfies induced sub-tree property (e.g., r.i.p. and c.i.p. as well). That is: Definition (tree decomposition) Given a graph G = (V, E), a tree-decomposition of a graph is a pair ({C i : i I }, T ) where T = (I, E T ) is a tree with node index set I, edge set E T, and {C i } i (one for each i I ) is a collection of clusters (subsets) of V (G) such that: 1 i I C i = V 2 for any edge (u, v) E(G), there exists i I with u, v C i 3 (r.i.p.) for any v V, the set {i I : v C i } forms a (nec. connected) subtree of T Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 22 / 45

23 Tree decomposition is also hard The tree-width of the tree-decomposition is the size of the largest C i minus one (i.e., max i I C i 1. Theorem Given graph G = (V, E), finding the tree decomposition T = (I, F ) of G that minimizes the tree width (max i I C i 1) is an NP-complete optimization problem. Note that this is approximable within O(log V ) but it is not possible to better than V 1 ɛ for any ɛ > 0. How does this relate to our problem though? Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 23 / 45

24 Junction Tree Definition Given a graph G = (V, E), a junction tree corresponding to G (if it exists) is a cluster tree T = (C, E T ) having the r.i.p. over the clusters, and where thoe nodes u, v adjacent to every edge (u, v) E(G) are together in at least one cluster. If clusters correspond to the cliques (resp. maxcliques) in G, it is a junction tree of cliques (resp. maxcliques). Junction tree could be defined on the cliques or maxcliques. Can get a junction tree of cliques by taking a chain of subsets of every maxclique and appending the junction tree with that chain, and r.i.p. still holds. Can do the other direction by merging cliques into neighboring superset cliques until we have only maxcliques left. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 24 / 45

25 Examples junction trees and not A ABD ABD B C D E BCD D CD CDE BD BCD CD CDE not all trees of maxcliques satisfy the r.i.p. not all trees of maxcliques are junction trees no r.i.p. order in middle case right case is ok Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 25 / 45

26 Examples junction trees and not F G F,G,A,B H,F,A,K,C H,C,I F,G,A,B H,F,A,K,C H,C,I H A B C K ABK C,D,K D,K,E,J D E ABK C,D,K D,K,E,J I Given middle graph, we have two examples (left and right) of cluster trees. Are any of them junction trees for this graph? Are any of them junction trees for some graph? Why/why not? J Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 26 / 45

27 Examples junction trees and not F G F,G,A,B H,F,A,K,C H,C,I H A B C K D E A,B,K,F C,D,K D,K,E,J I J Given left graph, is the right example a junction tree for left graph? Is it a junction tree for some graph? Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 27 / 45

28 Examples junction trees and not F G F,G,A,B H,F,A,K,C H,C,I H A B C K D E A,B,K,F C,D,K D,K,E,J I J Given left graph, is the right example a junction tree for left graph? Is it a junction tree for some graph? Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 28 / 45

29 Examples junction trees and not CDF A ACDF CH DK B C F D E BH DI EIJ EI DI BH BGH CK G H I J BGH BCH EI CK DIK DEI CH CDF K EIJ DEI CHK DK BCH CHK ACDF CDFK Junction tree of cliques for above graph. Note that r.i.p. holds. DIK CDFK BGH CKH ACDF DKI IEJ BH CH CK CDF DK DI EI CBH DKFC EID Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 29 / 45

30 Key theorem: Junction tree of maxcliques vs. triangulated graphs Theorem A graph G = (V, E) is decomposable iff a junction tree of maxcliques for G exists. Proof. Induction on the number of maxcliques. If G has one maxclique, it is both a junction tree and decomposable. Assume true for k maxcliques and show it for k Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 30 / 45

31 Junction tree of maxcliques triangulated graphs JT implies Decomposable... proof continued. a junction tree exists decomposable: Let T be a junction tree of maxcliques C, and let C 1, C 2 be adjacent in T. The edge C 1, C 2 in the tree separates T into two sub-trees T 1 and T 2, with V i being the nodes in T i, G i = G[V i ] being the subgraph of G corresponding to T i, and C i being the set of maxcliques in T i, for i = 1, 2. Thus V (G) = V 1 V 2, and C = C 1 C 2. Note that C 1 C 2 =. We also let S = V 1 V 2 which is the intersection of all the nodes in each of the two trees. C 1 C 2 Tree T 1 with nodes V 1 forming Tree T 2 with nodes V 2 forming graph G 1 = G[V 1] and maxcliques CGraphical 1. Models Fall 2009 cliques Lecture C Nov 12th, 2009 page 31 / graph G 2 = G[V 2] and max- Prof. Jeff Bilmes EE512 45

32 Junction tree of maxcliques triangulated graphs JT implies Decomposable... proof continued. Also, the nodes in T i are maxcliques in G i and T i is a junction tree for G i since r.i.p. still holds in the subtrees of a junction tree. Therefore, by induction, G i is decomposable. To show that G is decomposable, we need to show that: 1) S = V 1 V 2 is complete, and 2) that S separates G[V 1 \ S] from G[V 2 \ S]. If v S, then for each G i (i = 1, 2), there exists a clique C i with v C i, and the path in T joining C 1 and C 2 passes through both C 1 and C 2. Because of the r.i.p., we thus have that v C 1 and v C 2 and so v C 1 C 2. This means that V 1 V 2 C 1 C 2. But C i V i since C i is a clique in the corresponding tree T i. Therefore C 1 C 2 V 1 V 2 = S, so that S = C 1 C 2. This means that S contains all nodes that are common among the two subgraphs and moreover that S is complete as desired.... Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 32 / 45

33 Junction tree of maxcliques triangulated graphs JT implies Decomposable... proof continued. Next, to show that S is a separator, we take u V 1 \ S and v V 2 \ S (note that such choices mean u V 2 and v V 1 due to the commonality property of S). Suppose the contrary that S does not separate V 1 from V 2, which means there exists a path u, w 1, w 2,..., w k, v for the given u, v with w i S for all i. Therefore, there is a clique C C containing the set {u, w 1 }. We must have C C 2 since u V 2, which means C C 1 or C V 1 implying that w 1 V 1 and moreover that w 1 V 1 \ S. We repeat this argument with w 1 taking the place of u and w 2 taking the place of w 1 in the path, and so on until we end up with v V 1 \ S which is a contradiction. Therefore, S must separate V 1 from V 2. We have thus formed a decomposition of G as (V 1 \ S, S, V 2 \ S) and since G i is decomposable (by induction), we have that G is decomposable.... Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 33 / 45

34 Junction tree of maxcliques triangulated graphs Decomposable implies JT... proof continued. decomposable a junction tree exists: Since G is decomposable, let (W 1, W 2, S) be a proper decomposition of G into decomposable subsets G 1 = G[V 1 ] and G 2 = G[V 2 ] with V i = W i S. By induction, since G 1 and G 2 are decomposable, there exits a junction tree T 1 and T 2 corresponding to maxcliques in G 1 and G 2. Since this is a decomposition, with separator S, we can form all maxcliques C = C 1 C 2 with C i maxcliques of V i for tree T i. Choose C 1 C 1 and C 2 C 2 such that S C 1 and S C 2 which is possible since S is complete, and must be contained in some maxclique in both T 1 and T 2. We form a new tree T by linking C 1 T 1 with C 2 T 2. We need next to ensure that this new junction tree satisfies r.i.p.... Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 34 / 45

35 Junction tree of maxcliques triangulated graphs Decomposable implies JT... proof continued. Let v V. If v V 2, then all cliques containing v are in C 1 and those cliques form a connected tree by the junction tree property since T 1 is a junction tree. The same is true if v V 1. Otherwise, if v S (meaning that v V 1 V 2 ), then the cliques in C i containing v are connected in T i including C i for i = 1, 2. But by forming T by connecting C 1 andc 2, and since v is arbitrary, we have retained the junction tree property. Thus, T is a junction tree. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 35 / 45

36 Cliques or Maxcliques Lemma A junction tree of maxcliques for graph G = (V, E) exists iff a junction tree of cliques for graph G = (V, E) exists. Corollary How can we get from one to the other? A graph G is triangulated iff a junction tree for G exists. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 36 / 45

37 How to build a junction tree Maximum cardinality search algorithm can do this. If graph is triangulated, it produces a list of cliques in r.i.p. order. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 37 / 45

38 Maximum Cardinality Search with maxclique order Algorithm 1: Maximum Cardinality Search: Determines if a graph G is triangulated. Input: An undirected graph G = (V, E) with n = V. Result: is triangulated?, if so MCS ordering σ = (v 1,..., v n ), and maxcliques in r.i.p. order. L ; i 1 ; C ; while V \ L > 0 do Choose v i argmax u V \L δ(u) L ; /* v i s previously labeled neighbors has max cardinality. */ c i δ(v i ) L ; /* c i is v i s neighbors in the reverse elimination order. */ if {v i } c i is not complete in G then return not triangulated ; if c i c i 1 then C (C, {c i 1 {v i 1 }}) ; /* Append the next maxclique to list C. */ if i = n then C (C, {c i {v i }}) ; ; /* Append the last maxclique to list C. */ L L {v i } i i + 1 ; return triangulated, the ordering σ, and the set of maxcliques C which are in r.i.p. order. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 38 / 45

39 Note: graph must be triangulated. I.e., maximum spanning tree of a cluster graph where the clusters are maxcliques but the graph is not triangulated will clearly not produce a Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 39 / 45 Logistics Review Junction Trees Intersection Graphs How to build a junction tree Alternatively, we can construct the maxcliques in any form (say by running elimination) and find a maximal spanning tree over the edge-weighted cluster graph, where clusters correspond to maxcliques, and edge weights correspond to the size of the intersection of the two adjacent maxcliques. Prim s algorithm can run in O( E + V log V ), much better than V 2 for sparse graphs. Theorem A tree of maxcliques T is a junction tree iff it is a maximum spanning tree on the maxclique graph, with edge weights set according to the cardinality of the separator between the two maxcliques.

40 Other aspects of JTs There can be multiple JTs for a given triangulated graph (e.g., consider any graph where d(s) 3 for some separator S). JTs are not binary decomposition trees (BDTs), but they are related. Leaf nodes of BDTs correspond to nodes in a JT. Non-leaf nodes in a BDTs correspond to edges in a JT. Therefore, edges in a JT correspond to all minimal separators in triangulated graph G. Set of maxcliques unique Different JTs always have same set of nodes and separators, just different configurations. Again, JT can be over not just maxcliques. JT can exist over all cliques, or over some cliques (if they contain all maxcliques) Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 40 / 45

41 Edge Clique Covers Set cover - sets must cover the ground/universal set (ground set cover) Vertex cover - vertices must cover the edges (edge vertex cover) Edge cover - edges must cover the vertices (vertex edge cover) clique cover - cliques cover the edges (edge clique cover) The maxcliques of a junction tree constitute an edge clique cover for triangulated graph G start with set of nodes V = C C C. Add edge between u, v V if exists a C C such that u, v C. Going from G to JT and back to the graph yields the same graph. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 41 / 45

42 Intersection Graphs Definition (Intersection Graph) An intersection graph is a graph G = (V, E) where each vertex v V (G) corresponds to a set U v and each edge (u, v) E(G) exists only if U u U v. some underlying set of objects U and a multiset of subsets of U of the form U = {U 1, U 2,..., U n } with U i U might have some i, j where U i = U j. Theorem Every graph is an intersection graph. This can be seen informally by consider an arbitrary graph, create a U i for every node, and construct the subsets so that the edges will exist when taking intersection. Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 42 / 45

43 Interval Graphs Intersection graphs where there subsets are intervals/segments [a, b] in R Any graph that can be constructed this way is an interval graph a b c d e Are all graphs interval graphs? a b c e d Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 43 / 45

44 Interval Graphs Intersection graphs where there subsets are intervals/segments [a, b] in R Any graph that can be constructed this way is an interval graph a b c d e Are all graphs interval graphs? 4-cycle a b c e d Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 43 / 45

45 Sub-tree intersection Graphs T 1 T 2 T 3 T Intersection graph, where subsets are (nec. connected) subtrees of some ground tree. Intersection exists if there are any nodes in common amongst the two corresponding trees. T 4 T 5 T 7 T8 T 6 T 9 T 10 T T 12 T 1 T 2 T T 4 T 5 T 6 T 12 T 9 T 8 T 11 T 7 T 10 Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 44 / 45

46 Sub-tree intersection graphs Theorem A graph G = (V, E) is triangulated iff it corresponds to a sub-tree graph (i.e., an intersection graph on subtrees of some tree). Prof. Jeff Bilmes EE512 Graphical Models Fall 2009 Lecture 13 - Nov 12th, 2009 page 45 / 45

EE512A Advanced Inference in Graphical Models

EE512A Advanced Inference in Graphical Models EE512A Advanced Inference in Graphical Models Fall Quarter, Lecture 6 http://j.ee.washington.edu/~bilmes/classes/ee512a_fall_2014/ Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical

More information

EE512 Graphical Models Fall 2009

EE512 Graphical Models Fall 2009 EE512 Graphical Models Fall 2009 Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical Engineering Fall Quarter, 2009 http://ssli.ee.washington.edu/~bilmes/ee512fa09 Lecture 11 -

More information

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models.

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models. Undirected Graphical Models: Chordal Graphs, Decomposable Graphs, Junction Trees, and Factorizations Peter Bartlett. October 2003. These notes present some properties of chordal graphs, a set of undirected

More information

Lecture 11: May 1, 2000

Lecture 11: May 1, 2000 / EE596 Pat. Recog. II: Introduction to Graphical Models Spring 2000 Lecturer: Jeff Bilmes Lecture 11: May 1, 2000 University of Washington Dept. of Electrical Engineering Scribe: David Palmer 11.1 Graph

More information

Last course. Last course. Michel Habib 28 octobre 2016

Last course. Last course. Michel Habib  28 octobre 2016 Last course Michel Habib habib@irif.fr http://www.irif.fr/~habib 28 octobre 2016 Schedule Introduction More structural insights on chordal graphs Properties of reduced clique graphs Exercises Interval

More information

Lecture 13: May 10, 2002

Lecture 13: May 10, 2002 EE96 Pat. Recog. II: Introduction to Graphical Models University of Washington Spring 00 Dept. of Electrical Engineering Lecture : May 0, 00 Lecturer: Jeff Bilmes Scribe: Arindam Mandal, David Palmer(000).

More information

Faster parameterized algorithms for Minimum Fill-In

Faster parameterized algorithms for Minimum Fill-In Faster parameterized algorithms for Minimum Fill-In Hans L. Bodlaender Pinar Heggernes Yngve Villanger Abstract We present two parameterized algorithms for the Minimum Fill-In problem, also known as Chordal

More information

CS242: Probabilistic Graphical Models Lecture 2B: Loopy Belief Propagation & Junction Trees

CS242: Probabilistic Graphical Models Lecture 2B: Loopy Belief Propagation & Junction Trees CS242: Probabilistic Graphical Models Lecture 2B: Loopy Belief Propagation & Junction Trees Professor Erik Sudderth Brown University Computer Science September 22, 2016 Some figures and materials courtesy

More information

Faster parameterized algorithms for Minimum Fill-In

Faster parameterized algorithms for Minimum Fill-In Faster parameterized algorithms for Minimum Fill-In Hans L. Bodlaender Pinar Heggernes Yngve Villanger Technical Report UU-CS-2008-042 December 2008 Department of Information and Computing Sciences Utrecht

More information

CSC 373: Algorithm Design and Analysis Lecture 4

CSC 373: Algorithm Design and Analysis Lecture 4 CSC 373: Algorithm Design and Analysis Lecture 4 Allan Borodin January 14, 2013 1 / 16 Lecture 4: Outline (for this lecture and next lecture) Some concluding comments on optimality of EST Greedy Interval

More information

Read-Once Functions (Revisited) and the Readability Number of a Boolean Function. Martin Charles Golumbic

Read-Once Functions (Revisited) and the Readability Number of a Boolean Function. Martin Charles Golumbic Read-Once Functions (Revisited) and the Readability Number of a Boolean Function Martin Charles Golumbic Caesarea Rothschild Institute University of Haifa Joint work with Aviad Mintz and Udi Rotics Outline

More information

Treewidth and graph minors

Treewidth and graph minors Treewidth and graph minors Lectures 9 and 10, December 29, 2011, January 5, 2012 We shall touch upon the theory of Graph Minors by Robertson and Seymour. This theory gives a very general condition under

More information

Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science Algorithms For Inference Fall 2014

Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science Algorithms For Inference Fall 2014 Suggested Reading: Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.438 Algorithms For Inference Fall 2014 Probabilistic Modelling and Reasoning: The Junction

More information

Chordal graphs MPRI

Chordal graphs MPRI Chordal graphs MPRI 2017 2018 Michel Habib habib@irif.fr http://www.irif.fr/~habib Sophie Germain, septembre 2017 Schedule Chordal graphs Representation of chordal graphs LBFS and chordal graphs More structural

More information

On 2-Subcolourings of Chordal Graphs

On 2-Subcolourings of Chordal Graphs On 2-Subcolourings of Chordal Graphs Juraj Stacho School of Computing Science, Simon Fraser University 8888 University Drive, Burnaby, B.C., Canada V5A 1S6 jstacho@cs.sfu.ca Abstract. A 2-subcolouring

More information

Chordal Graphs: Theory and Algorithms

Chordal Graphs: Theory and Algorithms Chordal Graphs: Theory and Algorithms 1 Chordal graphs Chordal graph : Every cycle of four or more vertices has a chord in it, i.e. there is an edge between two non consecutive vertices of the cycle. Also

More information

Decomposition of log-linear models

Decomposition of log-linear models Graphical Models, Lecture 5, Michaelmas Term 2009 October 27, 2009 Generating class Dependence graph of log-linear model Conformal graphical models Factor graphs A density f factorizes w.r.t. A if there

More information

P = NP; P NP. Intuition of the reduction idea:

P = NP; P NP. Intuition of the reduction idea: 1 Polynomial Time Reducibility The question of whether P = NP is one of the greatest unsolved problems in the theoretical computer science. Two possibilities of relationship between P and N P P = NP; P

More information

Enumeration of Perfect Sequences in Chordal Graphs

Enumeration of Perfect Sequences in Chordal Graphs Enumeration of Perfect Sequences in Chordal Graphs Yasuko Matsui, Ryuhei Uehara, Takeaki Uno Center for Computational Epidemiology and Response Analysis University of North Texas May 4, 20 (CeCERA) GSCM

More information

Bayesian Networks, Winter Yoav Haimovitch & Ariel Raviv

Bayesian Networks, Winter Yoav Haimovitch & Ariel Raviv Bayesian Networks, Winter 2009-2010 Yoav Haimovitch & Ariel Raviv 1 Chordal Graph Warm up Theorem 7 Perfect Vertex Elimination Scheme Maximal cliques Tree Bibliography M.C.Golumbic Algorithmic Graph Theory

More information

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings On the Relationships between Zero Forcing Numbers and Certain Graph Coverings Fatemeh Alinaghipour Taklimi, Shaun Fallat 1,, Karen Meagher 2 Department of Mathematics and Statistics, University of Regina,

More information

Probabilistic Graphical Models

Probabilistic Graphical Models Probabilistic Graphical Models Lecture 8 Junction Trees CS/CNS/EE 155 Andreas Krause Announcements Homework 2 due next Wednesday (Nov 4) in class Start early!!! Project milestones due Monday (Nov 9) 4

More information

Approximation Algorithms for Geometric Intersection Graphs

Approximation Algorithms for Geometric Intersection Graphs Approximation Algorithms for Geometric Intersection Graphs Subhas C. Nandy (nandysc@isical.ac.in) Advanced Computing and Microelectronics Unit Indian Statistical Institute Kolkata 700108, India. Outline

More information

Solution for Homework set 3

Solution for Homework set 3 TTIC 300 and CMSC 37000 Algorithms Winter 07 Solution for Homework set 3 Question (0 points) We are given a directed graph G = (V, E), with two special vertices s and t, and non-negative integral capacities

More information

MAT 145: PROBLEM SET 6

MAT 145: PROBLEM SET 6 MAT 145: PROBLEM SET 6 DUE TO FRIDAY MAR 8 Abstract. This problem set corresponds to the eighth week of the Combinatorics Course in the Winter Quarter 2019. It was posted online on Friday Mar 1 and is

More information

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed

More information

Junction Trees and Chordal Graphs

Junction Trees and Chordal Graphs Graphical Models, Lecture 6, Michaelmas Term 2011 October 24, 2011 Decomposability Factorization of Markov distributions Explicit formula for MLE Consider an undirected graph G = (V, E). A partitioning

More information

Matching Theory. Figure 1: Is this graph bipartite?

Matching Theory. Figure 1: Is this graph bipartite? Matching Theory 1 Introduction A matching M of a graph is a subset of E such that no two edges in M share a vertex; edges which have this property are called independent edges. A matching M is said to

More information

On Covering a Graph Optimally with Induced Subgraphs

On Covering a Graph Optimally with Induced Subgraphs On Covering a Graph Optimally with Induced Subgraphs Shripad Thite April 1, 006 Abstract We consider the problem of covering a graph with a given number of induced subgraphs so that the maximum number

More information

1 Matchings in Graphs

1 Matchings in Graphs Matchings in Graphs J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 Definition Two edges are called independent if they are not adjacent

More information

by conservation of flow, hence the cancelation. Similarly, we have

by conservation of flow, hence the cancelation. Similarly, we have Chapter 13: Network Flows and Applications Network: directed graph with source S and target T. Non-negative edge weights represent capacities. Assume no edges into S or out of T. (If necessary, we can

More information

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph Graphs and Trees Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) who is connected to whom Web search views web pages as a graph Who points to whom Niche graphs (Ecology):

More information

Belief propagation in a bucket-tree. Handouts, 275B Fall Rina Dechter. November 1, 2000

Belief propagation in a bucket-tree. Handouts, 275B Fall Rina Dechter. November 1, 2000 Belief propagation in a bucket-tree Handouts, 275B Fall-2000 Rina Dechter November 1, 2000 1 From bucket-elimination to tree-propagation The bucket-elimination algorithm, elim-bel, for belief updating

More information

MATH 363 Final Wednesday, April 28. Final exam. You may use lemmas and theorems that were proven in class and on assignments unless stated otherwise.

MATH 363 Final Wednesday, April 28. Final exam. You may use lemmas and theorems that were proven in class and on assignments unless stated otherwise. Final exam This is a closed book exam. No calculators are allowed. Unless stated otherwise, justify all your steps. You may use lemmas and theorems that were proven in class and on assignments unless stated

More information

Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected

Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected graph G with at least 2 vertices contains at least 2

More information

Discrete mathematics , Fall Instructor: prof. János Pach

Discrete mathematics , Fall Instructor: prof. János Pach Discrete mathematics 2016-2017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.2. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations,

More information

Bipartite Roots of Graphs

Bipartite Roots of Graphs Bipartite Roots of Graphs Lap Chi Lau Department of Computer Science University of Toronto Graph H is a root of graph G if there exists a positive integer k such that x and y are adjacent in G if and only

More information

A Decomposition for Chordal graphs and Applications

A Decomposition for Chordal graphs and Applications A Decomposition for Chordal graphs and Applications Michel Habib Joint work with Vincent Limouzy and Juraj Stacho Pretty Structure, Existencial Polytime Jack Edmonds Birthday, 7-9 april 2009 Schedule Chordal

More information

!!" '!" Fall 2003 ICS 275A - Constraint Networks 2

!! '! Fall 2003 ICS 275A - Constraint Networks 2 chapter 10 1 !"!!" # $ %&!" '!" Fall 2003 ICS 275A - Constraint Networks 2 ( Complexity : O(exp(n)) Fall 2003 ICS 275A - Constraint Networks 3 * bucket i = O(exp( w )) DR time and space : O( n exp( w *

More information

Graph Connectivity G G G

Graph Connectivity G G G Graph Connectivity 1 Introduction We have seen that trees are minimally connected graphs, i.e., deleting any edge of the tree gives us a disconnected graph. What makes trees so susceptible to edge deletions?

More information

CSE 548: Analysis of Algorithms. Lecture 13 ( Approximation Algorithms )

CSE 548: Analysis of Algorithms. Lecture 13 ( Approximation Algorithms ) CSE 548: Analysis of Algorithms Lecture 13 ( Approximation Algorithms ) Rezaul A. Chowdhury Department of Computer Science SUNY Stony Brook Fall 2017 Approximation Ratio Consider an optimization problem

More information

Graphs and Discrete Structures

Graphs and Discrete Structures Graphs and Discrete Structures Nicolas Bousquet Louis Esperet Fall 2018 Abstract Brief summary of the first and second course. É 1 Chromatic number, independence number and clique number The chromatic

More information

Vertical decomposition of a lattice using clique separators

Vertical decomposition of a lattice using clique separators Vertical decomposition of a lattice using clique separators Anne Berry, Romain Pogorelcnik, Alain Sigayret LIMOS UMR CNRS 6158 Ensemble Scientifique des Cézeaux Université Blaise Pascal, F-63 173 Aubière,

More information

Polygon decomposition. Motivation: Art gallery problem

Polygon decomposition. Motivation: Art gallery problem CG Lecture 3 Polygon decomposition 1. Polygon triangulation Triangulation theory Monotone polygon triangulation 2. Polygon decomposition into monotone pieces 3. Trapezoidal decomposition 4. Convex decomposition

More information

GRAPH THEORY and APPLICATIONS. Factorization Domination Indepence Clique

GRAPH THEORY and APPLICATIONS. Factorization Domination Indepence Clique GRAPH THEORY and APPLICATIONS Factorization Domination Indepence Clique Factorization Factor A factor of a graph G is a spanning subgraph of G, not necessarily connected. G is the sum of factors G i, if:

More information

Advanced Combinatorial Optimization September 17, Lecture 3. Sketch some results regarding ear-decompositions and factor-critical graphs.

Advanced Combinatorial Optimization September 17, Lecture 3. Sketch some results regarding ear-decompositions and factor-critical graphs. 18.438 Advanced Combinatorial Optimization September 17, 2009 Lecturer: Michel X. Goemans Lecture 3 Scribe: Aleksander Madry ( Based on notes by Robert Kleinberg and Dan Stratila.) In this lecture, we

More information

AMS /672: Graph Theory Homework Problems - Week V. Problems to be handed in on Wednesday, March 2: 6, 8, 9, 11, 12.

AMS /672: Graph Theory Homework Problems - Week V. Problems to be handed in on Wednesday, March 2: 6, 8, 9, 11, 12. AMS 550.47/67: Graph Theory Homework Problems - Week V Problems to be handed in on Wednesday, March : 6, 8, 9,,.. Assignment Problem. Suppose we have a set {J, J,..., J r } of r jobs to be filled by a

More information

Simpler, Linear-time Transitive Orientation via Lexicographic Breadth-First Search

Simpler, Linear-time Transitive Orientation via Lexicographic Breadth-First Search Simpler, Linear-time Transitive Orientation via Lexicographic Breadth-First Search Marc Tedder University of Toronto arxiv:1503.02773v1 [cs.ds] 10 Mar 2015 Abstract Comparability graphs are the undirected

More information

Necessary edges in k-chordalizations of graphs

Necessary edges in k-chordalizations of graphs Necessary edges in k-chordalizations of graphs Hans L. Bodlaender Abstract In this note, we look at which edges must always be added to a given graph G = (V, E), when we want to make it a chordal graph

More information

Small Survey on Perfect Graphs

Small Survey on Perfect Graphs Small Survey on Perfect Graphs Michele Alberti ENS Lyon December 8, 2010 Abstract This is a small survey on the exciting world of Perfect Graphs. We will see when a graph is perfect and which are families

More information

1 Matchings with Tutte s Theorem

1 Matchings with Tutte s Theorem 1 Matchings with Tutte s Theorem Last week we saw a fairly strong necessary criterion for a graph to have a perfect matching. Today we see that this condition is in fact sufficient. Theorem 1 (Tutte, 47).

More information

Rigidity, connectivity and graph decompositions

Rigidity, connectivity and graph decompositions First Prev Next Last Rigidity, connectivity and graph decompositions Brigitte Servatius Herman Servatius Worcester Polytechnic Institute Page 1 of 100 First Prev Next Last Page 2 of 100 We say that a framework

More information

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees Applied Mathematics Letters 24 (2011) 719 723 Contents lists available at ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml Graph triangulations and the compatibility

More information

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1 Graph fundamentals Bipartite graph characterization Lemma. If a graph contains an odd closed walk, then it contains an odd cycle. Proof strategy: Consider a shortest closed odd walk W. If W is not a cycle,

More information

THE LEAFAGE OF A CHORDAL GRAPH

THE LEAFAGE OF A CHORDAL GRAPH Discussiones Mathematicae Graph Theory 18 (1998 ) 23 48 THE LEAFAGE OF A CHORDAL GRAPH In-Jen Lin National Ocean University, Taipei, Taiwan Terry A. McKee 1 Wright State University, Dayton, OH 45435-0001,

More information

Conflict Graphs for Combinatorial Optimization Problems

Conflict Graphs for Combinatorial Optimization Problems Conflict Graphs for Combinatorial Optimization Problems Ulrich Pferschy joint work with Andreas Darmann and Joachim Schauer University of Graz, Austria Introduction Combinatorial Optimization Problem CO

More information

An O(m + nlog n) On-Line Algorithm for Recognizing Interval Graphs

An O(m + nlog n) On-Line Algorithm for Recognizing Interval Graphs An O(m + nlog n) On-Line Algorithm for Recognizing Interval Graphs Wen-Lian Hsu Institute of Information Science, Academia Sinica, Taipei, Taiwan, R.O.C. Abstract. Since the invention of PQ-trees by Booth

More information

Graph Algorithms Using Depth First Search

Graph Algorithms Using Depth First Search Graph Algorithms Using Depth First Search Analysis of Algorithms Week 8, Lecture 1 Prepared by John Reif, Ph.D. Distinguished Professor of Computer Science Duke University Graph Algorithms Using Depth

More information

Constraint Satisfaction Problems

Constraint Satisfaction Problems Constraint Satisfaction Problems Search and Lookahead Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 4/6, 2012 Nebel, Hué and Wölfl (Universität Freiburg) Constraint

More information

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs Graphs and Network Flows IE411 Lecture 21 Dr. Ted Ralphs IE411 Lecture 21 1 Combinatorial Optimization and Network Flows In general, most combinatorial optimization and integer programming problems are

More information

Topics in Combinatorial Optimization February 5, Lecture 2

Topics in Combinatorial Optimization February 5, Lecture 2 8.997 Topics in Combinatorial Optimization February 5, 2004 Lecture 2 Lecturer: Michel X. Goemans Scribe: Robert Kleinberg In this lecture, we will: Present Edmonds algorithm for computing a maximum matching

More information

6. Lecture notes on matroid intersection

6. Lecture notes on matroid intersection Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans May 2, 2017 6. Lecture notes on matroid intersection One nice feature about matroids is that a simple greedy algorithm

More information

The Structure of Bull-Free Perfect Graphs

The Structure of Bull-Free Perfect Graphs The Structure of Bull-Free Perfect Graphs Maria Chudnovsky and Irena Penev Columbia University, New York, NY 10027 USA May 18, 2012 Abstract The bull is a graph consisting of a triangle and two vertex-disjoint

More information

Computing a Clique Tree with the Algorithm Maximal Label Search

Computing a Clique Tree with the Algorithm Maximal Label Search algorithms Article Computing a Clique Tree with the Algorithm Maximal Label Search Anne Berry 1 and eneviève Simonet 2, * 1 LIMOS (Laboratoire d Informatique, d Optimisation et de Modélisation des Systèmes)

More information

CSE 373 MAY 10 TH SPANNING TREES AND UNION FIND

CSE 373 MAY 10 TH SPANNING TREES AND UNION FIND CSE 373 MAY 0 TH SPANNING TREES AND UNION FIND COURSE LOGISTICS HW4 due tonight, if you want feedback by the weekend COURSE LOGISTICS HW4 due tonight, if you want feedback by the weekend HW5 out tomorrow

More information

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees.

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees. Tree 1. Trees and their Properties. Spanning trees 3. Minimum Spanning Trees 4. Applications of Minimum Spanning Trees 5. Minimum Spanning Tree Algorithms 1.1 Properties of Trees: Definition: A graph G

More information

The Konigsberg Bridge Problem

The Konigsberg Bridge Problem The Konigsberg Bridge Problem This is a classic mathematical problem. There were seven bridges across the river Pregel at Königsberg. Is it possible to take a walk in which each bridge is crossed exactly

More information

1 Digraphs. Definition 1

1 Digraphs. Definition 1 1 Digraphs Definition 1 Adigraphordirected graphgisatriplecomprisedofavertex set V(G), edge set E(G), and a function assigning each edge an ordered pair of vertices (tail, head); these vertices together

More information

APPROXIMATION ALGORITHMS FOR TREEWIDTH. Keywords: Treewidth, Triangulation, Tree Decomposition, Network Flow.

APPROXIMATION ALGORITHMS FOR TREEWIDTH. Keywords: Treewidth, Triangulation, Tree Decomposition, Network Flow. APPROXIMATION ALGORITHMS FOR TREEWIDTH EYAL AMIR COMPUTER SCIENCE DEPARTMENT UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN URBANA, IL 61801, USA EYAL@CS.UIUC.EDU Abstract. This paper presents algorithms whose

More information

Fully dynamic algorithm for recognition and modular decomposition of permutation graphs

Fully dynamic algorithm for recognition and modular decomposition of permutation graphs Fully dynamic algorithm for recognition and modular decomposition of permutation graphs Christophe Crespelle Christophe Paul CNRS - Département Informatique, LIRMM, Montpellier {crespell,paul}@lirmm.fr

More information

V,T C3: S,L,B T C4: A,L,T A,L C5: A,L,B A,B C6: C2: X,A A

V,T C3: S,L,B T C4: A,L,T A,L C5: A,L,B A,B C6: C2: X,A A Inference II Daphne Koller Stanford University CS228 Handout #13 In the previous chapter, we showed how efficient inference can be done in a BN using an algorithm called Variable Elimination, that sums

More information

Junction Trees and Chordal Graphs

Junction Trees and Chordal Graphs Graphical Models, Lecture 6, Michaelmas Term 2009 October 30, 2009 Decomposability Factorization of Markov distributions Explicit formula for MLE Consider an undirected graph G = (V, E). A partitioning

More information

Graph and Digraph Glossary

Graph and Digraph Glossary 1 of 15 31.1.2004 14:45 Graph and Digraph Glossary A B C D E F G H I-J K L M N O P-Q R S T U V W-Z Acyclic Graph A graph is acyclic if it contains no cycles. Adjacency Matrix A 0-1 square matrix whose

More information

Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1

Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1 CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) January 11, 2018 Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1 In this lecture

More information

Solving NP-hard Problems on Special Instances

Solving NP-hard Problems on Special Instances Solving NP-hard Problems on Special Instances Solve it in poly- time I can t You can assume the input is xxxxx No Problem, here is a poly-time algorithm 1 Solving NP-hard Problems on Special Instances

More information

Junction tree propagation - BNDG 4-4.6

Junction tree propagation - BNDG 4-4.6 Junction tree propagation - BNDG 4-4. Finn V. Jensen and Thomas D. Nielsen Junction tree propagation p. 1/2 Exact Inference Message Passing in Join Trees More sophisticated inference technique; used in

More information

The strong chromatic number of a graph

The strong chromatic number of a graph The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same

More information

Lecture 4: Primal Dual Matching Algorithm and Non-Bipartite Matching. 1 Primal/Dual Algorithm for weighted matchings in Bipartite Graphs

Lecture 4: Primal Dual Matching Algorithm and Non-Bipartite Matching. 1 Primal/Dual Algorithm for weighted matchings in Bipartite Graphs CMPUT 675: Topics in Algorithms and Combinatorial Optimization (Fall 009) Lecture 4: Primal Dual Matching Algorithm and Non-Bipartite Matching Lecturer: Mohammad R. Salavatipour Date: Sept 15 and 17, 009

More information

2. Lecture notes on non-bipartite matching

2. Lecture notes on non-bipartite matching Massachusetts Institute of Technology 18.433: Combinatorial Optimization Michel X. Goemans February 15th, 013. Lecture notes on non-bipartite matching Given a graph G = (V, E), we are interested in finding

More information

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2, List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the

More information

Ch9: Exact Inference: Variable Elimination. Shimi Salant, Barak Sternberg

Ch9: Exact Inference: Variable Elimination. Shimi Salant, Barak Sternberg Ch9: Exact Inference: Variable Elimination Shimi Salant Barak Sternberg Part 1 Reminder introduction (1/3) We saw two ways to represent (finite discrete) distributions via graphical data structures: Bayesian

More information

Fixed-Parameter Algorithms, IA166

Fixed-Parameter Algorithms, IA166 Fixed-Parameter Algorithms, IA166 Sebastian Ordyniak Faculty of Informatics Masaryk University Brno Spring Semester 2013 Introduction Outline 1 Introduction Algorithms on Locally Bounded Treewidth Layer

More information

A NEW TEST FOR INTERVAL GRAPHS. Wen-Lian Hsu 1

A NEW TEST FOR INTERVAL GRAPHS. Wen-Lian Hsu 1 A NEW TEST FOR INTERVAL GRAPHS Wen-Lian Hsu 1 Institute of Information Science, Academia Sinica Taipei, Taiwan, Republic of China hsu@iis.sinica.edu.tw Abstract An interval graph is the intersection graph

More information

Maximal Label Search algorithms to compute perfect and minimal elimination orderings

Maximal Label Search algorithms to compute perfect and minimal elimination orderings Author manuscript, published in "SIAM Journal on Discrete Mathematics 23, 1 (2009) 428-446" Maximal Label Search algorithms to compute perfect and minimal elimination orderings A. Berry R. Krueger G. Simonet

More information

Solutions for the Exam 6 January 2014

Solutions for the Exam 6 January 2014 Mastermath and LNMB Course: Discrete Optimization Solutions for the Exam 6 January 2014 Utrecht University, Educatorium, 13:30 16:30 The examination lasts 3 hours. Grading will be done before January 20,

More information

Planarity. 1 Introduction. 2 Topological Results

Planarity. 1 Introduction. 2 Topological Results Planarity 1 Introduction A notion of drawing a graph in the plane has led to some of the most deep results in graph theory. Vaguely speaking by a drawing or embedding of a graph G in the plane we mean

More information

Parameterized coloring problems on chordal graphs

Parameterized coloring problems on chordal graphs Parameterized coloring problems on chordal graphs Dániel Marx Department of Computer Science and Information Theory, Budapest University of Technology and Economics Budapest, H-1521, Hungary dmarx@cs.bme.hu

More information

Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace

Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace CHICAGO JOURNAL OF THEORETICAL COMPUTER SCIENCE 2014, Article 2, pages 1 29 http://cjtcs.cs.uchicago.edu/ Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace Thomas Thierauf Fabian

More information

3 Fractional Ramsey Numbers

3 Fractional Ramsey Numbers 27 3 Fractional Ramsey Numbers Since the definition of Ramsey numbers makes use of the clique number of graphs, we may define fractional Ramsey numbers simply by substituting fractional clique number into

More information

V10 Metabolic networks - Graph connectivity

V10 Metabolic networks - Graph connectivity V10 Metabolic networks - Graph connectivity Graph connectivity is related to analyzing biological networks for - finding cliques - edge betweenness - modular decomposition that have been or will be covered

More information

4. (a) Draw the Petersen graph. (b) Use Kuratowski s teorem to prove that the Petersen graph is non-planar.

4. (a) Draw the Petersen graph. (b) Use Kuratowski s teorem to prove that the Petersen graph is non-planar. UPPSALA UNIVERSITET Matematiska institutionen Anders Johansson Graph Theory Frist, KandMa, IT 010 10 1 Problem sheet 4 Exam questions Solve a subset of, say, four questions to the problem session on friday.

More information

Assignment 5: Solutions

Assignment 5: Solutions Algorithm Design Techniques Assignment 5: Solutions () Port Authority. [This problem is more commonly called the Bin Packing Problem.] (a) Suppose K = 3 and (w, w, w 3, w 4 ) = (,,, ). The optimal solution

More information

arxiv: v1 [cs.dm] 21 Dec 2015

arxiv: v1 [cs.dm] 21 Dec 2015 The Maximum Cardinality Cut Problem is Polynomial in Proper Interval Graphs Arman Boyacı 1, Tinaz Ekim 1, and Mordechai Shalom 1 Department of Industrial Engineering, Boğaziçi University, Istanbul, Turkey

More information

Introduction to Algorithms

Introduction to Algorithms Introduction to Algorithms, Lecture 1 /1/200 Introduction to Algorithms.04J/1.401J LECTURE 11 Graphs, MST, Greedy, Prim Graph representation Minimum spanning trees Greedy algorithms hallmarks. Greedy choice

More information

Hamiltonian Circuits in Chordal Graphs William Carter Mathematics and Computer Science MSc 2010/2011

Hamiltonian Circuits in Chordal Graphs William Carter Mathematics and Computer Science MSc 2010/2011 Hamiltonian Circuits in Chordal Graphs William Carter Mathematics and Computer Science MSc 2010/2011 The candidate confirms that the work submitted is their own and the appropriate credit has been given

More information

OSU CS 536 Probabilistic Graphical Models. Loopy Belief Propagation and Clique Trees / Join Trees

OSU CS 536 Probabilistic Graphical Models. Loopy Belief Propagation and Clique Trees / Join Trees OSU CS 536 Probabilistic Graphical Models Loopy Belief Propagation and Clique Trees / Join Trees Slides from Kevin Murphy s Graphical Model Tutorial (with minor changes) Reading: Koller and Friedman Ch

More information

1. Meshes. D7013E Lecture 14

1. Meshes. D7013E Lecture 14 D7013E Lecture 14 Quadtrees Mesh Generation 1. Meshes Input: Components in the form of disjoint polygonal objects Integer coordinates, 0, 45, 90, or 135 angles Output: A triangular mesh Conforming: A triangle

More information

K 4 C 5. Figure 4.5: Some well known family of graphs

K 4 C 5. Figure 4.5: Some well known family of graphs 08 CHAPTER. TOPICS IN CLASSICAL GRAPH THEORY K, K K K, K K, K K, K C C C C 6 6 P P P P P. Graph Operations Figure.: Some well known family of graphs A graph Y = (V,E ) is said to be a subgraph of a graph

More information

Greedy Algorithms. Previous Examples: Huffman coding, Minimum Spanning Tree Algorithms

Greedy Algorithms. Previous Examples: Huffman coding, Minimum Spanning Tree Algorithms Greedy Algorithms A greedy algorithm is one where you take the step that seems the best at the time while executing the algorithm. Previous Examples: Huffman coding, Minimum Spanning Tree Algorithms Coin

More information

Lecture 25 Notes Spanning Trees

Lecture 25 Notes Spanning Trees Lecture 25 Notes Spanning Trees 15-122: Principles of Imperative Computation (Spring 2016) Frank Pfenning 1 Introduction The following is a simple example of a connected, undirected graph with 5 vertices

More information