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

Friedrich Martin Schneider; Caterina Viola

doi:10.1016/j.jmaa.2022.126591

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Friedrich Martin Schneider - , Juniorprofessur für Topologische Algebra, Technische Universität Bergakademie Freiberg (Autor:in)
Caterina Viola - , Professur für Algebra und Diskrete Strukturen, Karlsuniversität Prag (Autor:in)

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

Originalsprache	Englisch
Aufsatznummer	126591
Fachzeitschrift	Journal of mathematical analysis and applications
Jahrgang	517
Ausgabenummer	1
Publikationsstatus	Veröffentlicht - 1 Jan. 2023
Peer-Review-Status	Ja

Schlagworte

ASJC Scopus Sachgebiete

Analysis
Angewandte Mathematik

Schlagwörter

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