Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024361212> ?p ?o ?g. }
- W2024361212 endingPage "133" @default.
- W2024361212 startingPage "111" @default.
- W2024361212 abstract "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." @default.
- W2024361212 created "2016-06-24" @default.
- W2024361212 creator A5080515202 @default.
- W2024361212 creator A5081267091 @default.
- W2024361212 date "2008-01-01" @default.
- W2024361212 modified "2023-10-16" @default.
- W2024361212 title "Polynomial-TimeMaximisation Classes: Syntactic Hierarchy" @default.
- W2024361212 cites W1497287285 @default.
- W2024361212 cites W1569152403 @default.
- W2024361212 cites W1976960787 @default.
- W2024361212 cites W2011039300 @default.
- W2024361212 cites W2036285035 @default.
- W2024361212 cites W2038225707 @default.
- W2024361212 cites W2063981365 @default.
- W2024361212 cites W2082160108 @default.
- W2024361212 cites W2082372600 @default.
- W2024361212 cites W2087226760 @default.
- W2024361212 cites W2104955674 @default.
- W2024361212 cites W2148352980 @default.
- W2024361212 cites W2152196641 @default.
- W2024361212 cites W2159579504 @default.
- W2024361212 cites W3127113455 @default.
- W2024361212 cites W87231157 @default.
- W2024361212 cites W2026961896 @default.
- W2024361212 hasPublicationYear "2008" @default.
- W2024361212 type Work @default.
- W2024361212 sameAs 2024361212 @default.
- W2024361212 citedByCount "2" @default.
- W2024361212 crossrefType "journal-article" @default.
- W2024361212 hasAuthorship W2024361212A5080515202 @default.
- W2024361212 hasAuthorship W2024361212A5081267091 @default.
- W2024361212 hasConcept C10138342 @default.
- W2024361212 hasConcept C102993220 @default.
- W2024361212 hasConcept C11413529 @default.
- W2024361212 hasConcept C114614502 @default.
- W2024361212 hasConcept C115988155 @default.
- W2024361212 hasConcept C118615104 @default.
- W2024361212 hasConcept C128838566 @default.
- W2024361212 hasConcept C133142742 @default.
- W2024361212 hasConcept C134306372 @default.
- W2024361212 hasConcept C144791301 @default.
- W2024361212 hasConcept C152076505 @default.
- W2024361212 hasConcept C154945302 @default.
- W2024361212 hasConcept C156273044 @default.
- W2024361212 hasConcept C15744967 @default.
- W2024361212 hasConcept C162324750 @default.
- W2024361212 hasConcept C169896238 @default.
- W2024361212 hasConcept C182306322 @default.
- W2024361212 hasConcept C189790780 @default.
- W2024361212 hasConcept C19417346 @default.
- W2024361212 hasConcept C2776013622 @default.
- W2024361212 hasConcept C2777212361 @default.
- W2024361212 hasConcept C311688 @default.
- W2024361212 hasConcept C31170391 @default.
- W2024361212 hasConcept C33923547 @default.
- W2024361212 hasConcept C34447519 @default.
- W2024361212 hasConcept C39637292 @default.
- W2024361212 hasConcept C41008148 @default.
- W2024361212 hasConcept C75306776 @default.
- W2024361212 hasConcept C77553402 @default.
- W2024361212 hasConcept C80444323 @default.
- W2024361212 hasConcept C87219788 @default.
- W2024361212 hasConceptScore W2024361212C10138342 @default.
- W2024361212 hasConceptScore W2024361212C102993220 @default.
- W2024361212 hasConceptScore W2024361212C11413529 @default.
- W2024361212 hasConceptScore W2024361212C114614502 @default.
- W2024361212 hasConceptScore W2024361212C115988155 @default.
- W2024361212 hasConceptScore W2024361212C118615104 @default.
- W2024361212 hasConceptScore W2024361212C128838566 @default.
- W2024361212 hasConceptScore W2024361212C133142742 @default.
- W2024361212 hasConceptScore W2024361212C134306372 @default.
- W2024361212 hasConceptScore W2024361212C144791301 @default.
- W2024361212 hasConceptScore W2024361212C152076505 @default.
- W2024361212 hasConceptScore W2024361212C154945302 @default.
- W2024361212 hasConceptScore W2024361212C156273044 @default.
- W2024361212 hasConceptScore W2024361212C15744967 @default.
- W2024361212 hasConceptScore W2024361212C162324750 @default.
- W2024361212 hasConceptScore W2024361212C169896238 @default.
- W2024361212 hasConceptScore W2024361212C182306322 @default.
- W2024361212 hasConceptScore W2024361212C189790780 @default.
- W2024361212 hasConceptScore W2024361212C19417346 @default.
- W2024361212 hasConceptScore W2024361212C2776013622 @default.
- W2024361212 hasConceptScore W2024361212C2777212361 @default.
- W2024361212 hasConceptScore W2024361212C311688 @default.
- W2024361212 hasConceptScore W2024361212C31170391 @default.
- W2024361212 hasConceptScore W2024361212C33923547 @default.
- W2024361212 hasConceptScore W2024361212C34447519 @default.
- W2024361212 hasConceptScore W2024361212C39637292 @default.
- W2024361212 hasConceptScore W2024361212C41008148 @default.
- W2024361212 hasConceptScore W2024361212C75306776 @default.
- W2024361212 hasConceptScore W2024361212C77553402 @default.
- W2024361212 hasConceptScore W2024361212C80444323 @default.
- W2024361212 hasConceptScore W2024361212C87219788 @default.
- W2024361212 hasIssue "1" @default.
- W2024361212 hasLocation W20243612121 @default.
- W2024361212 hasOpenAccess W2024361212 @default.
- W2024361212 hasPrimaryLocation W20243612121 @default.
- W2024361212 hasRelatedWork W1497155250 @default.