Pruning digraphs for reducing catchment zones
|
|
- Julia Paul
- 5 years ago
- Views:
Transcription
1 Pruning digraphs for reducing catchment zones Fernand Meyer Centre de Morphologie Mathématique 19 March 2017 ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
2 Why do catchment zones overlap? A node p linked by owing paths with 2 distinct regional minima m 1 and m 2 belongs to the catchment basins of both of them. If the rst edge of the paths leading to m 2 is cut, then p does not belong anymore to the catchment zone of m 2. In this section we show how to compare the owing paths with a common origin according to some steepness measure. We then introduce a pruning operator able to cut the rst edge of the paths which are not steep enough. Pruning permits to reduce the extension of the catchment zones and of their overlappings. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
3 Pruning node weighted graphs. The pruning of the owing paths will be done on a node weighted digraph associated to the initial graphs: G (ν, nil) : Each edge is a owing edge for one of its extremities. It is replaced by an arrow in the digraph! G (ν, nil). In a owing path of G (ν, δ en ν) each node is followed by an edge with the same weight except the ultimate node, when this node is an isolated regional minimum. G (nil, η) : In G (nil, η) not each edge is a owing edge of one of its extremities. These edges are cut in # G (nil, η). Each remaining edge is a owing edge of one of its extremities. It is replaced by an arrow in the graph #! G (ε ne η, nil). In a owing path of # G (ε ne η, nil) each node is followed by an edge with the same weight. In each case, each node of a owing path is followed by an edge with the same weight. The edge weights are redundant, and only the node weights are used. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
4 The owing digraph associated to a node weighted graph From G (ν, nil) in gure A to! G (ν, nil) in gure B: the same owing paths and regional minima. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
5 The owing digraph associated to an edge weighted graph From G (nil, η) to! # G (ε ne η, nil): the same owing paths and regional minima. A: an edge weighted graph G (nil, η) B: the edge weighted digraph! # G (nil, η) in which each arrow represents a owing edge of # G (nil, η). C: the node weighted digraph! # G (ε ne η, nil). Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
6 A lexicographic order relation ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
7 The steepness order relation between owing paths An order relation between the owing paths with a common origin permits to compare them. To each owing path is associated an in nite list of weights, whose rst elements are the weights of its nodes and the last elements an in nite repetition of the weight of the regional minimum. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
8 The steepness order relation between owing paths Consider two such lists λ = (λ 1, λ 2,...λ k, λ k+1,...λ n,...) and µ = (µ 1, µ 2,...µ k, µ k+1,...µ n,...). We de ne a lexicographic order relation between these lists: * λ µ if λ 1 < µ 1 or there exists k such that 8l < k : λ i = µ i λ k < µ k * If {λ µ} or λ = µ, we write λ µ. The relation is symmetrical and transitive. It is a preorder relation and not an order relation, as it is not antisymmetric: λ µ and µ λ does not imply that λ = µ. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
9 The steepness order relation between owing paths Each node is the rst node of one or several owing paths.and is linked with at least one regional minimum. It is the rst node of one or several owing paths. Among all in nitely prolonged owing paths with a same origin, there is at least one (maybe several) which has the lowest lexicographic weight. Such paths with a minimal lexicographic weight are said to be steep. A path µ starting at node p is said k steep if its k rst nodes have the same weights as an steep with the same origin. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
10 k-steep owing graphs A owing graph G is k steep (resp. steep) if each of its owing paths is at least k steep (resp. steep). Remark: In a k steep graph, all (prolongated) owing paths with the same origin have identical weights on their k rst nodes. This is more and more unlikely when k increases. Similarly, in an steep graph, all (prolongated) owing paths with the same origin have identical weights, from the rst node until the last node belonging to a regional minimum. Corollary: If the regional minima have distinct weights, then each node of an steep graph is linked with one and only one regional minimum: the catchment zones do not overlap. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
11 The steepness measure associated to a node Among all owing paths with the same origin p, there is at least one which has a smaller lexicographic weight than all others. There may be several, the weights of their successive nodes being θ 1 (p) = ν p, θ 2 (p),..., θ k (p),... The function θ i is a steepness measure associated to each node. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
12 The steepness of a subpath let π p = p B π q be a directed path obtained by appending to the node p the path π q of origin q. Lemma π p = k steep ) π q = (k 1) steep Proof. If σ q is path of origin q which is steeper than the path π q, then p B σ q is steeper than p B π q. Corollary If (p! q) is the rst arc of a k θ k (p) = θ k 1 (q) By contraposition: if θ k (p) < θ k of a k steep path of origin p steep path of origin p, then 1 (q), then (p! q) is not the rst arc ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
13 k-steep graphs : a criterion Theorem If 8l < k : θ l+1 (p) = θ l (q) for any owing arc (p! q), then any owing path of length k is k steep and the graph G is k steep. Proof. Consider an arbitrary path π k 1 = (p 1, p 2,...p k ) of length k. The weights of the nodes are (ν p1, ν p2,...ν pk ). As θ 1 (p i ) is the weight of the rst node of any path starting with p i, we have ν pi = θ 1 (p i ). Since 8l < k : θ l+1 (p) = θ l (q), we may perform the following substitutions: ν pi = θ 1 (p i ) = θ 2 (p i 1 ) = θ 3 (p i 2 ) = = θ i (p 1 ). Hence the list of weights of π k 1 = (ν p 1, ν p2,...ν pk ) = (θ 1 (p 1 ), θ 2 (p 1 ),...θ k (p 1 )) = θ k 1 (p 1 ), showing that π k 1 is indeed k steep. ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
14 Pruning owing digraphs ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
15 The pruning operators (1) The erosion! ε assigns to each node p the minimal weight of its downstream neighbors:! ε ν p = V ν q. qjp!q Remark: we suppose that p! p, which permits to attribute a weight to nodes which are not the origin of an arrow. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
16 The pruning operators (2) The operator # 2! G (ν, nil) keeps all arcs (p! q) of origin p such that ν q is minimal and suppresses all others. Suppose that the arrow p! q is suppressed and the arrow p! u preserved, implying ν p ν q > ν u, which in turn implies u 9 p. These properties characterize "authorized prunings", preserving the regional minima of the digraph. Only the catchment zones are reduced, as some owing paths have been cut. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
17 The pruning operators (3) Applying the operator! ε to # 2! G (ν, nil) lets the node weights move upstream along the remaining owing paths. Applying again the operator # 2 on! ε # 2! G (ν, nil) produces a second authorized pruning. We obtain like that the pruning operator # 3 = # 2! ε # 2 Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
18 The pruning operators (4) Applying n times the operator # 2! ε to # 2! G (ν, nil) produces the authorized pruning: # n+2 = # 2! n ε # 2 At each iteration, new arcs are cut, the catchment zones reduced but the regional minima preserved (as the black holes of a gravitational graph after a series of authorized prunings). Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
19 The pruning operator creates k-steep graphs Theorem Thus the operator # 2! k 1 ε # 2 leaves only the owing paths of origin p which are at least (k + 1) steep. Consider two paths with the same origin p. The rst,! π = p! q! u!..., is steep and the second,! σ = p! s! t!..., is k steep : θ i+1 (p) = θ i (q) = θ i (s) for i < k but σ is not (k + 1) steep as θ k (s) > θ k (q). The operator! ε # 2! k 2 ε # 2! G uses k times the operator! ε, letting the weights of the nodes glide upstream along the owing paths, producing: ν p = θ k (p), ν q = θ k (q) = θ k+1 (p) and ν s = θ k (s) > θ k (q). The subsequent operator # 2 cuts the arc between p and s. ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
20 Illustration : lexicographic distances The follownig 3 images show respectively the shortest lexicographic distances of depth 1, 2 and 3. If a path is the shortest path for a lexicographic distance of depth k, it also is a shortest path for a lexicographic distance of smaller depth. The following three gures present the lexicographic distances of depth 1, 2 and 3. The partition of catchment basins for the distance 3 is also solution for the distance 2 and 1. Similarly the partition for distance 2 is also solution for distance 1. The number of solutions decreases with the lexicographic depth. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
21 Illustration : lexicographic distance of depth 1 Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
22 Illustration : lexicographic distance of depth 2 Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
23 Illustration : lexicographic distance of depth 3 Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
24 Illustration of the pruning operator A: G (ν, nil) ; B:! G (ν, nil) C: 2! G (ν, nil): a rst catchment zone separated from the rest of the graph. D:! ε 2! G (ν, nil) ; E: 2! ε 2! G (ν, nil) F: 2! ε 2! ε 2! G (ν, nil) : all three catchment zones are separated. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
25 Illustration of the pruning operator A: an edge weighted graph G ; B: the owing digraph! G ; C: the owing digraph with labeled regional minima Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
26 Illustration of the pruning operator A: a owing digraph! G ; B: 2! G (ν, nil) ; C:! ε 2! G (ν, nil) ; D: 2! ε 2! G (ν, nil) Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
27 The e ect of the pruning operator ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
28 Increasing pruning intensity The owing paths (in violet) and the catchment zone of the dark dot are compared for increasing degrees of pruning (1, 2, 3, 4, 5, 7, ). Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
29 Increasing pruning intensity Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
30 Downstream trajectories Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
31 Downstream, upstream, upstream of downstream Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
32 Downstream, upstream, upstream of downstream Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
33 Locality of the pruning operator ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
34 Locality of the pruning operator The operators # 2 and! ε consider for each node p the arcs having p as origin and the weights of their extremities. The operator # k considers for each node the owing paths of origin p counting k nodes, and cuts the rst arc of all paths which are not at least k steep. The union of the owing paths having their origin in a set X of nodes and counting each k nodes is called comet(x, k). The subgraph of! G spanned! by the nodes of comet(x, k) is called comet(x, k). The preceding analysis shows that applying # k to!! G or to comet(x, k) has the same e ect on the arcs having their origin in X, cutting the rst arcs of owing paths which are not at least k steep. Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
35 To which catchment zone belongs the node with a red rim? A: edge weighted graph G ; B: the edge weighted owing digraph #! G ; C: node weighted owing digraph with labeled regional minima ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
36 Fernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
37 ernand Meyer (Centre de Morphologie Mathématique) Pruning digraphs for reducing catchment zones 19 March / 37
The topography of gravitational graphs
The topography of gravitational graphs Fernand Meyer Centre de Morphologie Mathématique 20 February 2017 ernand Meyer (Centre de Morphologie Mathématique) The topography of gravitational graphs 20 February
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More information1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).
1.3. VERTEX DEGREES 11 1.3 Vertex Degrees Vertex Degree for Undirected Graphs: Let G be an undirected graph and x V (G). The degree d G (x) of x in G: the number of edges incident with x, each loop counting
More informationChapter 6. Properties of Regular Languages
Chapter 6 Properties of Regular Languages Regular Sets and Languages Claim(1). The family of languages accepted by FSAs consists of precisely the regular sets over a given alphabet. Every regular set is
More informationCS 410/584, Algorithm Design & Analysis, Lecture Notes 4
CS 0/58,, Biconnectivity Let G = (N,E) be a connected A node a N is an articulation point if there are v and w different from a such that every path from 0 9 8 3 5 7 6 David Maier Biconnected Component
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationCographs; chordal graphs and tree decompositions
Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs
More informationPaths and cycles in extended and decomposable digraphs
Paths and cycles in extended and decomposable digraphs Jørgen Bang-Jensen Gregory Gutin Department of Mathematics and Computer Science Odense University, Denmark Abstract We consider digraphs called extended
More informationSection 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.
Section 7.1 Relations and Their Properties Definition: A binary relation R from a set A to a set B is a subset R A B. Note: there are no constraints on relations as there are on functions. We have a common
More informationarxiv: v3 [cs.ds] 24 Jul 2018
New Algorithms for Weighted k-domination and Total k-domination Problems in Proper Interval Graphs Nina Chiarelli 1,2, Tatiana Romina Hartinger 1,2, Valeria Alejandra Leoni 3,4, Maria Inés Lopez Pujato
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationDAGS. f V f V 3 V 1, V 2 f V 2 V 0 f V 1 V 0 f V 0 (V 0, f V. f V m pa m pa m are the parents of V m. Statistical Dag: Example.
DAGS (V 0, 0,, V 1,,,V M ) V 0 V 1 V 2 V 3 Statistical Dag: f V Example M m 1 f V m pa m pa m are the parents of V m f V f V 3 V 1, V 2 f V 2 V 0 f V 1 V 0 f V 0 15 DAGS (V 0, 0,, V 1,,,V M ) V 0 V 1 V
More informationOutline Inverse of a Relation Properties of Relations. Relations. Alice E. Fischer. April, 2018
Relations Alice E. Fischer April, 2018 1 Inverse of a Relation 2 Properties of Relations The Inverse of a Relation Let R be a relation from A to B. Define the inverse relation, R 1 from B to A as follows.
More information5. Partitions and Relations Ch.22 of PJE.
5. Partitions and Relations Ch. of PJE. We now generalize the ideas of congruence classes of Z to classes of any set X. The properties of congruence classes that we start with here are that they are disjoint
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationReading 11 : Relations and Functions
CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Reading 11 : Relations and Functions Instructor: Beck Hasti and Gautam Prakriya In reading 3, we described a correspondence between predicates
More informationDisjoint Hamiltonian Cycles in Bipartite Graphs
Disjoint Hamiltonian Cycles in Bipartite Graphs Michael Ferrara 1, Ronald Gould 1, Gerard Tansey 1 Thor Whalen Abstract Let G = (X, Y ) be a bipartite graph and define σ (G) = min{d(x) + d(y) : xy / E(G),
More informationSublinear Algorithms Lecture 3. Sofya Raskhodnikova Penn State University
Sublinear Algorithms Lecture 3 Sofya Raskhodnikova Penn State University 1 Graph Properties Testing if a Graph is Connected [Goldreich Ron] Input: a graph G = (V, E) on n vertices in adjacency lists representation
More informationCharacteristic polynomials of skew-adjacency matrices of oriented graphs
Characteristic polynomials of skew-adjacency matrices of oriented graphs Yaoping Hou Department of Mathematics Hunan Normal University Changsha, Hunan 410081, China yphou@hunnu.edu.cn Tiangang Lei Department
More informationRelationship between Maximum Flows and Minimum Cuts
128 Flows and Connectivity Recall Flows and Maximum Flows A connected weighted loopless graph (G,w) with two specified vertices x and y is called anetwork. If w is a nonnegative capacity function c, then
More informationDiscrete Wiskunde II. Lecture 5: Shortest Paths & Spanning Trees
, 2009 Lecture 5: Shortest Paths & Spanning Trees University of Twente m.uetz@utwente.nl wwwhome.math.utwente.nl/~uetzm/dw/ Shortest Path Problem "#$%&'%()*%"()$#+,&- Given directed "#$%&'()*+,%+('-*.#/'01234564'.*,'7+"-%/8',&'5"4'84%#3
More informationShortest paths with negative lengths
Chapter 8 Shortest paths with negative lengths In this chapter we give a linear-space, nearly linear-time algorithm that, given a directed planar graph G with real positive and negative lengths, but no
More informationMath 443/543 Graph Theory Notes 5: Graphs as matrices, spectral graph theory, and PageRank
Math 443/543 Graph Theory Notes 5: Graphs as matrices, spectral graph theory, and PageRank David Glickenstein November 3, 4 Representing graphs as matrices It will sometimes be useful to represent graphs
More information25. Minimum Spanning Trees
695 25. Minimum Spanning Trees Motivation, Greedy, Algorithm Kruskal, General Rules, ADT Union-Find, Algorithm Jarnik, Prim, Dijkstra, Fibonacci Heaps [Ottman/Widmayer, Kap. 9.6, 6.2, 6.1, Cormen et al,
More information25. Minimum Spanning Trees
Problem Given: Undirected, weighted, connected graph G = (V, E, c). 5. Minimum Spanning Trees Motivation, Greedy, Algorithm Kruskal, General Rules, ADT Union-Find, Algorithm Jarnik, Prim, Dijkstra, Fibonacci
More informationAcyclic Digraphs arising from Complete Intersections
Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine
More informationarxiv: v3 [cs.dm] 18 Oct 2017
Decycling a Graph by the Removal of a Matching: Characterizations for Special Classes arxiv:1707.02473v3 [cs.dm] 18 Oct 2017 Fábio Protti and Uéverton dos Santos Souza Institute of Computing - Universidade
More information(P ) Minimize 4x 1 + 6x 2 + 5x 3 s.t. 2x 1 3x 3 3 3x 2 2x 3 6
The exam is three hours long and consists of 4 exercises. The exam is graded on a scale 0-25 points, and the points assigned to each question are indicated in parenthesis within the text. Problem 1 Consider
More informationCounting and Constructing Minimal Spanning Trees. Perrin Wright. Department of Mathematics. Florida State University. Tallahassee, FL
Counting and Constructing Minimal Spanning Trees Perrin Wright Department of Mathematics Florida State University Tallahassee, FL 32306-3027 Abstract. We revisit the minimal spanning tree problem in order
More informationThe Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles
The Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles Snežana Mitrović-Minić Ramesh Krishnamurti School of Computing Science, Simon Fraser University, Burnaby,
More informationBranch-and-Bound for the Travelling Salesman Problem
Branch-and-Bound for the Travelling Salesman Problem Leo Liberti LIX, École Polytechnique, F-91128 Palaiseau, France Email:liberti@lix.polytechnique.fr March 15, 2011 Contents 1 The setting 1 1.1 Graphs...............................................
More informationTheory of Computation
Theory of Computation (Feodor F. Dragan) Department of Computer Science Kent State University Spring, 2018 Theory of Computation, Feodor F. Dragan, Kent State University 1 Before we go into details, what
More informationMore on NP and Reductions
Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India http://www.iiitdm.ac.in COM 501 Advanced Data
More informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
More informationMathematics for Decision Making: An Introduction. Lecture 13
Mathematics for Decision Making: An Introduction Lecture 13 Matthias Köppe UC Davis, Mathematics February 17, 2009 13 1 Reminder: Flows in networks General structure: Flows in networks In general, consider
More informationPreliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}
Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)
More informationSpanning Trees in Grid Graphs
Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid
More informationDecomposing planar cubic graphs
Decomposing planar cubic graphs Arthur Hoffmann-Ostenhof Tomáš Kaiser Kenta Ozeki Abstract The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree,
More informationConnected Component Tree
onnected omponent Tree Jean ousty OUR-DAY OURSE on Mathematical Morphology in image analysis Bangalore 19- October 010 Motivation onnectivity plays important role for image processing Morphological connected
More informationarxiv: v2 [cs.dm] 29 Mar 2013
arxiv:1302.6346v2 [cs.dm] 29 Mar 2013 Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Adrien Richard Laboratoire I3S, CNRS & Université de Nice-Sophia Antipolis, France.
More informationModeling and Stability Analysis of a Communication Network System
Modeling and Stability Analysis of a Communication Network System Zvi Retchkiman Königsberg Instituto Politecnico Nacional e-mail: mzvi@cic.ipn.mx Abstract In this work, the modeling and stability problem
More informationNowhere-zero flows in signed series-parallel graphs arxiv: v1 [math.co] 6 Nov 2014
Nowhere-zero flows in signed series-parallel graphs arxiv:1411.1788v1 [math.co] 6 Nov 2014 Tomáš Kaiser 1,2 Edita Rollová 1,3 Abstract Bouchet conjectured in 1983 that each signed graph that admits a nowhere-zero
More informationNotes on MapReduce Algorithms
Notes on MapReduce Algorithms Barna Saha 1 Finding Minimum Spanning Tree of a Dense Graph in MapReduce We are given a graph G = (V, E) on V = N vertices and E = m N 1+c edges for some constant c > 0. Our
More informationA bijective proof of Shapiro s Catalan convolution
A bijective proof of Shapiro s Catalan convolution Péter Hajnal Bolyai Institute University of Szeged Szeged, Hungary Gábor V. Nagy {hajnal,ngaba}@math.u-szeged.hu Submitted: Nov 26, 2013; Accepted: May
More informationUniform random posets
Uniform random posets Patryk Kozieª Maªgorzata Sulkowska January 6, 2018 Abstract. We propose a simple algorithm generating labelled posets of given size according to the almost uniform distribution. By
More informationGenerating p-extremal graphs
Generating p-extremal graphs Derrick Stolee Department of Mathematics Department of Computer Science University of Nebraska Lincoln s-dstolee1@math.unl.edu August 2, 2011 Abstract Let f(n, p be the maximum
More informationChapter VIII : Thinnings
Chapter VIII : Thinnings Hit-or-Miss Thinning thickening Homotopy Homotopy and Connectivity Homotopic Thinnings and Thickenings J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VIII.
More informationPacking Arborescences
Egerváry Research Group on Combinatorial Optimization Technical reports TR-2009-04. Published by the Egerváry Research Group, Pázmány P. sétány 1/C, H1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationReverse mathematics of some topics from algorithmic graph theory
F U N D A M E N T A MATHEMATICAE 157 (1998) Reverse mathematics of some topics from algorithmic graph theory by Peter G. C l o t e (Chestnut Hill, Mass.) and Jeffry L. H i r s t (Boone, N.C.) Abstract.
More informationScheduling with AND/OR Precedence Constraints
Scheduling with AND/OR Precedence Constraints Seminar Mathematische Optimierung - SS 2007 23th April 2007 Synthesis synthesis: transfer from the behavioral domain (e. g. system specifications, algorithms)
More informationRing Sums, Bridges and Fundamental Sets
1 Ring Sums Definition 1 Given two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) we define the ring sum G 1 G 2 = (V 1 V 2, (E 1 E 2 ) (E 1 E 2 )) with isolated points dropped. So an edge is in G 1 G
More informationMAS210 Graph Theory Exercises 5 Solutions (1) v 5 (1)
MAS210 Graph Theor Exercises 5 Solutions Q1 Consider the following directed network N. x 3 (3) v 1 2 (2) v 2 5 (2) 2(2) 1 (0) 3 (0) 2 (0) 3 (0) 3 2 (2) 2(0) v v 5 1 v 6 The numbers in brackets define an
More informationTheoretical Computer Science
Theoretical Computer Science 410 (2009) 2759 2766 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Note Computing the longest topological
More informationRelations on Hypergraphs
Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation
More informationGraph Transformations T1 and T2
Graph Transformations T1 and T2 We now introduce two graph transformations T1 and T2. Reducibility by successive application of these two transformations is equivalent to reducibility by intervals. The
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS
ACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS WALTER D. MORRIS, JR. ABSTRACT. We call a directed acyclic graph a CIdigraph if a certain affine semigroup ring defined by it is a complete intersection.
More informationGraphical Model Inference with Perfect Graphs
Graphical Model Inference with Perfect Graphs Tony Jebara Columbia University July 25, 2013 joint work with Adrian Weller Graphical models and Markov random fields We depict a graphical model G as a bipartite
More informationUndirected Graphical Models
Outline Hong Chang Institute of Computing Technology, Chinese Academy of Sciences Machine Learning Methods (Fall 2012) Outline Outline I 1 Introduction 2 Properties Properties 3 Generative vs. Conditional
More informationStandard Diraphs the (unique) digraph with no vertices or edges. (modulo n) for every 1 i n A digraph whose underlying graph is a complete graph.
5 Directed Graphs What is a directed graph? Directed Graph: A directed graph, or digraph, D, consists of a set of vertices V (D), a set of edges E(D), and a function which assigns each edge e an ordered
More information16 February 2010 Draft Version
Local Tournaments with the minimum number of Hamiltonian cycles or cycles of length three Dirk Meierling Lehrstuhl II für Mathematik, RWTH Aachen University, 52056 Aachen, Germany e-mail: meierling@math2.rwth-aachen.de
More informationarxiv: v1 [cs.dm] 26 Apr 2010
A Simple Polynomial Algorithm for the Longest Path Problem on Cocomparability Graphs George B. Mertzios Derek G. Corneil arxiv:1004.4560v1 [cs.dm] 26 Apr 2010 Abstract Given a graph G, the longest path
More informationPRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction
PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS HUNTER LEHMANN AND ANDREW PARK Abstract. A graph on n vertices is said to admit a prime labeling if we can label its vertices with the first n natural
More informationAll-Pairs Shortest Paths
All-Pairs Shortest Paths Version of October 28, 2016 Version of October 28, 2016 All-Pairs Shortest Paths 1 / 26 Outline Another example of dynamic programming Will see two different dynamic programming
More informationPartial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs
Partial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs Flavia Bonomo a,1, Maria Chudnovsky b,2 and Guillermo Durán c,3 a Departamento de Matemática, Facultad
More informationUndirected Graphs. V = { 1, 2, 3, 4, 5, 6, 7, 8 } E = { 1-2, 1-3, 2-3, 2-4, 2-5, 3-5, 3-7, 3-8, 4-5, 5-6 } n = 8 m = 11
Undirected Graphs Undirected graph. G = (V, E) V = nodes. E = edges between pairs of nodes. Captures pairwise relationship between objects. Graph size parameters: n = V, m = E. V = {, 2, 3,,,, 7, 8 } E
More informationCheck off these skills when you feel that you have mastered them. Write in your own words the definition of a Hamiltonian circuit.
Chapter Objectives Check off these skills when you feel that you have mastered them. Write in your own words the definition of a Hamiltonian circuit. Explain the difference between an Euler circuit and
More informationOn decomposing graphs of large minimum degree into locally irregular subgraphs
On decomposing graphs of large minimum degree into locally irregular subgraphs Jakub Przyby lo AGH University of Science and Technology al. A. Mickiewicza 0 0-059 Krakow, Poland jakubprz@agh.edu.pl Submitted:
More informationMINIMALLY NON-PFAFFIAN GRAPHS
MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect
More informationarxiv: v3 [math.ds] 21 Jan 2018
ASYMPTOTIC BEHAVIOR OF CONJUNCTIVE BOOLEAN NETWORK OVER WEAKLY CONNECTED DIGRAPH XUDONG CHEN, ZUGUANG GAO, AND TAMER BAŞAR arxiv:1708.01975v3 [math.ds] 21 Jan 2018 Abstract. A conjunctive Boolean network
More informationChord theorems on graphs
arxiv:math/0702805v2 [math.gr] 20 Sep 2007 Chord theorems on graphs Mohammad Javaheri Department of Mathematics University of Oregon Eugene, OR 97403 email: javaheri@uoregon.edu July 24, 2018 Abstract
More informationA Characterization of Partial Directed Line Graphs
A Characterization of Partial Directed Line Graphs Nicola Apollonio Paolo G. Franciosa Abstract Can a directed graph be completed to a directed line graph? If possible, how many arcs must be added? In
More informationMaximum-Life Routing Schedule
Maximum-Life Routing Schedule Peng-Jun Wan wan@cs.iit.edu Peng-Jun Wan (wan@cs.iit.edu) Maximum-Life Routing Schedule 1 / 42 Outline Problem Description Min-Cost Routing Ellipsoid Algorithm Price-Directive
More informationOn the rank of Directed Hamiltonicity and beyond
Utrecht University Faculty of Science Department of Information and Computing Sciences On the rank of Directed Hamiltonicity and beyond Author: Ioannis Katsikarelis Supervisors: Dr. Hans L. Bodlaender
More informationThe Multi-Agent Rendezvous Problem - The Asynchronous Case
43rd IEEE Conference on Decision and Control December 14-17, 2004 Atlantis, Paradise Island, Bahamas WeB03.3 The Multi-Agent Rendezvous Problem - The Asynchronous Case J. Lin and A.S. Morse Yale University
More informationNotes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.
Relations Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 7.1, 7.3 7.5 of Rosen cse235@cse.unl.edu
More informationHamiltonian cycles in circulant digraphs with jumps 2, 3, c [We need a real title???]
Hamiltonian cycles in circulant digraphs with jumps,, c [We need a real title???] Abstract [We need an abstract???] 1 Introduction It is not known which circulant digraphs have hamiltonian cycles; this
More informationDistance between two k-sets and Path-Systems Extendibility
Distance between two k-sets and Path-Systems Extendibility December 2, 2003 Ronald J. Gould (Emory University), Thor C. Whalen (Metron, Inc.) Abstract Given a simple graph G on n vertices, let σ 2 (G)
More informationRainbow Connection in Oriented Graphs
Rainbow Connection in Oriented Graphs Paul Dorbec a,b, Ingo Schiermeyer c, Elżbieta Sidorowicz d and Éric Sopenaa,b a Univ. Bordeaux, LaBRI, UMR5800, F-33400 Talence b CNRS, LaBRI, UMR5800, F-33400 Talence
More informationCore Mathematics C1 (AS) Unit C1
Core Mathematics C1 (AS) Unit C1 Algebraic manipulation of polynomials, including expanding brackets and collecting like terms, factorisation. Graphs of functions; sketching curves defined by simple equations.
More information4 Packing T-joins and T-cuts
4 Packing T-joins and T-cuts Introduction Graft: A graft consists of a connected graph G = (V, E) with a distinguished subset T V where T is even. T-cut: A T -cut of G is an edge-cut C which separates
More informationOn Eigenvalues of Laplacian Matrix for a Class of Directed Signed Graphs
On Eigenvalues of Laplacian Matrix for a Class of Directed Signed Graphs Saeed Ahmadizadeh a, Iman Shames a, Samuel Martin b, Dragan Nešić a a Department of Electrical and Electronic Engineering, Melbourne
More informationIntelligent Systems:
Intelligent Systems: Undirected Graphical models (Factor Graphs) (2 lectures) Carsten Rother 15/01/2015 Intelligent Systems: Probabilistic Inference in DGM and UGM Roadmap for next two lectures Definition
More information2 Notation and Preliminaries
On Asymmetric TSP: Transformation to Symmetric TSP and Performance Bound Ratnesh Kumar Haomin Li epartment of Electrical Engineering University of Kentucky Lexington, KY 40506-0046 Abstract We show that
More informationCSC Discrete Math I, Spring Relations
CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:
More informationResonances, Divergent series and R.G.: (G. Gentile, G.G.) α = ε α f(α) α 2. 0 ν Z r
B Resonances, Divergent series and R.G.: (G. Gentile, G.G.) Eq. Motion: α = ε α f(α) A A 2 α α 2 α...... l A l Representation of phase space in terms of l rotators: α=(α,...,α l ) T l Potential: f(α) =
More informationAlgorithmic Approach to Counting of Certain Types m-ary Partitions
Algorithmic Approach to Counting of Certain Types m-ary Partitions Valentin P. Bakoev Abstract Partitions of integers of the type m n as a sum of powers of m (the so called m-ary partitions) and their
More informationCOUNTING AND ENUMERATING SPANNING TREES IN (di-) GRAPHS
COUNTING AND ENUMERATING SPANNING TREES IN (di-) GRAPHS Xuerong Yong Version of Feb 5, 9 pm, 06: New York Time 1 1 Introduction A directed graph (digraph) D is a pair (V, E): V is the vertex set of D,
More informationDiscrete Mathematics
Discrete Mathematics 309 (009) 3811 380 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Disjoint hamiltonian cycles in bipartite graphs Michael
More informationUnstable K=K T=T. Unstable K=K T=T
G252651: Statistical Mechanics Notes for Lecture 28 I FIXED POINTS OF THE RG EQUATIONS IN GREATER THAN ONE DIMENSION In the last lecture, we noted that interactions between block of spins in a spin lattice
More informationMarkov Independence (Continued)
Markov Independence (Continued) As an Undirected Graph Basic idea: Each variable V is represented as a vertex in an undirected graph G = (V(G), E(G)), with set of vertices V(G) and set of edges E(G) the
More informationSequence of maximal distance codes in graphs or other metric spaces
Electronic Journal of Graph Theory and Applications 1 (2) (2013), 118 124 Sequence of maximal distance codes in graphs or other metric spaces C. Delorme University Paris Sud 91405 Orsay CEDEX - France.
More informationOn improving matchings in trees, via bounded-length augmentations 1
On improving matchings in trees, via bounded-length augmentations 1 Julien Bensmail a, Valentin Garnero a, Nicolas Nisse a a Université Côte d Azur, CNRS, Inria, I3S, France Abstract Due to a classical
More informationSome links between extremum spanning forests, watersheds and min-cuts
Some links between extremum spanning forests, watersheds and min-cuts Cédric Allène a,b, Jean-Yves Audibert a, Michel Couprie b and Renaud Keriven a a Université Paris-Est, CERTIS, Ecole des Ponts ParisTech,
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 3 Luca Trevisan August 31, 2017
U.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 3 Luca Trevisan August 3, 207 Scribed by Keyhan Vakil Lecture 3 In which we complete the study of Independent Set and Max Cut in G n,p random graphs.
More informationClairvoyant scheduling of random walks
Clairvoyant scheduling of random walks Péter Gács Boston University April 25, 2008 Péter Gács (BU) Clairvoyant demon April 25, 2008 1 / 65 Introduction The clairvoyant demon problem 2 1 Y : WAIT 0 X, Y
More informationPrime Labeling of Small Trees with Gaussian Integers
Rose-Hulman Undergraduate Mathematics Journal Volume 17 Issue 1 Article 6 Prime Labeling of Small Trees with Gaussian Integers Hunter Lehmann Seattle University Andrew Park Seattle University Follow this
More informationA Generalized Eigenmode Algorithm for Reducible Regular Matrices over the Max-Plus Algebra
International Mathematical Forum, 4, 2009, no. 24, 1157-1171 A Generalized Eigenmode Algorithm for Reducible Regular Matrices over the Max-Plus Algebra Zvi Retchkiman Königsberg Instituto Politécnico Nacional,
More informationThe Spanning Galaxy Problem
The Spanning Galay Problem Daniel Gonçalves Frédéric Havet Aleandre Pinlou Stéphan Thomassé August 23, 2009 Abstract In a directed graph, a star is an arborescence with at least one arc, in which the root
More information