О книге
Изложены теоретические основы автоматизации оптимизирующих преобразований алгоритмов на графах. Основная цель монографии — показать возможность формализованного выполнения оптимизирующих преобразований указанных алгоритмов.
Для разработчиков алгоритмов решения задач анализа и синтеза структур сложных систем. Может быть полезна преподавателям, аспирантам и студентам специальностей, связанных с проектированием сложных систем.
Список литературы
- Асанов М.О., Баранский В.А., Расин В.В. Дискретная математика: графы, матроиды, алгоритмы. Ижевск: Регулярная и хаотическая динамика, 2001. 288 с.
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов: пер. с англ. М.: Мир, 1979. 536 с.
- Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981. 368 с.
- Иванов Б.Н. Дискретная математика. Алгоритмы и программы: расширенный курс: учеб. пособие для вузов. М.: Лань, 2023. 667 с.
- Иванова Г.С. Методология и средства разработки алгоритмов решения задач анализа и синтеза структур программного обеспечения и устройств вычислительной техники: дис. ... д-ра техн. наук. М., 2007. 416 с.
- Касперски К. Техника оптимизации программ. Эффективное использование памяти. СПб.: БХВ-Петербург, 2003. 464 с.
- Касьянов В.Н. Оптимизирующие преобразования программ. М.: Наука, 1988. 336 с.
- Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003. 1104 с.
- Компаниец Р.И., Маньков Е.В., Филатов Н.Е. Системное программирование. Основы построения трансляторов: учебник. СПб.: Корона принт, 2000. 256 с.
- Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МЦНМО, 2000. 960 с.
- Лекции по теории графов / В.А. Емеличев [и др.]. М.: Наука, 1990. 384 с.
- Новиков Ф.А. Дискретная математика для программистов: учебник для вузов. 3-е изд. СПб.: Питер, 2009. 384 с.
- Овчинников В.А. Алгоритмизация комбинаторно-оптимизационных задач при проектировании ЭВМ и систем: учебник для вузов. М.: Изд-во МГТУ им. Н.Э. Баумана, 2001. 288 с.
- Овчинников В.А. Графы в задачах анализа и синтеза структур сложных систем. М.: Изд-во МГТУ им. Н.Э. Баумана, 2014. 423 с.
- Овчинников В.А. Модели и методы дискретной оптимизации. Модули 1 и 2: учебник. М.: Изд-во МГТУ им. Н.Э. Баумана, 2019. 277 с.
- Овчинников В.А. Операции над ультра- и гиперграфами для реализации процедур анализа и синтеза структур сложных систем // Наука и образование. Инженерное образование: электрон. науч. журнал. 2009. № 10–12. URL: http://technomag.bmstu.ru/doc/134335.html
- Овчинников В.А., Иванова Г.С. Информационно-логическая модель алгоритма // Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2005. № 2 (59). C. 109–121.
- Пролубников А.В. Прямой алгоритм проверки изоморфизма графов // Компьютерная оптика. 2007. Т. 31. № 3. С. 86–92.
- Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики: учебник. М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2002. 280 с.
