Logical Definability of NP Optimization Problems

• 1 December 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 115  (2) , 321-353
• https://doi.org/10.1006/inco.1994.1100

Abstract

Keywords

• NP OPTIMIZATION PROBLEM
• NP MAXIMIZATION PROBLEM
• VARIOUS CLASS
• LOGICAL DEFINABILITY
• EXPRESSIVE POWER
• LOGICAL DEFINABILITY STANDPOINT
• NP MINIMIZATION PROBLEM
• POLYNOMIALLY BOUNDED NP OPTIMIZATION
• RELATIVE EXPRESSIVE POWER
• OPTIMIZATION PROBLEM
• LOGICAL DEFINIABILITY
• FIRST ORDER