Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569152403> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1569152403 abstract "In Descriptive Complexity, there is a vast amount of literature on decision problems, and their classes such as textbf{P, NP, L and NL}. ~ However, research on the descriptive complexity of optimisation problems has been limited. Optimisation problems corresponding to the textbf{NP} class have been characterised in terms of logic expressions by Papadimitriou and Yannakakis, Panconesi and Ranjan, Kolaitis and Thakur, Khanna et al, and by Zimand. Gr{a}del characterised the polynomial class textbf{P} of decision problems. In this paper, we attempt to characterise the optimisation versions of textbf{P} via expressions in second order logic, many of them using universal Horn formulae with successor relations. The polynomially versions of maximisation and minimisation problems are treated first, and then the maximisation problems in the not necessarily polynomially bound class." @default.
- W1569152403 created "2016-06-24" @default.
- W1569152403 creator A5081267091 @default.
- W1569152403 date "2006-06-12" @default.
- W1569152403 modified "2023-09-27" @default.
- W1569152403 title "Syntactic Characterisations of Polynomial-Time Optimisation Classes" @default.
- W1569152403 cites W1497287285 @default.
- W1569152403 cites W1999032440 @default.
- W1569152403 cites W2011039300 @default.
- W1569152403 cites W2038225707 @default.
- W1569152403 cites W2082372600 @default.
- W1569152403 cites W2159579504 @default.
- W1569152403 cites W3127113455 @default.
- W1569152403 cites W87231157 @default.
- W1569152403 hasPublicationYear "2006" @default.
- W1569152403 type Work @default.
- W1569152403 sameAs 1569152403 @default.
- W1569152403 citedByCount "2" @default.
- W1569152403 crossrefType "posted-content" @default.
- W1569152403 hasAuthorship W1569152403A5081267091 @default.
- W1569152403 hasConcept C11413529 @default.
- W1569152403 hasConcept C114614502 @default.
- W1569152403 hasConcept C115988155 @default.
- W1569152403 hasConcept C118615104 @default.
- W1569152403 hasConcept C133142742 @default.
- W1569152403 hasConcept C134306372 @default.
- W1569152403 hasConcept C154945302 @default.
- W1569152403 hasConcept C2777212361 @default.
- W1569152403 hasConcept C311688 @default.
- W1569152403 hasConcept C33923547 @default.
- W1569152403 hasConcept C41008148 @default.
- W1569152403 hasConcept C75306776 @default.
- W1569152403 hasConceptScore W1569152403C11413529 @default.
- W1569152403 hasConceptScore W1569152403C114614502 @default.
- W1569152403 hasConceptScore W1569152403C115988155 @default.
- W1569152403 hasConceptScore W1569152403C118615104 @default.
- W1569152403 hasConceptScore W1569152403C133142742 @default.
- W1569152403 hasConceptScore W1569152403C134306372 @default.
- W1569152403 hasConceptScore W1569152403C154945302 @default.
- W1569152403 hasConceptScore W1569152403C2777212361 @default.
- W1569152403 hasConceptScore W1569152403C311688 @default.
- W1569152403 hasConceptScore W1569152403C33923547 @default.
- W1569152403 hasConceptScore W1569152403C41008148 @default.
- W1569152403 hasConceptScore W1569152403C75306776 @default.
- W1569152403 hasLocation W15691524031 @default.
- W1569152403 hasOpenAccess W1569152403 @default.
- W1569152403 hasPrimaryLocation W15691524031 @default.
- W1569152403 hasRelatedWork W1493158722 @default.
- W1569152403 hasRelatedWork W1503278036 @default.
- W1569152403 hasRelatedWork W157911545 @default.
- W1569152403 hasRelatedWork W1586036035 @default.
- W1569152403 hasRelatedWork W1767868015 @default.
- W1569152403 hasRelatedWork W1881931158 @default.
- W1569152403 hasRelatedWork W2001101327 @default.
- W1569152403 hasRelatedWork W2085261789 @default.
- W1569152403 hasRelatedWork W2091345559 @default.
- W1569152403 hasRelatedWork W2110472925 @default.
- W1569152403 hasRelatedWork W2142913681 @default.
- W1569152403 hasRelatedWork W2158043776 @default.
- W1569152403 hasRelatedWork W2161496826 @default.
- W1569152403 hasRelatedWork W2162803372 @default.
- W1569152403 hasRelatedWork W2166566648 @default.
- W1569152403 hasRelatedWork W2222642079 @default.
- W1569152403 hasRelatedWork W2397482481 @default.
- W1569152403 hasRelatedWork W2906821601 @default.
- W1569152403 hasRelatedWork W2953108622 @default.
- W1569152403 hasRelatedWork W314996113 @default.
- W1569152403 isParatext "false" @default.
- W1569152403 isRetracted "false" @default.
- W1569152403 magId "1569152403" @default.
- W1569152403 workType "article" @default.