Участник:Siziyman/Анализ — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 35: Строка 35:
  
 
=====Двоичный счётчик=====
 
=====Двоичный счётчик=====
Рассмотрим также двоичный инкрементальный счётчик(единственная возможная операция - увеличить значение на единицу).  
+
Рассмотрим также двоичный инкрементальный счётчик (единственная возможная операция - увеличить значение на единицу).  
 
Пусть результат увеличения счётчика - <tex>n</tex>, тогда в худшем случае необходимо изменить значения <tex> 1 + \lfloor log n \rfloor</tex> бит, тогда стоимость <tex>n</tex> операций - <tex> O(n log n) </tex>.
 
Пусть результат увеличения счётчика - <tex>n</tex>, тогда в худшем случае необходимо изменить значения <tex> 1 + \lfloor log n \rfloor</tex> бит, тогда стоимость <tex>n</tex> операций - <tex> O(n log n) </tex>.
 
Теперь воспользуемся для анализа методом усреднения.
 
Теперь воспользуемся для анализа методом усреднения.
Строка 72: Строка 72:
 
=====Динамические хэш-таблицы=====
 
=====Динамические хэш-таблицы=====
  
Рассмотрим хэш-таблицы, использующие цепочки для разрешения коллизий. Для того, чтобы поиск элемента в цепочке не начал слишком сильно влиять на производительность, введём величину <tex> \alpha </tex>  {{---}} фактор загруженности(load factor) нашей таблицы.
+
Рассмотрим хэш-таблицы, использующие цепочки для разрешения коллизий. Для того, чтобы поиск элемента в цепочке не начал слишком сильно влиять на производительность, введём величину <tex> \alpha </tex>  {{---}} фактор загруженности (load factor) нашей таблицы.
 
Пусть в нашей таблице размером <tex> m </tex> хранится <tex> n </tex> элементов, тогда <tex dpi = "130"> \alpha = \genfrac{}{}{}{}{n}{m} </tex>
 
Пусть в нашей таблице размером <tex> m </tex> хранится <tex> n </tex> элементов, тогда <tex dpi = "130"> \alpha = \genfrac{}{}{}{}{n}{m} </tex>
Введём значение <tex>\alpha_{max}</tex>, при превышении которого таблица будет пересоздана с увеличением размера и все элементы будут перераспределены по-новому(rehashing). Аналогично будем пересоздавать таблицу с уменьшением размера при удалении элемента.
+
Введём значение <tex>\alpha_{max}</tex>, при превышении которого таблица будет пересоздана с увеличением размера и все элементы будут перераспределены по-новому (rehashing). Аналогично будем пересоздавать таблицу с уменьшением размера при удалении элемента.
 
Из-за этого сложность операции <tex>\mathrm{add}{}</tex> из <tex> O(1) </tex> станет в худшем случае <tex> O(n) </tex>, так как для пересоздания таблицы нам требуется <tex> O(n) </tex> операций.
 
Из-за этого сложность операции <tex>\mathrm{add}{}</tex> из <tex> O(1) </tex> станет в худшем случае <tex> O(n) </tex>, так как для пересоздания таблицы нам требуется <tex> O(n) </tex> операций.
Стоит отметить, что изменение размера массива всегда должно быть геометрическим(в <tex> k </tex> раз), потому как при изменении размера на константу нам потребуется <tex>O(n)</tex> раз пересоздать таблицу, что приведёт к сложности операции <tex>\mathrm{add}{}</tex> в <tex> O(n^2) </tex>.
+
Стоит отметить, что изменение размера массива всегда должно быть геометрическим (в <tex> k </tex> раз), потому как при изменении размера на константу нам потребуется <tex>O(n)</tex> раз пересоздать таблицу, что приведёт к сложности операции <tex>\mathrm{add}{}</tex> в <tex> O(n^2) </tex>.
  
 
Введём такую потенциальную функцию, что она будет "запасать" время по мере удаления фактора загруженности от <tex dpi = "130">\genfrac{}{}{}{}{1}{2}</tex>:
 
Введём такую потенциальную функцию, что она будет "запасать" время по мере удаления фактора загруженности от <tex dpi = "130">\genfrac{}{}{}{}{1}{2}</tex>:
Строка 106: Строка 106:
  
 
Рассмотрим реализацию очереди на двух стеках. Пусть наши стеки имеют операции <tex>\mathrm{push}{}</tex> и <tex>\mathrm{pop}{}</tex>, обе стоимостью <tex>1</tex>.
 
Рассмотрим реализацию очереди на двух стеках. Пусть наши стеки имеют операции <tex>\mathrm{push}{}</tex> и <tex>\mathrm{pop}{}</tex>, обе стоимостью <tex>1</tex>.
Пусть каждое добавление элемента в очередь будет стоить 3 монеты. Это покроет стоимость операций <tex>\mathrm{push}{}</tex> и <tex>\mathrm{pop}{}</tex> для переноса элемента из первого стека во второй, если потребуется, и ещё 1 монета будет нужна для того, чтобы поместить элемент в первый стек. Стоимость удаления элемента из очереди {{---}} 1 монета(она потребуется нам для удаления элемента из второго стека).
+
Пусть каждое добавление элемента в очередь будет стоить 3 монеты. Это покроет стоимость операций <tex>\mathrm{push}{}</tex> и <tex>\mathrm{pop}{}</tex> для переноса элемента из первого стека во второй, если потребуется, и ещё 1 монета будет нужна для того, чтобы поместить элемент в первый стек. Стоимость удаления элемента из очереди {{---}} 1 монета (она потребуется нам для удаления элемента из второго стека).
  
 
Таким образом, амортизационная стоимость каждой операции {{---}} <tex> O(1) </tex>.
 
Таким образом, амортизационная стоимость каждой операции {{---}} <tex> O(1) </tex>.

Версия 20:45, 10 мая 2014

Основные определения

Определение:
Амортизационный анализ — метод подсчета времени, требуемого для выполнения последовательности операций над структурой данных. При этом время усредняется по всем выполняемым операциям, и анализируется средняя производительность операций в худшем случае.

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

Определение:
Средняя амортизационная стоимость операций — величина [math]a[/math], находящаяся по формуле: [math]a = \genfrac{}{}{}{}{\sum\limits^{n}_{i = 1} {t_i}}{n}[/math], где [math]t_1,t_2 \dots t_n[/math] - время выполнения операций [math]1,2 \dots n[/math], совершённых над структурой данных.

Амортизационный анализ использует следующие методы:

1. Метод усреднения (метод группового анализа).

2. Метод потенциалов.

3. Метод предоплаты (метод бухгалтерского учета).

Метод усреднения

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

Примеры

Стек с multipop

Рассмотрим стек с операцией [math]\mathrm{multipop}{(a)}[/math] — извлечение из стека [math]a[/math] элементов. В худшем случае она работает за [math]O(n)[/math] времени, если удаляются все элементы массива. Однако прежде чем удалить элемент, его нужно добавить в стек. Итак, если в стеке было не более [math]n[/math] элементов, то в худшем случае с каждым из них могли быть произведены 2 операции - добавление в стек и извлечение из него. Например, если было [math]n[/math] операций [math]\mathrm{push}{}[/math] - добавление в стек, стоимость каждой [math]O(1)[/math], и одна операция [math]\mathrm{multipop}{(n)}[/math], то суммарное время всех операций — [math]O(n)[/math], всего операций [math]n + 1[/math], а значит, амортизационная стоимость операции — [math]O(1)[/math].

Распишем приведённые рассуждения более формально. Пусть [math]n[/math] — количество операций, [math]m[/math] — количество элементов, задействованных в этих операциях. Очевидно, [math]m \leqslant n[/math] Тогда:

[math]a = \genfrac{}{}{}{}{\sum\limits^{n}_{i=1} {t_i}}{n} = \genfrac{}{}{}{}{\sum\limits^{n}_{i=1} \sum\limits^{m}_{j=1} {t_{ij}}}{n} = \genfrac{}{}{}{}{\sum\limits^{m}_{j=1} \sum\limits^{n}_{i=1} {t_{ij}}}{n},[/math] где [math]{t_{ij}}[/math] — стоимость [math]i[/math]-ой операции над [math]j[/math]-ым элементом. Величина [math]\sum\limits^{n}_{i=1} {t_{ij}}[/math] не превосходит 2, т. к. над элементом можно совершить только 2 операции, стоимость которых равна 1 — добавление и удаление. Тогда:

[math]a \leqslant \genfrac{}{}{}{}{2m}{n} \leqslant 2,[/math] так как [math]m \leqslant n[/math].

Таким образом, средняя амортизационная стоимость операций [math]a = O(1)[/math].

Двоичный счётчик

Рассмотрим также двоичный инкрементальный счётчик (единственная возможная операция - увеличить значение на единицу). Пусть результат увеличения счётчика - [math]n[/math], тогда в худшем случае необходимо изменить значения [math] 1 + \lfloor log n \rfloor[/math] бит, тогда стоимость [math]n[/math] операций - [math] O(n log n) [/math]. Теперь воспользуемся для анализа методом усреднения. Каждый следующий бит изменяет своё значение в [math]n, \genfrac{}{}{}{}{n}{2}, \genfrac{}{}{}{}{n}{4} \dots[/math] операциях. Общая стоимость: [math] \sum\limits_{i=0}^{\lfloor log n \rfloor} \genfrac{}{}{}{}{n}{2^i} \lt 2n = O(n)[/math];

[math] \genfrac{}{}{}{}{O(n)}{n} = O(1) [/math]; В итоге амортизированная стоимость одной операции - [math]O(1)[/math].

Метод потенциалов

Теорема (О методе потенциалов):
Введём для каждого состояния структуры данных величину [math]\Phi[/math] — потенциал. Изначально потенциал равен [math]\Phi_0[/math], а после выполнения [math]i[/math]-ой операции — [math]\Phi_i[/math]. Стоимость [math]i[/math]-ой операции обозначим [math]a_i = t_i + \Phi_i - \Phi_{i-1}[/math]. Пусть [math]n[/math] — количество операций, [math]m[/math] — размер структуры данных. Тогда средняя амортизационная стоимость операций [math]a = O(f(n, m)),[/math] если выполнены два условия:

1) Для любого [math]i: \enskip a_i = O(f(n, m))[/math]

2) Для любого [math]i: \enskip \Phi_i = O(n \relax f(n, m))[/math]
Доказательство:
[math]\triangleright[/math]
[math]a = \genfrac{}{}{}{}{\sum\limits^{n}_{i = 1} {t_i}}{n} = \genfrac{}{}{}{}{\sum\limits^{n}_{i = 1} {a_i} + \sum\limits^{n - 1}_{i = 0} {\Phi_i} - \sum\limits^{n}_{i = 1} {\Phi_i} }{n} = \genfrac{}{}{}{}{n \relax O(f(n, m)) + \Phi_0 - \Phi_n}{n} = O(f(n, m))[/math]
[math]\triangleleft[/math]

Примеры

Стек с multipop

В качестве примера вновь рассмотрим стек с операцией [math]\mathrm{multipop}{(a)}[/math]. Пусть потенциал — это количество элементов в стеке. Тогда:

    1. [math]a_{push} = 1 + 1 = 2,[/math] т. к. время выполнения операции [math]\mathrm{push}{}[/math] — 1, и изменение потенциала — тоже 1.
    2. [math]a_{pop} = 1 - 1 = 0,[/math] т. к. время выполнения операции [math]\mathrm{pop}{}[/math] — 1, а изменение потенциала — -1.
    3. [math]a_{multipop} = k - k = 0,[/math] т. к. время выполнения операции [math]\mathrm{multipop}{(k)}[/math] — k, а изменение потенциала — -k.
  1. Для любого [math]i: \enskip \Phi_i = O(n),[/math] так как элементов в стеке не может быть больше [math]n[/math]

Таким образом, [math]f(n, m) = 1[/math], а значит, средняя амортизационная стоимость операций [math]a = O(1)[/math].

Динамические хэш-таблицы

Рассмотрим хэш-таблицы, использующие цепочки для разрешения коллизий. Для того, чтобы поиск элемента в цепочке не начал слишком сильно влиять на производительность, введём величину [math] \alpha [/math] — фактор загруженности (load factor) нашей таблицы. Пусть в нашей таблице размером [math] m [/math] хранится [math] n [/math] элементов, тогда [math] \alpha = \genfrac{}{}{}{}{n}{m} [/math] Введём значение [math]\alpha_{max}[/math], при превышении которого таблица будет пересоздана с увеличением размера и все элементы будут перераспределены по-новому (rehashing). Аналогично будем пересоздавать таблицу с уменьшением размера при удалении элемента. Из-за этого сложность операции [math]\mathrm{add}{}[/math] из [math] O(1) [/math] станет в худшем случае [math] O(n) [/math], так как для пересоздания таблицы нам требуется [math] O(n) [/math] операций. Стоит отметить, что изменение размера массива всегда должно быть геометрическим (в [math] k [/math] раз), потому как при изменении размера на константу нам потребуется [math]O(n)[/math] раз пересоздать таблицу, что приведёт к сложности операции [math]\mathrm{add}{}[/math] в [math] O(n^2) [/math].

Введём такую потенциальную функцию, что она будет "запасать" время по мере удаления фактора загруженности от [math]\genfrac{}{}{}{}{1}{2}[/math]: [math] \Phi = 2|{n - m/2}| [/math] Предположим, не умаляя общности, что[math]\alpha_{max} = 1[/math]. Теперь рассмотрим все возможные случаи для каждой из операций [math]add, remove, find[/math].

  1. Операция [math]\mathrm{add}{}: n[/math] увеличивается на единицу. Следовательно, имеются три случая:
    1. [math]\genfrac{}{}{}{}{1}{2} \leqslant \alpha \lt 1 [/math]: потенциал увеличивается на 2, следовательно амортизированное время — [math]1 + 2 = 3[/math].
    2. [math]\alpha \lt \genfrac{}{}{}{}{1}{2}[/math]: потенциал уменьшается на 2, и амортизированное время [math] 1 - 2 = -1 [/math].
    3. [math]\alpha = 1[/math]: Таблица увеличивается в размере, так что реальная сложность — [math] 1 + m [/math]. Но потенциал изменяется с [math]m[/math] до нуля, следовательно амортизационная сложность — [math] 1 + m - m = 1[/math].
  2. [math]\mathrm{find}{}:[/math] Потенциал не изменяется, следовательно и реальная, и амортизированная сложности — [math]1[/math].
  3. [math]\mathrm{remove}{}: n[/math] уменьшается на единицу. Возможны три случая:
    1. [math]\genfrac{}{}{}{}{1}{2} \leqslant \alpha \lt 1 [/math]: потенциал уменьшается на 2, и амортизированное время [math] 1 - 2 = -1 [/math].
    2. [math]\alpha \lt \genfrac{}{}{}{}{1}{2}[/math]: потенциал увеличивается на 2, следовательно амортизированное время — [math]1 + 2 = 3[/math].
    3. [math]\alpha = 1[/math]: Таблица уменьшается в размере, следовательно реальная сложность — [math] 1 + \genfrac{}{}{}{}{m}{4}[/math], а потенциал меняется от [math]\genfrac{}{}{}{}{m}{2}[/math] до нуля, следовательно амортизированная стоимость — [math] 1 + \genfrac{}{}{}{}{m}{4} - \genfrac{}{}{}{}{m}{2} = 1 - \genfrac{}{}{}{}{m}{4}[/math].

В каждом случае амортизированное время одной операции — [math]O(1)[/math]. Если мы создадим нашу таблицу так, что [math]\alpha = \genfrac{}{}{}{}{1}{2}[/math], то изначально потенциал будет равен нулю. И так мы будем знать, что потенциал никогда не станет меньше этого значения; в итоге амортизированная стоимость будет верхней границей реальной оценки. Следовательно, сложность последовательности из [math] n[/math] операций будет равна [math]O(n)[/math].

Метод предоплаты

Представим, что использование определенного количества времени равносильно использованию определенного количества монет (плата за выполнение каждой операции). В методе предоплаты каждому типу операций присваивается своя учётная стоимость. Эта стоимость может быть больше фактической, в таком случае лишние монеты используются как резерв для выполнения других операций в будущем, а может быть меньше, тогда гарантируется, что текущего накопленного резерва достаточно для выполнения операции. Для доказательства оценки средней амортизационной стоимости [math]O(f(n, m))[/math] нужно построить учётные стоимости так, что для каждой операции она будет составлять [math]O(f(n, m))[/math]. Тогда для последовательности из [math]n[/math] операций суммарно будет затрачено [math]n \cdot O(f(n, m))[/math] монет, следовательно, cредняя амортизационная стоимость операций будет [math]a = \genfrac{}{}{}{}{\sum\limits^{n}_{i = 1} {t_i}}{n} = \genfrac{}{}{}{}{n \cdot O(f(n, m))}{n}[/math] [math]= O(f(n, m))[/math].

Примеры

Стэк с multipop

При выполнении операции [math]\mathrm{push}{}[/math] будем использовать две монеты — одну для самой операции, а вторую — в качестве резерва. Тогда для операций [math]\mathrm{pop}{}[/math] и [math]\mathrm{multipop}{}[/math] учётную стоимость можно принять равной нулю и использовать для удаления элемента монету, оставшуюся после операции [math]\mathrm{push}{}[/math].

Таким образом, для каждой операции требуется [math]O(1)[/math] монет, а значит, средняя амортизационная стоимость операций [math]a = O(1)[/math].

Очередь на двух стеках

Рассмотрим реализацию очереди на двух стеках. Пусть наши стеки имеют операции [math]\mathrm{push}{}[/math] и [math]\mathrm{pop}{}[/math], обе стоимостью [math]1[/math]. Пусть каждое добавление элемента в очередь будет стоить 3 монеты. Это покроет стоимость операций [math]\mathrm{push}{}[/math] и [math]\mathrm{pop}{}[/math] для переноса элемента из первого стека во второй, если потребуется, и ещё 1 монета будет нужна для того, чтобы поместить элемент в первый стек. Стоимость удаления элемента из очереди — 1 монета (она потребуется нам для удаления элемента из второго стека).

Таким образом, амортизационная стоимость каждой операции — [math] O(1) [/math].

Литература

Томас Кормен. Алгоритмы. Построение и анализ. - Санкт-Петербург, 2005. стр. 483-491.