The expressive power of second order Horn logic
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Theoretical Computer Science - Special issue on structure in complexity theory
The Minimum Satisfiability Problem
SIAM Journal on Discrete Mathematics
Logical definability of NP optimization problems
Information and Computation
Limits to parallel computation: P-completeness theory
Limits to parallel computation: P-completeness theory
Approximation properties of NP minimization classes
Journal of Computer and System Sciences
Some optimal inapproximability results
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Proof verification and the hardness of approximation problems
Journal of the ACM (JACM)
Weighted NP Optimization Problems: Logical Definability and Approximation Properties
SIAM Journal on Computing
On Syntactic versus Computational Views of Approximability
SIAM Journal on Computing
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Hi-index | 0.00 |
In Descriptive Complexity, there is a vast amount of literature on decision problems, and their classes such as P, NP, L and NL. However, research on the descriptive complexity of optimisation problems has been limited. In a previous paper [13], we characterised the optimisation versions of P via expressions in second order logic, using universal Horn formulae with successor relations. In this paper, we study the syntactic hierarchy within the class of polynomially bound maximisation problems. We extend the result in the previous paper by showing that the class of polynomially-boundNP (not just P) maximisation problems can be expressed in second-order logic using Horn formulae with successor relations. Finally, we provide an application - we show that the Bin Packing problem with online LIB constraints can be approximated to within a Θ (log n) bound, by providing a syntactic characterisation for this problem.