Classes of submodular constraints expressible by graph cuts

Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the theory of combinatorial optimisation, that instances of VCSPs with submodular constraints can be minimised in polynomial...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Živný, S, Jeavons, P
التنسيق: Conference item
منشور في: 2008
_version_ 1826281558824189952
author Živný, S
Jeavons, P
author_facet Živný, S
Jeavons, P
author_sort Živný, S
collection OXFORD
description Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the theory of combinatorial optimisation, that instances of VCSPs with submodular constraints can be minimised in polynomial time. However, the general algorithm is of order O(n^6) and hence rather impractical. In this paper, by using results from the theory of pseudo-Boolean optimisation, we identify several broad classes of submodular constraints over a Boolean domain which are expressible using binary submodular constraints, and hence can be minimised in cubic time. We also discuss the question of whether all submodular constraints of bounded arity over a Boolean domain are expressible using only binary submodular constraints, and can therefore be minimised efficiently.
first_indexed 2024-03-07T00:30:37Z
format Conference item
id oxford-uuid:7fa94a8c-7819-4a3e-aa39-ca4731df153f
institution University of Oxford
last_indexed 2024-03-07T00:30:37Z
publishDate 2008
record_format dspace
spelling oxford-uuid:7fa94a8c-7819-4a3e-aa39-ca4731df153f2022-03-26T21:18:17ZClasses of submodular constraints expressible by graph cutsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:7fa94a8c-7819-4a3e-aa39-ca4731df153fDepartment of Computer Science2008Živný, SJeavons, PSubmodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the theory of combinatorial optimisation, that instances of VCSPs with submodular constraints can be minimised in polynomial time. However, the general algorithm is of order O(n^6) and hence rather impractical. In this paper, by using results from the theory of pseudo-Boolean optimisation, we identify several broad classes of submodular constraints over a Boolean domain which are expressible using binary submodular constraints, and hence can be minimised in cubic time. We also discuss the question of whether all submodular constraints of bounded arity over a Boolean domain are expressible using only binary submodular constraints, and can therefore be minimised efficiently.
spellingShingle Živný, S
Jeavons, P
Classes of submodular constraints expressible by graph cuts
title Classes of submodular constraints expressible by graph cuts
title_full Classes of submodular constraints expressible by graph cuts
title_fullStr Classes of submodular constraints expressible by graph cuts
title_full_unstemmed Classes of submodular constraints expressible by graph cuts
title_short Classes of submodular constraints expressible by graph cuts
title_sort classes of submodular constraints expressible by graph cuts
work_keys_str_mv AT zivnys classesofsubmodularconstraintsexpressiblebygraphcuts
AT jeavonsp classesofsubmodularconstraintsexpressiblebygraphcuts