Алгоритмическая проблема достижимости в 1-мерных 2-интервальных кусочно-аффинных отображениях

• Опубліковано в: Труды Института прикладной математики и механики
• Дата: 2013
• ISSN: 1683-4720
• Автор: Курганский, А.Н.
• Формат: Стаття
• Мова: Російська
• Опубліковано: Інститут прикладної математики і механіки НАН України 2013
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/124195
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Алгоритмическая проблема достижимости в 1-мерных 2-интервальных кусочно-аффинных отображениях / А.Н. Курганский // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 191-198. — Бібліогр.: 9 назв. — рос.

Рассматривается открытая проблема достижимости в одномерных кусочно-аффинных отображениях с двумя интервалами. Найдены частные случаи алгоритмической разрешимости рассматриваемой проблемы, сформулированные на языке топологических свойств орбит в таких системах. Розглянуто вiдкриту проблему досяжностi в одновимiрних кусково-афiнних вiдображеннях з двома iнтервалами. Знайдено окремi випадки алгоритмiчної розв’язностi цiєї проблеми, якi сформульованi на мовi топологiчних властивостей орбiт у таких системах. We consider the open reachability problem for one dimensional piecewise-affine mappings with two intervals (2-PAM). We give some decidable results following from specific topological properties of reachable states of the 2-PAM’s.