Перехеширование — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(При открытом типе)
м (rollbackEdits.php mass rollback)
 
(не показано 68 промежуточных версий 9 участников)
Строка 1: Строка 1:
При любом виде хеширования возникают коллизии. В случае открытого хеширования большое количество коллизий приведет к большой длине цепочек, при закрытом или двойном хешировании - к переполнению массива.
+
При добавлении в хеш-таблицу большого количества элементов могут возникнуть ухудшения в ее работе. Обработка любого вызова будет занимать больше времени из-за увеличения размеров цепочек при хешировании на списках или кластеризации при хешировании с открытой адресацией, также, при хешировании с открытой адресацией может произойти переполнение таблицы. Для избежания таких ситуаций используется выбор новой хеш-функции и (или) хеш-таблица большего размера. Этот процесс называется '''перехеширование''' (''rehashing'').
  
{{Определение
 
|definition=
 
'''Перехеширование''' - процесс перехода к новой хеш-функции и (или) хеш-таблице для избежания переполнения таблицы или уменьшения времени работы операций с хеш-таблицей.}}
 
  
 
==Перехеширование при разных типах хеширования==
 
==Перехеширование при разных типах хеширования==
===При открытом типе===
 
При использовании [[Открытое и закрытое хеширование|открытого]] метода, элементы с одинаковым результатом хеш-функции помещают в список. Так как операции <tex>Add(x)</tex>, <tex>Exists(x)</tex> и <tex>Delete(x)</tex> работают за <tex>O(l)</tex>, где <tex>l</tex> - длина списка, то с некоторого момента выгодно увеличить размер хеш-таблицы, чтобы поддерживать амортизационную стоимость операции <tex>O(1)</tex>.
 
  
Рассмотрим следующий алгоритм перехеширования: когда в хеш-таблицу добавлено <tex>\frac{4}{3}n</tex> элементов, где <tex>n</tex> - размер хеш-таблицы, создадим новую хеш-таблицу размера <tex>2n</tex>, и последовательно переместим в нее все элементы первой таблицы. При этом, сменим хеш-функцию так, чтобы она выдавала значения <tex>[0..2n-1]</tex> (в функциях, использующих остаток от деления на длину таблицы, достаточно брать остаток от деления на <tex>2n</tex>).
+
===При хешировании цепочками===
  
Найдем амортизационную стоимость добавления, после которого было сделано перехеширование, используя метод предоплаты. С момента последнего перехеширования было произведено не менее <tex>\frac{2}{3}n</tex> операций <tex>Add(x)</tex>, так как изначально в массиве находится <tex>\frac{2}{3}n</tex> элементов (или <tex>0</tex> в начале работы), а перехеширование происходит при наличии <tex>\frac{4}{3}n</tex> элементов.  
+
При использовании [[Разрешение коллизий|хеширования цепочками]] , элементы с одинаковым результатом хеш-функции помещают в список. Так как операции <tex>\mathrm{add(x)}</tex>, <tex>\mathrm{contains(x)}</tex> и <tex>\mathrm{remove(x)}</tex> работают за <tex>O(l)</tex>, где <tex>l</tex> {{---}} длина списка, то с некоторого момента выгодно увеличить размер хеш-таблицы, чтобы поддерживать амортизационную стоимость операции <tex>O(1)</tex>.
  
Для проведения перехеширования необходимо произвести <tex>\frac{4}{3}n</tex> операций <tex>Add(x)</tex>, средняя стоимость которых составляет <tex>O(1)</tex> ''(Анализ открытого хеширования см. Т.Корман, второе издание, стр. 288)'', потратить <tex>\frac{4}{3}n</tex> операций на проход хеш-таблицы, и <tex>\frac{4}{3}n</tex> операций на удаление предыдущей таблицы. В итоге, если мы увеличим стоимость каждой операции <tex>Add(x)</tex> на <tex>6</tex>, то есть на <tex>O(1)</tex>, операция перехеширования будет полностью предоплачена. Значит, амортизационная стоимость перехеширования при открытом типе хеш-таблицы равна <tex>O(1)</tex>.
+
Рассмотрим следующий алгоритм перехеширования: когда в хеш-таблицу добавлено <tex dpi = "150">\frac{4n}{3}</tex> элементов, где <tex>n</tex> {{---}} размер хеш-таблицы, создадим новую хеш-таблицу размера <tex>2n</tex>, и последовательно переместим в нее все элементы первой таблицы. При этом, сменим хеш-функцию так, чтобы она выдавала значения <tex>[0..2n-1]</tex>.
  
===При закрытом типе===
+
Найдем амортизационную стоимость добавления, после которого было сделано перехеширование, используя метод предоплаты. С момента последнего перехеширования было произведено не менее <tex dpi = "150">\frac{2n}{3}</tex> операций <tex>\mathrm{add(x)}</tex>, так как изначально в массиве находится <tex dpi = "150">\frac{2n}{3}</tex> элементов (или <tex>0</tex> в начале работы), а перехеширование происходит при наличии <tex dpi = "150">\frac{4n}{3}</tex> элементов.
 +
 
 +
Для проведения перехеширования необходимо произвести <tex dpi = "150">\frac{4n}{3}</tex> операций <tex>\mathrm{add}(x)</tex>, средняя стоимость которых составляет <tex>O(1)</tex> , потратить <tex dpi = "150">\frac{4n}{3}</tex> операций на проход хеш-таблицы, и <tex dpi = "150">\frac{4n}{3}</tex> операций на удаление предыдущей таблицы. В итоге, если мы увеличим стоимость каждой операции <tex>\mathrm{add}(x)</tex> на <tex>6</tex>, то есть на <tex>O(1)</tex>, операция перехеширования будет полностью предоплачена. Значит, амортизационная стоимость перехеширования при открытом типе хеш-таблицы равна <tex>O(1)</tex>.
 +
 
 +
===При хешировании с открытой адресацией===
 +
При использовании [[Разрешение коллизий|хеширования цепочками]] , операции  <tex>\mathrm{add}(x)</tex>, <tex>\mathrm{contains}(x)</tex> и <tex>\mathrm{remove(x)}</tex> в худшем случае работают за <tex>O(k)</tex>, где <tex>k</tex> {{---}} количество уже добавленных в таблицу элементов, поэтому перехеширование надо проводить при неполном заполнении хеш-таблицы.
 +
 
 +
Будем проводить перехеширование при заполнении таблицы на <tex dpi = "150">\frac{n}{2}</tex>, увеличивая размер таблицы в <tex>2</tex> раза. Аналогично случаю с открытым хешированием, для перехеширования необходимо будет потратить <tex>O(n)</tex> операций на обход таблицы, <tex>O(n)\cdot A</tex> элементарных операций на добавление элементов, где <tex>A</tex> {{---}} стоимость операции <tex>\mathrm{add(x)}</tex>, и <tex>O(n)</tex> операций на удаление таблицы. Так как <tex>A \geqslant 1</tex>, и между последовательными перехешированиями производится <tex>O(n)</tex> добавлений, то можно предоплатить перехеширование, увеличив стоимость операции <tex>\mathrm{add(x)}</tex> на <tex>O(1)</tex>, и не изменив стоимость остальных операций.
  
 
==См. также==
 
==См. также==
* [[Амортизационный анализ. Метод предоплаты]]
+
* [[Амортизационный анализ]]
 
* [[Хеширование]]
 
* [[Хеширование]]
 
* [[Открытое и закрытое хеширование]]
 
* [[Открытое и закрытое хеширование]]
==Источники==
+
 
* Т. Кормен, Ч. Лейзерсон, Р. Ривест: Алгоритмы: построение и анализ, 2-е изд
+
==Источники информации==
 +
* ''Кормен, Томас Х., Лейзерсон, Чарльз И., Ривест, Рональд Л., Штайн Клиффорд'' «Алгоритмы: построение и анализ», 2-е издание. Пер. с англ. — М.:Издательский дом "Вильямс", 2010. — 1296 с.: ил. — Парал. тит. англ. — ISBN 978-5-8459-0857-5 (рус.)
 +
* Дональд Кнут. «Искусство программирования, том 3. Сортировка и поиск» {{---}} «Вильямс», 2007 г.{{---}} ISBN 0-201-89685-0
 +
<references/>
 +
 
 +
 
 +
[[Категория: Дискретная математика и алгоритмы ]]
 +
[[Категория: Амортизационный анализ]]
 +
[[Категория: Хеширование]]

Текущая версия на 19:12, 4 сентября 2022

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


Перехеширование при разных типах хеширования

При хешировании цепочками

При использовании хеширования цепочками , элементы с одинаковым результатом хеш-функции помещают в список. Так как операции [math]\mathrm{add(x)}[/math], [math]\mathrm{contains(x)}[/math] и [math]\mathrm{remove(x)}[/math] работают за [math]O(l)[/math], где [math]l[/math] — длина списка, то с некоторого момента выгодно увеличить размер хеш-таблицы, чтобы поддерживать амортизационную стоимость операции [math]O(1)[/math].

Рассмотрим следующий алгоритм перехеширования: когда в хеш-таблицу добавлено [math]\frac{4n}{3}[/math] элементов, где [math]n[/math] — размер хеш-таблицы, создадим новую хеш-таблицу размера [math]2n[/math], и последовательно переместим в нее все элементы первой таблицы. При этом, сменим хеш-функцию так, чтобы она выдавала значения [math][0..2n-1][/math].

Найдем амортизационную стоимость добавления, после которого было сделано перехеширование, используя метод предоплаты. С момента последнего перехеширования было произведено не менее [math]\frac{2n}{3}[/math] операций [math]\mathrm{add(x)}[/math], так как изначально в массиве находится [math]\frac{2n}{3}[/math] элементов (или [math]0[/math] в начале работы), а перехеширование происходит при наличии [math]\frac{4n}{3}[/math] элементов.

Для проведения перехеширования необходимо произвести [math]\frac{4n}{3}[/math] операций [math]\mathrm{add}(x)[/math], средняя стоимость которых составляет [math]O(1)[/math] , потратить [math]\frac{4n}{3}[/math] операций на проход хеш-таблицы, и [math]\frac{4n}{3}[/math] операций на удаление предыдущей таблицы. В итоге, если мы увеличим стоимость каждой операции [math]\mathrm{add}(x)[/math] на [math]6[/math], то есть на [math]O(1)[/math], операция перехеширования будет полностью предоплачена. Значит, амортизационная стоимость перехеширования при открытом типе хеш-таблицы равна [math]O(1)[/math].

При хешировании с открытой адресацией

При использовании хеширования цепочками , операции [math]\mathrm{add}(x)[/math], [math]\mathrm{contains}(x)[/math] и [math]\mathrm{remove(x)}[/math] в худшем случае работают за [math]O(k)[/math], где [math]k[/math] — количество уже добавленных в таблицу элементов, поэтому перехеширование надо проводить при неполном заполнении хеш-таблицы.

Будем проводить перехеширование при заполнении таблицы на [math]\frac{n}{2}[/math], увеличивая размер таблицы в [math]2[/math] раза. Аналогично случаю с открытым хешированием, для перехеширования необходимо будет потратить [math]O(n)[/math] операций на обход таблицы, [math]O(n)\cdot A[/math] элементарных операций на добавление элементов, где [math]A[/math] — стоимость операции [math]\mathrm{add(x)}[/math], и [math]O(n)[/math] операций на удаление таблицы. Так как [math]A \geqslant 1[/math], и между последовательными перехешированиями производится [math]O(n)[/math] добавлений, то можно предоплатить перехеширование, увеличив стоимость операции [math]\mathrm{add(x)}[/math] на [math]O(1)[/math], и не изменив стоимость остальных операций.

См. также

Источники информации

  • Кормен, Томас Х., Лейзерсон, Чарльз И., Ривест, Рональд Л., Штайн Клиффорд «Алгоритмы: построение и анализ», 2-е издание. Пер. с англ. — М.:Издательский дом "Вильямс", 2010. — 1296 с.: ил. — Парал. тит. англ. — ISBN 978-5-8459-0857-5 (рус.)
  • Дональд Кнут. «Искусство программирования, том 3. Сортировка и поиск» — «Вильямс», 2007 г.— ISBN 0-201-89685-0