Off-campus UMass Amherst users: To download dissertations, please use the following link to log into our proxy server with your UMass Amherst user name and password.
Non-UMass Amherst users, please click the view more button below to purchase a copy of this dissertation from Proquest.
(Some titles may also be available free of charge in our Open Access Dissertation Collection, so please check there first.)
A descriptive approach to the class NP
Descriptive complexity is the study of the expressive power of logical languages. There exists a close relationship between the expressive power of a logical language and the computational complexity of the properties captured by such a language. R. Fagin proved that every sentence in second-order existential logic expresses a problem that can be decided by a non-deterministic polynomial time Turing machine: SO$\exists$ = NP (9). With this fact as our starting point, we study the sentences that express properties that are complete for the class NP via first-order projections (fops). This type of reductions arises naturally in descriptive complexity, and it is known that all problems complete for NP via fops are FO-isomorphic (1). Our study of SO$\exists$ sentences includes a normal form for sentences that describe NP-complete properties, the development of syntactic tools for proving problems NP-complete via fops, the definition of syntactic families of problems that have a similar syntactic structure, the study of the approximability of the problems in the syntactic families that we define, and a descriptive version of the PCP theorem. This dissertation is organized in seven chapters. In Chapter 1, we present an overview of our research area and results. In Chapter 2, we review the concepts and definitions of descriptive complexity. In Chapter 3 we describe a normal form for SO$\exists$ sentences that define a NP-complete problems via fops. In Chapter 4 we present syntactic tools to prove problems NP-complete via fops and use them to prove that a large number of the known NP-complete problems remain complete via fops. Among these tools, we define families of problems with similar syntactic structure. In Chapter 5, we study the approximation properties of some of the families defined in chapter 4. In Chapter 6, we prove a descriptive version of the PCP theorem. This descriptive version implies both the PCP theorem in its computational version and Fagin's theorem. We close this work with Chapter 7 presenting our conclusions and suggestions for future research motivated by this dissertation.
Medina-Peralta, Jose Antonio, "A descriptive approach to the class NP" (1997). Doctoral Dissertations Available from Proquest. AAI9721479.