An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains
Abstract
We show a universal algebraic local characterisation of the expressive power of finite-valued languages with domains of arbitrary cardinality and containing arbitrary many cost functions.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2022
- DOI:
- 10.48550/arXiv.2208.04912
- arXiv:
- arXiv:2208.04912
- Bibcode:
- 2022arXiv220804912S
- Keywords:
-
- Mathematics - General Topology;
- Computer Science - Logic in Computer Science;
- 46Axx;
- G.0;
- F.2.0
- E-Print:
- 18 pages. The paper is based on a chapter from Caterina Viola's doctoral dissertation. This is a preprint of a manuscript accepted for publication in Journal of Mathematical Analysis and Applications (JMAA)