#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2008

2017

- This year (2)
- Last 5 years (6)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Alexandr Kazda
- Eur. J. Comb.
- 2011

We prove that when a digraph G has a Maltsev polymorphism, then G also has a ma jority polymorphism. We consider the consequences of this result for the structure of Maltsev digraphs and the complexity of the Constraint Satisfaction Problem.

- Alexandr Kazda
- ArXiv
- 2015

In the last decade, algebraic methods have led to much progress in classifying the complexity of the non-uniform Constraint Satisfaction Problem (CSP). The programming language Datalog, whose origins lie in logic programming and database theory, has been playing an important role in classifying complexity of CSP since at least the classic paper of Feder and… (More)

- Jarkko Kari, Alexandr Kazda, Paula Steinby
- ArXiv
- 2009

We investigate the continuity of the ω-functions and real functions defined by weighted finite automata (WFA). We concentrate on the case of average preserving WFA. We show that every continuous ω-function definable by some WFA can be defined by an average preserving WFA and then characterize minimal average preserving WFA whose ω-function or ω-function and… (More)

- Alexandr Kazda
- Fundam. Inform.
- 2008

Alexandr Kazda The chain relation in sofic subshifts Introduction Characterisation of the chain relation Summary Outline 1 Introduction Shifts and subshifts The chain relation 2 Characterisation of the chain relation Linking graph Theorem about chain relation Corollaries Alexandr Kazda The chain relation in sofic subshifts Introduction Characterisation of… (More)

- Alexandr Kazda
- Chicago J. Theor. Comput. Sci.
- 2013

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

- Mark Kambites, Alexandr Kazda
- IJAC
- 2014

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,… (More)

- Alexandr Kazda
- 2009

Möbius number systems represent points using sequences of Möbius transformations. Thorough the paper, we are mainly interested in representing the unit circle (which is equivalent to representing R ∪ {∞}). 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 Möbius number system. We… (More)

- Alexandr Kazda, Vladimir Kolmogorov, Michal Rolinek
- SODA
- 2017

The main result of this paper is a generalization of the classical blossom algorithm for finding perfect matchings. Our algorithm can efficiently solve Boolean CSPs where each variable appears in exactly two constraints (we call it edge CSP) and all constraints are even ∆-matroid relations (represented by lists of tuples). As a consequence of this, we… (More)

Möbius number systems represent the extended real line or, equivalently, the unit complex circle by sequences of Möbius transformations. A Möbius number system consists of an iterative system of Möbius transformations and a subshift. In this paper we give an overview of the area of Möbius number systems. We are particularly interested in the conditions,… (More)

- Libor Barto, Alexandr Kazda
- IJAC
- 2016

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.