- Артикул:00-01119352
- Автор: В. А. Евстигнеев
- Обложка: Мягкая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 352
- Формат: 84х108 1/32
- Год: 1985
- Вес: 439 г
- Серия: Библиотека программиста (все товары серии)
Развернуть ▼
Книга посвящена вопросам использования методов теории графов для исследования структуры сложных программ, определения их параметров, верификации, организации хранения и поиска информации, распределения памяти и для решения других вопросов, возникающих в системном программировании и смежных областях.
Содержание
От редактора
Предисловие
Глава 1. Основные понятия
§ 1. Основные определения теории графов
§ 2. Графы как модели программ, данных и процессов
§ 3. Графы как объекты обработки информации . Библиографический комментария
Глава 2. Глобальный анализ графов
§ 1. Нумерации, выявляющие логическую структуру графа
§ 2. Логический анализ управляющих графов. Линейные компоненты и компоненты сильной связности
§ 3. Гамаки, полугамаки и шлейфы
§ 4. Интервалы и сводимые графы
§ 5. Контуры в орграфах
Библиографический комментарий
Глава 3. Итеративные алгоритмы глобального анализа графов. Пути и покрытия
§ 1. Итеративный алгоритм Килдала
§ 2. Пути в орграфах
§ 3. Пути, удовлетворяющие дополнительным ограничениям. Покрытия
§ 4. Отыскание доминаторов в орграфе
Библиографический комментарий
Глава 4. Оптимизационные задачи па графах
§ 1. Построение оптимальных нумераций
§ 2. Конструирование оптимальных деревьев
§ 3. Балансированные деревья
Библиографический комментарий
§ 1. Разрезания графов
§ 2. Раскраска графов
Библиографический комментарий
Глава 6. Применение теории графов в программировании
§ 1. Анализ и тестирование программ. Вычисление характеристик программ
§ 2. Применение методов теории графов к организации вычислительного процесса
§ 3. Применение деревьев дли организации больших массивов информации
Список литературы
Предметный указатель