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

Distances on the tropical line determined by two points

María Jesús de la Puente (2014)

Kybernetika

Similarity:

Let $p^{'}$ and $q^{'}$ be points in $ℝ^{n}$ . Write $p^{'} \sim q^{'}$ if $p^{'} - q^{'}$ is a multiple of $(1, ..., 1)$ . Two different points $p$ and $q$ in $ℝ^{n} / \sim$ uniquely determine a tropical line $L (p, q)$ passing through them and stable under small perturbations. This line is a balanced unrooted semi-labeled tree on $n$ leaves. It is also a metric graph. If some representatives $p^{'}$ and $q^{'}$ of $p$ and $q$ are the first and second columns of some real normal idempotent order $n$ matrix $A$ , we prove that the tree $L (p, q)$ is described by a matrix $F$ , easily obtained from $A$ . We also...

A preconditioner for the FETI-DP method for mortar-type Crouzeix-Raviart element discretization

Chunmei Wang (2014)

Applications of Mathematics

Similarity:

In this paper, we consider mortar-type Crouzeix-Raviart element discretizations for second order elliptic problems with discontinuous coefficients. A preconditioner for the FETI-DP method is proposed. We prove that the condition number of the preconditioned operator is bounded by ${(1 + log (H / h))}^{2}$ , where $H$ and $h$ are mesh sizes. Finally, numerical tests are presented to verify the theoretical results.