|
Записки научных семинаров ЛОМИ, 1991, том 192, страницы 60–68
(Mi znsl4946)
|
|
|
|
Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений
Д. Ю. Григорьев
Аннотация:
Пусть дана система $Y'=AY$ линейных дифференциальных уравнений первого порядка, где элементы $n\times n$ матрицы $A$ — рациональные функции $a_{i,j}\in\mathbb{Q}(X)$, причем $\mathrm{deg}(a_{i,j})<d$ и битовый размер всякого (рационального) коэффициента функции $a_{i,j}$ не превосходит $M$. Система называется неприводимой, если в пространстве $V$ решений системы нет собственных подпространств инвариантных относительно на $V$ дифференциальной группы Галуа системы. Построен алгоритм, распознающий неприводимость системы за время $\exp(M(d2^n)^{d2^{2n}})$. Библ. – 8 назв.
Образец цитирования:
Д. Ю. Григорьев, “Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений”, Теория сложности вычислений. 5, Зап. научн. сем. ЛОМИ, 192, Наука, Л., 1991, 60–68; J. Math. Sci., 70:4 (1994), 1881–1886
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl4946 https://www.mathnet.ru/rus/znsl/v192/p60
|
|