Vai al contenuto principale della pagina
Autore: | Ramalingam G |
Titolo: | Bounded Incremental Computation [[electronic resource] /] / by G. Ramalingam |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Edizione: | 1st ed. 1996. |
Descrizione fisica: | 1 online resource (XII, 196 p.) |
Disciplina: | 004/.01/5114 |
Soggetto topico: | Algorithms |
Combinatorics | |
Computers | |
Operating systems (Computers) | |
Algorithm Analysis and Problem Complexity | |
Computation by Abstract Devices | |
Operating Systems | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | On incremental algorithms and their complexity -- Terminology and notation -- Incremental algorithms for shortest-path problems -- Generalizations of the shortest-path problem -- An incremental algorithm for a generalization of the shortest-path problem -- Incremental algorithms for the circuit value annotation problem -- Inherently unbounded incremental computation problems -- Incremental algorithms for reducible flowgraphs -- Conclusions. |
Sommario/riassunto: | Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and programs usually derive their output directly from their input. This book investigates the concept of incremental computation and dynamic algorithms in general and provides a variety of new results, especially for computational problems from graph theory: the author presents e.g. efficient incremental algorithms for several shortest-path problems as well as incremental algorithms for the circuit value annotation problem and for various computations in reducible flow graphs. |
Titolo autorizzato: | Bounded Incremental Computation |
ISBN: | 3-540-68458-1 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465329103316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |