Buchumschlag

К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ

Розглянуто алгебраїчні моделі програм, для яких встановлено розв’язність проблеми еквівалентності. Запропоновано новий алгоритм, що допускає еквівалентність в цих моделях і походить з відомого алгоритму Мура для кінцевих автоматів. Описано клас моделей, для яких запропонований алгоритм модифікується...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2012
1. Verfasser:	Подловченко, Р.И.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2012
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84140
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:	К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ / Р.И. Подловченко // Кибернетика и системный анализ. — 2012. — Т. 48, № 5. — С. 17-24. — Бібліогр.: 1 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
von: Подловченко, Р.И.
Veröffentlicht: (2009)

Проверка эквивалентности программ с помощью двухленточных автоматов
von: Захаров, В.А.
Veröffentlicht: (2010)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

О сложности вычисления параметров устойчивости в задачах булева программирования
von: Михайлюк, В.А., et al.
Veröffentlicht: (2015)

Подход к оценке сложности вероятностных процедур постоптимального анализа дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2012)

Подход к оценке сложности в среднем постоптимального анализа дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2011)

К вопросу о существовании полиномиально приближенных схем для реоптимизации дискретных задач оптимизации
von: Михайлюк, В.А.
Veröffentlicht: (2011)

Дискретные эффекты в непрерывных моделях сукцессионных процесов
von: Чернышенко, С.В., et al.
Veröffentlicht: (2015)

Проблемы трансдисциплинарности и роль информатики
von: Палагин, А.В.
Veröffentlicht: (2013)

К вопросу об эквивалентности замены части трехфазного токопровода магнитным моментом
von: Байда, Е.И.
Veröffentlicht: (2009)

Построение полиномиальной супералгебры
von: Кусковский, Л.Н.
Veröffentlicht: (1990)

Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
von: Насибов, Э.Н.
Veröffentlicht: (2008)

Информационная технология формирования программ психологического сопровождения учащихся на основе оценки их психофизиологического состояния
von: Козак, Л.М., et al.
Veröffentlicht: (2012)

О локальной эквивалентности функциональных уравнений
von: Кучко, Л.П.
Veröffentlicht: (1985)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
von: Левитская, А.А.
Veröffentlicht: (2010)

Рекогносцировка проблемы или к вопросу о проявлении смысла
von: Жангожа, Р.
Veröffentlicht: (2004)

Композиционный подход к проектированию реактивных алгоритмов
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

О скорости сходимости в асимптотическом разложении для эргодического распределения полумарковской модели управления типа (s, S)
von: Алиев, Р.Т., et al.
Veröffentlicht: (2012)

Реоптимизация задачи о покрытии множествами
von: Михайлюк, В.А.
Veröffentlicht: (2010)

Несколько замечаний о проблеме Коллатца
von: Рысцов, И.К.
Veröffentlicht: (2013)

О гомоморфизме компонентной сети Петри
von: Лукьянова, Е.А.
Veröffentlicht: (2014)

Сегментация изображений на основе оценивания тенденции к формированию кластеров элементами изображения с помощью характеристик точечного поля
von: Косаревич, Р.Я., et al.
Veröffentlicht: (2015)

О цепной эквивалентности проективных цепных комплексов
von: Хмельницкий, Н.А.
Veröffentlicht: (2012)

О некоторых отношениях эквивалентности дифференциальных уравнений
von: Воскресенский, Е.В.
Veröffentlicht: (1989)

О работах киевской школы теоретической криптографии
von: Савчук, М.Н.
Veröffentlicht: (2010)

Некоторые подходы к моделированию цен в эколого-экономической системе
von: Григоркив, В.С.
Veröffentlicht: (2009)

О вычислительной стойкости квантовых алгоритмов преобразования информации
von: Скобелев, В.Г.
Veröffentlicht: (2010)

О некоторых множествах автоматов над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2011)

О пороге отношения аппроксимации для реоптимизации задачи о максимальном количестве выполненных уравнений в линейных системах над конечным полем
von: Михайлюк, В.А.
Veröffentlicht: (2012)

О криптографических свойствах нового национального стандарта шифрования Украины
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)

О двух типах нелинейных автоматов над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2009)

Анализ устойчивости задачи о ранце: один отрицательный результат
von: Михайлюк, В.А., et al.
Veröffentlicht: (2013)

Памяти академика А.А. Дородницына — к 100-летию со дня рождения
von: Евтушенко, Ю.Г.
Veröffentlicht: (2010)

Новые подходы к решению задач дискретного программирования на основе лексикографического поиска
von: Чупов, С.В.
Veröffentlicht: (2016)

Построение многомерной полиномиальной регрессии. Активный експеримент
von: Павлов, А.А., et al.
Veröffentlicht: (2009)

Равномерные оценки для монотонной полиномиальной аппроксимации
von: Дзюбенко, Г.А., et al.
Veröffentlicht: (1993)

Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
von: Михайлюк, В.А., et al.
Veröffentlicht: (2012)

Реоптимизация задачи о максимальном k-покрытии: порог отношения аппроксимации
von: Михайлюк, В.А.
Veröffentlicht: (2012)