Абстрактные структуры данных

материалы, из которых строятся программы.
Под СТРУКТУРОЙ ДАННЫХ в общем

случае понимают множество элементов данных и множество связей между ними.
Классификация структур данных:

И+ПРГ

или простыми структурами. Эти структуры служат основой для построения более

сложных структур. В языках программирования простые структуры описываются простыми (базовыми) типами. К таким типам относятся: числовые, битовые, логические, символьные, перечисляемые, интервальные, указатели.

Числовые данные – с помощью целых чисел может быть представлено количество объектов, являющихся дискретными по своей природе (т.е. счетное число объектов); значение вещественных чисел определяется лишь с некоторой конечной точностью, зависящей от внутримашинного формата вещественного числа.
Битовые – для работы с отдельными двоичными разрядами данных.
Логические –данные в виде одной из констант false (ложь) или true (истина).
Символьные – символы из некоторого предопределенного множества. В большинстве современных ПЭВМ этим множеством является ASCII (American Standard Code for Information Interchange - американский стандартный код для обмена информацией).
Перечисляемые – упорядоченные данные, определяемый программистом, т.е. программист перечисляет все значения, которые могут принимать эти данные.
Интервальные – ограничение допустимого диапазона значений некоторых стандартных скалярных данных или рамок описанных перечислимых данных.
Указатели – адрес ячейки памяти (в подавляющем большинстве современных вычислительных систем размер ячейки - минимальной адресуемой единицы памяти - составляет один байт).

И+ПРГ

структур, которые, фактически, представляют собой структурированное множество примитивных, базовых, структур.

Статические структуры отличаются отсутствием изменчивости, память для них выделяется автоматически - на этапе компиляции или при выполнении (в момент активизации того программного блока, в котором они описаны).

Векторы (одномерные массивы) – структуры данных с фиксированным числом элементов одного и того же типа. Каждый элемент вектора имеет уникальный в рамках заданного вектора номер. Обращение к элементу вектора выполняется по имени вектора и номеру требуемого элемента.
Массивы – структура данных, которая характеризуется: фиксированным набором элементов одного и того же типа; каждый элемент имеет уникальный набор значений индексов; количество индексов определяют мерность массива, например, три индекса - трехмерный массив, один индекс - одномерный массив или вектор; обращение к элементу массива выполняется по имени массива и значениям индексов для данного элемента.
Иначе: массив - это вектор, каждый элемент которого - вектор.
Множества – это набор неповторяющихся данных одного и того же типа.
Записи (структуры) – конечное упорядоченное множество полей, характеризующихся различным типом данных (базовыми и статическими).
Таблицы – представляет собой вектор, элементами которого являются записи. Характерная логическая особенность таблиц – доступ к элементам таблицы производится не по номеру (индексу), а по ключу - по значению одного из свойств объекта, описываемого записью - элементом таблицы. Ключ - это свойство, идентифицирующее данную запись во множестве однотипных записей. Как правило, к ключу предъявляется требование уникальности в данной таблице. Ключ может включаться в состав записи и быть одним из ее полей, но может и не включаться в запись, а вычисляться по положению записи. Таблица может иметь один или несколько ключей.

И+ПРГ

(1) они имеют переменную длину и простые процедуры ее изменения;

(2) изменение длины структуры происходит в определенных пределах, не превышая какого-то максимального (предельного) значения. Доступ к элементу может осуществляться по его порядковому номеру.

Строки – это линейно упорядоченная последовательность символов, принадлежащих конечному множеству символов, называемому алфавитом. Их важные свойства:
- длина, как правило, переменна, хотя алфавит фиксирован;
- обычно обращение к символам строки идет с какого-нибудь одного конца последовательности, т.е. важна упорядоченность этой последовательности, а не ее индексация; в связи с этим свойством строки часто называют также цепочками;
- чаще всего целью доступа к строке является не отдельный ее элемент (хотя это тоже не исключается), а некоторая цепочка символов в строке.
Стеки – последовательный список переменной длины, включение и исключение элементов из которого выполняются только с одной стороны списка, называемого вершиной стека. Применяются и другие названия стека - магазин и очередь, функционирующая по принципу LIFO: Last – In, First- Out - "последним пришел - первым исключается (выбирается)".
Очереди – последовательный (линейный) список переменной длины, в котором включение элементов выполняется только с одной стороны списка (эту сторону часто называют концом или хвостом очереди), а исключение - с другой стороны (называемой началом или головой очереди). Очередью работает по схеме FIFO (First – In, First- Out - "первым пришел - первым исключается") или по схеме приоритетов – порядок исключения зависит от приоритета элемента очереди.
Деки – особый вид очереди, от англ. deq - double ended queue, т.е. очередь с двумя концами - это последовательный список, в котором как включение, так и исключение элементов может осуществляться с любого из двух концов списка. Структура дека аналогична структуре кольцевой FIFO-очереди. Но применительно к деку надо говорить не о начале и конце, а о левом и правом конце.

И+ПРГ

элементов структуры в памяти и непостоянством и непредсказуемостью размера (числа

элементов) структуры в процессе ее обработки.

Связное представление данных

Элементы динамической структуры располагаются по непредсказуемым адресам памяти, поэтому адрес элемента не может быть вычислен из адреса начального или предыдущего элемента. Для установления связи между элементами динамической структуры используются специальные указатели, через которые устанавливаются явные связи между элементами. Такое представление данных в памяти называется связным. Элемент динамической структуры состоит из двух полей:
информационного поля или поля данных, в котором содержатся те данные, ради которых и создается структура; в общем случае информационное поле само является интегрированной структурой - вектором, массивом, записью и т.п.;
поле связок, в котором содержатся один или несколько указателей, связывающий данный элемент с другими элементами структуры.
Достоинства связного представления данных - в возможности обеспечения значительной изменчивости структур (размер структуры ограничивается только доступным объемом машинной памяти; при изменении логической последовательности элементов структуры требуется не перемещение данных в памяти, а только коррекция указателей).
Недостатки связного представления:
работа с указателями требует, как правило, более высокой квалификации от программиста;
на поля связок расходуется дополнительная память;
доступ к элементам связной структуры может быть менее эффективным по времени.
Последний недостаток является наиболее серьезным и именно им ограничивается применимость связного представления данных. Если в смежном представлении данных для вычисления адреса любого элемента нам во всех случаях достаточно было номера элемента и информации, содержащейся в дескрипторе структуры, то для связного представления адрес элемента не может быть вычислен из исходных данных. Дескриптор связной структуры содержит один или несколько указателей, позволяющих войти в структуру, далее поиск требуемого элемента выполняется следованием по цепочке указателей от элемента к элементу. Поэтому связное представление практически никогда не применяется в задачах, где логическая структура данных имеет вид вектора или массива - с доступом по номеру элемента, но часто применяется в задачах, где логическая структура требует другой исходной информации доступа (таблицы, списки, деревья и т.д.).

И+ПРГ

числа элементов, отражающий отношения соседства между элементами. Односвязный список имеет

в поле связок каждого элемента один указатель: следующий элемент. Кроме того, есть особые указатели: начало списка и конец списка. Двухсвязный список имеет в поле связок два указателя: следующий элемент и предыдущий элемент. Можно задать кольцевой список – из последнего элемента указатель ссылается на первый элемент. Многосвязный список (мультисписок) – каждый элемент включает несколько указателей на связи между собой подмножеств данного списка.
Разветвлённые связанные списки (нелинейные разветвленные списки) – это списки, элементами которых могут быть тоже списки. Выше рассмотрены двухсвязные линейные списки. Если один из указателей каждого элемента списка задает порядок обратный к порядку, устанавливаемому другим указателем, то такой двусвязный список будет линейным. Если же один из указателей задает порядок произвольного вида, не являющийся обратным по отношению к порядку, устанавливаемому другим указателем, то такой список будет нелинейным.
Графы – это сложная нелинейная многосвязная динамическая структура, отображающая свойства и связи сложного объекта. Её свойства:
1) на каждый элемент (узел, вершину) может быть произвольное количество ссылок;
2) каждый элемент может иметь связь с любым количеством других элементов;
3) каждая связка (ребро, дуга) может иметь направление и вес.
В узлах графа содержится информация об элементах объекта. Связи между узлами задаются ребрами графа. Ребра графа могут иметь направленность, показываемую стрелками, тогда они называются ориентированными графами (орграф), ребра без стрелок - неориентированные.
Деревья – это графы, которые характеризуются следующими свойствами:
1. Существует единственный элемент (узел или вершина), на который не ссылается никакой другой элемент - и который называется КОРНЕМ;
2. Начиная с корня и следуя по определенной цепочке указателей, содержащихся в элементах, можно осуществить доступ к любому элементу структуры;
3. На каждый элемент, кроме корня, имеется единственная ссылка, т.е. каждый элемент адресуется единственным указателем.
ВЕТВИ – ребра графа-дерева, ЛИСТЬЯ – конечные узлы дерева; ЛЕС – несколько различных деревьев. Бинарные деревья.

Абстрактные структуры данных

Динамические структуры

И+ПРГ

файлы, их внутренняя организация и способы доступа к их содержимому.

Файловая структура последовательного доступа – это набор последовательных элементов, ввод которых в файл происходит в порядке их поступления от программы (устройства), а вывод из файла в порядке их расположения в файле.
Файловая структура прямого доступа – это набор элементов, занимающих последовательные позиции в линейном порядке; значение может быть передано в элемент файла (или из него), находящийся в любой выбранной позиции. Позиция элемента задается его индексом (ключом).
Файловая структура комбинированного доступа – это набор элементов, которые допускают как прямой доступ по индексу (ключу), так и последовательный в порядке возрастания индексов (ключей).

И+ПРГ