Связанный список

редактировать
Структура данных, которая представляет собой линейный набор элементов данных, называемых узлами, каждый из которых указывает на следующий узел с помощью указателя

В информатике связанный список представляет собой линейный набор элементов данных, порядок не определяется их физическим размещением в памяти. Вместо этого каждый элемент указывает на следующий. Это структура данных , состоящая из набора узлов, которые вместе представляют собой последовательность. В своей основной форме каждый узел содержит: данные и ссылку (другими словами, ссылку) на следующий узел в следующем. Эта структура позволяет эффективно вставлять или удалять элементы из любой позиции в вставлять во время итерации. Более сложные варианты дополнительных ссылок, что позволяет более эффективно вставлять или удалять узлы в произвольных позициях. Недостатком связанных списков является то, что время доступа линейно (и затруднительно для конвейера ). Более быстрый доступ, например произвольный, невозможен. Массивы имеют лучшую локализацию кэша по сравнению со связанными списками.

Отдельно -linked-list.svg . Связанный список, узлы которого содержат два поля: целочисленное значение и ссылку на следующий узел. Последний узел связан с ограничителем, обозначающим конец списка.

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

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

С другой стороны, поскольку простые связанные списки сами по себе не позволяют произвольным доступом к данным или любой формулировке доступного индекса, многие базовые операции, такие как получение последнего списка узла, поиск узла, содержит заданные данные, или определение места, где должен быть вставлен новый узел, может потребовать итерации по большей части или по всем элементам списка. Ниже приведены преимущества и недостатки использования связанных списков. Связанный список является динамическим, поэтому длина списка может увеличиваться или уменьшаться по мере необходимости. Каждый узел не обязательно физически следует за предыдущим в памяти.

Содержание
  • 1 Недостатки
  • 2 История
  • 3 Основные понятия и номенклатура
    • 3.1 Односвязный список
    • 3.2 Двусвязный список
    • 3.3 Многосвязный список
    • 3.4 Циклический список список
    • 3.5 Сторожевые узлы
    • 3.6 Пустые списки
    • 3.7 Связывание хэшей
    • 3.8 Дескрипторы списков
    • 3.9 Объединение альтернатив
  • 4 Компромиссы
    • 4.1 Связанные списки и динамические массивы
    • 4.2 По отдельности Связанные линейные списки по сравнению с другими списками
    • 4.3 Двусвязные и односвязные
    • 4.4 Циркулярно связанные или линейно связанные
    • 4.5 Использование контрольных узлов
  • 5 Операции со связанными списками
    • 5.1 Линейно связанные списки
      • 5.1.1 Односвязные списки
    • 5.2 Циркулярно-связанный список
      • 5.2.1 Алгоритмы
  • 6 Связанные списки с использованием массивов узлов
  • 7 Поддержка языков
  • 8 Внутреннее и внешнее хранилище
    • 8.1 Пример внутренней и внешней
    • 8.2 Ускорение поиска
    • 8.3 Списки произвольно го доступа
  • 9 Связанные структуры данных
  • 10 Примечания
  • 11 Ссылки
  • 12 Дополнительная литература
  • 13 Внешние ссылки
Недостаток возраст
  • Они используют больше памяти, чем массивы из-за хранилища, используемого их указателями.
  • Узлы в связанном списке читаться по порядку с самого начала, с учетом связанных списки по своей сути последовательный доступ.
  • Узлы хранятся несмежно, что усиливает периоды Время, необходимые для доступа к элементам в списке, особенно с кэш-памятью ЦП.
  • Когда дело доходит до обратного обхода, в связанных списках трудности возникают. Например, односвязные списки неудобны для навигации в обратном направлении, и хотя двусвязные списки несколько легче читать, память расходуется при выделении места для обратного указателя.
История

Связанные списки были разработаны в 1955–1956 гг. Алленом Ньюэллом, Клиффом Шоу и Гербертом А. Саймоном в RAND Corporation в качестве первичных данных структура для их языка обработки информации. Авторы использовали IPL для разработки нескольких ранних программ искусственного интеллекта, в том числе Logic Theory Machine, General Problem Solver и компьютерной шахматной программы. Отчеты об их работе опубликованы в IRE Труды по теории информации в 1956 г. и в материалах нескольких конференций с 1957 по 1959 г., в том числе в материалах Западной объединенной компьютерной конференции в 1957 и 1958 гг.>Международная конференция по обработке информации) в 1959 году. Теперь ставшая классическая диаграмма, состоящая из блоков, представляющая узлы списка со стрелками, указывающими на последовательные узлы списка, появляется в «Программировании машины логической теории» Ньюэлла и Шоу в Proc. WJCC, февраль 1957. Ньюэлл и Саймон были отмечены премией ACM Тьюринга в 1975 году за «вклад в искусственный интеллект, психологию человеческого познания и обработки списков». Проблема машинного перевода для обработки естественного языка вынудила Виктора Ингве из Массачусетского технологического института (MIT) использовать связанные списки в качестве данных структуры на своем языке программирования COMIT для компьютерных исследований в области лингвистики. Отчет об этом языке под названием «Язык программирования для механического перевода» появился в «Механическом переводе» в 1958 году.

LISP, обозначающий процессор списков, был создан Джоном Маккарти в 1958 году, когда он был в Массачусетском технологическом институте, а в 1960 году он опубликовал его дизайн в статье в Сообщениях ACM, озаглавленной «Рекурсивные функции символьных выражений и их вычисление машиной, часть I». Одна из основных структур данных LISP - это связанный список.

К началу 1960-х годов полезность как связанных списков, так и языков, использующих эти структуры в качестве первичного представления данных, была хорошо известна. Берт Грин из лаборатории Массачусетского технологического института опубликовал обзорную статью, озаглавленную «Компьютерные языки для манипулирования символами» в журнале IRE «Операции по человеческому фактору в электронике» в марте 1961 г., в которой суммировал преимущества подходов связанных списков. Более поздняя обзорная статья Боброу и Рафаэля «Сравнение компьютерных языков обработки списков» появилась в «Коммуникациях ACM» в апреле 1964 года.

Несколько операционных систем, разработанных консультантами по техническим системам (используем из Вест-Лафайет, Индиана, а из Чапел-Хилл, Северная Каролина) использовали односвязные списки в качестве файловых структур. Запись каталога указывала на первый сектор файла, а последующие части файла были обнаружены с помощью указателей обхода. Системы, использующие этот метод, включающие Flex (для ЦП Motorola 6800 ), mini-Flex (тот же ЦП) и Flex9 (для ЦП Motorola 6809). Вариант, предлагаем TSC и продаваемый компанией Smoke Signal Broadcasting в Калифорнии, использовал двусвязные списки таким же образом.

В операционной системе TSS / 360, разработанной IBM для компьютеров Система 360/370, для каталога файлов системы использовался список с двойной связью. Структура каталогов была подобна Unix, где каталог мог содержать файлы и другие каталоги и расширяться до любой глубины.

Основные понятия и номенклатура

Каждая запись связанного списка часто называется «Номер» или «узлом ».

Поле каждого узла, которое содержит адрес следующего узла, обычно называется «следующее сообщение» или «следующим указателем». Остальные поля называются полями «данные», «информация», «значение», «груз» или «полезная нагрузка».

«Голова» списка - это его первый узел. «Хвост» списка может относиться либо к остальной части списка после головы, либо к последнему узлу в списке. В Lisp и некоторые производные языки следующий узел может называться cdr (произносится «could-er») список, в то время как полезная нагрузка головного узла может называться 'машина'.

Односвязный список

Односвязные списки содержат узлы, которые имеют поле данных, а также поле «следующее», которое указывает на следующий узел в определенных узлах. Операции, которые можно выполнять с односвязными списками, включая вставку, удаление и обход.

Отдельно -linked-list.svg . Односвязный список, узлы которого содержат два поля: целочисленное значение и ссылку на следующий

Следующий код демонстрирует, как добавить новый узел с данными «значение» в конец узла односвязного списка:

узел addNode (заголовок узла, целое значение) {узел temp, p; // объявляем два узла temp и p temp = createNode (); // предполагаем, что createNode создает новый узел с данными = 0, а затем указывает на NULL. темп->данные = значение; // добавляем значение элемента в часть данных узла if (head == NULL) {head = temp; // когда связанный список пуст} else {p = head; // присваиваем заголовок p while (p->next! = NULL) {p = p->next; // Обходим список, пока p не станет последним узлом. Последний узел всегда указывает на NULL. } p->next = temp; // Указываем предыдущий последний узел на новый созданный узел. } вернуть голову; }

Двусвязный список

В «двусвязном списке» каждый узел содержит дополнительные ссылки на следующий узел, второе поле ссылки, указывающее на «предыдущий» узел в последовательности. Две ссылки могут называться «вперед (s») и «назад» или «следующая» и «предыдущая» («предыдущая»).

Two-connected-list.svg . Двусвязный список, узлы которого содержат три поля: целочисленное значение, прямая ссылка на следующий узел и обратная ссылка на предыдущий узел

Метод, известный как XOR-связывание, позволяет двусвязный список, который будет реализован с использованием единственного поля ссылки в каждом узле. Однако для этого метода требуется возможность выполнять битовые операции с адресами, и поэтому он может быть недоступен на некоторых языках высокого уровня.

Многие современные операционные системы используют динамические ресурсы. Обычной стратегией для руткитов избежать обнаружения отключение себя от этих списков.

Многосвязный список

В «многосвязном списке» каждый узел содержит два или больше полей связи, каждое поле используется для соединения одного и того же набора записей данных в порядке другого одного и того же набора (например,, по имени, по отделу, по дате рождения и т. д.). Хотя двусвязные списки можно рассматривать как частные случаи многосвязных списков, тот факт, что два и более порядка противорены друг другу, приводит к более и более эффективным алгоритмам, поэтому они обычно как отдельный случай.

Список с круговой связью

В последнем узле списка ссылок часто содержится ссылка null, специальное значение используется для указания дополнительных узлов. Менее распространенное соглашение - сделать так, чтобы он указывал на первый узел списка; в этом случае список называется «циклическим» или «циклическим»; в противном случае он называется «открытым» или «линейным». Это список, в котором последний указатель указывает на первый узел.

Circularly-connected-list.svg . Круговой связанный список

В случае кругового двусвязного первого узла также указывает на последний узел списка.

Сторожевые узлы

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

Пустые списки

Пустой список - это список, который не содержит записей данных. Обычно это то же самое, что сказать, что у него ноль узлов. Если используются сигнальные узлы, список обычно считается пустым, если в нем есть только сигнальные узлы.

Связывание хэшей

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

<7777>Список дескрипторов

Первая ссылка на первый узел дает доступ ко всему списку, эта ссылка часто называется «адресом», «указателем» или «дескриптором» списка. Алгоритмы, управляющие связанными списками, обычно получают такие дескрипторы входных списков и возвращают дескрипторы результирующих списков. Фактически, в контексте таких алгоритмов слово «список» часто означает «дескриптор списка». Однако в некоторых ситуациях может быть удобно ссылаться на список с помощью дескриптора, который указывает на его первый и последний узлы.

Комбинирование альтернатив

Перечисленные выше альтернативы можно произвольно комбинировать практически все методы, поэтому можно получить кольцевые двусвязные списки без дозорных, кольцевые односвязные списки с дозорными и т. Д.

Компромиссы

Как и в большинстве случаев компьютерного программирования и дизайна, ни один метод не подходит для всех обстоятельств. Структура данных связанного списка может хорошо работать в одном случае, но вызвать проблемы в другом. Это список некоторых распространенных компромиссов, связанных со структурой связанных списков.

Связанные списки и динамические массивы

Сравнение структур данных списка
Связанный список Массив Динамический массив Сбалансированное дерево Дерево хешированных массивов
ИндексированиеΘ (n)Θ (1)Θ (1)Θ (log n)Θ (log n)Θ (1)
Вставить / удалить в началеΘ (1)Н / ДΘ (n)Θ (log n)Θ (1)Θ (n)
Вставить / удалить в концеΘ (1) когда последний элемент известен;. Θ (n), если последний элемент неизвестенн / дΘ (1) амортизировано Θ (log n)Н / ДΘ (1) амортизировано
Вставить / удалить в серединевремя поиска + Θ (1)Н / ДΘ (n)Θ (log n)Н / ДΘ (n)
Пустое пространство (в среднем)Θ (n)0Θ(n)Θ (n)Θ (n)Θ (√n)

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

Связанные списки имеют несколько преимуществ перед динамическими характеристиками. Вставка или удаление элемента в определенной точке при условии, что мы уже проиндексировали указатель на узел (перед тем, который нужно удалить, или перед точкой вставки), является операцией с постоянным временем (в противном случае без ссылки это O (n)), тогда как вставка в динамический массив в случайных местах использует перемещение элементов в среднем и всех элементов в худшем случае. Можно «удалить» элемент из массива за постоянное время, каким-то образом пометить его слот как «свободный», это вызывает фрагментацию, которая снижает производительность итерации.

Более того, в связанном списке можно вставить произвольное элементы, ограниченное только общей доступной памятью; в то время как динамический массив в конечном итоге заполнит свою базовую структуру данных и его придется перераспределить - дорогостоящая операция, которая может быть невозможна даже при фрагментированной, хотя затраты на перераспределение быть усреднены по вставкам, затраты на вставка из-за перераспределения все равно будет амортизирована O (1). Это помогает с добавлением элементов в конце массива, но вставка (или удаление из) средних позиций по-прежнему сопряжена с непомерно высокими затратами из-за перемещения данных для непрерывности. Размер массива из которого удалены многие элементы, может также потребовать изменить размер, чтобы не тратить слишком много места.

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

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

. Некоторые гибридные решения пытаются объединить преимущества двух представлений. Развернутые связанные списки хранят несколько элементов в каждом узле списка, увеличивая производительность кеша и уменьшая накладные расходы памяти для ссылок. Кодирование CDR выполняет и то, и другое, заменяя ссылки фактическими данными, на которые имеются ссылки, которые простираются от конца ссылочной записи.

Хорошим примером, показывающим плюсы и минусы использования динамических массивов и связанных списков, является реализация программы, решающей проблему Иосифа Флавия. Проблема Иосифа Флавия - это метод выборов, который работает, когда группа людей встает в круг. Начиная с заранее определенного человека, можно сосчитать по кругу n раз. Когда будет достигнут n-й человек, его следует удалить из круга и попросить участников закрыть круг. Процесс повторяется до тех пор, пока не останется только один человек. Этот человек побеждает на выборах. Это показывает сильные и слабые стороны связанного списка по сравнению с динамическим массивом, потому что, если люди рассматриваются как подключенные узлы в круговом связном списке, то это показывает, насколько легко связанный список может удалять узлы (поскольку он должен только переставьте ссылки на разные узлы). Однако связанный список не сможет найти следующего человека, которого нужно будет удалить, и ему придется искать в списке, пока не найдет этого человека. С другой стороны, динамический массив будет плохо удалять узлы (или элементы), поскольку он не может удалить один узел без индивидуального смещения всех элементов вверх по списку на один. Однако очень легко найти n-го человека в круге, напрямую сославшись на него по его положению в массиве.

Проблема ранжирования списка касается эффективного преобразования представления связанного списка в массив. Хотя для обычного компьютера это тривиально, решение этой проблемы с помощью параллельного алгоритма сложно и было предметом многих исследований.

A сбалансированное дерево имеет аналогичные шаблоны доступа к памяти и накладные расходы на пространство для связанного списка, при этом разрешая гораздо более эффективное индексирование, принимая время O (log n) вместо O (n) для произвольного доступа. Однако операции вставки и удаления обходятся дороже из-за накладных расходов на манипуляции с деревом для поддержания баланса. Существуют схемы, позволяющие деревьям автоматически поддерживать себя в сбалансированном состоянии: деревья AVL или красно-черные деревья.

Односвязные линейные списки по сравнению с другими списками

Хотя двусвязные и Круговые списки имеют преимущества перед односвязными линейными списками, линейные списки предлагают некоторые преимущества, которые делают их предпочтительными в некоторых ситуациях.

Односвязный линейный список - это рекурсивная структура данных, поскольку она содержит указатель на меньший объект того же типа. По этой причине многие операции с односвязными линейными списками (такие как слияние двух списков или перечисление элементов в обратном порядке) часто имеют очень простые рекурсивные алгоритмы, намного проще, чем любое решение с использованием итеративных команд .. Хотя эти рекурсивные решения могут быть адаптированы для двусвязных и циклически связанных списков, процедуры обычно требуют дополнительных аргументов и более сложных базовых случаев.

Линейные односвязные списки также позволяют разделять хвосты, использовать общую конечную часть подсписка в качестве конечной части двух разных списков. В частности, если новый узел добавляется в начало списка, прежний список остается доступным как конец нового - простой пример постоянной структуры данных . Опять же, это неверно с другими вариантами: узел никогда не может принадлежать двум разным круговым или двусвязным спискам.

В частности, конечные дозорные узлы могут совместно использоваться односвязными некруглыми списками. Один и тот же конечный дозорный узел может использоваться для каждого такого списка. В Lisp, например, каждый правильный список заканчивается ссылкой на специальный узел, обозначенный nilили (), чей Ссылки CAR и CDRуказывают на себя. Таким образом, процедура Lisp может безопасно взять CARили CDRлюбого списка.

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

Двусвязные и односвязные

Двухсвязные списки требуют больше места на узел (если только не используется XOR-связывание ), а их элементарные операции дороже; но ими часто легче манипулировать, поскольку они обеспечивают быстрый и простой последовательный доступ к списку в обоих направлениях. В двусвязном списке можно вставить или удалить узел за постоянное количество операций, учитывая только адрес этого узла. Чтобы сделать то же самое в односвязном списке, необходимо иметь адрес указателя на этот узел, который является либо дескриптором для всего списка (в случае первого узла), либо полем ссылки в предыдущем узле. Некоторым алгоритмам требуется доступ в обоих направлениях. С другой стороны, двусвязные списки не допускают совместного использования хвостов и не могут использоваться в качестве постоянных структур данных.

Циркулярно-связанные или линейно-связанные

Циркулярно-связанный список может быть естественным вариантом для представляют массивы, которые являются естественно круглыми, например углы многоугольника , пул буферов, которые используются и освобождаются в порядке FIFO («первым пришел, первым ушел»), или набор процессы, которые должны быть с разделением времени в циклическом порядке. В этих приложениях указатель на любой узел служит дескриптором всего списка.

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

Круговой список можно разделить на два круговых списка за постоянное время, задав адреса последнего узла каждой части. Операция заключается в замене содержимого полей ссылок этих двух узлов. Применение той же операции к любым двум узлам в двух различных списках объединяет два списка в один. Это свойство значительно упрощает некоторые алгоритмы и структуры данных, такие как quad-edge и.

Простейшим представлением пустого кругового списка (если в этом есть смысл) является нулевой указатель, указывающий, что список не имеет узлов. Без этого выбора многие алгоритмы должны проверять этот особый случай и обрабатывать его отдельно. Напротив, использование null для обозначения пустого линейного списка более естественно и часто создает меньше особых случаев.

Использование контрольных узлов

Сторожевой узел может упростить определенные операции со списком, гарантируя, что следующий или предыдущий узлы существуют для каждого элемента, и что даже пустые списки имеют хотя бы один узел. Можно также использовать контрольный узел в конце списка с соответствующим полем данных, чтобы исключить некоторые тесты конца списка. Например, при сканировании списка в поисках узла с заданным значением x установка поля данных дозорного элемента на x делает ненужным проверку на конец списка внутри цикла. Другой пример - слияние двух отсортированных списков: если их контрольные точки имеют поля данных, установленные на + ∞, выбор следующего выходного узла не требует специальной обработки пустых списков.

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

Однако, если круговой список используется просто для имитации линейного списка, можно избежать некоторых из этих сложностей, добавив один контрольный узел в каждый список между последним и первым узлами данных. Согласно этому соглашению, пустой список состоит только из сигнального узла, указывающего на себя через ссылку следующего узла. В этом случае дескриптор списка должен быть указателем на последний узел данных перед дозорным, если список не пуст; или самому дозорному, если список пуст.

Тот же трюк можно использовать для упрощения обработки двусвязного линейного списка, превратив его в кольцевой двусвязный список с одним контрольным узлом. Однако в этом случае дескриптор должен быть единственным указателем на сам фиктивный узел.

Операции со связанными списками

При манипулировании связанными списками на месте необходимо соблюдать осторожность, чтобы не использовать значения что вы аннулировали в предыдущих заданиях. Это делает алгоритмы вставки или удаления узлов связанного списка несколько тонкими. В этом разделе приводится псевдокод для добавления или удаления узлов из списков с одиночной, двойной или циклической связью на месте. На всем протяжении мы будем использовать null для обозначения маркера конца списка или часового, который может быть реализован несколькими способами.

Линейно связанные списки

Односвязные списки

Наша структура данных узла будет иметь два поля. Мы также сохраняем переменную firstNode, которая всегда указывает на первый узел в списке или имеет значение null для пустого списка.

запись Узел {данные; // Данные, хранящиеся в узле Node next // A ссылка на следующий узел, null для последнего узла}
record List {Node firstNode // указывает на первый узел списка ; null для пустого списка}

Обойти односвязный список просто, начиная с первого узла и следуя каждой следующей ссылке, пока не дойдем до конца:

node: = list.firstNode в то время как узел не равен нулю (сделайте что-нибудь с node.data) node: = node.next

Следующий код вставляет узел после существующего узла в односвязном списке. Схема показывает, как это работает. Вставить узел перед уже существующим нельзя; вместо этого нужно отслеживать предыдущий узел и вставлять после него узел.

CPT-LinkedLists-addnode.svg
function insertAfter (Node node, Node newNode) // вставка newNode после node newNode.next: = node.next node.next: = newNode

Для вставки в начало списка требуется отдельная функция. Это требует обновления firstNode.

function insertBeginning (List list, Node newNode) // вставляем узел перед текущим первым узлом newNode.next: = list.firstNode list.firstNode: = newNode

Аналогично у нас есть функции для удаления узел после данного узла и для удаления узла из начала списка. Схема демонстрирует первое. Чтобы найти и удалить конкретный узел, нужно снова отслеживать предыдущий элемент.

CPT-LinkedLists-deletingnode.svg
function removeAfter (Node node) // удаляем узел после этого obsoleteNode: = node.next node.next: = node.next.next destroy obsoleteNode
function removeBeginning (Список списка) / / remove first node obsoleteNode: = list.firstNode list.firstNode: = list.firstNode.next // указать мимо удаленного узла destroy obsoleteNode

Обратите внимание, что removeBeginning ()устанавливает список.firstNodeдо nullпри удалении последнего узла в списке.

Поскольку мы не можем выполнить итерацию в обратном направлении, эффективные операции insertBeforeили removeBeforeневозможны. Вставка в список перед определенным узлом требует обхода списка, что в худшем случае будет иметь время работы O (n).

Добавление одного связанного списка к другому может быть неэффективным, если ссылка на хвост не сохраняется как часть структуры списка, потому что мы должны пройти весь первый список, чтобы найти хвост, а затем добавить второй список к этому. Таким образом, если два линейно связанных списка имеют длину n {\ displaystyle n}n , добавление списка имеет асимптотическую временную сложность O (n) {\ displaystyle O (n)}O (n) . В семействе языков Lisp добавление списка обеспечивается процедурой append .

Многие особые случаи операций со связанными списками могут быть устранены путем включения фиктивного элемента в начало списка. Это гарантирует отсутствие особых случаев для начала списка и делает ненужными как insertBeginning (), так и removeBeginning (). В этом случае первые полезные данные в списке будут найдены в списке . firstNode .next.

Циркулярно связанный список

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

Списки с круговой связью могут быть односвязными или двусвязными.

Оба типа списков с циклической связью выигрывают от возможности просматривать полный список, начиная с любого заданного узла. Это часто позволяет нам избежать сохранения firstNode и lastNode, хотя, если список может быть пустым, нам нужно специальное представление для пустого списка, например, переменная lastNode, которая указывает на какой-либо узел в списке или имеет значение NULL, если оно пусто; мы используем вот такой lastNode. Это представление значительно упрощает добавление и удаление узлов с непустым списком, но пустые списки тогда являются особым случаем.

Algorithms

Assuming that someNode is some node in a non-empty circular singly linked list, this code iterates through that list starting with someNode:

functioniterate(someNode) ifsomeNode ≠ nullnode := someNode dodo something with node.value node := node.next whilenode ≠ someNode

Notice that the test "whilenode ≠ someNode" must be at the end of the loop. If the test was moved to the beginning of the loop, the procedure would fail whenever the list had only one node.

This function inserts a node "newNode" into a circular linked list after a given node "node". If "node" is null, it assumes that the list is empty.

functioninsertAfter(Node node, Node newNode) ifnode = null// assume list is empty newNode.next := newNode elsenewNode.next := node.next node.next := newNode update lastNode variable if necessary

Suppose that "L" is a variable pointing to the last node of a circular linked list (or null if the list is empty). To append "newNode" to the end of the list, one may do

insertAfter(L, newNode) L := newNode

To insert "newNode" at the beginning of the list, one may do

insertAfter(L, newNode) ifL = nullL := newNode

This function inserts a value "newVal" before a given node "node" in O(1) time. We create a new node between "node" and the next node, and then put the value of "node" into that new node, and put "newVal" in "node". Thus, a singly linked circularly linked list with only a firstNode variable can both insert to the front and back in O(1) time.

functioninsertBefore(Node node, newVal) ifnode = null// assume list is empty newNode := newNode(data:=newVal, next:=newNode) elsenewNode := newNode(data:=node.data, next:=node.next) node.data := newVal node.next := newNode update firstNode variable if necessary

This function removes a non-null node from a list of size greater than 1 in O(1) time. It copies data from the next node into the node, and then sets the node's next pointer to пропустить следующий узел.

функция remove (Node node) if node ≠ null и размер списка>1 удалено Данные: = node.data node.data: = node.next.data node.next = node.next.next return deletedData
Связанные списки с использованием массивов узлов

Языки, которые не поддерживают какой-либо тип ссылки по-прежнему может создавать ссылки, заменяя указатели индексами массива. Подход состоит в том, чтобы сохранить массив из записей, где каждая запись имеет целочисленные поля, указывающие индекс следующего (и, возможно, предыдущего) узла в массиве. Не все узлы в массиве нужно использовать. Если записи также не поддерживаются, вместо них часто можно использовать параллельные массивы.

В качестве примера рассмотрим следующую запись связанного списка, в которой вместо указателей используются массивы:

запись Entry {integer next; // индекс следующей записи в массиве integer prev; // предыдущая запись (если двойная ссылка) string name; реальный баланс; }

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

integer listHead Entry Records [1000]

Связи между элементами формируются путем помещения индекса массива следующей (или предыдущей) ячейки в поле Next или Prev внутри данного элемента. Например:

ИндексСлед.Пред.ИмяБаланс
014Джонс, Джон123,45
1−10Смит, Джозеф234,56
2 (listHead)4-1Адамс, Адам0,00
3Игнорировать, Игнатий999,99
402Другой, Анита876,54
5
6
7

В приведенном выше примере для ListHeadбудет установлено значение 2, расположение первой записи в списке.. Обратите внимание, что записи 3 и 5–7 не входят в список. Эти ячейки доступны для любых дополнений к списку. Создав целочисленную переменную ListFree, можно создать свободный список, чтобы отслеживать, какие ячейки доступны. Если все записи используются, необходимо увеличить размер массива или удалить некоторые элементы, прежде чем новые записи можно будет сохранить в списке.

Следующий код задолженности будет перемещаться по списку и отображать имена и счета:

i: = listHead while i ≥ 0 // цикл по списку print i, Records [i].name, Records [i].balance // печать записи i: = Records [i].next

Когда вы сталкиваетесь с выбором, преимущества этого подхода включают:

  • Связанный список перемещаемый, то есть его можно перемещается в память по желанию, а также его можно быстро и напрямую сериализовать для хранения на диске или передачи по сети.
  • Особенно для небольшого списка индексов массива может занимать значительно меньше пространство, чем полный указатель на многих архитектурах.
  • Локальность ссылки можно улучшить их порядок, сохраняя узлы вместе в памяти и периодически меняя, хотя это также можно сделать в обычном хранилище.
  • Наивные распределители динамической памяти могут создавать чрезмерный объем служебной памяти для каждого выделенного узла; При этом подходе почти не используются накладные расходы на выделение памяти для каждого узла.
  • Как для динамического выделения памяти требуется поиск свободной памяти блока желаемого размера, чем использование динамического выделения памяти для каждого узла.

Однако у этого подхода есть один главный недостаток: он и управляет частным пространством для своих узлов. Это приводит к следующим проблемам:

  • Это увеличивает сложность реализации.
  • Рост большого массива, когда он заполнен, может быть трудным или невозможным, тогда как поиск места для узла связанного списка в большом, общем пул памяти может быть проще.
  • вместо добавления элементов в динамический массив иногда (когда он заполнен) неожиданно принимает линейное (O (n)) постоянного времени (хотя оно все еще амортизированная константа).
  • Использование общего пула памяти оставляет больше памяти для других данных, если список меньше ожидаемого или многих узлыеныены.

По этим причинам это в основном используется для языков, которые не включают динамическое выделение памяти. Эти недостатки также смягчаются, максимальный размер известен во время создания массива.

Поддержка

Многие языков программирования, такие как Lisp и Scheme, имеют встроенные односвязные списки. Во многих функциональных языков, эти списки состоят из узлов, из которых называется cons или cons-каждая ячейка. У минусов есть два поля: автомобиль, ссылка на данные для этого узла, и cdr, ссылка на следующий узел. Хотя cons-the Основная цель.

На языке, которые включают абстрактные типы данных или шаблоны, для построения связанных списков доступных ADT или связанных списков. На других языках связанные обычно строятся с использованием ссылок вместе с Основные.

Внутреннее и внешнее хранилище

При построении связанного списка каждый сталкивается с выбором: для хранения данных списка непосредственно в узлах связанного списка, называемых внутренним хранилищем, или просто для хранения ссылок на данные, называемые внешние хранилища. Объемные ссылки и упрощает управление памятью для списка (его данные создаются и освобождаются одновременно с узлами списка) в целом, имеет лучшую локальность ссылок.).

Внешнее хранилище, с другой стороны, имеет то преимущество, что является более универсальным. Это также позволяет легко помещать одни и те же данные в несколько связанных списков. Хотя с внутренними хранилищами одни и те же данные могут быть помещены в несколько списков путем нескольких ссылок в исходных данных узла, тогда необходимо создать отдельные процедуры для добавления или удаления ячеек на основе каждого поля. Можно создать дополнительные списки элементов, которые используют внутреннее хранилище, используя дополнительные списки хранятся ссылки на узлы связанного списка, хранящиеся данные.

В общем случае, если набор структур данных необходимо включить в связанных списки, лучший подходом является внешнее хранилище. Если набор структур данных необходимо включить только в один связанный список, то нужно включить только внутренний хранилище, если только не доступен общий пакет связанного списка, использующий внешнее хранилище. Точно так же, если разные наборы данных, которые могут храниться в одной и той же структуре данных, должны быть включены в один связанный список, тогда подойдет внутреннее хранилище.

Другой подход, который можно использовать с некоторыми языками, предполагает разные структурные данные, включая следующие (и предыдущие, если двусвязный список) ссылки в одном месте. Общая структура, которая включает в себя набор отдельных структур для верхней части (начала). Затем могут быть созданы универсальные подпрограммы, которые могут быть созданы для выполнения операций типа связанного списка, отдельные подпрограммы, затем могут быть созданы системные данные. Этот подход часто используется в процедурах одного типа синтаксического сообщения, когда используются несколько типов сообщений, но все они начинаются с того же набора полей, обычно включая поле для типа сообщения. Общие процедуры используются для добавления новых сообщений в очередь при их получении и удалении их из очереди для обработки сообщения. Затем поле типа используется для вызова правильной процедуры для обработки конкретного сообщения.

Пример внутреннего и внешнего хранилища

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

record member {// член члена семьи следующий; строка firstName; целочисленный возраст; } запись семья {// сама семья семья следующая; строка lastName; строковый адрес; member members // глава списка этого семейства}

Чтобы распечатать полный список семейств и их членов, используя внутреннюю память, мы могли бы написать:

aFamily: = Families // start во главе списка семейств while aFamily ≠ null // цикл по списку семейств выводит информацию о семействе aMember: = aFamily.members // получает главу списка членов этого семейства while aMember ≠ null // цикл по списку членов выводит информацию о члене aMember: = aMember.next aFamily: = aFamily.next

Используя внешнее хранилище, мы бы создали следующие структуры:

record node {// следующий узел общей структуры ссылок; данные указателя // общий указатель для данных в узле} запись член {// структура члена семейства string firstName; целое число age} record family {// структура для семейства string lastName; строковый адрес; члены // глава списка членов этого семейства}

Чтобы распечатать полный список семейств и их членов, используя внешнее хранилище, мы могли бы написать:

famNode: = Families // start во главе списка семейств while famNode ≠ null // цикл по списку семейств aFamily: = (family) famNode.data // извлекаем семью из узла выводим информацию о семействе memNode: = aFamily.members // получаем список членов семьи while memNode ≠ null // перебираем список членов aMember: = (member) memNode.data // извлекаем член из узла информации о члене печати memNode: = memNode. next famNode: = famNode.next

Обратите внимание, что при использовании внешнего хранилища требуется дополнительный шаг для извлечения записи из узла и преобразования ее в соответствующий тип данных. Это связано с тем, что и список семейств хранятся в двух списках семейств с использованием одной и той же структуры данных (узла).

Пока количество семейств, к которому может принадлежать член, известно во время компиляции, внутреннее хранилище работает нормально. Если, однако, член должен быть включен в произвольное количество семейств, а конкретный номер указан только во время выполнения, требуется внешнее хранилище.

Ускорение поиска

Для поиска определенного элемента в связанном списке, даже если он отсортирован, обычно требуется время O (n) (линейный поиск ). Это один из основных недостатков связанных списков по сравнению с другими структурами данных. В дополнение к варианту выше, рассмотрен представлен ниже два простого способа краткого времени поиска.

В неупорядоченном списке одной простой эвристикой для уменьшения среднего времени поиск эвристика перехода на передний план, которая просто перемещает элемент в начало списка после его обнаружения. Эта схема, удобная для создания простых кешей, гарантирует, что самые недавно использованные элементы также будут быстрее всего найдены.

Другой распространенный подход - «проиндексировать » связанный список с использованием более эффективной внешней структуры данных. Например, можно построить красно-черное дерево или хэш-таблицу, элементы которой используются ссылками на узлы связанного списка. В одном списке может быть построено несколько таких индексов. Недостатком является то, что эти индексы могут нуждаться в обновлении каждого раз, когда узел добавляется или удаляется (или по крайней мере, перед повторным использованием этого индекса).

Списки произвольного доступа

A - это список с поддержкой быстрого произвольного доступа для чтения или изменений любого элемента в списке. Одна из реализаций - использование косой двоичной системы счисления, которая включает список деревьев со специальными свойствами; это позволяет выполнять операции с постоянным временем в худшем случае и произвольный доступ по логарифмическому времени к элементу по индексу. Списки произвольного доступа могут быть реализованы как постоянные структуры данных.

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

Простой расширением списков произвольного доступа, который дает дополнительную операцию, которая дает минимальный элемент во всем списке за постоянное время (без сложностей мутации).

Связанные структуры данных

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

Список пропуска - это связанный список, дополненный слоями указателей для быстрого перехода через большое количество элементов и последующего перехода на следующий уровень. Этот процесс продолжается до нижнего уровня, который является фактическим списком.

A двоичное дерево можно рассматривать как тип связанного списка, элементы которого сами являются выбранными списками одного и того же характера. В результате каждый узел может инициировать ссылку на первый узел одного или двух других связанных списков, которые вместе со своим содержимым образуют поддеревья этого узла.

внутри связанный список - это связанный список, в котором каждый узел содержит массив значений данных. Это приводит к увеличению производительности кэш, поскольку больше элементов списка включает в себя дополнительные расходы памяти, поскольку для каждого элемента требуется меньше метаданных.

A хеш-таблица может использовать связанные списки для хранения цепочек элементов, хэш-значения находятся в одной и той же позиции в хеш-таблице.

A куча разделяет некоторые свойства упорядочивания связанного списка, но почти всегда реализуется с использованием. Вместо использования сайтов к узлу следующий и последний индекс индексов вычисляет текущий индекс данных.

A самоорганизующийся список переупорядочивает свои узлы на основе некоторой эвристики, которая сокращает время поиска для извлечений, сохраняя часто используемые узлы во главе списка.

Примечания
Ссылки
Дополнительная литература
Внешние ссылки
Викискладе есть медиафайлы, связанные с Связанные списки.
Последняя правка сделана 2021-05-27 10:42:04
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте