Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов

Abstract

Введено поняття власного полінома лінійного оператора, сформульовано алгоритм побудови власних поліномів і встановлено зв’язок між власними поліномами та поліноміальними інваріантами лінійних циклів програм. Основний результат роботи — побудова множини L-інваріантів циклів для операторів, жорданова форма яких містить нетривіальні блоки.

The authors introduce the concept of eigenpolynomial of a linear operator, outline an algorithm to develop eigenpolynomials, and establish a relationship between eigenpolynomials and polynomial invariants of linear cycles of programs. The main result of the article is construction of a set of L-invariant cycles for operators with a Jordan form that contain nontrivial blocks.