Results 1  10
of
28
Faster Algorithms for BoundConsistency of the Sortedness and the Alldifferent Constraint
 In Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming
, 2000
"... We present narrowing algorithms for the sortedness and the alldifferent constraint which achieve boundconsistency. The algorithm for the sortedness constraint takes as input 2n intervals X1 , ..., Xn , Y1 , ..., Yn from a linearly ordered set D. Let S denote the set of all tuples t 2 X1 Xn Y1 ..."
Abstract

Cited by 36 (2 self)
 Add to MetaCart
(Show Context)
We present narrowing algorithms for the sortedness and the alldifferent constraint which achieve boundconsistency. The algorithm for the sortedness constraint takes as input 2n intervals X1 , ..., Xn , Y1 , ..., Yn from a linearly ordered set D. Let S denote the set of all tuples t 2 X1 Xn Y1 Yn such that the last n components of t are obtained by sorting the first n components. Our algorithm determines whether S is nonempty and if so reduces the intervals to boundconsistency. The running time of the algorithm is asymptotically the same as for sorting the interval endpoints. In problems where this is faster than O(n log n), this improves upon previous results. The algorithm for the alldifferent constraint takes as input n integer intervals Z1 , ..., Zn . Let T denote all tuples t 2 Z1 Zn where all components are pairwise different. The algorithm checks whether T is nonempty and if so reduces the ranges to boundconsistency. The running time is also asymptotically the same as for sorting the interval endpoints. When the constraint is for example a permutation constraint, i.e. Z i [1; n] for all i, the running time is linear. This also improves upon previous results.
Augment or Push? A computational study of Bipartite Matching and Unit Capacity Flow Algorithms
 ACM J. EXP. ALGORITHMICS
, 1998
"... We conduct a computational study of unit capacity flow and bipartite matching algorithms. Our goal is to determine which variant of the pushrelabel method is most efficient in practice and to compare pushrelabel algorithms with augmenting path algorithms. We have implemented and compared three pus ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
(Show Context)
We conduct a computational study of unit capacity flow and bipartite matching algorithms. Our goal is to determine which variant of the pushrelabel method is most efficient in practice and to compare pushrelabel algorithms with augmenting path algorithms. We have implemented and compared three pushrelabel algorithms, three augmenting path algorithms (one of which is new), and one augmentrelabel algorithm. The depthfirst search augmenting path algorithm was thought to be a good choice for the bipartite matching problem, but our study shows that it is not robust. For the problems we study, our implementations of the fifo and lowestlevel selection pushrelabel algorithms have the most robust asymptotic rate of growth and work best overall. Augmenting path algorithms, although not as robust, on some problem classes are faster by a moderate constant factor. Our study includes several new problem families and input graphs with as many as 5 \Theta 10 5 vertices.
Engineering Multilevel Graph Partitioning Algorithms
"... We present a multilevel graph partitioning algorithm using novel local improvement algorithms and global search strategies transferred from multigrid linear solvers. Local improvement algorithms are based on maxflow mincut computations and more localized FM searches. By combining these technique ..."
Abstract

Cited by 31 (16 self)
 Add to MetaCart
We present a multilevel graph partitioning algorithm using novel local improvement algorithms and global search strategies transferred from multigrid linear solvers. Local improvement algorithms are based on maxflow mincut computations and more localized FM searches. By combining these techniques, we obtain an algorithm that is fast on the one hand and on the other hand is able to improve the best known partitioning results for many inputs. For example, in Walshaw’s well known benchmark tables we achieve 317 improvements for the tables at 1%, 3 % and 5 % imbalance. Moreover, in 118 out of the 295 remaining cases we have been able to reproduce the best cut in this benchmark.
Maximum flows by incremental breadthfirst search
 IN ESA, LNCS 6942
, 2011
"... Maximum flow and minimum st cut algorithms are used to solve several fundamental problems in computer vision. These problems have special structure, and standard techniques perform worse than the specialpurpose BoykovKolmogorov (BK) algorithm. We introduce the incremental breadthfirst search (I ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
Maximum flow and minimum st cut algorithms are used to solve several fundamental problems in computer vision. These problems have special structure, and standard techniques perform worse than the specialpurpose BoykovKolmogorov (BK) algorithm. We introduce the incremental breadthfirst search (IBFS) method, which uses ideas from BK but augments on shortest paths. IBFS is theoretically justified (runs in polynomial time) and usually outperforms BK on vision problems.
An n log n algorithm for hyperminimizing a (minimized) deterministic automaton
 THEOR. COMPUT. SCI
, 2010
"... We improve a recent result [Badr: Hyperminimization in O(n²). Int. J. Found. Comput. Sci. 20, 2009] for hyperminimized finite automata. Namely, we present an O(n log n) algorithm that computes for a given deterministic finite automaton (dfa) an almostequivalent dfa that is as small as possible suc ..."
Abstract

Cited by 12 (6 self)
 Add to MetaCart
(Show Context)
We improve a recent result [Badr: Hyperminimization in O(n²). Int. J. Found. Comput. Sci. 20, 2009] for hyperminimized finite automata. Namely, we present an O(n log n) algorithm that computes for a given deterministic finite automaton (dfa) an almostequivalent dfa that is as small as possible such an automaton is called hyperminimal. Here two finite automata are almostequivalent if and only if the symmetric difference of their languages is finite. In other words, two almostequivalent automata disagree on acceptance on finitely many inputs. In this way, we solve an open problem stated in [Badr, Geffert, Shipman: Hyperminimizing minimized deterministic finite state automata. RAIRO Theor. Inf. Appl. 43, 2009] and by Badr. Moreover, we show that minimization linearly reduces to hyperminimization, which shows that the timebound O(n log n) is optimal for hyperminimization. Independently, similar results were obtained in [Gawrychowski, Jez: Hyperminimisation made efficient. Proc. MFCS,
A scaling algorithm for maximum weight matching in bipartite graphs
 IN: PROCEEDINGS 23RD ACMSIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA
"... Given a weighted bipartite graph, the maximum weight matching (MWM) problem is to find a set of vertexdisjoint edges with maximum weight. We present a new scaling algorithm that runs in O(m √ n log N) time, when the weights are integers within the range of [0, N]. The result improves the previous b ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
(Show Context)
Given a weighted bipartite graph, the maximum weight matching (MWM) problem is to find a set of vertexdisjoint edges with maximum weight. We present a new scaling algorithm that runs in O(m √ n log N) time, when the weights are integers within the range of [0, N]. The result improves the previous bounds of O(Nm √ n) by Gabow and O(m √ n log (nN)) by Gabow and Tarjan over 20 years ago. Our improvement draws ideas from a not widely known result, the primal method by Balinski and Gomory.
A new combinatorial approach to sparse graph problems
 IN PROC. ICALP
, 2008
"... We give a new combinatorial data structure for representing arbitrary Boolean matrices. After a short preprocessing phase, the data structure can perform fast vector multiplications with a given matrix, where the runtime depends on the sparsity of the input vector. The data structure can also retu ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
(Show Context)
We give a new combinatorial data structure for representing arbitrary Boolean matrices. After a short preprocessing phase, the data structure can perform fast vector multiplications with a given matrix, where the runtime depends on the sparsity of the input vector. The data structure can also return minimum witnesses for the matrixvector product. Our approach is simple and implementable: the data structure works by precomputing small problems and recombining them in a novel way. It can be easily plugged into existing algorithms, achieving an asymptotic speedup over previous results. As a consequence, we achieve new running time bounds for computing the transitive closure of a graph, all pairs shortest paths on unweighted undirected graphs, and finding a maximum nodeweighted triangle. Furthermore, any asymptotic improvement on our algorithms would imply a o(n 3 / log 2 n) combinatorial algorithm for Boolean matrix multiplication, a longstanding open problem in the area. We also use the data structure to give the first asymptotic improvement over O(mn) for all pairs least common ancestors on directed acyclic graphs.
Scaling algorithms for approximate and exact maximum weight matching
, 2011
"... The maximum cardinality and maximum weight matching problems can be solved in time Õ(m √ n), a bound that has resisted improvement despite decades of research. (Here m and n are the number of edges and vertices.) In this article we demonstrate that this “m √ n barrier ” is extremely fragile, in the ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
(Show Context)
The maximum cardinality and maximum weight matching problems can be solved in time Õ(m √ n), a bound that has resisted improvement despite decades of research. (Here m and n are the number of edges and vertices.) In this article we demonstrate that this “m √ n barrier ” is extremely fragile, in the following sense. For any ɛ> 0, we give an algorithm that computes a (1 − ɛ)approximate maximum weight matching in O(mɛ −1 log ɛ −1) time, that is, optimal linear time for any fixed ɛ. Our algorithm is dramatically simpler than the best exact maximum weight matching algorithms on general graphs and should be appealing in all applications that can tolerate a negligible relative error. Our second contribution is a new exact maximum weight matching algorithm for integerweighted bipartite graphs that runs in time O(m √ n log N). This improves on the O(Nm √ n)time and O(m √ n log(nN))time algorithms known since the mid 1980s, for 1 ≪ log N ≪ log n. Here N is the maximum integer edge weight. 1
Matching Algorithms Are Fast in Sparse Random Graphs
 THEORY OF COMPUTING SYSTEMS
, 2005
"... We present an improved average case analysis of the maximum cardinality matching problem. We show that in a bipartite or general random graph on n vertices, with high probability every nonmaximum matching has an augmenting path of length O(log n). This implies that augmenting path algorithms like t ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
(Show Context)
We present an improved average case analysis of the maximum cardinality matching problem. We show that in a bipartite or general random graph on n vertices, with high probability every nonmaximum matching has an augmenting path of length O(log n). This implies that augmenting path algorithms like the Hopcroft–Karp algorithm for bipartite graphs and the Micali–Vazirani algorithm for general graphs, which have a worst case running time of O(m √ n), run in time O(m log n) with high probability, where m is the number of edges in the graph. Motwani proved these results for random graphs when the average degree is at least ln(n)
Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance
, 2008
"... We present two online algorithms for maintaining a topological order of a directed nvertex acyclic graph as arcs are added, and detecting a cycle when one is created. Our first algorithm handles m arc additions in O(m 3/2) time. For sparse graphs (m/n = O(1)), this bound improves the best previou ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
(Show Context)
We present two online algorithms for maintaining a topological order of a directed nvertex acyclic graph as arcs are added, and detecting a cycle when one is created. Our first algorithm handles m arc additions in O(m 3/2) time. For sparse graphs (m/n = O(1)), this bound improves the best previous bound by a logarithmic factor, and is tight to within a constant factor among algorithms satisfying a natural locality property. Our second algorithm handles an arbitrary sequence of arc additions in O(n 5/2) time. For sufficiently dense graphs, this bound improves the best previous bound by a polynomial factor. Our bound may be far from tight; we conjecture that the algorithm actually runs in O(n² log n) time. A completely different algorithm running in Θ(n² log n) time was given recently by Bender, Fineman, and Gilbert. We extend both of our algorithms to the maintenance of strong components, without affecting the asymptotic time bounds.