презентация. Алгоритмы и структуры данных Литература
 Скачать 213 Kb.
|
Алгоритмы и структуры данныхЛитература:Д. Кнут. Искусство программирования для ЭВМ. Т. 1-3, М.: Мир, 1978, 1995 и др.. Н. Вирт. Алгоритмы и структуры данных. М.: Мир, 1989. Концепция типа данныхИнформация, которая должна обрабатываться на компьютере является абстракцией, отображением некоторого фрагмента реального мира. А именно того фрагмента, который является предметной областью решаемой задачи. Для ее решения вначале строится информационная, а в общем слу-чае математическая модель изучаемой предметной области и выбирается существующий или строится новый алгоритм решения задачи. Информация всегда материализуется, представляется в форме сообще-ния. Сообщение в общем случае представляет собой некоторый зарегис-трированный физический сигнал. Сигнал — это изменение во времени или пространстве некоторого объекта, в частности, параметра некоторой физической величины, например индукции магнитного поля (при хранении информации, точнее сообщения на магнитных носителях) или уровня напря-жения в электрической цепи (в микросхемах процессора или оперативной памяти). Дискретное сообщение — это последовательность знаков (значений сиг-нала) из некоторого конечного алфавита (конечного набора значений па-раметра сигнала), в частности, для компьютера это последовательность знаков двоичного алфавита, то есть последовательность битов. Компьютерные данные это дискретные сообщения, которые представлены в форме, используемой в компьютере, понятной компьютеру. Для процессора компьютера любые данные представляют собой неструктурированную последовательность битов (иногда используют термин поток битов). Конкретная интерпретация этой последовательности зависит от программы, от формы представления и структуры данных, которые выбраны программис-том. Это выбор, в конечном счёте, зависит от решаемой задачи и удобства вы-полнения действий над данными. Непосредственные значения это неизменные объекты программы, которые представляют сами себя: числа (25, 1.34E-20), символы (‘A’, ‘!’) , строки (‘Введите элементы матрицы’); Константы – это имена, закрепляемые за некоторыми значениями (const pi=3.1415926). Переменные это объекты, которые могут принимать значение, сохранять его без изменения, и изменять его при выполнении определенных действий (var k:integer, x:real, a:array[1..3,1..5]). Значения выражений и функций. Выражения и функции– это записанные определённым способом правила вычисления значений: k*x+ sqrt(x). К данным в программах относятся: Тип данных представляет собой важнейшую характеристику, которая определяет: множество допустимых значений; множество операций, которые могут выполняться над значением; структуру значения (скаляр, вектор и т.д.); способ машинного представления значения. Для отображения особенностей представления в компьютере данных различной природы в информатике, в компьютерных дисциплинах используется важнейшая концепция типа данных. Тип константы, переменной или выражения может быть определен по внешнему виду (по изображению) или по описанию без выполнения каких-либо вычислений. Любая операция или функция требует аргументов и возвращает результат вполне определенного типа. Типы аргументов и результатов операций определяется по вполне определенным правилам языка. Основные принципы концепции типа данных в языках программирования: Разновидности типов и структур данных В информатике используется большое количество различных типов, различных структур данных, которые применяются для моделирования объектов, встречающихся в рассматриваемых задачах. Если структура данного по ходу выполнения алгоритма не изменяется, то такая структура считается статической, Статические структуры данных существуют в неизменном виде в течение всего времени исполнения алгоритма. Значение скалярного (простого, атомарного) типа представлено ровно одним компонентом ( пример: время, температура). Динамические структуры создаются, изменяются и уничтожаются по мере необходимости в любой момент исполнения алгоритма. Значение структурированного (составного) типа представлено более чем одним компонентом (пример: вектор, матрица, таблица и т.д.). Различают предопределенные (предварительно определенные) - стандартные и определяемые в программе типы. Для стандартных типов в описании языка программирования заданы все его характеристики – множество значений, множество операций, структура и машинное представление значения. Для вновь определяемых типов в языке предусмотрен механизм указания в программе множества значений и структура значения. Обычно новый тип строится на базе имеющихся стандартных. Поэтому множество операций и машинное представ-ление таких типов фиксировано в описании языка. скалярные (простые, атомарные) типы:
вещественный; логический (булевский); символьный; структурированные (составные) типы: массив; запись; файл (последовательность); множество; объектовый (класс) тип; всевозможные комбинации скалярных и структурированных типов; ссылочный тип. Статические типы (структуры данных) Наиболее часто используемые предопределенные скалярные типы: целый (integer), вещественный (real), символьный (char), логический (boolean). Целочисленные точные значения. Примеры: 73, -98, 5, 19674. Машинное представление: формат с фиксированной точкой. Диапазон значений определяется длиной поля. Операции: +, -, *, div, mod,=, <, и т.д. Тип integer Нецелые приближенные значения. Примеры: 0.195, -91.84, 5.0 Машинное представление: формат с плавающей точкой. Диапазон и точность значений определяется длиной поля. Операции: +, -, *, /, =, <, и т.д. Тип real Одиночные символы текстов. Примеры: ‘a’, ‘!’, ‘5’. Машинное представление: формат ASCII. Множество значений определяется кодовой таблицей и возможностями клавиатуры. Операции: +, =, <, и т.д. Тип char Два логических значения false и true. Причем, false Машинное представление ─ нулевое и единичное значение бита: false кодируется 0, true ─ 1. Операции: , , , =, < и т.д. Тип boolean Основные механизмы построения новых скалярных дискретных типов: перечисление, ограничение. В определении перечисляемых типов фиксируется список всех возможных значений, множество операций определяется в языке заранее. В определении ограниченных типов в качестве множества допустимых значений фиксируется подмножество множества значений некоторого дискретного типа, который в этом случае называется базовым типом по отношению к определяемому. Различают дискретные и непрерывные скалярные типы. Множество значений дискретного типа конечное или счетное. Множество значений непрерывного типа более чем счетное. К дискретным стандартным типам относятся целый, символьный и логический. К непрерывным стандарт-ным типам относится вещественный. Структурированные (составные) типы характеризуются: количеством и возможным типом компонентов значения, а также способом доступа к отдельному компоненту значения. Структуры аналогичные векторам и матрицам в информатике принято называть массивами. Все элементы массива должны быть одного и того же типа. Массив или регулярный тип Для доступа (обращения) к отдельному элементу массива используется индекс или несколько индексов (w[5]; w[i+2]; A[1,2]). Индексы могут быть выражениями, значения которых могут произвольным образом изменяться в заранее заданных границах. Поэтому говорят, что к элементам массивов имеется прямой доступ.
Структуры, аналогичные строкам таблицы, называют записями. Компоненты записей принято называть полями. Различные поля (столбцы таблицы) могут быть разных типов. Для доступа к отдельным полям записи используются их фиксированные и неизменные имена. Например: День Победы. Месяц := май. Поля могут выбираться для обработки в произвольном порядке, поэтому говорят, что доступ к компонентам записи прямой. Запись или комбинированный тип День Победы: Файл (последовательность) Основной структурой данных, которая используется для хранения информации на внешних устройствах (магнитных дисках, лентах и т.д.) являются файлы или последовательности. Считается, что файл всегда находится на внешнем устройстве. При этом количество компонентов файла неизвестно, все компоненты должны быть одного и того же типа. Доступ к компонентам ─ последовательный. Полёт Гагарина: Множество Во многих математических и информационных задачах возникает необходимость в прямом или косвенном использовании основного математического объекта множества. Соответствующая множеству тип данных по определению отно-сится к структурированным, так как в общем случае множество может состоять более чем из одного элемента, и при этом со всеми элементами множества приходится выполнять операции как с единым целым. Количество элементов в множестве заранее не определяется, и с течением времени оно может изменятся. Все элементы множества должны быть одного и того же типа. Доступа к отдельным элементам множества нет. Можно только узнать принад-лежит элемент множеству или нет, включить элемент в множество или исклю-чить его из множества. Предусмотрены также стандартные операции над мно-жествами: объединение, пересечение, вычитание и т.д. X1 X5 X4 X17 X2 X3 ? X17 ? X3 X Динамические структуры данных У данных с динамической структурой с течением времени изменяется сама структура, а не только количество элементов, как у файлов или последова-тельностей. Базовыми динамическими структурами данных являются: объект; линейный список; дерево; граф. У линейного списка каждый элемент связан с предшествующим ему. У линейного списка известно, какой элемент находится в начале списка, какой в конце, а также, какой элемент стоит перед текущим. В линейном списке переходить от текущего элемента к следующему можно только с помощью указанных связей между соседними элементами. Линейный список В целом получается цепочка элементов, в которой можно осуществлять поиск, в которую можно вставлять элементы или исключать их. На базе линейного списка организуются много других типов динамических структур. Это в частности: кольца, очереди, деки и стеки. Структура кольца Отличие кольца от линейного списка в том, что у кольца имеется связь между последним элементов списка и его первым элементом. У линейного списка и у кольца возможен доступ к любому элементу структу-ры. Для этого нужно последовательно перемещаться от одного элемента к другому. Во многих реальных ситуациях такой доступ отсутствует. Можно взаимодействовать только с первым и последним элементами или же только с одним из них. Для моделирования таких объектов используются очереди, деки и стеки. Структура очереди У очереди доступен для включения конец, а для исключения (выборки) ─ начало. Элемент, поступивший в очередь раньше и обслуживается раньше. Говорят, что очередь это структура с дисциплиной обслуживания FIFO (First In, First Out) ─ «первый пришёл, первый ушел». Структура дека У дека оба конца доступны, как для включения, так и для выборки. Таким обра-зом, можно сказать, что дек ─ это двусторонняя очередь. Структура стека У стека для взаимодействия доступна только один конец структуры ─ вершина стека. И включение нового элемента в стек и выборка последнего ранее включенного идет через вершину стека. Таким образом на обслуживание попадает первым элемент, поступивший последним. Говорят, что стек ─ это структура с дисциплиной обслуживания LIFO (Last In, First Out) ─ «последним пришёл, первым ушёл». СПАСИБО ЗА ВНИМАНИЕ! |