Skip to main content Accessibility help
×
Home
Hostname: page-component-5cfd469876-wkcxx Total loading time: 0.341 Render date: 2021-06-24T10:21:47.069Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true }

P versus NP and computability theoretic constructions in complexity theory over algebraic structures

Published online by Cambridge University Press:  12 March 2014

Gunther Mainhardt
Affiliation:
Universität Greifswald, F.-L.-Jahnstr. 15A, 17487 Greifswald, Germany, E-mail: gm@mail.uni-greifswald.de
Corresponding
E-mail address:

Abstract

We show that there is a structure of countably infinite signature with P = N2P and a structure of finite signature with P = N1P and N1P ≠ N2P. We give a further example of a structure of finite signature with P ≠ N1P and N1P ≠ N1P. Together with a result from [10] this implies that for each possibility of P versus NP over structures there is an example of countably infinite signature. Then we show that for some finite the class of -structures with P = N1P is not closed under ultraproducts and obtain as corollaries that this class is not ∆-elementary and that the class of -structures with P ≠ N1P is not elementary. Finally we prove that for all ƒ dominating all polynomials there is a structure of finite signature with the following properties: P ≠ N1P, N1P ≠ N2P, the levels N2TIME(ni) of N2P and the levels N1TIME(ni) of N1P are different for different i, indeed DTIME(ni′) ⊈ N2TIME(ni) if i ′ > i; DTIME(ƒ) ⊈ N2P, and N2P ⊈ DEC. DEC is the class of recognizable sets with recognizable complements. So this is an example where the internal structure of N2P is analyzed in a more detailed way. In our proofs we use methods in the style of classical computability theory to construct structures except for one use of ultraproducts.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below.

References

[1]Baker, T., Gill, J., and Solovay, R.. Relativizations of the P = NP question, SIAM Journal on Computing, vol. 4 (1975), pp. 431442.CrossRefGoogle Scholar
[2]Balcazar, J. L., Diaz, J., and Gabarro, J., Structural complexity 1, 2, Springer, Berlin et al., 1988, 1990.CrossRefGoogle Scholar
[3]Bell, J. L. and Slomson, A. B., Models and ultraproducts, North Holland, 1969.Google Scholar
[4]Chang, C. C. and Keisler, H. J., Model theory, North Holland, 1990.Google Scholar
[5]Ebbinghaus, H. D., Flum, J., and Thomas, W., Mathematical logic, Springer, 1984.Google Scholar
[6]Hemmerling, A., Computability and complexity over structures of finite type, Preprint, 1995, Universität Greifswald, Reihe Mathematik, Nr. 2.Google Scholar
[7]Hemmerling, A., Computability of string functions over algebraic structures, Mathematical Logic Quarterly, vol. 44 (1998), no. 1, pp. 144.CrossRefGoogle Scholar
[8]Hemmerling, A., Computability over structures of infinite signature, Mathematical Logic Quarterly, vol. 44 (1998), no. 3, pp. 394416.CrossRefGoogle Scholar
[9]Hemmerling, A., On P versus NP for parameter-free programs over algebraic structures, Mathematical Logic Quarterly, vol. 47 (2001), no. 1, pp. 6792.3.0.CO;2-V>CrossRefGoogle Scholar
[10]Koiran, P., Computing over the reals with addition and order, Theoretical Computer Science, vol. 133 (1994), no. 1, pp. 3548.CrossRefGoogle Scholar
[11]Mainhardt, G., On structures with proper polynomial time hierarchy, Preprint, 2002, Reihe Mathematik, Universität Greifswald, http://sun-10.math-inf.uni-greifswald.de.Google Scholar
[12]Prunescu, M., A model-theoretic proof for P ≠ NP over all infinite abelian groups, this Journal, vol. 67 (2002), no. 1, pp. 235238.Google Scholar
[13]Soare, R. I., Recursively enumerable sets and degrees, Springer, 1987.CrossRefGoogle Scholar
2
Cited by

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

P versus NP and computability theoretic constructions in complexity theory over algebraic structures
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

P versus NP and computability theoretic constructions in complexity theory over algebraic structures
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

P versus NP and computability theoretic constructions in complexity theory over algebraic structures
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *