Двоичный логарифм
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/17/Binary_logarithm_plot_with_ticks.svg/300px-Binary_logarithm_plot_with_ticks.svg.png)
Двоичный логарифм — логарифм по основанию 2. Другими словами, двоичный логарифм числа есть решение уравнения
Двоичный логарифм вещественного числа существует, если Согласно стандарту ISO 31-11, он обозначается[1] или . Примеры:
История
Исторически двоичные логарифмы нашли своё первое применение в теории музыки, когда Леонард Эйлер установил: двоичный логарифм отношения частот двух музыкальных тонов равен количеству октав, которое отделяет один тон от другого. Эйлер также опубликовал таблицу двоичных логарифмов целых чисел от 1 до 8 с точностью до семи десятичных знаков[2][3].
С созданием информатики выяснилось, что двоичные логарифмы необходимы для определения количества битов, требующихся для кодирования сообщения. Другие области, в которых часто используется двоичный логарифм, включают комбинаторику, биоинформатику, криптографию, проведение спортивных турниров и фотографию. Стандартная функция для вычисления двоичного логарифма предусмотрена во многих распространённых системах программирования.
Алгебраические свойства
В нижеследующей таблице предполагается, что все значения положительны[4]:
Формула | Пример | |
---|---|---|
Произведение | ||
Частное от деления | ||
Степень | ||
Корень |
Существует очевидное обобщение приведенных формул на случай, когда допускаются отрицательные переменные, например:
Формула для логарифма произведения без труда обобщается на произвольное количество сомножителей:
Связь двоичного, натурального и десятичного логарифмов:
Функция двоичного логарифма
Если рассматривать логарифмируемое число как переменную, мы получим функцию двоичного логарифма: . Она определена при всех область значений: . График этой функции часто называется логарифмикой, она обратна для функции . Функция монотонно возрастает, непрерывна и дифференцируема всюду, где она определена. Производная для неё даётся формулой[5]:
Ось ординат является вертикальной асимптотой, поскольку:
Применение
Теория информации
Двоичный логарифм натурального числа позволяет определить число цифр во внутреннем компьютерном (битовом) представлении этого числа:
- (скобки обозначают целую часть числа)
Информационная энтропия — мера количества информации, также основана на двоичном логарифме
Сложность рекурсивных алгоритмов
Оценка асимптотической сложности рекурсивных алгоритмов, основанных на принципе «разделяй и властвуй»[6] — таких, как быстрая сортировка, быстрое преобразование Фурье, двоичный поиск и т. п.
Комбинаторика
Если двоичное дерево содержит узлов, то его высота не меньше, чем (равенство достигается, если является степенью 2)[7]. Соответственно, число Стралера — Философова для речной системы с притоками не превышает[8] .
Изометрическая размерность частичного куба с вершинами не меньше, чем Число рёбер куба не более, чем равенство имеет место, когда частичный куб является графом гиперкуба[9].
Согласно теореме Рамсея, неориентированный граф с вершинами содержит либо клику, либо независимое множество, размер которого логарифмически зависит от Точный размер этого множества неизвестен, но наилучшие в настоящий момент оценки содержат двоичные логарифмы.
Другие применения
Число кругов игры по олимпийской системе равно двоичному логарифму от числа участников соревнований[10].
В теории музыки, чтобы решить вопрос о том, на сколько частей делить октаву, требуется отыскать рациональное приближение для Если разложить это число в непрерывную дробь, то третья подходящая дробь (7/12) позволяет обосновать классическое деление октавы на 12 полутонов[11].
Примечания
- ↑ Иногда, особенно в немецких изданиях, двоичный логарифм обозначается (от лат. logarithmus dyadis), см. Bauer, Friedrich L. Origins and Foundations of Computing: In Cooperation with Heinz Nixdorf MuseumsForum (англ.). — Springer Science & Business Media, 2009. — P. 54. — ISBN 978-3-642-02991-2.
- ↑ Euler, Leonhard (1739), "Chapter VII. De Variorum Intervallorum Receptis Appelationibus", Tentamen novae theoriae musicae ex certissismis harmoniae principiis dilucide expositae (лат.), Saint Petersburg Academy, pp. 102—112, Архивировано 11 октября 2018, Дата обращения: 6 августа 2019 Источник . Дата обращения: 6 августа 2019. Архивировано 11 октября 2018 года..
- ↑ Tegg, Thomas (1829), "Binary logarithms", London encyclopaedia; or, Universal dictionary of science, art, literature and practical mechanics: comprising a popular view of the present state of knowledge, Volume 4, pp. 142—143 Источник . Дата обращения: 6 августа 2019. Архивировано 23 мая 2021 года..
- ↑ Выгодский М. Я. Справочник по элементарной математике, 1978, с. 187..
- ↑ Логарифмическая функция. // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3. Архивировано 16 октября 2013 года.
- ↑ Harel, David; Feldman, Yishai A. Algorithmics: the spirit of computing. — New York: Addison-Wesley, 2004. — P. 143. — ISBN 978-0-321-11784-7.
- ↑ Leiss, Ernst L. (2006), A Programmer's Companion to Algorithm Analysis, CRC Press, p. 28, ISBN 978-1-4200-1170-8 Источник . Дата обращения: 6 августа 2019. Архивировано 12 августа 2020 года.
- ↑ Devroye, L.; Kruszewski, P. (1996), "On the Horton–Strahler number for random tries", RAIRO Informatique Théorique et Applications, 30 (5): 443—456, doi:10.1051/ita/1996300504431, MR 1435732, Архивировано 7 октября 2015, Дата обращения: 6 августа 2019 Источник . Дата обращения: 6 августа 2019. Архивировано 7 октября 2015 года..
- ↑ Eppstein, David (2005), "The lattice dimension of a graph", European Journal of Combinatorics, 26 (5): 585—592, arXiv:cs.DS/0402028, doi:10.1016/j.ejc.2004.05.001, MR 2127682
- ↑ Харин А. А. Организация и проведение соревнований. Методическое пособие. — Ижевск: УдГУ, 2011. — С. 27. Архивировано 24 июля 2020 года.
- ↑ Шилов Г. Е. Простая гамма. Устройство музыкальной шкалы. Архивная копия от 22 февраля 2014 на Wayback Machine М.: Физматгиз, 1963. 20 с. Серия «Популярные лекции по математике», выпуск 37.
Литература
- Выгодский М. Я. Справочник по элементарной математике. — изд. 25-е. — М.: Наука, 1978. — ISBN 5-17-009554-6.
- Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров). — М.: Наука, 1973. — 720 с.
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — изд. 6-е. — М.: Наука, 1966. — 680 с.
Ссылки
- Таблица двоичных логарифмов целых чисел от 1 до 100. Архивная копия от 12 августа 2019 на Wayback Machine