Quantaloidal approach to constraint satisfaction

07/05/2021
by   Soichiro Fujii, et al.
0

The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category 𝒫𝐅𝐢𝐧𝐒𝐞𝐭 of finite sets and sets of functions between them. The 2-category 𝒫𝐅𝐢𝐧𝐒𝐞𝐭 is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

04/05/2018

Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains

Valued constraint satisfaction problems (VCSPs) are a large class of com...
12/18/2019

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

Valued constraint satisfaction problems (VCSPs) are a large class of com...
08/27/2020

Network satisfaction for symmetric relation algebras with a flexible atom

Robin Hirsch posed in 1996 the Really Big Complexity Problem: classify t...
01/26/2012

Constraint Propagation as Information Maximization

This paper draws on diverse areas of computer science to develop a unifi...
09/11/2019

Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps

What makes a computational problem easy (e.g., in P, that is, solvable i...
01/15/2014

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability

Literature on Constraint Satisfaction exhibits the definition of several...
04/11/2013

From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E

In this Part II, we apply the general theory developed in Part I to a de...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.