[PDF][PDF] Introduction to the Theory of Computation

M Sipser - ACM Sigact News, 1996 - dl.acm.org
Automata, Computability, and Complexity 1/Complexity theory 2/Computability theory
2/Automata theory 3/Mathematical Notions and Terminology 3/Sets 3/Sequences and tuples …

[图书][B] An introduction to computational learning theory

MJ Kearns, U Vazirani - 1994 - books.google.com
Emphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani
introduce a number of central topics in computational learning theory for researchers and …

[图书][B] Classical and quantum computation

AY Kitaev, A Shen, MN Vyalyi - 2002 - books.google.com
This book is an introduction to a new rapidly developing topic: the theory of quantum
computing. It begins with the basics of classical theory of computation: Turing machines …

Cryptographic limitations on learning boolean formulae and finite automata

M Kearns, L Valiant - Journal of the ACM (JACM), 1994 - dl.acm.org
In this paper, we prove the intractability of learning several classes of Boolean functions in
the distribution-free model (also called the Probably Approximately Correct or PAC model) of …

[图书][B] Descriptive complexity

N Immerman - 1998 - books.google.com
A basic issue in computer science is the complexity of problems. Computational complexity
measures how much time or memory is needed as a function of the input problem size …

[PDF][PDF] Bounded-width polynomial-size branching programs recognize exactly those languages in NC1

DA Barrington - Proceedings of the eighteenth annual ACM symposium …, 1986 - dl.acm.org
We show that any language recognized by an NC 1 circuit (fan-in 2, depth O (logn)) can be
recognized by a particular type of width 5 polynomial-size branching program. As any …

Number-theoretic constructions of efficient pseudo-random functions

M Naor, O Reingold - Journal of the ACM (JACM), 2004 - dl.acm.org
We describe efficient constructions for various cryptographic primitives in private-key as well
as public-key cryptography. Our main results are two new constructions of pseudo-random …

[图书][B] Introduction to circuit complexity: a uniform approach

H Vollmer - 1999 - books.google.com
Page 1 Heribert Vollmer Introduction to Circuit Complexity $ Springer Page 2 Page 3 Texts in
Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa …

[图书][B] Elementary functions

JM Muller, JM Muller - 2006 - Springer
This book is devoted to the computation of the elementary functions. Here, we call
elementary functions the most commonly used mathematical functions: sin, cos, tan, sin− 1 …

On uniformity within NC1

DAM Barrington, N Immerman, H Straubing - Journal of Computer and …, 1990 - Elsevier
In order to study circuit complexity classes within NC 1 in a uniform setting, we need a
uniformity condition which is more restrictive than those in common use. Two such …