Cargando…
Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on v...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2014.
|
| Edición: | 1st ed. 2014. |
| Colección: | Progress in Computer Science and Applied Logic,
26 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-05446-9 | ||
| 003 | DE-He213 | ||
| 005 | 20220114125745.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140716s2014 sz | s |||| 0|eng d | ||
| 020 | |a 9783319054469 |9 978-3-319-05446-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-05446-9 |2 doi | |
| 050 | 4 | |a QA8.9-10.3 | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 072 | 7 | |a PBC |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 thema | |
| 072 | 7 | |a PBC |2 thema | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 245 | 1 | 0 | |a Perspectives in Computational Complexity |h [electronic resource] : |b The Somenath Biswas Anniversary Volume / |c edited by Manindra Agrawal, Vikraman Arvind. |
| 250 | |a 1st ed. 2014. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Birkhäuser, |c 2014. | |
| 300 | |a X, 202 p. 8 illus., 1 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Progress in Computer Science and Applied Logic, |x 2297-0584 ; |v 26 | |
| 505 | 0 | |a Preface -- 1. Complexity Theory Basics: NP and NL (Vikraman Arvind) -- 2. Investigations Concerning the Structure of Complete Sets (Eric Allender) -- 3. Space Complexity of the Directed Reachability Problem Over Surface-embedded Graphs (N.V. Vinodchandran) -- 4. Algebraic Complexity Classes (Meena Mahajan) -- 5. A Selection of Lower Bound Results for Arithmetic Circuits (Neeraj Kayal and Ramprasad Saptharishi) -- 6. Explicit Tensors (Markus Bläser) -- 7. Progress on Polynomial Identity Testing (Nitin Saxena) -- 8. Malod and the Pascaline (Bruno Poizat) -- 9. A Tutorial in Time and Space Bounds for Tree-like Resolution (Jacobo Torán) -- 10. An Entropy Based Proof for the Moore Bound for Irregular Graphs (S. Ajesh Babu and Jaikumar Radharishnan) -- 11. Permutation Groups and the Graph Isomorphism Problem (Sumanta Ghosh and Piyush P. Kurur). | |
| 520 | |a This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduate students and senior undergraduates in computer science and mathematics. It can also be useful as a resource for teaching advanced level courses in computational complexity. | ||
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Mathematics-Data processing. | |
| 650 | 0 | |a Machine theory. | |
| 650 | 1 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Computational Science and Engineering. |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory. |
| 700 | 1 | |a Agrawal, Manindra. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Arvind, Vikraman. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319054476 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319054452 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319350585 |
| 830 | 0 | |a Progress in Computer Science and Applied Logic, |x 2297-0584 ; |v 26 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-319-05446-9 |z Texto Completo |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-SXMS | ||
| 950 | |a Mathematics and Statistics (SpringerNature-11649) | ||
| 950 | |a Mathematics and Statistics (R0) (SpringerNature-43713) | ||