We study the class of symmetric [Formula: see text]-ary bands. These are semigroups text] such that is invariant under action permutations and idempotent, i.e., satisfies for all text]. first provide a structure theorem these bands extends classical (strong) semilattice decomposition certain classes introduce concept strong we show exactly semilattices extensions Abelian groups whose exponents ...

A q-ary maximum distance separable (MDS) code C with length n, dimension k over an alphabet A of size q is a set of qk codewords that are elements of An, such that the Hamming distance between two distinct codewords in C is at least n− k+1. Sets of mutually orthogonal Latin squares of orders q ≤ 9, corresponding to two-dimensional q-ary MDS codes, and q-ary one-error-correcting MDS codes for q ...

In general, an n-ary predicate (relation) describes the relationship among its arguments, and such that no argument has to be of a special mode. The uniication and the resolution (SLDNF-resolution) do capture this state of aaair. Hence, the aim of logic programming is in some point approximatively achieved if the system is able to automatically determine the descriptive mode of an n-ary predica...

In this paper, we investigate the fault-tolerant capabilities of the k-ary n-cubes for even integer k with respect to the hamiltonian and hamiltonian-connected properties. The k-ary n-cube is a bipartite graph if and only if k is an even integer. Let F be a faulty set with nodes and/or links, and let k 3 be an odd integer. When |F | 2n−2, we show that there exists a hamiltonian cycle in a wound...

The notion of absorption was developed a few years ago by Barto and Kozik and immediately found many applications, particularly in topics related to the constraint satisfaction problem. We investigate the behavior of absorption in semigroups and n-ary semigroups (that is, algebras with one n-ary associative operation). In the case of semigroups, we give a simple necessary and sufficient conditi...

We define an interconnection network AQn,k which we call the augmented kary n-cube by extending a k-ary n-cube in a manner analogous to the existing extension of an n-dimensional hypercube to an n-dimensional augmented cube. We prove that the augmented k-ary n-cube AQn,k has a number of attractive properties (in the context of parallel computing). For example, we show that the augmented k-ary n...

We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization [2]. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O → LO which takes elements in W to homotopy invertible operations. Furthermore, we give a functor from the category of O-algebras to the category of LO-algebras satisfyi...

N -ary queries in trees select sets of n-tuples of nodes. We propose and investigate representation formalisms for n-ary queries by tree automata, both for ranked and unranked trees. We show that existential run-based queries capture MSO in the n-ary case, as well as universal run-based queries. We then characterize queries by runs of unambiguous tree automata, and show how to decide whether an...