Graph Theory: Network Flow
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
1. Directed Graphs Or Quivers What Is Category Theory? • Graph Theory on Steroids • Comic Book Mathematics • Abstract Nonsense • the Secret Dictionary
1. Directed graphs or quivers What is category theory? • Graph theory on steroids • Comic book mathematics • Abstract nonsense • The secret dictionary Sets and classes: For S = fX j X2 = Xg, have S 2 S , S2 = S Directed graph or quiver: C = (C0;C1;@0 : C1 ! C0;@1 : C1 ! C0) Class C0 of objects, vertices, points, . Class C1 of morphisms, (directed) edges, arrows, . For x; y 2 C0, write C(x; y) := ff 2 C1 j @0f = x; @1f = yg f 2C1 tail, domain / @0f / @1f o head, codomain op Opposite or dual graph of C = (C0;C1;@0;@1) is C = (C0;C1;@1;@0) Graph homomorphism F : D ! C has object part F0 : D0 ! C0 and morphism part F1 : D1 ! C1 with @i ◦ F1(f) = F0 ◦ @i(f) for i = 0; 1. Graph isomorphism has bijective object and morphism parts. Poset (X; ≤): set X with reflexive, antisymmetric, transitive order ≤ Hasse diagram of poset (X; ≤): x ! y if y covers x, i.e., x 6= y and [x; y] = fx; yg, so x ≤ z ≤ y ) z = x or z = y. Hasse diagram of (N; ≤) is 0 / 1 / 2 / 3 / ::: Hasse diagram of (f1; 2; 3; 6g; j ) is 3 / 6 O O 1 / 2 1 2 2. Categories Category: Quiver C = (C0;C1;@0 : C1 ! C0;@1 : C1 ! C0) with: • composition: 8 x; y; z 2 C0 ; C(x; y) × C(y; z) ! C(x; z); (f; g) 7! g ◦ f • satisfying associativity: 8 x; y; z; t 2 C0 ; 8 (f; g; h) 2 C(x; y) × C(y; z) × C(z; t) ; h ◦ (g ◦ f) = (h ◦ g) ◦ f y iS qq <SSSS g qq << SSS f qqq h◦g < SSSS qq << SSS qq g◦f < SSS xqq << SS z Vo VV < x VVVV << VVVV < VVVV << h VVVV < h◦(g◦f)=(h◦g)◦f VVVV < VVV+ t • identities: 8 x; y; z 2 C0 ; 9 1y 2 C(y; y) : 8 f 2 C(x; y) ; 1y ◦ f = f and 8 g 2 C(y; z) ; g ◦ 1y = g f y o x MM MM 1y g MM MMM f MMM M& zo g y Example: N0 = fxg ; N1 = N ; 1x = 0 ; 8 m; n 2 N ; n◦m = m+n ; | one object, lots of arrows [monoid of natural numbers under addition] 4 x / x Equation: 3 + 5 = 4 + 4 Commuting diagram: 3 4 x / x 5 ( 1 if m ≤ n; Example: N1 = N ; 8 m; n 2 N ; jN(m; n)j = 0 otherwise | lots of objects, lots of arrows [poset (N; ≤) as a category] These two examples are small categories: have a set of morphisms. -
7. NETWORK FLOW II ‣ Bipartite Matching ‣ Disjoint Paths
Soviet rail network (1950s) "Free world" goal. Cut supplies (if cold war turns into real war). 7. NETWORK FLOW II ‣ bipartite matching ‣ disjoint paths ‣ extensions to max flow ‣ survey design ‣ airline scheduling ‣ image segmentation ‣ project selection Lecture slides by Kevin Wayne ‣ baseball elimination Copyright © 2005 Pearson-Addison Wesley http://www.cs.princeton.edu/~wayne/kleinberg-tardos Reference: On the history of the transportation and maximum flow problems. Alexander Schrijver in Math Programming, 91: 3, 2002. Last updated on Mar 31, 2013 3:25 PM Figure 2 2 From Harris and Ross [1955]: Schematic diagram of the railway network of the Western So- viet Union and Eastern European countries, with a maximum flow of value 163,000 tons from Russia to Eastern Europe, and a cut of capacity 163,000 tons indicated as ‘The bottleneck’. Max-flow and min-cut applications Max-flow and min-cut are widely applicable problem-solving model. ・Data mining. 7. NETWORK FLOW II ・Open-pit mining. ・Bipartite matching. ‣ bipartite matching ・Network reliability. ‣ disjoint paths ・Baseball elimination. ‣ extensions to max flow ・Image segmentation. ・Network connectivity. ‣ survey design liver and hepatic vascularization segmentation ・Distributed computing. ‣ airline scheduling ・Security of statistical data. ‣ image segmentation ・Egalitarian stable matching. ・Network intrusion detection. ‣ project selection ・Multi-camera scene reconstruction. ‣ baseball elimination ・Sensor placement for homeland security. ・Many, many, more. 3 Matching Bipartite matching Def. Given an undirected graph G = (V, E) a subset of edges M ⊆ E is Def. A graph G is bipartite if the nodes can be partitioned into two subsets a matching if each node appears in at most one edge in M. -
Models for Networks with Consumable Resources: Applications to Smart Cities Hayato Montezuma Ushijima-Mwesigwa Clemson University, [email protected]
Clemson University TigerPrints All Dissertations Dissertations 12-2018 Models for Networks with Consumable Resources: Applications to Smart Cities Hayato Montezuma Ushijima-Mwesigwa Clemson University, [email protected] Follow this and additional works at: https://tigerprints.clemson.edu/all_dissertations Recommended Citation Ushijima-Mwesigwa, Hayato Montezuma, "Models for Networks with Consumable Resources: Applications to Smart Cities" (2018). All Dissertations. 2284. https://tigerprints.clemson.edu/all_dissertations/2284 This Dissertation is brought to you for free and open access by the Dissertations at TigerPrints. It has been accepted for inclusion in All Dissertations by an authorized administrator of TigerPrints. For more information, please contact [email protected]. Models for Networks with Consumable Resources: Applications to Smart Cities A Dissertation Presented to the Graduate School of Clemson University In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy Computer Science by Hayato Ushijima-Mwesigwa December 2018 Accepted by: Dr. Ilya Safro, Committee Chair Dr. Mashrur Chowdhury Dr. Brian Dean Dr. Feng Luo Abstract In this dissertation, we introduce different models for understanding and controlling the spreading dynamics of a network with a consumable resource. In particular, we consider a spreading process where a resource necessary for transit is partially consumed along the way while being refilled at special nodes on the network. Examples include fuel consumption of vehicles together with refueling stations, information loss during dissemination with error correcting nodes, consumption of ammunition of military troops while moving, and migration of wild animals in a network with a limited number of water-holes. We undertake this study from two different perspectives. First, we consider a network science perspective where we are interested in identifying the influential nodes, and estimating a nodes’ relative spreading influence in the network. -
Graph Theory
1 Graph Theory “Begin at the beginning,” the King said, gravely, “and go on till you come to the end; then stop.” — Lewis Carroll, Alice in Wonderland The Pregolya River passes through a city once known as K¨onigsberg. In the 1700s seven bridges were situated across this river in a manner similar to what you see in Figure 1.1. The city’s residents enjoyed strolling on these bridges, but, as hard as they tried, no residentof the city was ever able to walk a route that crossed each of these bridges exactly once. The Swiss mathematician Leonhard Euler learned of this frustrating phenomenon, and in 1736 he wrote an article [98] about it. His work on the “K¨onigsberg Bridge Problem” is considered by many to be the beginning of the field of graph theory. FIGURE 1.1. The bridges in K¨onigsberg. J.M. Harris et al., Combinatorics and Graph Theory , DOI: 10.1007/978-0-387-79711-3 1, °c Springer Science+Business Media, LLC 2008 2 1. Graph Theory At first, the usefulness of Euler’s ideas and of “graph theory” itself was found only in solving puzzles and in analyzing games and other recreations. In the mid 1800s, however, people began to realize that graphs could be used to model many things that were of interest in society. For instance, the “Four Color Map Conjec- ture,” introduced by DeMorgan in 1852, was a famous problem that was seem- ingly unrelated to graph theory. The conjecture stated that four is the maximum number of colors required to color any map where bordering regions are colored differently. -
Structural Graph Theory Meets Algorithms: Covering And
Structural Graph Theory Meets Algorithms: Covering and Connectivity Problems in Graphs Saeed Akhoondian Amiri Fakult¨atIV { Elektrotechnik und Informatik der Technischen Universit¨atBerlin zur Erlangung des akademischen Grades Doktor der Naturwissenschaften Dr. rer. nat. genehmigte Dissertation Promotionsausschuss: Vorsitzender: Prof. Dr. Rolf Niedermeier Gutachter: Prof. Dr. Stephan Kreutzer Gutachter: Prof. Dr. Marcin Pilipczuk Gutachter: Prof. Dr. Dimitrios Thilikos Tag der wissenschaftlichen Aussprache: 13. October 2017 Berlin 2017 2 This thesis is dedicated to my family, especially to my beautiful wife Atefe and my lovely son Shervin. 3 Contents Abstract iii Acknowledgementsv I. Introduction and Preliminaries1 1. Introduction2 1.0.1. General Techniques and Models......................3 1.1. Covering Problems.................................6 1.1.1. Covering Problems in Distributed Models: Case of Dominating Sets.6 1.1.2. Covering Problems in Directed Graphs: Finding Similar Patterns, the Case of Erd}os-P´osaproperty.......................9 1.2. Routing Problems in Directed Graphs...................... 11 1.2.1. Routing Problems............................. 11 1.2.2. Rerouting Problems............................ 12 1.3. Structure of the Thesis and Declaration of Authorship............. 14 2. Preliminaries and Notations 16 2.1. Basic Notations and Defnitions.......................... 16 2.1.1. Sets..................................... 16 2.1.2. Graphs................................... 16 2.2. Complexity Classes................................ -
An Application of Graph Theory in Markov Chains Reliability Analysis
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by DSpace at VSB Technical University of Ostrava STATISTICS VOLUME: 12 j NUMBER: 2 j 2014 j JUNE An Application of Graph Theory in Markov Chains Reliability Analysis Pavel SKALNY Department of Applied Mathematics, Faculty of Electrical Engineering and Computer Science, VSB–Technical University of Ostrava, 17. listopadu 15/2172, 708 33 Ostrava-Poruba, Czech Republic [email protected] Abstract. The paper presents reliability analysis which the production will be equal or greater than the indus- was realized for an industrial company. The aim of the trial partner demand. To deal with the task a Monte paper is to present the usage of discrete time Markov Carlo simulation of Discrete time Markov chains was chains and the flow in network approach. Discrete used. Markov chains a well-known method of stochastic mod- The goal of this paper is to present the Discrete time elling describes the issue. The method is suitable for Markov chain analysis realized on the system, which is many systems occurring in practice where we can easily not distributed in parallel. Since the analysed process distinguish various amount of states. Markov chains is more complicated the graph theory approach seems are used to describe transitions between the states of to be an appropriate tool. the process. The industrial process is described as a graph network. The maximal flow in the network cor- Graph theory has previously been applied to relia- responds to the production. The Ford-Fulkerson algo- bility, but for different purposes than we intend. -
Network Flow - Theory and Applications with Practical Impact
3 Network flow - Theory and applications with practical impact Masao Iri Department of Information and System Engineering Faculty of Science and Engineering, Chuo University 1-13-27 Kasuga, Bunkyo-ku, Tokyo 112, Japan. Tel: +81-3-3817-1690. Fax: +81-3-3817-1681. e-mail: [email protected] Keywords Network flow, history, applications, duality, future 1 INTRODUCTION The research in this subject has now a long history and a large variety of related fields in science, engineering and operations research, and is still developing fast, especially in its algorithmic aspects, attracting many excellent senior as well as young researchers. And the space allotted to this paper is limited. So, in this paper I will not lay so much stress on particular frontiers of research in the subject as on the wider and historical viewpoint. Network-flow theory is one of the best studied and developed fields of optimization, and has important relations to quite different fields of science and technology such as com binatorial mathematics, algebraic topology, electric circuit theory, nonlinear continuum theory including plasticity theory, geographic information systems, VLSI design, etc., etc., besides standard applications to transportation, scheduling, etc. in operations research. An important point of view from which we should look at network flow theory is the "duality" viewpoint, to which due attention was paid at the earlier stages of development of the theory but which tends to be gradually ignored as time goes. Since the papers and books published on network flow are too many to cite here, I do not intend to compile even an incomplete list of references but only to cite a few which I directly mention and which I think tend to become obscured during the long history in spite of their ever lasting importance. -
Inequity in Searching for Knowledge in Organizations
The World is Not Small for Everyone: Inequity in Searching for Knowledge in Organizations _______________ Jasjit SINGH Morten HANSEN Joel PODOLNY 2010/11/ST/EFE (Revised version of 2009/49/ST/EFE) The World is Not Small for Everyone: Inequity in Searching for Knowledge in Organizations By Jasjit Singh * Morten T. Hansen** Joel M. Podolny*** ** February 2010 Revised version of INSEAD Working Paper 2009/49/ST/EFE * Assistant Professor of Strategy at INSEAD, 1 Ayer Rajah Avenue, Singapore 138676 Ph: +65 6799 5341 E-Mail: [email protected] ** Professor of Entrepreneurship at INSEAD, Boulevard de Constance, Fontainebleau 77305 France Ph: + 33 (0) 1 60 72 40 20 E-Mail: [email protected] *** Professor at Apple University, 1 Infinite Loop, MS 301-4AU, Cupertino, CA 95014, USA Email: [email protected] A working paper in the INSEAD Working Paper Series is intended as a means whereby a faculty researcher's thoughts and findings may be communicated to interested readers. The paper should be considered preliminary in nature and may require revision. Printed at INSEAD, Fontainebleau, France. Kindly do not reproduce or circulate without permission. ABSTRACT We explore why some employees may be at a disadvantage in searching for information in large complex organizations. The “small world” argument in social network theory emphasizes that people are on an average only a few connections away from the information they seek. However, we argue that such a network structure may benefit some people more than others. Specifically, some employees may have longer search paths in locating knowledge in an organization—their world may be large. -
Network Flow-Based Refinement for Multilevel Hypergraph Partitioning
Network Flow-Based Refinement for Multilevel Hypergraph Partitioning Tobias Heuer Karlsruhe Institute of Technology, Germany [email protected] Peter Sanders Karlsruhe Institute of Technology, Germany [email protected] Sebastian Schlag Karlsruhe Institute of Technology, Germany [email protected] Abstract We present a refinement framework for multilevel hypergraph partitioning that uses max-flow computations on pairs of blocks to improve the solution quality of a k-way partition. The frame- work generalizes the flow-based improvement algorithm of KaFFPa from graphs to hypergraphs and is integrated into the hypergraph partitioner KaHyPar. By reducing the size of hypergraph flow networks, improving the flow model used in KaFFPa, and developing techniques to improve the running time of our algorithm, we obtain a partitioner that computes the best solutions for a wide range of benchmark hypergraphs from different application areas while still having a running time comparable to that of hMetis. 2012 ACM Subject Classification Mathematics of computing → Graph algorithms Keywords and phrases Multilevel Hypergraph Partitioning, Network Flows, Refinement Digital Object Identifier 10.4230/LIPIcs.SEA.2018.1 Related Version A full version of the paper is available at https://arxiv.org/abs/1802. 03587. 1 Introduction Given an undirected hypergraph H = (V, E), the k-way hypergraph partitioning problem is to partition the vertex set into k disjoint blocks of bounded size (at most 1 + ε times the average block size) such that an objective function involving the cut hyperedges is minimized. Hypergraph partitioning (HGP) has many important applications in practice such as scientific computing [10] or VLSI design [40]. Particularly VLSI design is a field where small improvements can lead to significant savings [53]. -
Chemical Reaction Optimization for Max Flow Problem
(IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 7, No. 8, 2016 Chemical Reaction Optimization for Max Flow Problem Reham Barham Ahmad Sharieh Azzam Sliet Department of Computer Science Department of Computer Science Department of Computer Science King Abdulla II School for King Abdulla II School for King Abdulla II School for Information and Technology Information and Technology Information and Technology The University of Jordan The University of Jordan The University of Jordan Amman, Jordan Amman, Jordan Amman, Jordan Abstract—This study presents an algorithm for MaxFlow represents the flow capacity of the edge. Under these problem using "Chemical Reaction Optimization algorithm constraints, we want to maximize the total flow from the (CRO)". CRO is a recently established meta-heuristics algorithm source to the sink". In [3] they define it as " In deterministic for optimization, inspired by the nature of chemical reactions. networks, the maximum-flow problem asks to send as much The main concern is to find the best maximum flow value at flow (information or goods) from a source to a destination, which the flow can be shipped from the source node to the sink without exceeding the capacity of any of the used links. node in a flow network without violating any capacity constraints Solving maximum-flow problems is for instance important to in which the flow of each edge remains within the upper bound avoid congestion and improve network utilization in computer value of the capacity. The proposed MaxFlow-CRO algorithm is networks or data centers or to improve fault tolerance". presented, analyzed asymptotically and experimental test is conducted. -
Graph Algorithms in Bioinformatics an Introduction to Bioinformatics Algorithms Outline
An Introduction to Bioinformatics Algorithms www.bioalgorithms.info Graph Algorithms in Bioinformatics An Introduction to Bioinformatics Algorithms www.bioalgorithms.info Outline 1. Introduction to Graph Theory 2. The Hamiltonian & Eulerian Cycle Problems 3. Basic Biological Applications of Graph Theory 4. DNA Sequencing 5. Shortest Superstring & Traveling Salesman Problems 6. Sequencing by Hybridization 7. Fragment Assembly & Repeats in DNA 8. Fragment Assembly Algorithms An Introduction to Bioinformatics Algorithms www.bioalgorithms.info Section 1: Introduction to Graph Theory An Introduction to Bioinformatics Algorithms www.bioalgorithms.info Knight Tours • Knight Tour Problem: Given an 8 x 8 chessboard, is it possible to find a path for a knight that visits every square exactly once and returns to its starting square? • Note: In chess, a knight may move only by jumping two spaces in one direction, followed by a jump one space in a perpendicular direction. http://www.chess-poster.com/english/laws_of_chess.htm An Introduction to Bioinformatics Algorithms www.bioalgorithms.info 9th Century: Knight Tours Discovered An Introduction to Bioinformatics Algorithms www.bioalgorithms.info 18th Century: N x N Knight Tour Problem • 1759: Berlin Academy of Sciences proposes a 4000 francs prize for the solution of the more general problem of finding a knight tour on an N x N chessboard. • 1766: The problem is solved by Leonhard Euler (pronounced “Oiler”). • The prize was never awarded since Euler was Director of Mathematics at Berlin Academy and was deemed ineligible. Leonhard Euler http://commons.wikimedia.org/wiki/File:Leonhard_Euler_by_Handmann.png An Introduction to Bioinformatics Algorithms www.bioalgorithms.info Introduction to Graph Theory • A graph is a collection (V, E) of two sets: • V is simply a set of objects, which we call the vertices of G. -
An Introduction
Index G(n; m) model, 107 behavior analysis methodology, G(n; p) model, 106 320 k-clan, 183 betweenness centrality, 78 k-clique, 182 BFS, see breadth-first search k-club, 183 big data, 13 k-means, 156 big data paradox, 13 k-plex, 180 bipartite graph, 44 botnet, 171 actor, see node breadth-first search, 47 bridge, 45 Adamic and Adar measure, 324 bridge detection, 60 adjacency list, 32 adjacency matrix, 31 cascade maximization, 225 adopter types, 229 causality testing, 321 adoption of hybrid seed corn, 229 centrality, 70 affiliation network, 44 betweenness centrality, 78 Anderson, Lisa R., 218 computing, 78 Asch conformity experiment, 216 closeness centrality, 80 Asch, Solomon, 216 degree centrality, 70 assortativity, 255 gregariousness, 70 measuring, 257 normalized, 71 nominal attributes, 258 prestige, 70 ordinal attributes, 261 eigenvector centrality, 71 significance, 258 group centrality, 81 attribute, see feature betweenness, 82 average path length, 102, 105 closeness, 82 373 degree, 81 evolution, 193 Katz centrality, 74 explicit, 173 divergence in computation, implicit, 174 75 community detection, 175 PageRank, 76 group-based, 175, 184 Christakis, Nicholas A., 245 member-based, 175, 177 citizen journalist, 11 node degree, 178 class, see class attribute node reachability, 181 class attribute, 133 node similarity, 183 clique identification, 178 community evaluation, 200 clique percolation method, 180 community membership behav- closeness centrality, 80 ior, 317 cluster centroid, 156 commute time, 327 clustering, 155, 156 confounding, 255 k-means,