Universality of separoids

Jaroslav Nešetřil; Ricardo Strausz

Displaying similar documents to “Universality of separoids”

Factor frequencies in generalized Thue-Morse words

Ľubomíra Balková (2012)

Kybernetika

Similarity:

We describe factor frequencies of the generalized Thue-Morse word $𝐭_{b, m}$ defined for $b \geq 2,$ $m \geq 1,$ $b, m \in ℕ$ , as the fixed point starting in $0$ of the morphism $ϕ_{b, m} (k) = k (k + 1) \dots (k + b - 1),$ where $k \in {0, 1, \dots, m - 1}$ and where the letters are expressed modulo $m$ . We use the result of Frid [4] and the study of generalized Thue-Morse words by Starosta [6].

On the positivity of the number of t-core partitions

Ken Ono (1994)

Acta Arithmetica

Similarity:

A partition of a positive integer n is a nonincreasing sequence of positive integers with sum $n .$ Here we define a special class of partitions. 1. Let $t \geq 1$ be a positive integer. Any partition of n whose Ferrers graph have no hook numbers divisible by t is known as a t- core partitionof $n .$ The hooks are important in the representation theory of finite symmetric groups and the theory of cranks associated with Ramanujan’s congruences for the ordinary partition function [3,4,6]. If $t \geq 1$ and $n \geq 0$ ,...

On an algorithm for testing T4 solvability of max-plus interval systems

Helena Myšková (2012)

Kybernetika

Similarity:

In this paper, we shall deal with the solvability of interval systems of linear equations in max-plus algebra. Max-plus algebra is an algebraic structure in which classical addition and multiplication are replaced by $\oplus$ and $\otimes$ , where $a \oplus b = max {a, b}$ , $a \otimes b = a + b$ . The notation $𝔸 \otimes x = 𝕓$ represents an interval system of linear equations, where $𝔸 = [\bar{b}, \bar{A}]$ and $𝕓 = [\underset{̲}{b}, \bar{b}]$ are given interval matrix and interval vector, respectively. We can define several types of solvability of interval systems. In this paper, we define the T4 solvability and...