flowpaths 0.2.7

A Python package to quickly decompose weighted graphs into weights paths, under various models.

The flowpaths Python Package

This package implements solvers for decomposing weighted directed graphs into weighted paths or walks, based on (Mixed) Integer Linear Programming ((M)ILP) formulations. It supports both acyclic graphs (DAGs, decomposed into paths) and general graphs with cycles (decomposed into walks), and makes it easy to create new decomposition models.

Installation

pip install flowpaths

Documentation

The documentation is available at algbio.github.io/flowpaths/.

Requirements

• Python >= 3.8
• Dependencies installed automatically: networkx, highspy, graphviz, numpy
• Optional: gurobipy (to use Gurobi instead of the default HiGHS)

Basic usage example

import flowpaths as fp
import networkx as nx

# Create a simple graph
graph = nx.DiGraph()
graph.add_edge("s", "a", flow=2)
graph.add_edge("a", "t", flow=2)
graph.add_edge("s", "b", flow=5)
graph.add_edge("b", "t", flow=5)
# ...

# Create a Minimum Flow Decomposition solver
mfd_solver = fp.MinFlowDecomp(graph, flow_attr="flow") 

mfd_solver.solve() # We solve it

if mfd_solver.is_solved(): # We get the solution
    print(mfd_solver.get_solution())
    # {'paths': [['s', 'b', 't'], ['s', 'a', 't']], 'weights': [5, 2]}

For graphs with cycles, use the cyclic variants which return walks rather than simple paths:

import flowpaths as fp
import networkx as nx

G = nx.DiGraph()
G.add_edge("s", "a", flow=1)
G.add_edge("a", "b", flow=2)  # part of a cycle
G.add_edge("b", "a", flow=2)  # part of a cycle
G.add_edge("a", "t", flow=1)

mfd_solver = fp.MinFlowDecompCycles(G, flow_attr="flow")
mfd_solver.solve()
if mfd_solver.is_solved():
    print(mfd_solver.get_solution())
    # {'walks': [['s', 'a', 'b', 'a', 'b', 'a', 't']], 'weights': [1]}

Design principles

1. Easy to use: You pass a directed graph (as a networkx DiGraph), and the solvers return optimal weighted paths (or walks for cyclic models). See the examples/ folder.

2. It just works: You do not need to install an (M)ILP solver. This is possible thanks to the fast open source solver HiGHS, which gets installed once you install this package.

   • If you have a Gurobi license (free for academic users), you can install the gurobipy Python package, and then you can run the Gurobi solver instead of the default HiGHS solver by just passing the entry "external_solver": "gurobi" in the solver_options dictionary.

3. Easy to implement other decomposition models:

   • For DAGs, use the abstract class AbstractPathModelDAG, which encodes a given number of paths. See docs: Abstract Path Model.
   • For general directed graphs with cycles, use AbstractWalkModelDiGraph, which encodes a given number of walks. See docs: Abstract Walk Model.

   You can inherit from these classes to add weights and model-specific constraints/objectives. See a basic example. These abstract classes interface with a wrapper for popular MILP solvers, so you don't need to worry about solver-specific details.

4. Fast: Having solvers implemented using AbstractPathModelDAG or AbstractWalkModelDiGraph means that any optimization to the path-/walk-finding mechanisms benefits all solvers that inherit from these classes. We implement some "safety optimizations" described in this paper, based on ideas first introduced in this paper, which can provide up to 1000x speedups, depending on the graph instance, while preserving global optimality (under some simple assumptions).

5. Flexible inputs: The models support graphs with flows/weights on either edges or nodes, and additional real use-case input features, such as subpathconstraints or subset constraints.

Models currently implemented

• Minimum Flow Decomposition: Given a graph with flow values on its edges (i.e. at every node different from source or sink the flow entering the node is equal to the flow exiting the node), find the minimum number of weighted paths / walks such that, for every edge, the sum of the weights of the paths going through the edge equals the flow value of the edge.

• k-Least Absolute Errors: Given a graph with weights on its edges, and a number $k$, find $k$ weighted paths / walks such that the sum of the absolute errors of each edge is minimized.

  • The error of an edge is defined as the weight of the edge minus the sum of the weights of the paths / walks going through it.

• k-Minimum Path Error: Given a graph with weights on its edges, and a number $k$, find $k$ weighted paths / walks, with associated slack values, such that:

  • The error of each edge (defined as in $k$-Least Absolute Errors above) is at most the sum of the slacks of the paths / walks going through the edge, and
  • The sum of path / walk slacks is minimized.

• Minimum Path Cover: Given a graph and node sets S and T, find a minimum number of S-T paths (if the graph is acyclic) or S-T walks (if the graph has cycles) such that every edge appears in in at least one path or walk.

Contributing

Contributions are welcome! Please read the CONTRIBUTING.md guide for how to set up a dev environment, run tests locally, and build/preview the documentation with Material for MkDocs.

License and support

• License: MIT
• Issues: https://github.com/algbio/flowpaths/issues