Buch, Englisch, Band 12, 168 Seiten, Format (B × H): 156 mm x 234 mm
Reihe: Foundations and Trends® in Theoretical Computer Science
Buch, Englisch, Band 12, 168 Seiten, Format (B × H): 156 mm x 234 mm
Reihe: Foundations and Trends® in Theoretical Computer Science
ISBN: 978-1-60198-242-1
Verlag: Now Publishers
While rapid progress has been made on upper bounds (algorithms), progress on lower bounds on the complexity of explicit problems has remained slow despite intense efforts over several decades. As is natural with typical impossibility results, lower bound questions are hard mathematical problems and hence are unlikely to be resolved by ad hoc attacks. Instead, techniques based on mathematical notions that capture computational complexity are necessary. Complexity Lower Bounds using Linear Algebra surveys several techniques for proving lower bounds in Boolean, algebraic, and communication complexity based on certain linear algebraic approaches. The common theme among these approaches is to study robustness measures of matrix rank that capture the complexity in a given model. Suitably strong lower bounds on such robustness functions of explicit matrices lead to important consequences in the corresponding circuit or communication models. Understanding the inherent computational complexity of problems is of fundamental importance in mathematics and theoretical computer science. Complexity Lower Bounds using Linear Algebra is an invaluable reference for anyone working in the field.
Autoren/Hrsg.
Weitere Infos & Material
1: Introduction 2: Matrix Rigidity 3: Spectral Methods to study Rank Robustness 4: Sign-Rank and other Complexity Measures of Sign Matrices 5: Rank Robustness and Two-Party Communication Complexity 6: Graph Complexity and Projective and Affine Dimensions of Graphs 7: Span Programs: A Linear Algebraic Model of Computation 8: Conclusions and Open Problems. Acknowledgements. References
