Computing large and small stable models
| dc.creator | Truszczynski, Miroslaw | |
| dc.date | 2000-02-03 | |
| dc.date | 2000-12-13 | |
| dc.date.accessioned | 2026-07-07T03:15:53Z | |
| dc.date.available | 2026-07-07T03:15:53Z | |
| dc.description | In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to decide the problem LSM (large stable models problem): does a logic program P have a stable model of size at least |P|-k. In contrast, we show that the problem SSM (small stable models problem) to decide whether a logic program P has a stable model of size at most k is much harder. We present two algorithms for this problem but their running time is given by polynomials of order depending on k. We show that the problem SSM is fixed-parameter intractable by demonstrating that it is W[2]-hard. This result implies that it is unlikely, an algorithm exists to compute stable models of size at most k that would run in time O(n^c), where c is a constant independent of k. We also provide an upper bound on the fixed-parameter complexity of the problem SSM by showing that it belongs to the class W[3]. | |
| dc.description | This paper is a full version of the conference paper of the same title that was published in the Proceedings of the 1999 International Conference on Logic Programming, Las Cruces, New Mexico, MIT Press, pp. 169-183. The proofs of the results in Section 4 were replaced by more elegant and general ones | |
| dc.identifier | https://arxiv.org/abs/cs/0002001 | |
| dc.identifier | http://arxiv.org/abs/cs/0002001 | |
| dc.identifier | Theory and Practice of Logic Programming, 2(1), pp. 2002 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/30148 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Artificial Intelligence | |
| dc.subject | I.2.3;I.2.4 | |
| dc.title | Computing large and small stable models | |
| dc.type | text |