Полиномиальные инварианты линейных циклов
Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. The problem of generating polynomial invarian...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45252 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень.
The problem of generating polynomial invariants of special type for an iterative loop with the linear mapping in an iteration body is considered. A technique is proposed to develop such invariants based on the analysis of characteristic polynomials of linear mappings.
|
|---|---|
| ISSN: | 0023-1274 |