Showing 1–2 of 2 results for author: Marković, P

SMB algebras I: On the variety of SMB algebras

Authors: Petar Djapić, Petar Marković, Ralph McKenzie, Aleksandar Prokić

Abstract: We begin the investigation of the variety of semilattices of Mal'cev blocks, which we call SMB algebras. We begin the investigation of the variety of semilattices of Mal'cev blocks, which we call SMB algebras. △ Less

Submitted 16 August, 2022; originally announced August 2022.

MSC Class: 08B05 (Primary); 08A05; 08A45 (Secondary)

CD(4) has bounded width

Authors: Catarina Carvalho, Víctor Dalmau, Petar Marković, Miklós Maróti

Abstract: We prove that the constraint languages invariant under a short sequence of Jónsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves the previous result by Kiss and Valeriote and presents some evidence that the Larose-Zadori conjecture holds in the congruence-distributive case. We prove that the constraint languages invariant under a short sequence of Jónsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves the previous result by Kiss and Valeriote and presents some evidence that the Larose-Zadori conjecture holds in the congruence-distributive case. △ Less

Submitted 12 September, 2007; originally announced September 2007.

MSC Class: 68N17 (Primary) 08A70; 08B10; 08B05; 03B70; 68T20 (Secondary)