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

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

Diverse classes of fuzzy relations such as reflexive, irreflexive, symmetric, asymmetric, antisymmetric, connected, and transitive fuzzy relations are studied. Moreover, intersections of basic relation classes such as tolerances, tournaments, equivalences, and orders are regarded and the problem of preservation of these properties by n-ary operations is considered. Namely, with the use of fuzzy...

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

We extend Knuth's 16 Boolean binary logic operators to fuzzy logic and neutrosophic logic binary operators. Then we generalize them to n-ary fuzzy logic and neutrosophic logic operators using the smarandache codification of the Venn diagram and a defined vector neutrosophic law. In such way, new operators in neutrosophic logic/set/probability are built. Introduction. For the beginning let’s con...

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

Complex query answering (CQA) is an essential task for multi-hop and logical reasoning on knowledge graphs (KGs). Currently, most approaches are limited to queries among binary relational facts pay less attention n-ary (n≥2) containing more than two entities, which prevalent in the real world. Moreover, previous CQA methods can only make predictions a few given types of cannot be flexibly exten...