Showing 1–15 of 15 results for author: Kazda, A

Small Promise CSPs that reduce to large CSPs

Authors: Alexandr Kazda, Peter Mayr, Dmitriy Zhuk

Abstract: For relational structures A, B of the same signature, the Promise Constraint Satisfaction Problem PCSP(A,B) asks whether a given input structure maps homomorphically to A or does not even map to B. We are promised that the input satisfies exactly one of these two cases. If there exists a structure C with homomorphisms $A\to C\to B$, then PCSP(A,B) reduces naturally to CSP(C). To the best of our… ▽ More For relational structures A, B of the same signature, the Promise Constraint Satisfaction Problem PCSP(A,B) asks whether a given input structure maps homomorphically to A or does not even map to B. We are promised that the input satisfies exactly one of these two cases. If there exists a structure C with homomorphisms $A\to C\to B$, then PCSP(A,B) reduces naturally to CSP(C). To the best of our knowledge all known tractable PCSPs reduce to tractable CSPs in this way. However Barto showed that some PCSPs over finite structures A, B require solving CSPs over infinite C. We show that even when such a reduction to finite C is possible, this structure may become arbitrarily large. For every integer $n>1$ and every prime p we give A, B of size n with a single relation of arity $n^p$ such that PCSP(A, B) reduces via a chain of homomorphisms $ A\to C\to B$ to a tractable CSP over some C of size p but not over any smaller structure. In a second family of examples, for every prime $p\geq 7$ we construct A, B of size $p-1$ with a single ternary relation such that PCSP(A, B) reduces via $A\to C\to B$ to a tractable CSP over some C of size p but not over any smaller structure. In contrast we show that if A, B are graphs and PCSP(A,B) reduces to tractable CSP(C) for some finite digraph C, then already A or B has a tractable CSP. This extends results and answers a question of Deng et al. △ Less

Submitted 19 August, 2022; v1 submitted 16 September, 2021; originally announced September 2021.

MSC Class: 08A70; 68R07; 05C25 ACM Class: G.2; F.2.2

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 3 (August 22, 2022) lmcs:8495

The local-global property for G-invariant terms

Authors: Alexandr Kazda, Michael Kompatscher

Abstract: For some Maltsev conditions $Σ$ it is enough to check if a finite algebra $\mathbf A$ satisfies $Σ$ locally on subsets of bounded size, in order to decide, whether $\mathbf A$ satisfies $Σ$ (globally). This local-global property is the main known source of tractability results for deciding Maltsev conditions. In this paper we investigate the local-global property for the existence of a $G$-term, i… ▽ More For some Maltsev conditions $Σ$ it is enough to check if a finite algebra $\mathbf A$ satisfies $Σ$ locally on subsets of bounded size, in order to decide, whether $\mathbf A$ satisfies $Σ$ (globally). This local-global property is the main known source of tractability results for deciding Maltsev conditions. In this paper we investigate the local-global property for the existence of a $G$-term, i.e. an $n$-ary term that is invariant under permuting its variables according to a permutation group $G \leq$ Sym($n$). Our results imply in particular that all cyclic loop conditions (in the sense of Bodirsky, Starke, and Vucaj) have the local-global property (and thus can be decided in polynomial time), while symmetric terms of arity $n>2$ fail to have it. △ Less

Submitted 21 October, 2021; v1 submitted 5 September, 2021; originally announced September 2021.

Comments: 22 pages

MSC Class: 03C05; 08A70; 20B05

Deciding the existence of quasi weak near unanimity terms in finite algebras

Authors: Alexandr Kazda

Abstract: We show that for a fixed positive integer k one can efficiently decide if a finite algebra A admits a k-ary weak near unanimity operation by looking at the local behavior of the terms of A. We also observe that the problem of deciding if a given finite algebra has a quasi Taylor operation is solvable in polynomial time by looking, essentially, for local quasi Siggers operations. We show that for a fixed positive integer k one can efficiently decide if a finite algebra A admits a k-ary weak near unanimity operation by looking at the local behavior of the terms of A. We also observe that the problem of deciding if a given finite algebra has a quasi Taylor operation is solvable in polynomial time by looking, essentially, for local quasi Siggers operations. △ Less

Submitted 10 February, 2021; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: 17 pages, number n fixed to k in the proof of Lemma 11

MSC Class: 08B05 (Primary) 68Q25 (Secondary)

Existence of cube terms in finite algebras

Authors: Alexandr Kazda, Dmitriy Zhuk

Abstract: We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of dimension at most $N$, where the number $N$ depends on the arities of basic operations of the algebra and the size of the basic set. For finite idempotent algebras… ▽ More We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of dimension at most $N$, where the number $N$ depends on the arities of basic operations of the algebra and the size of the basic set. For finite idempotent algebras we give a tight bound on $N$ that, in the special case of algebras with more than $\binom{|A|}2$ basic operations, improves an earlier result of K. Kearnes and A. Szendrei. On the algorithmic side, we show that deciding the existence of cube terms is in P for idempotent algebras and in EXPTIME in general. Since an algebra contains a $k$-ary near unanimity operation if and only if it contains a $k$-dimensional cube term and generates a congruence distributive variety, our algorithm also lets us decide whether a given finite algebra has a near unanimity operation. △ Less

Submitted 16 September, 2020; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: 29 pages

MSC Class: 08B05; 08A70

Deciding the existence of minority terms

Authors: Alexandr Kazda, Jakub Opršal, Matt Valeriote, Dmitriy Zhuk

Abstract: This paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation $m$ that satisfies the minority equations $m(y,x,x) \approx m(x,y,x) \approx m(x,x,y) \approx y$. We show that a common polynomial-time approach to testing for this type of condition will not work in this case and that this decision problem lies in the class NP. This paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation $m$ that satisfies the minority equations $m(y,x,x) \approx m(x,y,x) \approx m(x,x,y) \approx y$. We show that a common polynomial-time approach to testing for this type of condition will not work in this case and that this decision problem lies in the class NP. △ Less

Submitted 8 October, 2019; v1 submitted 2 January, 2019; originally announced January 2019.

MSC Class: 68Q25 (Primary); 03B05; 08A40 (Secondary)

Taylor term does not imply any nontrivial linear one-equality Maltsev condition

Authors: Alexandr Kazda

Abstract: It is known that any finite idempotent algebra that satisfies a nontrivial Maltsev condition must satisfy the linear one-equality Maltsev condition (a variant of the term discovered by M. Siggers and refined by K. Kearnes, P. Marković, and R. McKenzie): \[ t(r,a,r,e)\approx t(a,r,e,a). \] We show that if we drop the finiteness assumption, the $k$-ary weak near unanimity equations imply only… ▽ More It is known that any finite idempotent algebra that satisfies a nontrivial Maltsev condition must satisfy the linear one-equality Maltsev condition (a variant of the term discovered by M. Siggers and refined by K. Kearnes, P. Marković, and R. McKenzie): \[ t(r,a,r,e)\approx t(a,r,e,a). \] We show that if we drop the finiteness assumption, the $k$-ary weak near unanimity equations imply only trivial linear one-equality Maltsev conditions for every $k\geq 3$. From this it follows that there is no nontrivial linear one-equality condition that would hold in all idempotent algebras having Taylor terms. Miroslav Olšák has recently shown that there is a weakest nontrivial strong Maltsev condition for idempotent algebras. Olšák has found several such (mutually equivalent) conditions consisting of two or more equations. Our result shows that Olšák's equation systems can't be compressed into just one equation. △ Less

Submitted 24 July, 2018; v1 submitted 4 June, 2017; originally announced June 2017.

Comments: 9 pages

MSC Class: 08B05

Deciding some Maltsev conditions in finite idempotent algebras

Authors: Alexandr Kazda, Matt Valeriote

Abstract: In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $Σ$. Our goal in this paper is to show that $Σ$-testing can be accomplished in polynomial time when the algebras tested are idempotent and the Maltsev condition $Σ$ can be described using paths. Examples of such path conditions are having a Maltse… ▽ More In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $Σ$. Our goal in this paper is to show that $Σ$-testing can be accomplished in polynomial time when the algebras tested are idempotent and the Maltsev condition $Σ$ can be described using paths. Examples of such path conditions are having a Maltsev term, having a majority operation, and having a chain of Jónsson (or Gumm) terms of fixed length. △ Less

Submitted 15 October, 2019; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 33 pages, 19 figures

MSC Class: 08B05; 08A70

Deciding absorption

Authors: Libor Barto, Alexandr Kazda

Abstract: We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations. We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations. △ Less

Submitted 22 December, 2015; originally announced December 2015.

MSC Class: 08A70; 08B10

Absorption and directed Jónsson terms

Authors: Alexandr Kazda, Marcin Kozik, Ralph McKenzie, Matthew Moore

Abstract: We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original Jónsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in CD and CM varieties, respectively. For finite algebra… ▽ More We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original Jónsson or Gumm terms. This result is equivalent to a pair of claims about absorption for admissible preorders in CD and CM varieties, respectively. For finite algebras, these absorption theorems have already seen significant applications, but until now, it was not clear if the theorems hold for general algebras as well. Our method also yields a novel proof of a result by P. Lipparini about the existence a chain of terms (which we call Pixley terms) in varieties that are at the same time congruence distributive and $k$-permutable for some $k$. △ Less

Submitted 3 February, 2015; originally announced February 2015.

Comments: 17 pages

MSC Class: 08B05; 03C05; 08A62

The word problem for free adequate semigroups

Authors: Mark Kambites, Alexandr Kazda

Abstract: We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time (quadratic in the RAM model of computation) algorithms to solve the word problem and compute normal forms in each of these, and hence also to test whether any given identity holds in the classes of left, right and/or two-sided adequate semigroups. We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time (quadratic in the RAM model of computation) algorithms to solve the word problem and compute normal forms in each of these, and hence also to test whether any given identity holds in the classes of left, right and/or two-sided adequate semigroups. △ Less

Submitted 29 November, 2013; originally announced November 2013.

Comments: 12 pages

MSC Class: 20M05 (primary); 08A50 (secondary)

CSP for binary conservative relational structures

Authors: Alexandr Kazda

Abstract: We prove that whenever A is a 3-conservative relational structure with only binary and unary relations then the algebra of polymorphisms of A either has no Taylor operation (i.e. CSP(A) is NP-complete), or generates a congruence meet semidistributive variety (i.e. CSP(A) has bounded width). We prove that whenever A is a 3-conservative relational structure with only binary and unary relations then the algebra of polymorphisms of A either has no Taylor operation (i.e. CSP(A) is NP-complete), or generates a congruence meet semidistributive variety (i.e. CSP(A) has bounded width). △ Less

Submitted 6 October, 2013; v1 submitted 5 December, 2011; originally announced December 2011.

Comments: 9 pages, 3 figures

MSC Class: 08A02; 03C05; 68R05

Journal ref: Algebra universalis, 75(1):75-84, 2016

Complexity of the homomorphism extension problem in the random case

Authors: Alexandr Kazda

Abstract: We prove that if A is a large random relational structure with at least one relation of arity at least 2 then the problem EXT(A) is almost surely NP-complete. We prove that if A is a large random relational structure with at least one relation of arity at least 2 then the problem EXT(A) is almost surely NP-complete. △ Less

Submitted 31 August, 2012; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 8 pages

MSC Class: 68Q25; 97K30; 97K50; 08A70

Maltsev digraphs have a majority polymorphism

Authors: Alexandr Kazda

Abstract: We prove that when a digraph $G$ has a Maltsev polymorphism, then $G$ also has a majority polymorphism. We consider the consequences of this result for the structure of Maltsev graphs and the complexity of the Constraint Satisfaction Problem. We prove that when a digraph $G$ has a Maltsev polymorphism, then $G$ also has a majority polymorphism. We consider the consequences of this result for the structure of Maltsev graphs and the complexity of the Constraint Satisfaction Problem. △ Less

Submitted 7 January, 2010; v1 submitted 21 December, 2009; originally announced December 2009.

Comments: 8 pages, 4 figures; minor changes (stylistics, elsarticle LaTeX style, citations); submitted to European Journal of Combinatorics

MSC Class: 08A70; 05C99; 68Q17

Journal ref: European Journal of Combinatorics 32 (2011), pages 390-397

The chain relation in sofic subshifts

Authors: Alexandr Kazda

Abstract: The paper gives a characterisation of the chain relation of a sofic subshift. Every sofic subshift $Σ$ can be described by a labelled graph $G$. Factorising $G$ in a suitable way we obtain the graph $G/_\approx$ that offers insight into some properties of the original subshift. Using $G/_\approx$ we describe first the chain relation in $Σ$, then characterise chain-transitive sofic subshifts, cha… ▽ More The paper gives a characterisation of the chain relation of a sofic subshift. Every sofic subshift $Σ$ can be described by a labelled graph $G$. Factorising $G$ in a suitable way we obtain the graph $G/_\approx$ that offers insight into some properties of the original subshift. Using $G/_\approx$ we describe first the chain relation in $Σ$, then characterise chain-transitive sofic subshifts, chain-mixing sofic subshifts and finally the attractors of the subshift dynamic system. At the end we present (straightforward) algorithms deciding chain-transitivity and chain-mixing properties of a sofic subshift and listing all the attractors of the subshift system. △ Less

Submitted 29 November, 2009; originally announced November 2009.

Comments: 14 pages, 9 figures, preprint (final version published in Fundamenta Informaticae)

MSC Class: 37B10; 68R15

Journal ref: Fundamenta Informaticae. volume 84. number 3-4. pages 375-390. 2008

Properties of Moebius number systems

Authors: Alexandr Kazda

Abstract: Moebius number systems represent points using sequences of Moebius transformations. Thorough the paper, we are mainly interested in representing the unit circle (which is equivalent to representing R\cup\{\infty\}). The main aim of the paper is to improve already known tools for proving that a given subshift--iterative system pair is in fact a Moebius number system. We also study the existence… ▽ More Moebius number systems represent points using sequences of Moebius transformations. Thorough the paper, we are mainly interested in representing the unit circle (which is equivalent to representing R\cup\{\infty\}). The main aim of the paper is to improve already known tools for proving that a given subshift--iterative system pair is in fact a Moebius number system. We also study the existence problem: How to describe iterative systems resp. subshifts for which there exists a subshift resp. iterative system such that the resulting pair forms a Moebius number system. While we were unable to provide a complete answer to this question, we present both positive and negative partial results. As Moebius number systems are also subshifts, we can ask when a given Moebius number system is sofic. We give this problem a short treatment at the end of our paper. △ Less

Submitted 26 August, 2009; originally announced August 2009.

Comments: 50 pages, 13 figures

MSC Class: 40A05; 11K99; 37B10