On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond

他のバージョン（1件）を表示する

We consider the following variant of the Mortality Problem: given k × k matrices A1, A2, . . ., At, does there exist nonnegative integers m1, m2, . . ., mt such that the product Am11 Am22 · · · Amtt is equal to the zero matrix? It is known that this problem is decidable when t ≤ 2 for matrices over...

書誌詳細
主要な著者:	Bell, P, Potapov, I, Semukhin, P
フォーマット:	Conference item
出版事項:	Schloss Dagstuhl - Leibniz-Zentrum fur Informatik 2019

類似資料

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond
著者:: Bell, PC, 等
出版事項: (2021)

Vector reachability problem in SL (2, ℤ)
著者:: Potapov, I, 等
出版事項: (2016)

Vector and scalar reachability problems in SL(2, Z)
著者:: Potapov, I, 等
出版事項: (2018)

Decidability of the membership problem for 2 x 2 integer matrices
著者:: Potapov, I, 等
出版事項: (2017)

Membership problem in GL(2, Z) extended by singular matrices
著者:: Potapov, I, 等
出版事項: (2017)

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
著者:: Diekert, V, 等
出版事項: (2020)

On reachability problems for low-dimensional matrix semigroups
著者:: Colcombet, T, 等
出版事項: (2019)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
著者:: Potapov, I, 等
出版事項: (2018)

Decision Problems for Linear Recurrence Sequences.
著者:: Ouaknine, J, 等
出版事項: (2012)

A system of linear recurrence equations for determinant of pentadiagonal matrix
著者:: Jolanta Borowska, 等
出版事項: (2014-06-01)

General Recurrent Neural Network for Solving Generalized Linear Matrix Equation
著者:: Zhan Li, 等
出版事項: (2017-01-01)

Linear and Nonlinear Matrix Equations
著者:: Masoud Hajarian, 等
出版事項: (2013-01-01)

Linear-time model checking branching processes
著者:: Kiefer, SM, 等
出版事項: (2021)

Linear and Riccati matrix equations
著者:: Lloyd K. Williams
出版事項: (1989-01-01)

Linearization of a Matrix Riccati Equation Associated to an Optimal Control Problem
著者:: Foued Zitouni, 等
出版事項: (2014-01-01)

Controllability Analysis of Linear Time-Varying T-H Equation with Matrix Sequence Method
著者:: Sihui Liu, 等
出版事項: (2023-01-01)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
著者:: Bell, PC, 等
出版事項: (2020)

Estimates for the Cauchy matrix of perturbed linear impulsive equation
著者:: P. S. Simeonov, 等
出版事項: (1994-01-01)

The infinite linear recurrent equations and paradeterminants
著者:: R. A. Zatorsky, 等
出版事項: (2009-06-01)

On Homogeneous Combinations of Linear Recurrence Sequences
著者:: Marie Hubálovská, 等
出版事項: (2020-12-01)

Design of Linear Systolic Arrays for Matrix Multiplication
著者:: MILOVANOVIC, E. I., 等
出版事項: (2014-02-01)

Solving linear differential equation using matrix /
著者:: 492753 Roshanida Rohanuddin, 等
出版事項: (2009)

The General Solutions of Fuzzy Linear Matrix Equations
著者:: N. Mikaeilvand∗, 等
出版事項: (2015-12-01)

Sequence-to-Sequence Stacked Gate Recurrent Unit Networks for Approximating the Forward Problem of Partial Differential Equations
著者:: Zhaoyang Zhang, 等
出版事項: (2024-01-01)

Effective divergence analysis for linear recurrence sequences
著者:: Almagor, S, 等
出版事項: (2018)

General Linear Recurrence Sequences and Their Convolution Formulas
著者:: Paolo Emilio Ricci, 等
出版事項: (2019-11-01)

Algebraic methods for the solution of some linear matrix equations
出版事項: (2002)

Linear matrix differential equations of higher-order and applications
著者:: Mustapha Rachidi, 等
出版事項: (2008-07-01)

On a class of fourth order linear recurrence equations
著者:: Sui-Sun Cheng
出版事項: (1984-01-01)

On Relationships between a Linear Matrix Equation and Its Four Reduced Equations
著者:: Bo Jiang, 等
出版事項: (2022-08-01)

Deciding ω-regular properties on linear recurrence sequences
著者:: Almagor, S, 等
出版事項: (2021)

Computing the Density of the Positivity Set for Linear Recurrence Sequences
著者:: Edon Kelmendi
出版事項: (2023-11-01)

On the character of nonlinearity discontinuities in eigenvalue problems for elliptic equations
著者:: Dmitriy K Potapov
出版事項: (2012-09-01)

On the character of nonlinearity discontinuities in eigenvalue problems for elliptic equations
著者:: D. K. Potapov
出版事項: (2012-09-01)

Matrix Pencil Optimal Iterative Algorithms and Restarted Versions for Linear Matrix Equation and Pseudoinverse
著者:: Chein-Shan Liu, 等
出版事項: (2024-06-01)

On a boundary value problem for scalar linear functional differential equations
著者:: R. Hakl, 等
出版事項: (2004-01-01)

ALGEBRAIC EQUATIONS WITH LINEAR SHIFT OPERATORS ON SEQUENCES
著者:: SEVER ANGEL POPESCU
出版事項: (2016-04-01)

Sensitivity Analysis of the Matrix Equation from Interpolation Problems
著者:: Jing Li, 等
出版事項: (2013-01-01)

A handbook of numerical matrix inversion and solution of linear equations /
著者:: 215746 Westlake, Joan R.
出版事項: (1968)

Matrix method for solving linear complex vector functional equations
著者:: Ice B. Risteski
出版事項: (2002-01-01)