Accessible Telephone Directories
暂无分享,去创建一个
We reduce to a standard circuit-size complexity problem a relativisation of the P=NP question that we believe to be connected with the same question in the model for computation over the reals defined by L. Blum. M. Shub, and S. Smale. On this occasion, we set the foundations of a general theory for computation over an arbitrary structure, extending what these three authors did in the case of rings.
[1] Bruno Poizat,et al. Des Belles Paires aux Beaux Uples , 1988, J. Symb. Log..
[2] S. Smale,et al. On a theory of computation and complexity over the real numbers; np-completeness , 1989 .