Sciweavers

2479 search results - page 70 / 496
» Quantum complexity theory
Sort
View
FOCS
2010
IEEE
13 years 8 months ago
The Complexity of Distributions
Complexity theory typically studies the complexity of computing a function h(x) : {0, 1}m {0, 1}n of a given input x. A few works have suggested to study the complexity of genera...
Emanuele Viola
LICS
2002
IEEE
14 years 3 months ago
The Proof Complexity of Linear Algebra
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
Michael Soltys, Stephen A. Cook
AII
1989
14 years 2 months ago
Inductive Inference, DFAs, and Computational Complexity
This paper surveys recent results concerning the inference of deterministic finite automata (DFAs). The results discussed determine the extent to which DFAs can be feasibly inferr...
Leonard Pitt
CORR
2010
Springer
41views Education» more  CORR 2010»
13 years 7 months ago
Decomposition Complexity
e onsider prolem of deomposition of ternry funtion into omposition of iE nry ones from the viewpoint of ommuniE tion omplexity nd lgorithmi informtion theory s well s some pplit...
Alexander Shen
ISAAC
2009
Springer
98views Algorithms» more  ISAAC 2009»
14 years 4 months ago
On the Tightness of the Buhrman-Cleve-Wigderson Simulation
Abstract. Buhrman, Cleve and Wigderson gave a general communication protocol for block-composed functions f(g1(x1 , y1 ), · · · , gn(xn , yn )) by simulating a decision tree com...
Shengyu Zhang