[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
Skip header Section
The design and analysis of algorithmsJanuary 1992
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
ISBN:978-0-387-97687-7
Published:02 January 1992
Pages:
325
Skip Bibliometrics Section
Reflects downloads up to 12 Jan 2025Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    Renard Y and Poulios K (2020). GetFEM, ACM Transactions on Mathematical Software, 47:1, (1-31), Online publication date: 31-Mar-2021.
  2. Mencagli G, França F, Bentes C, Justen Marzulo L, Lima Pilla M, Wyrzykowski R, Deelman E, Vasconcellos J, Cáceres E, Mongelli H, Song S, Dehne F and Szwarcfiter J (2020). New BSP/CGM algorithms for spanning trees, International Journal of High Performance Computing Applications, 33:3, (444-461), Online publication date: 1-May-2019.
  3. Kim J and Kim S (2019). Genetic Algorithms for Solving Shortest Path Problem in Maze-Type Network with Precedence Constraints, Wireless Personal Communications: An International Journal, 105:2, (427-442), Online publication date: 1-Mar-2019.
  4. Charguéraud A and Pottier F (2019). Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits, Journal of Automated Reasoning, 62:3, (331-365), Online publication date: 1-Mar-2019.
  5. ACM
    Heidari S, Simmhan Y, Calheiros R and Buyya R (2018). Scalable Graph Processing Frameworks, ACM Computing Surveys, 51:3, (1-53), Online publication date: 31-May-2019.
  6. ACM
    Song H and Lee J RP-DBSCAN Proceedings of the 2018 International Conference on Management of Data, (1173-1187)
  7. Grohe M and Pakusa W Descriptive complexity of linear equation systems and applications to propositional proof complexity Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
  8. ACM
    Gurjar R, Korwar A, Messner J, Straub S and Thierauf T (2016). Planarizing Gadgets for Perfect Matching Do Not Exist, ACM Transactions on Computation Theory, 8:4, (1-15), Online publication date: 26-Jul-2016.
  9. ACM
    Loos S and Platzer A Differential Refinement Logic Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (505-514)
  10. Kutsia T and Marin M (2015). Regular expression order-sorted unification and matching, Journal of Symbolic Computation, 67:C, (42-67), Online publication date: 1-Mar-2015.
  11. Shelat A and Venkitasubramaniam M Secure Computation from Millionaire Proceedings, Part I, of the 21st International Conference on Advances in Cryptology -- ASIACRYPT 2015 - Volume 9452, (736-757)
  12. Goel A, Khanna S, Larkin D and Tarjan R Disjoint set union with randomized linking Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, (1005-1017)
  13. ACM
    Alstrup S, Thorup M, Gørtz I, Rauhe T and Zwick U (2014). Union-Find with Constant Time Deletions, ACM Transactions on Algorithms, 11:1, (1-28), Online publication date: 28-Oct-2014.
  14. ACM
    Shakarian P, Broecheler M, Subrahmanian V and Molinaro C (2013). Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems, ACM Transactions on Computational Logic, 14:2, (1-40), Online publication date: 1-Jun-2013.
  15. Gurjar R, Korwar A, Messner J, Straub S and Thierauf T Planarizing gadgets for perfect matching do not exist Proceedings of the 37th international conference on Mathematical Foundations of Computer Science, (478-490)
  16. Nicolescu R and Wu H BFS solution for disjoint paths in P systems Proceedings of the 10th international conference on Unconventional computation, (164-176)
  17. Höfner P and McIver A Towards an algebra of routing tables Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (212-229)
  18. ACM
    Maslowski D and Wijsen J On counting database repairs Proceedings of the 4th International Workshop on Logic in Databases, (15-22)
  19. van Renesse R, Minsky Y and Hayden M A gossip-style failure detection service Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, (55-70)
  20. ACM
    Dughmi S, Roughgarden T and Sundararajan M Revenue submodularity Proceedings of the 10th ACM conference on Electronic commerce, (243-252)
  21. ACM
    Holzer M, Schulz F, Wagner D, Prasinos G and Zaroliagis C (2010). Engineering planar separator algorithms, ACM Journal of Experimental Algorithmics, 14, (1.5-1.31), Online publication date: 1-Dec-2009.
  22. Hopkins M The algebraic approach I Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra, (155-172)
  23. Wahlström M A tighter bound for counting max-weight solutions to 2SAT instances Proceedings of the 3rd international conference on Parameterized and exact computation, (202-213)
  24. Gairing M, Lücking T, Mavronicolas M, Monien B and Rode M (2008). Nash equilibria in discrete routing games with convex latency functions, Journal of Computer and System Sciences, 74:7, (1199-1225), Online publication date: 1-Nov-2008.
  25. Fürer M and Kasiviswanathan S Algorithms for Counting 2-Sat Solutions and Colorings with Applications Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management, (47-57)
  26. Kowalik Ł Approximation scheme for lowest outdegree orientation and graph density measures Proceedings of the 17th international conference on Algorithms and Computation, (557-566)
  27. ACM
    Blum A, Sandholm T and Zinkevich M (2006). Online algorithms for market clearing, Journal of the ACM, 53:5, (845-879), Online publication date: 1-Sep-2006.
  28. Calinescu G (2006). A fast localized algorithm for scheduling sensors, Journal of Parallel and Distributed Computing, 66:4, (507-514), Online publication date: 1-Apr-2006.
  29. ACM
    Nakao A, Peterson L and Bavier A (2006). Scalable routing overlay networks, ACM SIGOPS Operating Systems Review, 40:1, (49-61), Online publication date: 1-Jan-2006.
  30. Dahllöf V, Jonsson P and Wahlström M (2005). Counting models for 2SAT and 3SAT formulae, Theoretical Computer Science, 332:1-3, (265-291), Online publication date: 28-Feb-2005.
  31. Holzer M, Prasinos G, Schulz F, Wagner D and Zaroliagis C Engineering planar separator algorithms Proceedings of the 13th annual European conference on Algorithms, (628-639)
  32. Alstrup S, Li Gørtz I, Rauhe T, Thorup M and Zwick U Union-find with constant time deletions Proceedings of the 32nd international conference on Automata, Languages and Programming, (78-89)
  33. ACM
    Zhang L, Snavely N, Curless B and Seitz S (2004). Spacetime faces, ACM Transactions on Graphics, 23:3, (548-558), Online publication date: 1-Aug-2004.
  34. ACM
    Zhang L, Snavely N, Curless B and Seitz S Spacetime faces ACM SIGGRAPH 2004 Papers, (548-558)
  35. King V and Sagert G (2002). A fully dynamic algorithm for maintaining the transitive closure, Journal of Computer and System Sciences, 65:1, (150-167), Online publication date: 1-Aug-2002.
  36. Blum A, Sandholm T and Zinkevich M Online algorithms for market clearing Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, (971-980)
  37. Kaplan H, Shafrir N and Tarjan R Union-find with deletions Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, (19-28)
  38. ACM
    Papadimitratos P, Haas Z and Sirer E Path set selection in mobile ad hoc networks Proceedings of the 3rd ACM international symposium on Mobile ad hoc networking & computing, (1-11)
  39. ACM
    Chen D and Xu J Shortest path queries in planar graphs Proceedings of the thirty-second annual ACM symposium on Theory of computing, (469-478)
  40. ACM
    Ganley J Efficient solution of systems of orientation constraints Proceedings of the 1999 international symposium on Physical design, (140-144)
  41. Mahajan M and Vinay V A combinatorial algorithm for the determinant Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, (730-738)
  42. Hannenhalli S and Pevzner P To cut…or not to cut (applications of comparative physical maps in molecular evolution) Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms, (304-313)
  43. ACM
    Mitzenmacher M (1996). Designing stimulating programming assignments for an algorithms course, ACM SIGCSE Bulletin, 28:3, (29-36), Online publication date: 1-Sep-1996.
  44. ACM
    Baeza-Yates R (1995). Teaching algorithms, ACM SIGACT News, 26:4, (51-59), Online publication date: 1-Dec-1995.
  45. Halldórsson M and Radhakrishnan J (1994). Improved approximations of independent sets in bounded-degree graphs via subgraph removal, Nordic Journal of Computing, 1:4, (475-492), Online publication date: 1-Dec-1994.
  46. Cheriyan J A Las Vegas O(n2.38 algorithm for the cardinality of a maximum matching Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms, (442-451)
  47. Gomes L, Madeira A, Jain M and Barbosa L On the Generation of Equational Dynamic Logics for Weighted Imperative Programs Formal Methods and Software Engineering, (154-169)
Contributors
  • Cornell University

Reviews

Harvey Cohn

Each of the 40 chapters in this textbook is based on one day's log from a semester of lectures; the logs were kept by the author's students at Cornell. The author has blended the best features of three classic books [1– 3]. Some instructors using the book may wish for more of a particular topic, for instance geometry or numerical algorithms, but a course must be selective. The list of chapters seems like a list of topics in algorithm analysis required of a Ph.D. student. The topics include searches and sorts, transitive closure and Kleene algebra, heaps, union-find, flow optimization, and matching. Then comes the principal motivation, complexity. The central feature is NP-completeness as applied to Boolean algebras and tree operations. These ideas are brought up to date by chapters on parallel algorithms and the NC-class (the analogue of the P-class). Likewise, the hypercube and the Gray representation introduce state-of-the-art research. The last 10 chapters deal with familiar classical algorithms—such as rank, arithmetic, fast Fourier transforms, and primality—presented as quick overviews, some with an original touch. In summary, every computer scientist should have this textbook available as a reference for its coverage. This book provides the next best thing to having attended the lectures. It includes sets of problems and solutions, and 111 references to the literature. These would be necessary for anyone pursuing a topic in depth.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Please enable JavaScript to view thecomments powered by Disqus.

Recommendations