- •Введение
- •Основные понятия и определения
- •Типы данных
- •1.1.1. Понятие типа данных
- •1.2.2. Внутреннее представление базовых типов в оперативной памяти
- •1.2.2. Внутреннее представление структурированных типов данных
- •1.2.3. Статическое и динамическое выделение памяти
- •Абстрактные типы данных (атд)
- •Понятие атд
- •1.2.2. Спецификация и реализация атд
- •Структуры данных
- •1.3.1. Понятие структуры данных
- •1.3.2. Структуры хранения — непрерывная и ссылочная
- •1.4.3. Классификация структур данных
- •Алгоритмы
- •1.4.1. Понятие алгоритма
- •1.4.2. Способы записи алгоритмов.
- •1.4.3. Введение в анализ алгоритмов Вычислительные модели
- •Задача анализа алгоритмов
- •Время работы алгоритма
- •Время выполнения в худшем и среднем случае
- •1.4.3. Введение в рекурсию
- •Первые примеры
- •1.5.1. Введение в «длинную» арифметику
- •1.5.2. Рекурсия
- •1.5.3. Поразрядные операции. Реализация атд «Множество»
- •2. Линейные структуры данных
- •2.1. Атд "Стек", "Очередь", "Дек"
- •2.2. Реализация стеков
- •2.2.1. Непрерывная реализация стека с помощью массива
- •2.2.2. Ссылочная реализация стека в динамической памяти
- •2.2.3. Примеры программ с использованием стеков
- •2.3. Реализация очередей
- •2.3.2. Непрерывная реализация очереди с помощью массива
- •2.3.2. Ссылочная реализация очереди в динамической памяти
- •2.3.3. Ссылочная реализация очереди с помощью циклического списка
- •2.3.4. Очереди с приоритетами
- •2.3.5. Пример программы с использованием очереди
- •2.4. Списки как абстрактные типы данных
- •2.4.1. Модель списка с выделенным текущим элементом
- •2.4.2. Однонаправленный список (список л1)
- •2.4.3. Двунаправленный список (список л2)
- •2.4.4. Циклический (кольцевой) список
- •2.5. Реализация списков с выделенным текущим элементом
- •2.5.1. Однонаправленные списки Ссылочная реализация в динамической памяти на основе указателей
- •2.5.2. Двусвязные списки
- •2.5.3. Кольцевые списки
- •2.5.4. Примеры программ, использующих списки Очередь с приоритетами на основе линейного списка
- •Задача Иосифа (удаление из кольцевого списка)
- •2.6. Рекурсивная обработка линейных списков
- •2.6.1. Модель списка при рекурсивном подходе
- •2.6.2. Реализация линейного списка при рекурсивном подходе
- •3. Иерархические структуры данных
- •3.1. Иерархические списки
- •3.1.1 Иерархические списки как атд
- •3.1.2. Реализация иерархических списков
- •3.2. Деревья и леса
- •3.2.1. Определения
- •3.2. Способы представления деревьев
- •3.2.3. Терминология деревьев
- •3.2.4. Упорядоченные деревья и леса. Связь с иерархическими списками
- •3.3. Бинарные деревья
- •3.3.1. Определение. Представления бинарных деревьев
- •3.3.2. Математические свойства бинарных деревьев
- •3.4. Соответствие между упорядоченным лесом и бинарным деревом
- •3.5. Бинарные деревья как атд
- •3.6. Ссылочная реализация бинарных деревьев
- •3.6.1. Ссылочная реализация бинарного дерева на основе указателей
- •3.6.2. Ссылочная реализация на основе массива
- •3.6.3. Пример — построение дерева турнира
- •3.7. Обходы бинарных деревьев и леса
- •3.7.1. Понятие обхода. Виды обходов
- •3.7.2. Рекурсивные функции обхода бинарных деревьев
- •3.7.3. Нерекурсивные функции обхода бинарных деревьев
- •3.7.4. Обходы леса
- •3.7.5. Прошитые деревья
- •3.8. Применения деревьев
- •3.8.1. Дерево-формула
- •3.8.2. Задача сжатия информации. Коды Хаффмана
- •4. Сортировка и родственные задачи
- •4.1. Общие сведения
- •4.1.1. Постановка задачи
- •4.1.2. Характеристики и классификация алгоритмов сортировки
- •4.2. Простые методы сортировки
- •4.2.1. Сортировка выбором
- •4.2.2. Сортировка алгоритмом пузырька
- •4.2.3.Сортировка простыми вставками.
- •4.3. Быстрые способы сортировки, основанные на сравнении
- •4.3.1. Сортировка упорядоченным бинарным деревом
- •Анализ алгоритма сортировки бинарным деревом поиска
- •4.3.2. Пирамидальная сортировка
- •Первая фаза сортировки пирамидой
- •Вторая фаза сортировки пирамидой
- •Анализ алгоритма сортировки пирамидой
- •Реализация очереди с приоритетами на базе пирамиды
- •4.3.2. Сортировка слиянием
- •Анализ алгоритма сортировки слиянием
- •4.3.3. Быстрая сортировка Хоара
- •Анализ алгоритма быстрой сортировки
- •4.3.4. Сортировка Шелла
- •4.3.5. Нижняя оценка для алгоритмов сортировки, основанных на сравнениях
- •4.4. Сортировка за линейное время
- •4.4.1. Сортировка подсчетом
- •4.4.2. Распределяющая сортировка от младшего разряда к старшему
- •4.4.3. Распределяющая сортировка от старшего разряда к младшему
- •5. Структуры и алгоритмы для поиска данных
- •5.1. Общие сведения
- •5.1.1. Постановка задачи поиска
- •5.1.2. Структуры для поддержки поиска
- •5.1.3. Соглашения по программному интерфейсу
- •5.2. Последовательный (линейный) поиск
- •5.3. Бинарный поиск в упорядоченном массиве
- •5.4. Бинарные деревья поиска
- •5.4.1. Анализ алгоритмов поиска, вставки и удаления Поиск
- •Вставка
- •Удаление
- •5.4.3. Реализация бинарного дерева поиска
- •5.5. Сбалансированные деревья
- •Определение и свойства авл-деревьев
- •Вращения
- •Алгоритмы вставки и удаления
- •Реализация рекурсивного алгоритма вставки в авл-дерево
- •5.5.2. Сильноветвящиеся деревья
- •Бинарные представления сильноветвящихся деревьев
- •5.5.3. Рандомизированные деревья поиска
- •5.6. Структуры данных, основанные на хеш-таблицах
- •5.6.2. Выбор хеш-функций и оценка их эффективности
- •Модульное хеширование (метод деления)
- •Мультипликативный метод
- •Метод середины квадрата
- •5.6.2. Метод цепочек
- •5.6.3. Хеширование с открытой адресацией
- •5.6.4. Пример решения задачи поиска с использованием хеш-таблицы
1.4.3. Классификация структур данных
Попробуем систематизировать полученные знания. Приведем несколько способов классификации структур данных, выделив существенные признаки.
Если рассматривать структуры данных на логическом уровне, не принимая во внимание их реализацию, то основным критерием для классификации является характер связей между элементами. Выделим три основных группы:
линейные;
иерархические;
многосвязные.
Иерархические и многосвязные структуры иначе называют нелинейными.
Если элементы структуры связаны линейными отношениями соседства, то такая структура является линейной (рис.1.3,а). Линейная структура обычно называется линейным списком или просто списком (связным списком, цепным списком).
Подробные сведения о линейных структурах данных содержатся в главе 2.
Рис.1.3. а). Линейная структура; б). Иерархическая структура; в) Многосвязная структура
Если элемент связной структуры содержит несколько следующих за ним элементов, но только один предыдущий элемент, то такое отношение является отношением иерархии, а структура называется иерархической (рис. 1.3, б). В этом случае вводятся понятия родительского и дочерних элементов (узлов). Иерархические структуры данных рассматриваются подробно в главе 3.
Возможны и более сложные отношения – многосвязные структуры, когда каждый элемент данных связан с произвольным количеством других элементов. Реализация таких отношений обычно сводится к комбинации массивов и связных структур.
Важным критерием классификации является способ доступа к данным:
прямой доступ по индексу;
последовательный доступ;
смешанные способы доступа.
На уровне рализации важную роль играет способ формирования структуры данных:
статический
динамический;
смешанный.
Например, массив — линейная структура с прямым доступом к данным, статически или динамически формируемая, линейный список на основе указателей — динамически формируемая линейная связная структура с последовательным доступом.
Алгоритмы
1.4.1. Понятие алгоритма
В качестве введения в алгоритмы приведем определение (на уровне толкования), требования к алгоритмам и их основные характеристики.
Алгоритм — конечная последовательность инструкций, каждая из которых имеет чёткий смысл и может быть выполнена с конечными затратами ресурсов за конечное время. Составление алгоритма для решения задачи называется ее алгоритмизацией.
Имеется несколько синонимов для слова «алгоритм» — способ, метод, рецепт. Эти понятия очень близки по смыслу, но все-таки не идентичны понятию алгоритма. Уточним приведенное выше неформальное определение перечнем требований к алгоритму (часть требований вытекает из определения):
однозначность (определенность)— каждая инструкция алгоритма должна быть понятна исполнителю алгоритма и иметь однозначное толкование. Здесь очень важно отметить, что любой алгоритм предназначен для конкретного исполнителя, поэтому должен содержать только инструкции; которые этим исполнителем могут быть выполнены. Например, алгоритм, записанный на естественном языке, предназначен для исполнения человеком, компьютерная программа (запись алгоритма на языке программирования) — для исполнения компьютером.
конечность — решение задачи должно быть получено за конечное число шагов (т.е. «зацикливание» недопустимо) для любых входных данных. На практике это ограничение ставится еще жестче — алгоритм должен выполняться за ограниченное число шагов, которые могут быть выполнены за разумное время. Разумеется, очень сложные расчеты могут выполняться и несколько часов (а то и суток), но обычные повседневные задачи должны выполняться в считанные секунды, иначе пользователи не захотят использовать такое программное обеспечение.
детерминированность — для одних и тех же входных данных алгоритм должен каждый раз выдавать один и тот же результат. (Замечание: если в алгоритме используются датчики случайных чисел, то, казалось бы, результаты будут получаться разные. Но на самом деле, эти числа можно тоже рассматривать как входные параметры);
корректность — алгоритм должен давать правильное решение задачи при различных входных данных;
массовость — алгоритм обычно предназначен для решения не одной задачи, а множества задач, относящихся к некоторому классу (например, алгоритмы сортировки и поиска встречаются практически в каждой достаточно большой программе).