Личный кабинет
Подробное описание документа
Иванова Г. С.
Автоматизация анализа вычислительной и емкостной сложности алгоритмов на множествах и графах / Иванова Г. С. - DOI 10.18698/2308-6033-2013-11-1043 // Инженерный журнал: наука и инновации. - 2013. - № 11. -
Скачать документ
Предложен подход, позволяющий автоматически получить оценки вычислительной, временной и емкостной сложности структурных алгоритмов решения задач структурного анализа и синтеза, описанных в операциях над графами и/или множествами. Алгоритм реализует метод D-карт. Алгоритм оценки вычислительной и временной сложности предполагает рекурсивное распознавание базовых и производных структурных конструкций алгоритма с применением их инвариантов, расчет интегральных характеристик этих конструкций и свертку распознанных конструкций с назначением им соответствующих оценок. Оценка емкостной сложности алгоритма выполняется с использованием моделей задействованных структур данных.
Статья опубликована в следующих изданиях
№ 11. - 2013.
