The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains
Convex relaxations have been instrumental in solvability of constraint satisfaction problems (CSPs), as well as in the three different generalisations of CSPs: valued CSPs, infinite-domain CSPs, and most recently promise CSPs. In this work, we extend an existing tractability result to the three gene...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Association for Computing Machinery
2021
|
| _version_ | 1797073992418328576 |
|---|---|
| author | Viola, C Zivny, S |
| author_facet | Viola, C Zivny, S |
| author_sort | Viola, C |
| collection | OXFORD |
| description | Convex relaxations have been instrumental in solvability of constraint satisfaction
problems (CSPs), as well as in the three different generalisations of CSPs: valued CSPs,
infinite-domain CSPs, and most recently promise CSPs. In this work, we extend an existing
tractability result to the three generalisations of CSPs combined: We give a sufficient
condition for the combined basic linear programming and affine integer programming
relaxation for exact solvability of promise valued CSPs over infinite-domains. This extends
a result of Brakensiek and Guruswami [SODA’20] for promise (non-valued) CSPs (on finite
domains). |
| first_indexed | 2024-03-06T23:29:54Z |
| format | Journal article |
| id | oxford-uuid:6bab5669-9398-485d-877c-5bcff547c546 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T23:29:54Z |
| publishDate | 2021 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:6bab5669-9398-485d-877c-5bcff547c5462022-03-26T19:05:35ZThe combined basic LP and affine IP relaxation for promise VCSPs on infinite domainsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6bab5669-9398-485d-877c-5bcff547c546EnglishSymplectic ElementsAssociation for Computing Machinery2021Viola, CZivny, SConvex relaxations have been instrumental in solvability of constraint satisfaction problems (CSPs), as well as in the three different generalisations of CSPs: valued CSPs, infinite-domain CSPs, and most recently promise CSPs. In this work, we extend an existing tractability result to the three generalisations of CSPs combined: We give a sufficient condition for the combined basic linear programming and affine integer programming relaxation for exact solvability of promise valued CSPs over infinite-domains. This extends a result of Brakensiek and Guruswami [SODA’20] for promise (non-valued) CSPs (on finite domains). |
| spellingShingle | Viola, C Zivny, S The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains |
| title | The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains |
| title_full | The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains |
| title_fullStr | The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains |
| title_full_unstemmed | The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains |
| title_short | The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains |
| title_sort | combined basic lp and affine ip relaxation for promise vcsps on infinite domains |
| work_keys_str_mv | AT violac thecombinedbasiclpandaffineiprelaxationforpromisevcspsoninfinitedomains AT zivnys thecombinedbasiclpandaffineiprelaxationforpromisevcspsoninfinitedomains AT violac combinedbasiclpandaffineiprelaxationforpromisevcspsoninfinitedomains AT zivnys combinedbasiclpandaffineiprelaxationforpromisevcspsoninfinitedomains |