Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953319076> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2953319076 abstract "A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable model of size no more than k, is an example of a parameterized decision problem with k serving as a parameter. Parameterized problems that are NP-complete often become solvable in polynomial time if the parameter is fixed. The problem to decide whether a program P has a stable model of size no more than k, where k is fixed and not a part of input, can be solved in time O(mn^k), where m is the size of P and n is the number of atoms in P. Thus, this problem is in the class P. However, algorithms with the running time given by a polynomial of order k are not satisfactory even for relatively small values of k. The key question then is whether significantly better algorithms (with the degree of the polynomial not dependent on k) exist. To tackle it, we use the framework of fixed-parameter complexity. We establish the fixed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also establish the fixed-parameter complexity for variants of these problems resulting from restricting attention to Horn programs and to purely negative programs. Most of the problems considered in the paper have high fixed-parameter complexity. Thus, it is unlikely that fixing bounds on models (supported models, stable models) will lead to fast algorithms to decide the existence of such models." @default.
- W2953319076 created "2019-06-27" @default.
- W2953319076 creator A5079578242 @default.
- W2953319076 creator A5079794036 @default.
- W2953319076 date "2001-07-19" @default.
- W2953319076 modified "2023-09-27" @default.
- W2953319076 title "Fixed-parameter complexity of semantics for logic programs" @default.
- W2953319076 cites W1766332311 @default.
- W2953319076 cites W2011992362 @default.
- W2953319076 cites W2143382644 @default.
- W2953319076 cites W2147180598 @default.
- W2953319076 cites W2399343913 @default.
- W2953319076 cites W2611415697 @default.
- W2953319076 cites W2612793397 @default.
- W2953319076 hasPublicationYear "2001" @default.
- W2953319076 type Work @default.
- W2953319076 sameAs 2953319076 @default.
- W2953319076 citedByCount "0" @default.
- W2953319076 crossrefType "posted-content" @default.
- W2953319076 hasAuthorship W2953319076A5079578242 @default.
- W2953319076 hasAuthorship W2953319076A5079794036 @default.
- W2953319076 hasConcept C11413529 @default.
- W2953319076 hasConcept C114614502 @default.
- W2953319076 hasConcept C115988155 @default.
- W2953319076 hasConcept C118615104 @default.
- W2953319076 hasConcept C121332964 @default.
- W2953319076 hasConcept C134306372 @default.
- W2953319076 hasConcept C165464430 @default.
- W2953319076 hasConcept C179799912 @default.
- W2953319076 hasConcept C199360897 @default.
- W2953319076 hasConcept C24890656 @default.
- W2953319076 hasConcept C2775997480 @default.
- W2953319076 hasConcept C311688 @default.
- W2953319076 hasConcept C33923547 @default.
- W2953319076 hasConcept C39637292 @default.
- W2953319076 hasConcept C41008148 @default.
- W2953319076 hasConcept C90119067 @default.
- W2953319076 hasConcept C97137487 @default.
- W2953319076 hasConceptScore W2953319076C11413529 @default.
- W2953319076 hasConceptScore W2953319076C114614502 @default.
- W2953319076 hasConceptScore W2953319076C115988155 @default.
- W2953319076 hasConceptScore W2953319076C118615104 @default.
- W2953319076 hasConceptScore W2953319076C121332964 @default.
- W2953319076 hasConceptScore W2953319076C134306372 @default.
- W2953319076 hasConceptScore W2953319076C165464430 @default.
- W2953319076 hasConceptScore W2953319076C179799912 @default.
- W2953319076 hasConceptScore W2953319076C199360897 @default.
- W2953319076 hasConceptScore W2953319076C24890656 @default.
- W2953319076 hasConceptScore W2953319076C2775997480 @default.
- W2953319076 hasConceptScore W2953319076C311688 @default.
- W2953319076 hasConceptScore W2953319076C33923547 @default.
- W2953319076 hasConceptScore W2953319076C39637292 @default.
- W2953319076 hasConceptScore W2953319076C41008148 @default.
- W2953319076 hasConceptScore W2953319076C90119067 @default.
- W2953319076 hasConceptScore W2953319076C97137487 @default.
- W2953319076 hasLocation W29533190761 @default.
- W2953319076 hasOpenAccess W2953319076 @default.
- W2953319076 hasPrimaryLocation W29533190761 @default.
- W2953319076 hasRelatedWork W1533622011 @default.
- W2953319076 hasRelatedWork W1871232634 @default.
- W2953319076 hasRelatedWork W2065810055 @default.
- W2953319076 hasRelatedWork W2091368663 @default.
- W2953319076 hasRelatedWork W2092838574 @default.
- W2953319076 hasRelatedWork W2125332637 @default.
- W2953319076 hasRelatedWork W2136968080 @default.
- W2953319076 hasRelatedWork W2182048694 @default.
- W2953319076 hasRelatedWork W2183312547 @default.
- W2953319076 hasRelatedWork W2280070684 @default.
- W2953319076 hasRelatedWork W2399100966 @default.
- W2953319076 hasRelatedWork W2436424524 @default.
- W2953319076 hasRelatedWork W244812768 @default.
- W2953319076 hasRelatedWork W2593041831 @default.
- W2953319076 hasRelatedWork W2728725997 @default.
- W2953319076 hasRelatedWork W2778880769 @default.
- W2953319076 hasRelatedWork W2795976437 @default.
- W2953319076 hasRelatedWork W2798325735 @default.
- W2953319076 hasRelatedWork W2951485110 @default.
- W2953319076 hasRelatedWork W3101500537 @default.
- W2953319076 isParatext "false" @default.
- W2953319076 isRetracted "false" @default.
- W2953319076 magId "2953319076" @default.
- W2953319076 workType "article" @default.