General Techniques for Analyzing Recursive Algorithms with Applications
- 1 March 1997
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 26 (2) , 568-581
- https://doi.org/10.1137/s0097539792240583
Abstract
The complexity of divide-and-conquer algorithms is often described by recurrences of various forms. In this paper, we develop general techniques and master theorems for solving several kinds of recurrences, and we give several applications of our results. In particular, almost all of the earlier work on solving the recurrences considered here is subsumed by our work. In the process of solving such recurrences, we establish interesting connections between some elegant mathematics and analysis of recurrences. Using our results and improved bipartite matching algorithms, we also improve existing bounds in the literature for several problems, viz, associative-commutative (AC) matching of linear terms, associative matching of linear terms, rooted subtree isomorphism, and rooted subgraph homeomorphism for trees.Keywords
This publication has 13 references indexed in Scilit:
- A General Method and a Master Theorem for Divide-and-Conquer Recurrences with ApplicationsJournal of Algorithms, 1994
- Intersection queries in sets of disksBIT Numerical Mathematics, 1992
- Computing a maximum cardinality matching in a bipartite graph in time O(n1.5)Information Processing Letters, 1991
- Mathematics for the Analysis of AlgorithmsPublished by Springer Nature ,1990
- O(n2.5) time algorithms for the subgraph homeomorphism problem on treesJournal of Algorithms, 1987
- A general method for solving divide-and-conquer recurrencesACM SIGACT News, 1980
- Combinatorial solutions of multidimensional divide-and-conquer recurrencesJournal of Algorithms, 1980
- An Analysis of a Good Algorithm for the Subtree ProblemSIAM Journal on Computing, 1977
- An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite GraphsSIAM Journal on Computing, 1973
- Time bounds for selectionJournal of Computer and System Sciences, 1973