Introduction To Algorithms

Introduction To Algorithms
Author: Thomas H Cormen
Publisher: MIT Press
Total Pages: 1216
Release: 2001
Genre: Computers
ISBN: 9780262032933

An extensively revised edition of a mathematically rigorous yet accessible introduction to algorithms.

The Vertex Cover Algorithm

The Vertex Cover Algorithm
Author: Ashay Dharwadker
Publisher: Institute of Mathematics
Total Pages: 48
Release: 2006-08-08
Genre: Mathematics
ISBN: 1466384476

We present a new polynomial-time algorithm for finding minimal vertex covers in graphs. The algorithm finds a minimum vertex cover in all known examples of graphs. In view of the importance of the P versus NP question, we ask if there exists a graph for which the algorithm cannot find a minimum vertex cover. The algorithm is demonstrated by finding minimum vertex covers for several famous graphs, including two large benchmark graphs with hidden minimum vertex covers. We implement the algorithm in C++ and provide a demonstration program for Microsoft Windows.

Understanding and Using Linear Programming

Understanding and Using Linear Programming
Author: Jiri Matousek
Publisher: Springer Science & Business Media
Total Pages: 230
Release: 2007-07-04
Genre: Mathematics
ISBN: 3540307176

The book is an introductory textbook mainly for students of computer science and mathematics. Our guiding phrase is "what every theoretical computer scientist should know about linear programming". A major focus is on applications of linear programming, both in practice and in theory. The book is concise, but at the same time, the main results are covered with complete proofs and in sufficient detail, ready for presentation in class. The book does not require more prerequisites than basic linear algebra, which is summarized in an appendix. One of its main goals is to help the reader to see linear programming "behind the scenes".

Automata, Languages and Programming

Automata, Languages and Programming
Author: Fernando Orejas
Publisher: Springer Science & Business Media
Total Pages: 1098
Release: 2001-06-27
Genre: Computers
ISBN: 3540422870

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

Fundamentals of Parameterized Complexity

Fundamentals of Parameterized Complexity
Author: Rodney G. Downey
Publisher: Springer Science & Business Media
Total Pages: 765
Release: 2013-12-03
Genre: Computers
ISBN: 1447155599

This comprehensive and self-contained textbook presents an accessible overview of the state of the art of multivariate algorithmics and complexity. Increasingly, multivariate algorithmics is having significant practical impact in many application domains, with even more developments on the horizon. The text describes how the multivariate framework allows an extended dialog with a problem, enabling the reader who masters the complexity issues under discussion to use the positive and negative toolkits in their own research. Features: describes many of the standard algorithmic techniques available for establishing parametric tractability; reviews the classical hardness classes; explores the various limitations and relaxations of the methods; showcases the powerful new lower bound techniques; examines various different algorithmic solutions to the same problems, highlighting the insights to be gained from each approach; demonstrates how complexity methods and ideas have evolved over the past 25 years.

Approximation Algorithms

Approximation Algorithms
Author: Vijay V. Vazirani
Publisher: Springer Science & Business Media
Total Pages: 380
Release: 2013-03-14
Genre: Computers
ISBN: 3662045656

Covering the basic techniques used in the latest research work, the author consolidates progress made so far, including some very recent and promising results, and conveys the beauty and excitement of work in the field. He gives clear, lucid explanations of key results and ideas, with intuitive proofs, and provides critical examples and numerous illustrations to help elucidate the algorithms. Many of the results presented have been simplified and new insights provided. Of interest to theoretical computer scientists, operations researchers, and discrete mathematicians.

Distributed Graph Algorithms for Computer Networks

Distributed Graph Algorithms for Computer Networks
Author: Kayhan Erciyes
Publisher: Springer Science & Business Media
Total Pages: 328
Release: 2013-05-16
Genre: Computers
ISBN: 1447151739

This book presents a comprehensive review of key distributed graph algorithms for computer network applications, with a particular emphasis on practical implementation. Topics and features: introduces a range of fundamental graph algorithms, covering spanning trees, graph traversal algorithms, routing algorithms, and self-stabilization; reviews graph-theoretical distributed approximation algorithms with applications in ad hoc wireless networks; describes in detail the implementation of each algorithm, with extensive use of supporting examples, and discusses their concrete network applications; examines key graph-theoretical algorithm concepts, such as dominating sets, and parameters for mobility and energy levels of nodes in wireless ad hoc networks, and provides a contemporary survey of each topic; presents a simple simulator, developed to run distributed algorithms; provides practical exercises at the end of each chapter.

Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science
Author: Jan van Leeuwen
Publisher: Springer Science & Business Media
Total Pages: 452
Release: 1994-05-20
Genre: Computers
ISBN: 9783540578994

This volume contains the proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science, WG '93, held near Utrecht, The Netherlands, in 1993. The papers are grouped into parts on: hard problems on classes of graphs, structural graph theory, dynamic graph algorithms, structure-oriented graph algorithms, graph coloring, AT-free and chordal graphs, circuits and nets, graphs and interconnection networks, routing and shortest paths, and graph embedding and layout. The 35 revised papers were chosen from 92 submissions after a careful refereeing process.

Approximation Algorithms for NP-hard Problems

Approximation Algorithms for NP-hard Problems
Author: Dorit S. Hochbaum
Publisher: Course Technology
Total Pages: 632
Release: 1997
Genre: Computers
ISBN:

This is the first book to fully address the study of approximation algorithms as a tool for coping with intractable problems. With chapters contributed by leading researchers in the field, this book introduces unifying techniques in the analysis of approximation algorithms. APPROXIMATION ALGORITHMS FOR NP-HARD PROBLEMS is intended for computer scientists and operations researchers interested in specific algorithm implementations, as well as design tools for algorithms. Among the techniques discussed: the use of linear programming, primal-dual techniques in worst-case analysis, semidefinite programming, computational geometry techniques, randomized algorithms, average-case analysis, probabilistically checkable proofs and inapproximability, and the Markov Chain Monte Carlo method. The text includes a variety of pedagogical features: definitions, exercises, open problems, glossary of problems, index, and notes on how best to use the book.

Exact Exponential Algorithms

Exact Exponential Algorithms
Author: Fedor V. Fomin
Publisher: Springer Science & Business Media
Total Pages: 208
Release: 2010-10-26
Genre: Mathematics
ISBN: 3642165338

For a long time computer scientists have distinguished between fast and slow algo rithms. Fast (or good) algorithms are the algorithms that run in polynomial time, which means that the number of steps required for the algorithm to solve a problem is bounded by some polynomial in the length of the input. All other algorithms are slow (or bad). The running time of slow algorithms is usually exponential. This book is about bad algorithms. There are several reasons why we are interested in exponential time algorithms. Most of us believe that there are many natural problems which cannot be solved by polynomial time algorithms. The most famous and oldest family of hard problems is the family of NP complete problems. Most likely there are no polynomial time al gorithms solving these hard problems and in the worst case scenario the exponential running time is unavoidable. Every combinatorial problem is solvable in ?nite time by enumerating all possi ble solutions, i. e. by brute force search. But is brute force search always unavoid able? De?nitely not. Already in the nineteen sixties and seventies it was known that some NP complete problems can be solved signi?cantly faster than by brute force search. Three classic examples are the following algorithms for the TRAVELLING SALESMAN problem, MAXIMUM INDEPENDENT SET, and COLORING.