Skip to main content Accessibility help
×
Home

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

Published online by Cambridge University Press:  17 July 2012

REINHARD PICHLER
Affiliation:
Vienna University of Technology, Austria (e-mail: pichler@dbai.tuwien.ac.at, ruemmele@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.at, stefan@szeider.net)
STEFAN RÜMMELE
Affiliation:
Vienna University of Technology, Austria (e-mail: pichler@dbai.tuwien.ac.at, ruemmele@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.at, stefan@szeider.net)
STEFAN SZEIDER
Affiliation:
Vienna University of Technology, Austria (e-mail: pichler@dbai.tuwien.ac.at, ruemmele@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.at, stefan@szeider.net)
STEFAN WOLTRAN
Affiliation:
Vienna University of Technology, Austria (e-mail: pichler@dbai.tuwien.ac.at, ruemmele@dbai.tuwien.ac.at, woltran@dbai.tuwien.ac.at, stefan@szeider.net)

Abstract

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.

Type
Regular Papers
Copyright
Copyright © Cambridge University Press 2012 

Access options

Get access to the full version of this content by using one of the access options below.

Footnotes

*

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

References

Bodlaender, H. L. 1996. A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM Journal on Computing 25, 6, 13051317.CrossRefGoogle Scholar
Bodlaender, H. L. and Koster, A. M. C. A. 2006. Safe separators for treewidth. Discrete Mathematics 306, 3, 337350.CrossRefGoogle Scholar
Bodlaender, H. L. and Koster, A. M. C. A. 2008. Combinatorial optimization on graphs of bounded treewidth. Computer Journal 51, 3, 255269.CrossRefGoogle Scholar
Courcelle, B. 1987. Recognizability and Second-Order Definability for Sets of Finite Graphs. Technical rep. I-8634, Université de Bordeaux, Bordeaux, France.Google Scholar
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.Google Scholar
Downey, R. G. and Fellows, M. R. 1999. Parameterized Complexity. Springer-Verlag, Berlin, Germany.CrossRefGoogle Scholar
Flum, J. and Grohe, M. 2006. Parameterized Complexity Theory. Springer-Verlag, Berlin, Germany.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
Kloks, T. 1994. Treewidth, Computations and Approximations. Springer-Verlag, Berlin, Germany.Google Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Niedermeier, R. 2006. Invitation to Fixed-Parameter Algorithms. Oxford University Press, Oxford, UK.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
Szeider, S. 2011. Monadic second-order logic on graphs with local cardinality constraints. ACM Transactions on Computer Logic 12, 2, art. 12, 21.CrossRefGoogle Scholar
van den Eijkhof, F., Bodlaender, H. L. and Koster, A. M. C. A. 2007. Safe reduction rules for weighted treewidth. Algorithmica 47, 2, 139158.CrossRefGoogle Scholar

Altmetric attention score

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 28 *
View data table for this chart

* Views captured on Cambridge Core between September 2016 - 21st January 2021. This data will be updated every 24 hours.

Hostname: page-component-76cb886bbf-r88h9 Total loading time: 0.271 Render date: 2021-01-21T06:36:26.645Z Query parameters: { "hasAccess": "0", "openAccess": "0", "isLogged": "0", "lang": "en" } Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false }

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

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

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

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

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

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

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *