Lemma of Gessel Viennot

Size: px
Start display at page:

Download "Lemma of Gessel Viennot"

Transcription

1 Advanced Graph Algorithms Jan-Apr 2014 Lemma of Gessel Viennot Speaker: Diptapriyo Majumdar Date: April 22, Overview In the last few lectures, we had learnt different algorithms using matrix multiplication. For example strassen s algorithm for matrix multiplication, finding max cut problem of a weighted graph, finding witness for boolean matrix multiplication, min plus product of two matrices etc etc. Today, we will learn Gessel Viennot Lemma. It is one that establishes a connection between lattice paths and determinants. It was first proved by Lindstrom, but its combinatorial significance was first seen by Gessel and Viennot. They establishes a connection between the path systems and determinant. 2 Definitions Let G = (V, E) be a directed acyclic graph, a weight function w : E R and A = (A 1, A 2,..., A n ), B = (B 1, B 2,..., B n ) be two sets of vertices which are not necessarily disjoint. Definition 1. A path system P is given by σ S n and n paths P 1 : A 1 B σ(1), P 2 : A 2 B σ(2),..., P n : A n B σ(n). Weight of a path system P is denoted as w(p) = w(p i ) and sign(p) =. Weight of a path P is given by the product of the edges in the path. w(p ) = e P w(e) When the path P is from vertex v to vertex v, it does not contain any edge since the graph is directed acyclic graph, we consider w(p ) = 1. Definition 2. A path system P is said to be vertex disjoint if for any two paths P i, P j P, there is no vertex in common. Definition 3. Path Matrix M = [m i,j ] n i,j=1 from A to B is defined as follows. m i,j = P :A i B j w(p ) 1

2 3 Interpretation of a square matrix as a path matrix of a bipartite graph Let M be a square matrix. Construct a directed bipartite graph G = (A, B, E) with A = (A 1,..., A n ) that corresponds to the rows of M and B = (B 1, B 2,..., B n ) that corresponds to columns of M. E = {(A i, B j ) i, j [n]} and w(a i, B j ) = m i,j. In this graph, consider A i and B j, there is only one path from that goes from A i to B j which is just the edge (A i, B j ) and w(p ) = w(a i, B j ) = m i,j. Now, lets consider the permutation description of determinant. det(m) = m i,σ(i) Define ψ : AllP athsystems S n as ψ(p) = σ where P is defined as σ and n paths. Lemma 4. ψ is a bijection. Proof. Consider any path system P from A to B. For that P there is unique σ S n. Let ψ(p) = σ 1 and ψ(q) = σ 2 and σ 1 = σ 2, then i [n] : σ 1 (i) = σ 2 (i). Then, let P is given by σ 1 and n unique paths. Q also gives σ 2 and n unique paths. Now, σ 1 = σ 2. Now, fix any σ S n. Then for every i [n], there is only one path from A i to B σ(i) in G. Therefore, P = Q since σ 1 = σ 2. Therefore, ψ is injective. Take any σ S n. By the construction of the graph, clearly, for this σ, there is a path system P σ with n paths P 1 : A 1 B σ(1), P 2 : A 2 B σ(2),..., P n : A n B σ(n) where weights the paths are w(p k ) = w(a k, B σ(k) ) = m k,σ(k). Therefore, ψ is surjective. Therefore, ψ is a bijection. Similarly consider any σ S n, then there is a unique path system P from A to B. w(p) = w(a i, B σ(i) ) = n det(m) = m i,j n m i,σ(i) = P sign(p) n m i,j = P sign(p)w(p). This summation is over all path systems. In this way, we interpret a given square matrix as path matrix of a directed bipartite graph. 4 Gessel Viennot Lemma Gessel Viennot Lemma generalizes this interpretation from bipartite graph to general directed acyclic graph. Statement of the lemma is as follows. 2

3 Theorem 5. Let G = (V, E) be a directed acyclic graph, a weight function w : E R and A = (A 1, A 2,..., A n ), B = (B 1, B 2,..., B n ) be two sets of vertices which are not necessarily disjoint. Let M be the path matrix from (A) to (B) and let V D be the set of all vertex disjoint path systems from A to B. Then det(m) = sign(p)w(p) Proof. Lets consider the permutation description of determinant. det(m) = Fix arbitrary σ S n. Consider n m i,σ(i). m i,σ(i) = [ m i,σ(i) P 1 :A 1 B σ(1) w(p 1 )]... [ P n:a n B σ(n) w(p n )] Now, for a given σ there are collection of path systems from A to B. Define P σ = {P P is a path system from A to B given by σ} Now, we have m i,σ(i) = [ w(p 1 )]... [ w(p n )] P 1 :A 1 B σ(1) P n:a n B σ(n) = sign(p)w(p) P P σ We know that P σ = AllP athsystems. Therefore, we get m i,σ(i) = sign(r)w(r) R P σ = sign(p)w(p) P AllP athsystems we get summation over all path systems P from A to B. Therefore, we have det(m) = P sign(p)w(p ) Now, we have to prove that P will prove this theorem. sign(p)w(p ) = sign(p)w(p ). Proving the following lemma 3

4 Lemma 6. sign(p)w(p ) = P sign(p)w(p ) Proof. Let ND be the set of path systems that are not vertex disjoint path systems from A to B. We break the left hand side as follows since the set of all path systems is partitioned into V D and ND. sign(p)w(p ) = P sign(p)w(p ) + P ND sign(p)w(p ) Pick any R ND. R = (R 1,..., R n ). Among the crossing paths, we define the following things: i 0 = smallest index such that R i0 crosses with some R j with j > i 0. X = first vertex at which R i0 is intersected by some other path in R. j 0 = smallest index of all the paths in R that intersect R i0 at X (or equivalently smallest index of all paths such that X R i0 R j0 ) Now, we define involution on ND as follows. Define φ : ND ND by φ(r) = T = (T 1,..., T n ) where T k = R k when k i 0, j 0 T i0 : From A i0, traverse the edges of R i0 from X to reach B σ(j0 ). T j0 : From A j0, traverse the edges of R j0 from X to reach B σ(i0 ). till it reaches X. After that it traverses the edges of R j0 till it reaches X. After that it traverses the edges of R i0 X R i0 B σ(j0) A i0 R j0 B σ(i0) A j0 edges of R i0 edges of R i0 B σ(j0) A i0 X R i 0 B σ(i0) A j0 edges of R j0 R j 0 edges of R j0 Therefore, for the path system R, we get σ S n where σ = σ (i 0 j 0 ). Therefore, sign(σ ) = sign(i 0 j 0 ) =. Therefore, sign(r) = sign(t ). Also both T and R consists of 4

5 same set of edges. Therefore, w(t ) = w(t i ) = [ k [n]\{i 0,j 0 } w(t k )].w(t i0 ).w(t j0 ) = [ k [n]\{i 0,j 0 } w(r k )].w(t i0 ).w(t j0 ) Now, set of edges that are there in T i0, T j0 are the same set of edges that are there in R i0, R j0. Therefore w(t i0 )w(t j0 ) = w(e) = w(e) = w(r i0 )w(r j0 ) e T i0 T j0 e R i0 R j0 Therefore, w(r) = w(t ). Now, if we apply φ again, then let φ(t ) = Z. Z k = T k = R k when k i 0, j 0 Z i0 : From A i0, traverse the edges of T i0 till it reaches X. After that it traverses the edges of T j0 from X to reach B σ (j 0 ) = B σ(i0 ). This yields path which is same as R i0. Z j0 : From A j0, traverse the edges of T j0 till it reaches X. After that it traverses the edges of T i0 from X to reach B σ (i 0 ) = B σ(j0 ). This yields path R j0. Therefore, Z = R. Therefore, φ(φ(r)) = R. Since φ = φ 1, therefore, φ is a bijection. Therefore, we have found an one to one correspondance to obtain pairs of path systems (R, φ(r)) in ND where for every pairs of path systems with w(r) = w(φ(r)) and sign(r) = sign(φ(r)). Therefore, we get that sign(p)w(p ) = 0. P ND It implies that sign(p)w(p ) = sign(p)w(p ). P Proving the lemma proves that det(m) = sign(p)w(p ) which proves the theorem. 4.1 Example of a graph and path matrix We give an example of a directed acyclic graph and its corresponding path matrix. Let G be the graph as drawn in figure. Notice that A and B are not disjoint. In fact, in this path matrix, there are path systems which are not vertex disjoint(common vertex can be present even at endpoints also). 1 A 2 = B 1 A B 2 5

6 The path systems are as follows. P 1 = [({A 1 B 1 }, {A 2 B 2 }), (1)(2)] P 2 = [({A 1 B 1 B 2 }, {A 2 B 1 }), (12)] P 3 = [({A 1 B 2 }, {A 2 B 1 }), (12)] Only P 3 is vertex disjoint path system. Now the elements of the path matrix M are as follows: m 11 = w(a 1 B 1 ) = 2 m 12 = w(a 1 B 1 B 2 ) + w(a 1 B 2 ) = = 4 m 21 = w(a 2 B 1 ) = 1 m 22 = w(a 2 B 2 ) = 2 Therefore, det(m) = 2 4 = 2 and. sign(p) w(p i ) = sign(p 3 ).w(p 3 ) = ( 1).w({A 1 B 2 }).w(({a 2 B 1 }) = ( 1).2.1 = 2 Therefore, we can see that the Gessel Viennot Lemma holds. 5 Applications of Gessel Viennot Lemma to Matrix Properties It has applications to Matrix Theorems as well as some combinatorial applications. Consider these applications in matrix theorems. 5.1 Application 1: For any square matrix M, det(m) = det(m T ). Proof. For M, we consstructed a directed bipartite graph G = (A, B, E) with bipartitions A, B and E = {(A i, B j ) A i A, B j B} Now, m T ij = m ji. Now, we construct the bipartite graph H = (C, D, F ) where C = A, D = B and F = {(D i, C j ) D i D, C j C} Now, since = sign(σ 1 ), therefore we get det(m T ) = P sign(p)w(p) = m T i,σ(i) 6

7 = = sign(σ 1 ) k=1 k=1 = det(m) m k,σ 1 (k) m k,σ 1 (k) 5.2 Application 2: For any two square matrices of same size M 1, M 2, det(m 1.M 2 ) = det(m 1 )det(m 2 ). Proof. Construct these set of vertices A = (A 1,..., A n ), B = (B 1,..., B n ), C = (C 1,..., C n ). We construct the directed graph with vertex A, B, C where edges are directed from A to B and also from B to C with w(a i, B j ) = m 1 [i, j] and w(b j, C k ) = m 2 [j, k]. A corresponds to the rows of M 1. B corresponds to the columns of M 1 as well as to the rows of M 2. C corresponds to the columns of M 2. Let M = M 1.M 2. Then, m[i, j] = n k=1 m 1 [i, k].m 2 [k, j]. Now, we consider an arbitrary vertexd disjoint path systems P from A to C. P must come through vertices of B. Since P is vertex disjoint, therefore any path system which is a subpath system of P is also vertex disjoint. Now, we see that any vertex disjoint path system P from A to C is divided into two parts Q and R where Q is a vertex disjoint path system from A to B and R is a vertex disjoint path system from B to C. Let W be the set of all vertex disjoint path systems from A to B and Z be the set of all vertex disjoint path systems from B to C. Now consider det(m 1 ).det(m 2 ) = Q W = P W Z sign(q)w(q) R Z sign(r)w(r) sign(r)sign(q)w(r)w(q) Now W Z is the set of all ordered pair of vertex disjoint path systems where the for every pair (Q, R) where Q is a vertex disjoint path system from A to B and R is a vertex disjoint path system from B to C. Now, Q (σ Q, Q 1, Q 2,..., Q n ) where i [n] : Q i : A i B σr (i). R (σ R, R 1, R 2,..., R n ) where i [n] : R i : B i C σr (i). Now, consider P i : A i B σq (i) C σr (σ Q (i)). Composition of two permutations is also a permutation. Let σ Q σ R = σ. So, composition of Q and R gives a path system P. 7

8 We have to show that W Z exhausts the set of all vertex disjoint path systems from A to C. Take any vertex disjoint path system P given by σ S n from A to C. Since it is vertex disjoint and every path from A to C comes through B and P exhausts all vertices of B (otherwise P would not be vertex disjoint). Therefore, P is decomposed into Q (vertex disjoint path system from A to B) and R (vertex disjoint path system from B to C). It easily follows that w(p) = w(q)w(r). Also, since = sign(σ Q σ R ) = sign(σ Q )sign(σ R ), therefore, sign(p) = sign(q).sign(r). Therefore, we have the followings. det(m 1 ).det(m 2 ) = P W Z sign(r)sign(q)w(r)w(q) = P sign(p)w(p) = det(m 1.M 2 ) 5.3 Application 3 This application is a generalization of application 2. It is called Cauchy Binet Formula. Theorem 7. Let M 1 be an n r matrix and M 2 be an r n matrix with n r. Then we have the following det(m 1.M 2 ) = det(m 1 [X]).det(M 2 [X]) X [r], X =n where M 1 [X] is the matrix restricted to the columns indexed by X and M 2 [X] is the matrix restricted to the rows indexed by X. Proof. Construct the directed graph G = (A B C, E) where A = (A 1,..., A n ), B = (B 1,..., B r ), C = (C 1,..., C n ). E = {(A i, B j ) i [n], j [r]} {(B j, C k ) j [r], k [n]}. Also, we assign weights to the edges as w(a i, B j ) = m 1 [i, j] and w(b j, C k ) = m 2 [k, j]. Let M = M 1.M 2. m[i, j] = r k=1 m 1 [i, k]m 2 [k, j]. Fix any arbitrary X [r]. Let P AX be the set of all vertex disjoint path systems from A to B[X ](B[X] be the subset of B restricted to the indices denoted by X) and P XB be the set of all vertex disjoint path systems from B[X ] to C. Then, consider det(m 1 [X]).det(M 2 [X]). det(m 1 [X]).det(M 2 [X]) = Q P AX sign(q)w(q). R P XB sign(r)w(r) Now, similar to the Lemma 6, we know that P AX P XB exhausts the set of all vertex disjoint path systems from A to C that passes through this B[X]. Therefore we have that Q P AX sign(q)w(q). R P XB sign(r)w(r) = P P AX P XB sign(p)w(p) 8

9 Now, in order to get over all X [r]. X [r], X =n det(m 1 [X]).det(M 2 [X]), we have to sum the expression [ P P AX P XB sign(p)w(p)] This summation will also give the summation over the set of all vertex disjoint path systems from A to C. Therefore we have, X [r], X =n det(m 1 [X]).det(M 2 [X]) = X [r], X =n [ P P AX P XB sign(p)w(p)] = P sign(p)w(p) = det(m 1.M 2 ) 6 Combinatorial Applications of Gessel Viennot Lemma Gessel Viennot Lemma also has some interesting combinatorial applications such as Binomial Determinants in terms of Lattice Paths, Rhombic Tilings are all available in [1]. References [1] Martin Aigner: A Course in Enumeration, Springer. [2] Justin Chan: The Gessel Viennot Lemma and its Applications to Combinatorics, Math 821, December 14, [3] Martin Aigner, Gunter M. Zeigler: Proofs From THE BOOK, Springer, Fourth Edition 9

Enumeration of Tilings and Related Problems

Enumeration of Tilings and Related Problems Enumeration of Tilings and Related Problems Tri Lai Institute for Mathematics and its Applications Minneapolis, MN 55455 Discrete Mathematics Seminar University of British Columbia Vancouver February 2016

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 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

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

BINARY CODES AND KASTELEYN 3-MATRICES MARTIN LOEBL AND PAVEL RYTÍŘ

BINARY CODES AND KASTELEYN 3-MATRICES MARTIN LOEBL AND PAVEL RYTÍŘ BINARY CODES AND KASTELEYN -MATRICES MARTIN LOEBL AND PAVEL RYTÍŘ Department of Applied Mathematics, Charles University, Malostranské nám. 25, 8 00 Praha, Czech Republic. Abstract. Two cornerstones of

More information

CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh HW#3 Due at the beginning of class Thursday 03/02/17

CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh HW#3 Due at the beginning of class Thursday 03/02/17 CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh (rezab@stanford.edu) HW#3 Due at the beginning of class Thursday 03/02/17 1. Consider a model of a nonbipartite undirected graph in which

More information

A Bijection from Shi Arrangement Regions to Parking Functions via Mixed Graphs

A Bijection from Shi Arrangement Regions to Parking Functions via Mixed Graphs A Bijection from Shi Arrangement Regions to Parking Functions via Mixed Graphs Michael Dairyko Pomona College Schuyler Veeneman San Francisco State University July 28, 2012 Claudia Rodriguez Arizona State

More information

Counting the number of spanning tree. Pied Piper Department of Computer Science and Engineering Shanghai Jiao Tong University

Counting the number of spanning tree. Pied Piper Department of Computer Science and Engineering Shanghai Jiao Tong University Counting the number of spanning tree Pied Piper Department of Computer Science and Engineering Shanghai Jiao Tong University 目录 Contents 1 Complete Graph 2 Proof of the Lemma 3 Arbitrary Graph 4 Proof

More information

CS7540 Spectral Algorithms, Spring 2017 Lecture #2. Matrix Tree Theorem. Presenter: Richard Peng Jan 12, 2017

CS7540 Spectral Algorithms, Spring 2017 Lecture #2. Matrix Tree Theorem. Presenter: Richard Peng Jan 12, 2017 CS7540 Spectral Algorithms, Spring 2017 Lecture #2 Matrix Tree Theorem Presenter: Richard Peng Jan 12, 2017 DISCLAIMER: These notes are not necessarily an accurate representation of what I said during

More information

An exact algorithm for max-cut in sparse graphs

An exact algorithm for max-cut in sparse graphs An exact algorithm for max-cut in sparse graphs F. Della Croce a M. J. Kaminski b, V. Th. Paschos c a D.A.I., Politecnico di Torino, Italy b RUTCOR, Rutgers University c LAMSADE, CNRS UMR 7024 and Université

More information

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department CS473-Algorithms I Lecture 3-A Graphs Graphs A directed graph (or digraph) G is a pair (V, E), where V is a finite set, and E is a binary relation on V The set V: Vertex set of G The set E: Edge set of

More information

Matching and Planarity

Matching and Planarity Matching and Planarity Po-Shen Loh June 010 1 Warm-up 1. (Bondy 1.5.9.) There are n points in the plane such that every pair of points has distance 1. Show that there are at most n (unordered) pairs of

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

Ma/CS 6b Class 13: Counting Spanning Trees

Ma/CS 6b Class 13: Counting Spanning Trees Ma/CS 6b Class 13: Counting Spanning Trees By Adam Sheffer Reminder: Spanning Trees A spanning tree is a tree that contains all of the vertices of the graph. A graph can contain many distinct spanning

More information

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur Lecture : Graphs Rajat Mittal IIT Kanpur Combinatorial graphs provide a natural way to model connections between different objects. They are very useful in depicting communication networks, social networks

More information

The Matrix-Tree Theorem and Its Applications to Complete and Complete Bipartite Graphs

The Matrix-Tree Theorem and Its Applications to Complete and Complete Bipartite Graphs The Matrix-Tree Theorem and Its Applications to Complete and Complete Bipartite Graphs Frankie Smith Nebraska Wesleyan University fsmith@nebrwesleyan.edu May 11, 2015 Abstract We will look at how to represent

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

Noncrossing Trees and Noncrossing Graphs

Noncrossing Trees and Noncrossing Graphs Noncrossing Trees and Noncrossing Graphs William Y. C. Chen and Sherry H. F. Yan 2 Center for Combinatorics, LPMC, Nanai University, 30007 Tianjin, P.R. China chen@nanai.edu.cn, 2 huifangyan@eyou.com Mathematics

More information

CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh HW#3 Due at the beginning of class Thursday 02/26/15

CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh HW#3 Due at the beginning of class Thursday 02/26/15 CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh (rezab@stanford.edu) HW#3 Due at the beginning of class Thursday 02/26/15 1. Consider a model of a nonbipartite undirected graph in which

More information

MATRIX INTEGRALS AND MAP ENUMERATION 1

MATRIX INTEGRALS AND MAP ENUMERATION 1 MATRIX INTEGRALS AND MAP ENUMERATION 1 IVAN CORWIN Abstract. We explore the connection between integration with respect to the GUE and enumeration of maps. This connection is faciliated by the Wick Formula.

More information

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial. 2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from

More information

Assignment 4 Solutions of graph problems

Assignment 4 Solutions of graph problems Assignment 4 Solutions of graph problems 1. Let us assume that G is not a cycle. Consider the maximal path in the graph. Let the end points of the path be denoted as v 1, v k respectively. If either of

More information

Lecture 15: The subspace topology, Closed sets

Lecture 15: The subspace topology, Closed sets Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology

More information

Graph theory - solutions to problem set 1

Graph theory - solutions to problem set 1 Graph theory - solutions to problem set 1 1. (a) Is C n a subgraph of K n? Exercises (b) For what values of n and m is K n,n a subgraph of K m? (c) For what n is C n a subgraph of K n,n? (a) Yes! (you

More information

Lecture 7: Counting classes

Lecture 7: Counting classes princeton university cos 522: computational complexity Lecture 7: Counting classes Lecturer: Sanjeev Arora Scribe:Manoj First we define a few interesting problems: Given a boolean function φ, #SAT is the

More information

Introduction to Graph Theory

Introduction to Graph Theory Introduction to Graph Theory Tandy Warnow January 20, 2017 Graphs Tandy Warnow Graphs A graph G = (V, E) is an object that contains a vertex set V and an edge set E. We also write V (G) to denote the vertex

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

implementing the breadth-first search algorithm implementing the depth-first search algorithm

implementing the breadth-first search algorithm implementing the depth-first search algorithm Graph Traversals 1 Graph Traversals representing graphs adjacency matrices and adjacency lists 2 Implementing the Breadth-First and Depth-First Search Algorithms implementing the breadth-first search algorithm

More information

COMPUTABILITY THEORY AND RECURSIVELY ENUMERABLE SETS

COMPUTABILITY THEORY AND RECURSIVELY ENUMERABLE SETS COMPUTABILITY THEORY AND RECURSIVELY ENUMERABLE SETS JOSHUA LENERS Abstract. An algorithm is function from ω to ω defined by a finite set of instructions to transform a given input x to the desired output

More information

On Domino Tilings of Rectangles

On Domino Tilings of Rectangles On Domino Tilings of Rectangles Aztec Diamonds in the Rough Trevor Bass trev@math.rutgers.edu (67) 699-962 Supervised by Professor Doron Zeilberger of Rutgers University. A thesis presented to the Department

More information

Lecture 4: Bipartite graphs and planarity

Lecture 4: Bipartite graphs and planarity Lecture 4: Bipartite graphs and planarity Anders Johansson 2011-10-22 lör Outline Bipartite graphs A graph G is bipartite with bipartition V1, V2 if V = V1 V2 and all edges ij E has one end in V1 and V2.

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

The Probabilistic Method

The Probabilistic Method The Probabilistic Method Po-Shen Loh June 2010 1 Warm-up 1. (Russia 1996/4 In the Duma there are 1600 delegates, who have formed 16000 committees of 80 persons each. Prove that one can find two committees

More information

Lecture 11: Maximum flow and minimum cut

Lecture 11: Maximum flow and minimum cut Optimisation Part IB - Easter 2018 Lecture 11: Maximum flow and minimum cut Lecturer: Quentin Berthet 4.4. The maximum flow problem. We consider in this lecture a particular kind of flow problem, with

More information

A combinatorial proof of a formula for Betti numbers of a stacked polytope

A combinatorial proof of a formula for Betti numbers of a stacked polytope A combinatorial proof of a formula for Betti numbers of a staced polytope Suyoung Choi Department of Mathematical Sciences KAIST, Republic of Korea choisy@aistacr (Current Department of Mathematics Osaa

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

On the Number of Linear Extensions of Graphs

On the Number of Linear Extensions of Graphs On the Number of Linear Extensions of Graphs Annie Hu under the direction of Mr. Benjamin Iriarte Massachusetts Institute of Technology Research Science Institute 15 January 2014 Abstract Given a bipartite

More information

Lecture 3: Graphs and flows

Lecture 3: Graphs and flows Chapter 3 Lecture 3: Graphs and flows Graphs: a useful combinatorial structure. Definitions: graph, directed and undirected graph, edge as ordered pair, path, cycle, connected graph, strongly connected

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

Part II. Graph Theory. Year

Part II. Graph Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 53 Paper 3, Section II 15H Define the Ramsey numbers R(s, t) for integers s, t 2. Show that R(s, t) exists for all s,

More information

The absolute value of the real number y xis smaller than y x is smaller than or equal to y x is not equal to y

The absolute value of the real number y xis smaller than y x is smaller than or equal to y x is not equal to y Notation Throughout the book the following notation is used: a A The element a belongs to the set A A B A is a subset of B {a A ψ(a)} The elements of A that satisfy property ψ {a 1,a 2,...,a r } The set

More information

Math 170- Graph Theory Notes

Math 170- Graph Theory Notes 1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory

More information

Introduction III. Graphs. Motivations I. Introduction IV

Introduction III. Graphs. Motivations I. Introduction IV Introduction I Graphs Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Graph theory was introduced in the 18th century by Leonhard Euler via the Königsberg

More information

Lecture 9 - Matrix Multiplication Equivalences and Spectral Graph Theory 1

Lecture 9 - Matrix Multiplication Equivalences and Spectral Graph Theory 1 CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanfordedu) February 6, 2018 Lecture 9 - Matrix Multiplication Equivalences and Spectral Graph Theory 1 In the

More information

8 Matroid Intersection

8 Matroid Intersection 8 Matroid Intersection 8.1 Definition and examples 8.2 Matroid Intersection Algorithm 8.1 Definitions Given two matroids M 1 = (X, I 1 ) and M 2 = (X, I 2 ) on the same set X, their intersection is M 1

More information

REGULAR GRAPHS OF GIVEN GIRTH. Contents

REGULAR GRAPHS OF GIVEN GIRTH. Contents REGULAR GRAPHS OF GIVEN GIRTH BROOKE ULLERY Contents 1. Introduction This paper gives an introduction to the area of graph theory dealing with properties of regular graphs of given girth. A large portion

More information

Bipartite Matching & the Hungarian Method

Bipartite Matching & the Hungarian Method Bipartite Matching & the Hungarian Method Last Revised: 15/9/7 These notes follow formulation originally developed by Subhash Suri in http://www.cs.ucsb.edu/ suri/cs/matching.pdf We previously saw how

More information

Vertex-transitive direct products of graphs

Vertex-transitive direct products of graphs Vertex-transitive direct products of graphs Richard H. Hammack Department of Mathematics Virginia Commonwealth University Richmond, Virginia U.S.A. rhammack@vcu.edu Wilfried Imrich Dept. of Mathematics

More information

Basics of Graph Theory

Basics of Graph Theory Basics of Graph Theory 1 Basic notions A simple graph G = (V, E) consists of V, a nonempty set of vertices, and E, a set of unordered pairs of distinct elements of V called edges. Simple graphs have their

More information

Vertex-Colouring Edge-Weightings

Vertex-Colouring Edge-Weightings Vertex-Colouring Edge-Weightings L. Addario-Berry a, K. Dalal a, C. McDiarmid b, B. A. Reed a and A. Thomason c a School of Computer Science, McGill University, University St. Montreal, QC, H3A A7, Canada

More information

1 Undirected Vertex Geography UVG

1 Undirected Vertex Geography UVG Geography Start with a chip sitting on a vertex v of a graph or digraph G. A move consists of moving the chip to a neighbouring vertex. In edge geography, moving the chip from x to y deletes the edge (x,

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics Lecturer: Mgr. Tereza Kovářová, Ph.D. tereza.kovarova@vsb.cz Guarantor: doc. Mgr. Petr Kovář, Ph.D. Department of Applied Mathematics, VŠB Technical University of Ostrava About this

More information

Interval-Vector Polytopes

Interval-Vector Polytopes Interval-Vector Polytopes Jessica De Silva Gabriel Dorfsman-Hopkins California State University, Stanislaus Dartmouth College Joseph Pruitt California State University, Long Beach July 28, 2012 Abstract

More information

On the Balanced Case of the Brualdi-Shen Conjecture on 4-Cycle Decompositions of Eulerian Bipartite Tournaments

On the Balanced Case of the Brualdi-Shen Conjecture on 4-Cycle Decompositions of Eulerian Bipartite Tournaments Electronic Journal of Graph Theory and Applications 3 (2) (2015), 191 196 On the Balanced Case of the Brualdi-Shen Conjecture on 4-Cycle Decompositions of Eulerian Bipartite Tournaments Rafael Del Valle

More information

Parity reversing involutions on plane trees and 2-Motzkin paths

Parity reversing involutions on plane trees and 2-Motzkin paths European Journal of Combinatorics 27 (2006) 283 289 www.elsevier.com/locate/ejc Parity reversing involutions on plane trees and 2-Motzkin paths William Y.C. Chen a,,louisw.shapiro b,laural.m. Yang a a

More information

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge. 1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one

More information

Trees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph.

Trees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph. Trees 1 Introduction Trees are very special kind of (undirected) graphs. Formally speaking, a tree is a connected graph that is acyclic. 1 This definition has some drawbacks: given a graph it is not trivial

More information

Chapter 18 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal.

Chapter 18 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal. Chapter 8 out of 7 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal 8 Matrices Definitions and Basic Operations Matrix algebra is also known

More information

The Graphs of Triangulations of Polygons

The Graphs of Triangulations of Polygons The Graphs of Triangulations of Polygons Matthew O Meara Research Experience for Undergraduates Summer 006 Basic Considerations Let Γ(n) be the graph with vertices being the labeled planar triangulation

More information

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

MATH 350 GRAPH THEORY & COMBINATORICS. Contents MATH 350 GRAPH THEORY & COMBINATORICS PROF. SERGEY NORIN, FALL 2013 Contents 1. Basic definitions 1 2. Connectivity 2 3. Trees 3 4. Spanning Trees 3 5. Shortest paths 4 6. Eulerian & Hamiltonian cycles

More information

Antisymmetric Relations. Definition A relation R on A is said to be antisymmetric

Antisymmetric Relations. Definition A relation R on A is said to be antisymmetric Antisymmetric Relations Definition A relation R on A is said to be antisymmetric if ( a, b A)(a R b b R a a = b). The picture for this is: Except For Example The relation on R: if a b and b a then a =

More information

Properly even harmonious labelings of disconnected graphs

Properly even harmonious labelings of disconnected graphs Available online at www.sciencedirect.com ScienceDirect AKCE International Journal of Graphs and Combinatorics 12 (2015) 193 203 www.elsevier.com/locate/akcej Properly even harmonious labelings of disconnected

More information

CMSC 380. Graph Terminology and Representation

CMSC 380. Graph Terminology and Representation CMSC 380 Graph Terminology and Representation GRAPH BASICS 2 Basic Graph Definitions n A graph G = (V,E) consists of a finite set of vertices, V, and a finite set of edges, E. n Each edge is a pair (v,w)

More information

1 Matching in Non-Bipartite Graphs

1 Matching in Non-Bipartite Graphs CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: September 30, 2010 Scribe: David Tobin 1 Matching in Non-Bipartite Graphs There are several differences

More information

Introductory Combinatorics

Introductory Combinatorics Introductory Combinatorics Third Edition KENNETH P. BOGART Dartmouth College,. " A Harcourt Science and Technology Company San Diego San Francisco New York Boston London Toronto Sydney Tokyo xm CONTENTS

More information

The number of spanning trees of plane graphs with reflective symmetry

The number of spanning trees of plane graphs with reflective symmetry Journal of Combinatorial Theory, Series A 112 (2005) 105 116 www.elsevier.com/locate/jcta The number of spanning trees of plane graphs with reflective symmetry Mihai Ciucu a, Weigen Yan b, Fuji Zhang c

More information

Exercise set 2 Solutions

Exercise set 2 Solutions Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T

More information

Three applications of Euler s formula. Chapter 10

Three applications of Euler s formula. Chapter 10 Three applications of Euler s formula Chapter 10 A graph is planar if it can be drawn in the plane R without crossing edges (or, equivalently, on the -dimensional sphere S ). We talk of a plane graph if

More information

Vertex Magic Total Labelings of Complete Graphs 1

Vertex Magic Total Labelings of Complete Graphs 1 Vertex Magic Total Labelings of Complete Graphs 1 Krishnappa. H. K. and Kishore Kothapalli and V. Ch. Venkaiah Centre for Security, Theory, and Algorithmic Research International Institute of Information

More information

MINIMAL FREE RESOLUTIONS OF COMPLETE BIPARTITE GRAPH IDEALS

MINIMAL FREE RESOLUTIONS OF COMPLETE BIPARTITE GRAPH IDEALS MINIMAL FREE RESOLUTIONS OF COMPLETE BIPARTITE GRAPH IDEALS DANIEL VISSCHER Department of Mathematics, St. Olaf College, Northfield, MN 55057, USA visscher@stolaf.edu Abstract. This paper gives an explicit

More information

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead

More information

THE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS

THE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS Séminaire Lotharingien de Combinatoire 63 (2010), Article B63a THE DESCENT STATISTIC ON 123-AVOIDING PERMUTATIONS MARILENA BARNABEI, FLAVIO BONETTI, AND MATTEO SILIMBANI Abstract. We exploit Krattenthaler

More information

Computation with No Memory, and Rearrangeable Multicast Networks

Computation with No Memory, and Rearrangeable Multicast Networks Discrete Mathematics and Theoretical Computer Science DMTCS vol. 16:1, 2014, 121 142 Computation with No Memory, and Rearrangeable Multicast Networks Serge Burckel 1 Emeric Gioan 2 Emmanuel Thomé 3 1 ERMIT,

More information

STUDENT NUMBER: MATH Final Exam. Lakehead University. April 13, Dr. Adam Van Tuyl

STUDENT NUMBER: MATH Final Exam. Lakehead University. April 13, Dr. Adam Van Tuyl Page 1 of 13 NAME: STUDENT NUMBER: MATH 1281 - Final Exam Lakehead University April 13, 2011 Dr. Adam Van Tuyl Instructions: Answer all questions in the space provided. If you need more room, answer on

More information

22 Elementary Graph Algorithms. There are two standard ways to represent a

22 Elementary Graph Algorithms. There are two standard ways to represent a VI Graph Algorithms Elementary Graph Algorithms Minimum Spanning Trees Single-Source Shortest Paths All-Pairs Shortest Paths 22 Elementary Graph Algorithms There are two standard ways to represent a graph

More information

Basic Properties The Definition of Catalan Numbers

Basic Properties The Definition of Catalan Numbers 1 Basic Properties 1.1. The Definition of Catalan Numbers There are many equivalent ways to define Catalan numbers. In fact, the main focus of this monograph is the myriad combinatorial interpretations

More information

22 Elementary Graph Algorithms. There are two standard ways to represent a

22 Elementary Graph Algorithms. There are two standard ways to represent a VI Graph Algorithms Elementary Graph Algorithms Minimum Spanning Trees Single-Source Shortest Paths All-Pairs Shortest Paths 22 Elementary Graph Algorithms There are two standard ways to represent a graph

More information

Number Theory and Graph Theory

Number Theory and Graph Theory 1 Number Theory and Graph Theory Chapter 6 Basic concepts and definitions of graph theory By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com

More information

SAMPLING AND THE MOMENT TECHNIQUE. By Sveta Oksen

SAMPLING AND THE MOMENT TECHNIQUE. By Sveta Oksen SAMPLING AND THE MOMENT TECHNIQUE By Sveta Oksen Overview - Vertical decomposition - Construction - Running time analysis - The bounded moments theorem - General settings - The sampling model - The exponential

More information

Lecture Notes 2: The Simplex Algorithm

Lecture Notes 2: The Simplex Algorithm Algorithmic Methods 25/10/2010 Lecture Notes 2: The Simplex Algorithm Professor: Yossi Azar Scribe:Kiril Solovey 1 Introduction In this lecture we will present the Simplex algorithm, finish some unresolved

More information

The Prism of the Acyclic Orientation Graph is Hamiltonian

The Prism of the Acyclic Orientation Graph is Hamiltonian The Prism of the Acyclic Orientation Graph is Hamiltonian Gara Pruesse Department of Computer Science and Electrical Engineering University of Vermont, Burlington, VT, 05405-0156, USA email: gara@cs.uvm.edu

More information

On the Complexity of Multi-Dimensional Interval Routing Schemes

On the Complexity of Multi-Dimensional Interval Routing Schemes On the Complexity of Multi-Dimensional Interval Routing Schemes Abstract Multi-dimensional interval routing schemes (MIRS) introduced in [4] are an extension of interval routing schemes (IRS). We give

More information

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE Professor Kindred Math 104, Graph Theory Homework 2 Solutions February 7, 2013 Introduction to Graph Theory, West Section 1.2: 26, 38, 42 Section 1.3: 14, 18 Section 2.1: 26, 29, 30 DO NOT RE-DISTRIBUTE

More information

5. Lecture notes on matroid intersection

5. Lecture notes on matroid intersection Massachusetts Institute of Technology Handout 14 18.433: Combinatorial Optimization April 1st, 2009 Michel X. Goemans 5. Lecture notes on matroid intersection One nice feature about matroids is that a

More information

r=1 The Binomial Theorem. 4 MA095/98G Revision

r=1 The Binomial Theorem. 4 MA095/98G Revision Revision Read through the whole course once Make summary sheets of important definitions and results, you can use the following pages as a start and fill in more yourself Do all assignments again Do the

More information

Approximation Algorithms: The Primal-Dual Method. My T. Thai

Approximation Algorithms: The Primal-Dual Method. My T. Thai Approximation Algorithms: The Primal-Dual Method My T. Thai 1 Overview of the Primal-Dual Method Consider the following primal program, called P: min st n c j x j j=1 n a ij x j b i j=1 x j 0 Then the

More information

Discrete Mathematics SECOND EDITION OXFORD UNIVERSITY PRESS. Norman L. Biggs. Professor of Mathematics London School of Economics University of London

Discrete Mathematics SECOND EDITION OXFORD UNIVERSITY PRESS. Norman L. Biggs. Professor of Mathematics London School of Economics University of London Discrete Mathematics SECOND EDITION Norman L. Biggs Professor of Mathematics London School of Economics University of London OXFORD UNIVERSITY PRESS Contents PART I FOUNDATIONS Statements and proofs. 1

More information

Algebraic Graph Theory- Adjacency Matrix and Spectrum

Algebraic Graph Theory- Adjacency Matrix and Spectrum Algebraic Graph Theory- Adjacency Matrix and Spectrum Michael Levet December 24, 2013 Introduction This tutorial will introduce the adjacency matrix, as well as spectral graph theory. For those familiar

More information

Math 776 Graph Theory Lecture Note 1 Basic concepts

Math 776 Graph Theory Lecture Note 1 Basic concepts Math 776 Graph Theory Lecture Note 1 Basic concepts Lectured by Lincoln Lu Transcribed by Lincoln Lu Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved

More information

Graphs: Introduction. Ali Shokoufandeh, Department of Computer Science, Drexel University

Graphs: Introduction. Ali Shokoufandeh, Department of Computer Science, Drexel University Graphs: Introduction Ali Shokoufandeh, Department of Computer Science, Drexel University Overview of this talk Introduction: Notations and Definitions Graphs and Modeling Algorithmic Graph Theory and Combinatorial

More information

CHAPTER 3 FUZZY RELATION and COMPOSITION

CHAPTER 3 FUZZY RELATION and COMPOSITION CHAPTER 3 FUZZY RELATION and COMPOSITION The concept of fuzzy set as a generalization of crisp set has been introduced in the previous chapter. Relations between elements of crisp sets can be extended

More information

Paths, Flowers and Vertex Cover

Paths, Flowers and Vertex Cover Paths, Flowers and Vertex Cover Venkatesh Raman M. S. Ramanujan Saket Saurabh Abstract It is well known that in a bipartite (and more generally in a König) graph, the size of the minimum vertex cover is

More information

Course Introduction / Review of Fundamentals of Graph Theory

Course Introduction / Review of Fundamentals of Graph Theory Course Introduction / Review of Fundamentals of Graph Theory Hiroki Sayama sayama@binghamton.edu Rise of Network Science (From Barabasi 2010) 2 Network models Many discrete parts involved Classic mean-field

More information

Lecture 20 : Trees DRAFT

Lecture 20 : Trees DRAFT CS/Math 240: Introduction to Discrete Mathematics 4/12/2011 Lecture 20 : Trees Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we discussed graphs. Today we continue this discussion,

More information

Dual-fitting analysis of Greedy for Set Cover

Dual-fitting analysis of Greedy for Set Cover Dual-fitting analysis of Greedy for Set Cover We showed earlier that the greedy algorithm for set cover gives a H n approximation We will show that greedy produces a solution of cost at most H n OPT LP

More information

ACO Comprehensive Exam October 12 and 13, Computability, Complexity and Algorithms

ACO Comprehensive Exam October 12 and 13, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms Given a simple directed graph G = (V, E), a cycle cover is a set of vertex-disjoint directed cycles that cover all vertices of the graph. 1. Show that there

More information

Automorphism Groups of Cyclic Polytopes

Automorphism Groups of Cyclic Polytopes 8 Automorphism Groups of Cyclic Polytopes (Volker Kaibel and Arnold Waßmer ) It is probably well-known to most polytope theorists that the combinatorial automorphism group of a cyclic d-polytope with n

More information

Compositions of series-parallel graphs. Brian Kell

Compositions of series-parallel graphs. Brian Kell Compositions of series-parallel graphs Brian Kell March 29, 2006 Abstract A composition of a graph is a partition of the vertex set such that the subgraph induced by each part is connected. In this paper

More information

Lecture 22 Tuesday, April 10

Lecture 22 Tuesday, April 10 CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 22 Tuesday, April 10 GRAPH THEORY Directed Graphs Directed graphs (a.k.a. digraphs) are an important mathematical modeling tool in Computer Science,

More information

The Active Bijection in Graphs, Hyperplane Arrangements, and Oriented Matroids

The Active Bijection in Graphs, Hyperplane Arrangements, and Oriented Matroids The Active Bijection in Graphs, Hyperplane Arrangements, and Oriented Matroids. The Fully Optimal Basis of a Bounded Region Emeric Gioan Michel Las Vergnas published in European Journal of Combinatorics

More information