О структуре полиномиальных инвариантов линейных циклов
Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейн...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2015 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/124827 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О структуре полиномиальных инвариантов линейных циклов / M.C. Львов // Кибернетика и системный анализ. — 2015. — Т. 51, № 3. — С. 143-156. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862628737575550976 |
|---|---|
| author | Львов, M.C. |
| author_facet | Львов, M.C. |
| citation_txt | О структуре полиномиальных инвариантов линейных циклов / M.C. Львов // Кибернетика и системный анализ. — 2015. — Т. 51, № 3. — С. 143-156. — Бібліогр.: 20 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейного оператора типа жордановой клетки, а также алгоритм вычисления базисных инвариантов диагонализируемого линейного оператора с неприводимым минимальным характеристическим полиномом. Доказана теорема о строении базиса идеала инвариантов: он состоит из базисных инвариантов жордановых клеток и базисных инвариантов диагонализируемой части рассматриваемого линейного оператора.
Розглянуто задачу генерації поліноміальних інваріантів ітераційних циклів з оператором ініціалізації циклу та невиродженим лінійним оператором у тілі циклу. Множина таких інваріантів утворює ідеал кільця поліномів від змінних циклу. Наведено алгоритм обчислення базисних інваріантів для лінійного оператора типу жорданової клітини, а також алгоритм обчислення базисних інваріантів діагоналізовного лінійного оператора з незвідним мінімальним характеристичним поліномом. Доведено теорему про структуру базису ідеалу інваріантів: він складається з базисних інваріантів жорданових клітин і базисних інваріантів діагоналізовної частини лінійного оператора
The problem of polynomial invariants generation for iterative loops with loop initial statement and nonsingular linear operator in the loop body is considered. The set of such invariants forms the ideal in polynomial ring in the loop variables. An algorithm to calculate basic invariants for a Jordanian cell linear operator and for the diagonalized linear operator with irreducible minimal characteristic polynomial are presented. The theorem about the structure of the basis of invariants ideal is proved: it consists of basic invariants of Jordanian cells and basis invariants of the diagonalized part for the linear operator under consideration.
|
| first_indexed | 2025-11-30T09:45:46Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-124827 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-30T09:45:46Z |
| publishDate | 2015 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Львов, M.C. 2017-10-05T20:15:36Z 2017-10-05T20:15:36Z 2015 О структуре полиномиальных инвариантов линейных циклов / M.C. Львов // Кибернетика и системный анализ. — 2015. — Т. 51, № 3. — С. 143-156. — Бібліогр.: 20 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/124827 004.421.6 Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейного оператора типа жордановой клетки, а также алгоритм вычисления базисных инвариантов диагонализируемого линейного оператора с неприводимым минимальным характеристическим полиномом. Доказана теорема о строении базиса идеала инвариантов: он состоит из базисных инвариантов жордановых клеток и базисных инвариантов диагонализируемой части рассматриваемого линейного оператора. Розглянуто задачу генерації поліноміальних інваріантів ітераційних циклів з оператором ініціалізації циклу та невиродженим лінійним оператором у тілі циклу. Множина таких інваріантів утворює ідеал кільця поліномів від змінних циклу. Наведено алгоритм обчислення базисних інваріантів для лінійного оператора типу жорданової клітини, а також алгоритм обчислення базисних інваріантів діагоналізовного лінійного оператора з незвідним мінімальним характеристичним поліномом. Доведено теорему про структуру базису ідеалу інваріантів: він складається з базисних інваріантів жорданових клітин і базисних інваріантів діагоналізовної частини лінійного оператора The problem of polynomial invariants generation for iterative loops with loop initial statement and nonsingular linear operator in the loop body is considered. The set of such invariants forms the ideal in polynomial ring in the loop variables. An algorithm to calculate basic invariants for a Jordanian cell linear operator and for the diagonalized linear operator with irreducible minimal characteristic polynomial are presented. The theorem about the structure of the basis of invariants ideal is proved: it consists of basic invariants of Jordanian cells and basis invariants of the diagonalized part for the linear operator under consideration. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы О структуре полиномиальных инвариантов линейных циклов Про структуру поліноміальних інваріантів лінійних циклів The structure of polynomial invariants of linear loops Article published earlier |
| spellingShingle | О структуре полиномиальных инвариантов линейных циклов Львов, M.C. Программно-технические комплексы |
| title | О структуре полиномиальных инвариантов линейных циклов |
| title_alt | Про структуру поліноміальних інваріантів лінійних циклів The structure of polynomial invariants of linear loops |
| title_full | О структуре полиномиальных инвариантов линейных циклов |
| title_fullStr | О структуре полиномиальных инвариантов линейных циклов |
| title_full_unstemmed | О структуре полиномиальных инвариантов линейных циклов |
| title_short | О структуре полиномиальных инвариантов линейных циклов |
| title_sort | о структуре полиномиальных инвариантов линейных циклов |
| topic | Программно-технические комплексы |
| topic_facet | Программно-технические комплексы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/124827 |
| work_keys_str_mv | AT lʹvovmc ostrukturepolinomialʹnyhinvariantovlineinyhciklov AT lʹvovmc prostrukturupolínomíalʹnihínvaríantívlíníinihciklív AT lʹvovmc thestructureofpolynomialinvariantsoflinearloops |