A Compositional Approach to Network Algorithms
Distributed, Parallel, and Cluster Computing
2018-05-22 v1 Data Structures and Algorithms
Abstract
We present elements of a typing theory for flow networks, where "types", "typings", and "type inference" are formulated in terms of familiar notions from polyhedral analysis and convex optimization. Based on this typing theory, we develop an alternative approach to the design and analysis of network algorithms, which we illustrate by applying it to the max-flow problem in multiple-source, multiple-sink, capacited directed planar graphs.
Cite
@article{arxiv.1805.07491,
title = {A Compositional Approach to Network Algorithms},
author = {Assaf Kfoury},
journal= {arXiv preprint arXiv:1805.07491},
year = {2018}
}
Comments
44 pages, 12 figures, 47 references