48 research outputs found
Smoothed Analysis of the Minimum-Mean Cycle Canceling Algorithm and the Network Simplex Algorithm
The minimum-cost flow (MCF) problem is a fundamental optimization problem
with many applications and seems to be well understood. Over the last half
century many algorithms have been developed to solve the MCF problem and these
algorithms have varying worst-case bounds on their running time. However, these
worst-case bounds are not always a good indication of the algorithms'
performance in practice. The Network Simplex (NS) algorithm needs an
exponential number of iterations for some instances, but it is considered the
best algorithm in practice and performs best in experimental studies. On the
other hand, the Minimum-Mean Cycle Canceling (MMCC) algorithm is strongly
polynomial, but performs badly in experimental studies.
To explain these differences in performance in practice we apply the
framework of smoothed analysis. We show an upper bound of
for the number of iterations of the MMCC algorithm.
Here is the number of nodes, is the number of edges, and is a
parameter limiting the degree to which the edge costs are perturbed. We also
show a lower bound of for the number of iterations of the
MMCC algorithm, which can be strengthened to when
. For the number of iterations of the NS algorithm we show a
smoothed lower bound of .Comment: Extended abstract to appear in the proceedings of COCOON 201
Profile-Based Optimal Matchings in the Student-Project Allocation Problem
In the Student/Project Allocation problem (spa) we seek to assign students to individual or group projects offered by lecturers. Students provide a list of projects they find acceptable in order of preference. Each student can be assigned to at most one project and there are constraints on the maximum number of students that can be assigned to each project and lecturer. We seek matchings of students to projects that are optimal with respect to profile, which is a vector whose rth component indicates how many students have their rth-choice project. We present an efficient algorithm for finding agreedy maximum matching in the spa context â this is a maximum matching whose profile is lexicographically maximum. We then show how to adapt this algorithm to find a generous maximum matching â this is a matching whose reverse profile is lexicographically minimum. Our algorithms involve finding optimal flows in networks. We demonstrate how this approach can allow for additional constraints, such as lecturer lower quotas, to be handled flexibly
Dynamic hierarchies in temporal directed networks
The outcome of interactions in many real-world systems can be often explained
by a hierarchy between the participants. Discovering hierarchy from a given
directed network can be formulated as follows: partition vertices into levels
such that, ideally, there are only forward edges, that is, edges from upper
levels to lower levels. In practice, the ideal case is impossible, so instead
we minimize some penalty function on the backward edges. One practical option
for such a penalty is agony, where the penalty depends on the severity of the
violation. In this paper we extend the definition of agony to temporal
networks. In this setup we are given a directed network with time stamped
edges, and we allow the rank assignment to vary over time. We propose 2
strategies for controlling the variation of individual ranks. In our first
variant, we penalize the fluctuation of the rankings over time by adding a
penalty directly to the optimization function. In our second variant we allow
the rank change at most once. We show that the first variant can be solved
exactly in polynomial time while the second variant is NP-hard, and in fact
inapproximable. However, we develop an iterative method, where we first fix the
change point and optimize the ranks, and then fix the ranks and optimize the
change points, and reiterate until convergence. We show empirically that the
algorithms are reasonably fast in practice, and that the obtained rankings are
sensible
Recommended from our members
Faster parametric shortest path and minimumâbalance algorithms
We use Fibonacci heaps to improve a parametric shortest path algorithm of Karp and Orlin, and we combine our algorithm and the method of Schneider and Schneider's minimumâbalance algorithm to obtain a faster minimumâbalance algorithm. For a graph with n vertices and m edges, our parametric shortest path algorithm and our minimumâbalance algorithm both run in O(nm + n2 log n) time, improved from O(nm log n) for the parametric shortest path algorithm of Karp and Orlin and O(n2m) for the minimumâbalance algorithm of Schneider and Schneider. An important application of the parametric shortest path algorithm is in finding a minimum mean cycle. Experiments on random graphs suggest that the expected time for finding a minimum mean cycle with our algorithm is O(n log n + m). Copyright © 1991 Wiley Periodicals, Inc., A Wiley Compan