Sciweavers

92 search results - page 2 / 19
» Fine hierarchies and m-reducibilities in theoretical compute...
Sort
View
TCS
1998
13 years 4 months ago
A Hierarchy Based on Output Multiplicity
Ashish V. Naik, John D. Rogers, James S. Royer, Al...
STACS
1987
Springer
13 years 7 months ago
Graph Isomorphism is in the Low Hierarchy
It is shown that the graph isomorphism problem is located in the low hierarchy in NP. This implies that this problem is not NPcomplete (not even under weaker forms of polynomial-ti...
Uwe Schöning
FOCS
1998
IEEE
13 years 8 months ago
Towards an Optimal Bit-Reversal Permutation Program
The speed of many computations is limited not by the number of arithmetic operations but by the time it takes to move and rearrange data in the increasingly complicated memory hie...
Larry Carter, Kang Su Gatlin
FOCS
1990
IEEE
13 years 8 months ago
Algebraic Methods for Interactive Proof Systems
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
Carsten Lund, Lance Fortnow, Howard J. Karloff, No...