101 citations · 211 across the 45 of their papers we have counts for
5 papers · 1 filter
Trustworthy Graph Algorithms
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow
The goal of the LEDA project was to build an easy-to-use and extendable library of correct and efficient data structures, graph algorithms and geometric algorithms. We report on th…
A Little Charity Guarantees Almost Envy-Freeness
Bhaskar Ray Chaudhury, Tellikepalli Kavitha, Kurt Mehlhorn +1
Fair division of indivisible goods is a very well-studied problem. The goal of this problem is to distribute goods to agents in a "fair" manner, where every agent has a val…
Convergence of the Non-Uniform Directed Physarum Model
Enrico Facca, Andreas Karrenbauer, Pavel Kolev +1
The directed Physarum dynamics is known to solve positive linear programs: minimize subject to and for a positive cost vector . The directed Physarum…
Ratio-Balanced Maximum Flows
Hannaneh Akrami, Kurt Mehlhorn, Tommy Odland
When a loan is approved for a person or company, the bank is subject to \emph{credit risk}; the risk that the lender defaults. To mitigate this risk, a bank will require some form…
Convergence of the Non-Uniform Physarum Dynamics
Andreas Karrenbauer, Pavel Kolev, Kurt Mehlhorn
Let , , and . We show under fairly general conditions that the non-uniform Physarum dynamics \[ \dot{x}_…