Displaying 241 – 260 of 425

Showing per page

On the coefficients of the max-algebraic characteristic polynomial and equation

Peter Butkovič (2003)

Kybernetika

No polynomial algorithms are known for finding the coefficients of the characteristic polynomial and characteristic equation of a matrix in max- algebra. The following are proved: (1) The task of finding the max-algebraic characteristic polynomial for permutation matrices encoded using the lengths of their constituent cycles is NP-complete. (2) The task of finding the lowest order finite term of the max-algebraic characteristic polynomial for a { 0 , - } matrix can be converted to the assignment problem....

On the computation of the minimal polynomial of a polynomial matrix

Nicholas Karampetakis, Panagiotis Tzekis (2005)

International Journal of Applied Mathematics and Computer Science

The main contribution of this work is to provide two algorithms for the computation of the minimal polynomial of univariate polynomial matrices. The first algorithm is based on the solution of linear matrix equations while the second one employs DFT techniques. The whole theory is illustrated with examples.

On the construction and the realization of wild monoids

Pavel Růžička (2018)

Archivum Mathematicum

We develop elementary methods of computing the monoid 𝒱 ( R ) for a directly-finite regular ring R . We construct a class of directly finite non-cancellative refinement monoids and realize them by regular algebras over an arbitrary field.

On the convergence theory of double K -weak splittings of type II

Vaibhav Shekhar, Nachiketa Mishra, Debasisha Mishra (2022)

Applications of Mathematics

Recently, Wang (2017) has introduced the K -nonnegative double splitting using the notion of matrices that leave a cone K n invariant and studied its convergence theory by generalizing the corresponding results for the nonnegative double splitting by Song and Song (2011). However, the convergence theory for K -weak regular and K -nonnegative double splittings of type II is not yet studied. In this article, we first introduce this class of splittings and then discuss the convergence theory for these sub-classes...

On the D -stability problem for real matrices

Russell Johnson, Alberto Tesi (1999)

Bollettino dell'Unione Matematica Italiana

Vengono discusse delle condizioni sufficienti affinchè una matrice reale A delle dimensioni n × n sia diagonalmente (o D -) stabile. Esse includono delle ipotesi geometriche (condizioni degli ortanti), e un criterio che generalizza un criterio di Carlson. Inoltre si discute la D -stabilità robusta per le matrici reali delle dimensioni 4 × 4

On the decidability of semigroup freeness∗

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids....

On the decidability of semigroup freeness

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids. In 1991, Klarner, Birget and Satterfield proved the undecidability...

On the decidability of semigroup freeness∗

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids....

Currently displaying 241 – 260 of 425