Обсуждение участника:KKutirev — различия между версиями
KKutirev (обсуждение | вклад) (Алгоритм Хаффмана за O(n).) |
KKutirev (обсуждение | вклад) м (→Алгоритм Хаффмана за O(n).) |
||
| Строка 1: | Строка 1: | ||
| − | == Алгоритм Хаффмана за O(n). == | + | == Алгоритм Хаффмана за <tex> O(n) </tex>. == |
| − | У нас есть массив частот, отсортированный по возрастанию, нужно построить по нему код Хаффмана за O(n). | + | У нас есть массив частот, отсортированный по возрастанию, нужно построить по нему код Хаффмана за <tex> O(n) </tex>. |
| − | Идея алгоритма заключается в том, чтобы создать такую очередь с приоритетами, из которой можно было бы доставать два минимума O(1), после чего в эту же очередь с приоритетами положить их сумму за O(1). У нас уже есть массив с отсортированными частотами, теперь давайте заведем второй массив, в котором мы будем хранить суммы. Несложно заметить, что в этом массиве элементы тоже будут идти по неубыванию. | + | Идея алгоритма заключается в том, чтобы создать такую очередь с приоритетами, из которой можно было бы доставать два минимума <tex> O(1) </tex>, после чего в эту же очередь с приоритетами положить их сумму за <tex> O(1) </tex>. У нас уже есть массив с отсортированными частотами, теперь давайте заведем второй массив, в котором мы будем хранить суммы. Несложно заметить, что в этом массиве элементы тоже будут идти по неубыванию. Допустим, что на каком-то шаге сумма получилась меньше чем предыдущая, но это противоречит тому, что на каждом шаге мы выбираем два минимальных (т.е. на каждом последующем шаге мы выбираем два минимума из элементов больших, чем на предыдущем шаге). Тогда на каждой итерации мы будет выбирать два минимума из четырех элементов (первые 2 элемента первого массива и первые 2 элемента второго массива). Теперь рассмотрим одну итерацию подробнее. У нас есть три варианта возможных пар минимумов. Первый: оба элемента из первого массива. Второй: первый элемент первого массива и первый элемент второго массива. И третий: два первых элемента второго массива. В первом варианте мы просто дописываем сумму в конец второго массива. Во втором варианте мы вычеркиваем первый элемент из второго массива и добавляем его сумму с первым элементом первого массива в конец второго. Ну и в третьем варианте, мы вычеркиваем два первых элемента второго массива и добавляем их сумму в конец этого массива. Если в первом массиве элементы закончились, а во втором осталось больше одного элемента, то они меняются ролями. |
| − | + | В алгоритме происходит ровно <tex> n </tex> итерации, так как на каждой итерации количество элементов уменьшается ровно на один, а минимум из 4-х элементов мы выбираем за константное время. | |
Версия 22:27, 7 декабря 2013
Алгоритм Хаффмана за .
У нас есть массив частот, отсортированный по возрастанию, нужно построить по нему код Хаффмана за .
Идея алгоритма заключается в том, чтобы создать такую очередь с приоритетами, из которой можно было бы доставать два минимума , после чего в эту же очередь с приоритетами положить их сумму за . У нас уже есть массив с отсортированными частотами, теперь давайте заведем второй массив, в котором мы будем хранить суммы. Несложно заметить, что в этом массиве элементы тоже будут идти по неубыванию. Допустим, что на каком-то шаге сумма получилась меньше чем предыдущая, но это противоречит тому, что на каждом шаге мы выбираем два минимальных (т.е. на каждом последующем шаге мы выбираем два минимума из элементов больших, чем на предыдущем шаге). Тогда на каждой итерации мы будет выбирать два минимума из четырех элементов (первые 2 элемента первого массива и первые 2 элемента второго массива). Теперь рассмотрим одну итерацию подробнее. У нас есть три варианта возможных пар минимумов. Первый: оба элемента из первого массива. Второй: первый элемент первого массива и первый элемент второго массива. И третий: два первых элемента второго массива. В первом варианте мы просто дописываем сумму в конец второго массива. Во втором варианте мы вычеркиваем первый элемент из второго массива и добавляем его сумму с первым элементом первого массива в конец второго. Ну и в третьем варианте, мы вычеркиваем два первых элемента второго массива и добавляем их сумму в конец этого массива. Если в первом массиве элементы закончились, а во втором осталось больше одного элемента, то они меняются ролями.
В алгоритме происходит ровно итерации, так как на каждой итерации количество элементов уменьшается ровно на один, а минимум из 4-х элементов мы выбираем за константное время.
