Trustworthy Graph Algorithms.

Mohammad Abdulaziz Kurt Mehlhorn Tobias Nipkow

Published in: CoRR (2019)

Keyphrases

graph theory
significant improvement
maximum flow
optimization problems
worst case
learning algorithm
benchmark datasets
partitioning algorithm
graph model
data structure
theoretical analysis
orders of magnitude
structured data
times faster
np complete
np hard
graph theoretic
graph data
bayesian networks