Skip to main content Accessibility help

Tractable answer-set programming with weight constraints: bounded treewidth is not enough*



Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks related to programs with cardinality or weight constraints – like checking the consistency of a program – are intractable. Many intractable problems in the area of knowledge representation and reasoning have been shown to become linear time tractable if the treewidth of the programs or formulas under consideration is bounded by some constant. The goal of this paper is to apply the notion of treewidth to programs with cardinality or weight constraints and to identify tractable fragments. It will turn out that the straightforward application of treewidth to such class of programs does not suffice to obtain tractability. However, by imposing further restrictions, tractability can be achieved.



Hide All

A preliminary version appeared in the Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010).



Hide All
Bodlaender, H. L. 1996. A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM Journal on Computing 25, 6, 13051317.
Bodlaender, H. L. and Koster, A. M. C. A. 2006. Safe separators for treewidth. Discrete Mathematics 306, 3, 337350.
Bodlaender, H. L. and Koster, A. M. C. A. 2008. Combinatorial optimization on graphs of bounded treewidth. Computer Journal 51, 3, 255269.
Courcelle, B. 1987. Recognizability and Second-Order Definability for Sets of Finite Graphs. Technical rep. I-8634, Université de Bordeaux, Bordeaux, France.
Dermaku, A., Ganzow, T., Gottlob, G., McMahan, B. J., Musliu, N. and Samer, M. 2008. Heuristic methods for hypertree decomposition. In Proceedings of the MICAI, New York, September 6–10. LNCS, vol. 5317. Springer, New York, USA, 111.
Downey, R. G. and Fellows, M. R. 1999. Parameterized Complexity. Springer-Verlag, Berlin, Germany.
Flum, J. and Grohe, M. 2006. Parameterized Complexity Theory. Springer-Verlag, Berlin, Germany.
Gottlob, G., Pichler, R. and Wei, F. 2010. Bounded treewidth as a key to tractability of knowledge representation and reasoning. Artificial Intelligence 174, 1, 105132.
Jakl, M., Pichler, R. and Woltran, S. 2009. Answer-set programming with bounded treewidth. In Proceedings of the IJCAI '09, Pasadena, CA, USA, Boutilier, C., Ed., AAAI Press, Palo Alto, CA, 816822.
Kask, K., Gelfand, A., Otten, L. and Dechter, R. 2011. Pushing the power of stochastic greedy ordering schemes for inference in graphical models. In Proceedings of the AAAI '11, Burgard, W. and Roth, D., Eds. AAAI Press, Palo Alto, CA, 5460.
Kloks, T. 1994. Treewidth, Computations and Approximations. Springer-Verlag, Berlin, Germany.
Koster, A. M. C. A., Bodlaender, H. L. and van Hoesel, S. P. M. 2001. Treewidth: Computational experiments. Electronic Notes in Discrete Mathematics 8, 5457.
Liu, G. 2009. Level mapping-induced loop formulas for weight constraint and aggregate programs. In Proceedings of the LPNMR '09, Erdem, E., Lin, F. and Schaub, T., Eds. LNCS, vol. 5753. Springer, New York, 444449.
Marek, V. W. and Truszczyński, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective, Apt, K. R., Marek, V. W., Truszczyński, M. and Warren, D. S., Eds. Springer, New York, 375398.
Niedermeier, R. 2006. Invitation to Fixed-Parameter Algorithms. Oxford University Press, Oxford, UK.
Niemelä, I., Simons, P. and Soininen, T. 1999. Stable model semantics of weight constraint rules. In Proceedings of the LPNMR'99, Gelfond, M., Leone, N. and Pfeifer, G., Eds., LNCS, vol. 1730. Springer, New York, 317331.
Szeider, S. 2010. Not so easy problems for tree decomposable graphs. In Advances in Discrete Mathematics and Applications: Mysore, 2008, Acharya, B. D., Katona, G. O. H. and Nesetril, Juarez, Eds. Ramanujan Mathematical Society Lecture Notes Series, vol. 13., Ramanujan Mathematical Society, Mysore, India, 179190.
Szeider, S. 2011. Monadic second-order logic on graphs with local cardinality constraints. ACM Transactions on Computer Logic 12, 2, art. 12, 21.
van den Eijkhof, F., Bodlaender, H. L. and Koster, A. M. C. A. 2007. Safe reduction rules for weighted treewidth. Algorithmica 47, 2, 139158.


Related content

Powered by UNSILO

Tractable answer-set programming with weight constraints: bounded treewidth is not enough*



Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.