An application of Farkas' lemma to finite-valued constraint satisfaction problems over infinite domains

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

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.

Details

Original languageEnglish
Article number126591
JournalJournal of mathematical analysis and applications
Volume517
Issue number1
Publication statusPublished - 1 Jan 2023
Peer-reviewedYes

Keywords

ASJC Scopus subject areas

Keywords

  • Expressive power, Farkas' lemma, Infinite-domain valued structures, Locally convex spaces, Valued constraint satisfaction