P != NP cap co-NP for Infinite Time Turing Machines.

Vinay Deolalikar Joel David Hamkins Ralf Schindler

Published in: J. Log. Comput. (2005)

Keyphrases

turing machine
computational complexity
np complete
np hard
data mining
neural network
relational databases
double exponential
database
finite sets
theoretical analysis
control system
preprocessing
multiscale
database systems
decision making
information retrieval