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...

Maji et al. introduced the concept of fuzzy soft sets as a generalization of the standard soft sets and presented an application of fuzzy soft sets in a decision making problem. The aim of this paper is to apply the concept of fuzzy soft sets to n-ary hypergroup theory. The concepts of (∈(γ), ∈(γ) ∨ q(δ))-fuzzy soft (invertible) n-ary subhypergroups over a commutative n-ary hypergroup are intro...

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...

Given a binary quasigroup $G$ of order $n$, $d$-iterated $G[d]$ is the $(d+1)$-ary equal to $d$-times composition with itself. The Cayley table every $d$-ary $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as coincide those corresponding hypercube.
 We prove that if group $n$ satisfies Hall–Paige condition, then number transversals $ \frac...

One of key issues for α-n(t) ary resolution automated reasoning based on lattice-valued logic with truthvalue in a lattice implication algebra is to investigate the α-n(t) ary resolution of some generalized literals. In this article, the determination of α-resolution of any 3-ary generalized literals which include the implication operators not more than 2 in LP(X). It not only lay the foundatio...

We study in detail the blow-up procedure described in [BTW01]. We obtain a structure theorem for coreless polygroups as a double quotient space G/H, and a polygroup chunk theorem. Seeking to remove the arbitrary parameter needed for the blow-up, we find canonical ∅-invariant groupoids G > H analogous to G and H above, and show that H contains precisely all the arbitrary choices related to the b...

In this paper, given a q-ary LCZ sequence set with parameters (N,M,L, ǫ) and even q, we construct another q-ary LCZ sequence set with parameters (2N, 2M,L, 2ǫ) when q is even. Especially for odd L such that L|N , if a q-ary optimal LCZ sequence set with parameters (N,M,L, 1) is used, the new set with parameters (2N, 2M,L, 2) can be optimal in terms of the set size.

Node selection in trees is a fundamental operation to XML databases, programming languages, and information extraction. We propose a new class of querying languages to define n-ary node selection queries as compositions of monadic queries. The choice of the underlying monadic querying language is parametric. We show that compositions of monadic MSO-definable queries capture n-ary MSO-definable ...

A k-ary de Bruijn sequence of order n is a cyclic sequence of length k in which each k-ary string of length n appears exactly once as a substring. A shift rule for a de Bruijn sequence of order n is a function that maps each length n substring to the next length n substring in the sequence. We present the first known shift rule for k-ary de Bruijn sequences that runs in O(1)-amortized time per ...