На примере языка Python и его структур данных мы разберемся с классами сложности различных операций и научимся комбинировать их, чтобы вычислить сложность целой функции.
Такой тип анализа называется статическим, так как не требует запуска программы, – в противовес динамическому, или эмпирическому, анализу, при котором проводятся измерения параметров работающего кода.
Классы сложности операций в Python
Самое базовое понятие статического анализа – O(1). Этот класс сложности имеют операции, которые выполняются за константное время, например, создание переменной или сложение небольших чисел.
Время выполнения большинства операций зависит от количества элементов, с которыми приходится работать, например, от размера списка. Например, класс сложности O(N) описывает линейную зависимость. Если размер списка увеличится в два раза, то операция также будет выполняться в два раза дольше.
Параметр N, который вы встретите далее, – это размер структуры данных – len(data_structure).
Рассмотрим основные операции некоторых структур данных в Python.
Списки (lists)
| Операция | Пример | Сложность | Примечания |
| Получение элемента | l[i] |
O(1) | |
| Сохранение элемента | l[i] = 0 |
O(1) | |
| Размер списка | len(l) |
O(1) | |
| Добавление элемента в конец списка | l.append(5) |
O(1) | |
| Удаление последнего элемента (pop) | l.pop() |
O(1) | То же, что и l.pop(-1) |
| Очищение списка | l.clear() |
O(1) | То же, что и l = [] |
| Получение среза | l[a:b] |
O(b-a) | l[1:5] => O(1), l[:] => O(len(l) – 0) = O(N) |
| Расширение | l.extend(...) |
O(len(...)) | Зависит от размера расширения |
| Создание | list(...) |
O(len(...)) | Зависит от размера итерируемой структуры (...) |
Сравнение списков (==, !=) |
l1 == l2 |
O(N) | |
| Вставка | l[a:b] = ... |
O(N) | |
| Удаление элемента (del) | del l[i] |
O(N) | Зависит от i. O(N) – в худшем случае |
| Проверка наличия | x in/not in l |
O(N) | Линейный поиск в списке |
| Копирование | l.copy() |
O(N) | То же, что и l[:] |
| Удаление значения (remove) | l.remove(...) |
O(N) | |
| Удаление элемента (pop) | l.pop(i) |
O(N) | O(N-i). Для l.pop(0) => O(N) |
| Получение минимального/максимального значения | min(l)/max(l) |
O(N) | Линейный поиск в списке |
| Разворачивание списка | l.reverse() |
O(N) | |
| Перебор | for v in l: |
O(N) | В худшем случае, без прерывания цикла (return/break) |
| Сортировка | l.sort() |
O(N Log N) | |
| Умножение | k*l |
O(k N) | 5*l => O(N), len(l)*l => O(N2) |
Кортежи (tuples) поддерживают все операции, которые не изменяют структуру данных – и они имеют такие же классы сложности, как у списков.
Множества (sets)
| Операция | Пример | Сложность | Примечания |
| Размер множества | len(s) |
O(1) | |
| Добавление элемента | s.add(5) |
O(1) | |
| Проверка наличия значения | x in/not in s |
O(1) | Для списков и кортежей => O(N) |
| Удаление значения (remove) | s.remove(..) |
O(1) | Для списков и кортежей => O(N) |
| Удаление значения (discard) | s.discard(..) |
O(1) | |
| Удаление значения (pop) | s.pop() |
O(1) | Удаляемое значение выбирается "рандомно" |
| Очищение множества | s.clear() |
O(1) | То же, что и s = set() |
| Создание | set(...) |
O(len(...)) | Зависит от размера итерируемой структуры (...) |
Сравнение множеств (==, !=) |
s != t |
O(len(s)) | То же, что и len(t) |
Сравнение множеств (<=/<) |
s <= t |
O(len(s)) | issubset |
Сравнение множеств (>=/>) |
s >= t |
O(len(t)) | issuperset s <= t == t >= s |
| Объединение (union) | s | t |
O(len(s)+len(t)) | |
| Пересечение (intersection) | s & t |
O(len(s)+len(t)) | |
| Разность (difference) | s – t |
O(len(s)+len(t)) | |
| Симметричная разность | s ^ t |
O(len(s)+len(t)) | |
| Перебор множества | for v in s: |
O(N) | В худшем случае, без прерывания цикла (return/break) |
| Копирование | s.copy() |
O(N) |
Ряд операций со множествами имеет сложность O(1), в отличие от аналогичных операций со списками и кортежами. Более быстрая реализация обусловлена тем, что множествам не требуется хранить информацию о порядке элементов.
Неизменяемые множества (frozen sets) поддерживают все операции, которые не изменяют структуру данных – и они имеют такие же классы сложности, как у обычных множеств.
Словари (dict и defaultdict)
| Операция | Пример | Сложность | Примечания |
| Получение элемента | d[k] |
O(1) | |
| Сохранение элемента | d[k] = v |
O(1) | |
| Размер словаря | len(d) |
O(1) | |
| Удаление элемента (del) | del d[k] |
O(1) | |
| get/setdefault | d.get(k) |
O(1) | |
| Удаление (pop) | d.pop(k) |
O(1) | |
| Удаление (popitem) | d.popitem() |
O(1) | Удаляемое значение выбирается "рандомно" |
| Очищение словаря | d.clear() |
O(1) | То же, что и s = {} или s = dict() |
| Получение ключей | d.keys() |
O(1) | То же для d.values() |
| Создание словаря | dict(...) |
O(len(...)) | |
| Перебор элементов | for k in d: |
O(N) | Для всех типов: keys, values, items. В худшем случае, без прерывания цикла |
Как видно, большинство операций со словарями имеют сложность O(1).
Тип defaultdict поддерживает все эти операции с теми же классами сложности. Таким образом, вызов конструктора в том случае, если значения не найдены в defaultdict, имеет сложность O(1).
Тонкости анализа
Обратите внимание, что операция for i in range(...) имеет сложность O(len(...)). Для for i in range(1, 10) она равна O(1).
Если len(alist) – это N, тогда for i in range(len(alist)) будет иметь сложность O(N), так как цикл выполняется N раз.
При этом for i in range(len(alist)/2) также имеет сложность O(N). В этом случае цикл выполняется N/2 раз, и мы можем отбросить константу 1/2. При увеличении размера списка вдвое выполняемая работа также удваивается.
Точно так же for i in range(len(alist)/1000000) имеет сложность O(N). Это важно понять, так как нас интересует, что происходит, когда N стремится к бесконечности.
При сравнении двух списков на равенство, класс сложности должен быть O(N), как указано в таблице выше. Однако в реальности это значение нужно умножить на O==(...), где O==(...) это класс сложности для операции сравнения (==) двух значений в списке. Если мы работаем с целыми числами (int), то сложность сравнения будет равна O(1), если со строками (string), то в худшем случае мы получим O(len(string)).
Эта проблема возникает при любом сравнении, однако мы в дальнейших расчетах будем предполагать, что эта операция имеет сложность O(1) – например, для чисел и строк малой/фиксированной длины.
Составные классы сложности
Разобравшись со сложностью отдельных операций мы переходим к их комбинированию.
Закон сложения для O-нотации
При сложении двух классов сложности складываются функции этих классов. В конечном счете, O(f(n) + g(n)) приводит нас к большему из двух исходных классов – так как меньший член выражения просто отбрасывается.
Таким образом,
так какN растет быстрее, чем log N:
Это правило позволяет вычислить класс сложности для последовательности операций. Например, сначала мы выполняем выражение со сложностью O(f(n)), а следом за ним – O(g(n)). Тогда выполнение обоих выражений (одно за другим) будет иметь сложность O(f(n)) + O(g(n)), то есть O(f(n) + g(n)).
Пример
Вызов функции f(...) имеет сложность O(N), а вызов g(...) – O (N * log N). Вызываем эти функции друг за другом:
f(...)
g(...)
Сложность этого действия будет равна:
Если мы вызовем функцию f(...) дважды:
f(...)
f(...)
то получим:
Константа 2 в вычислениях отбрасывается.
Условия
Отдельно разберем исполнение условий (if). Сначала выполняется само условие, а затем один из блоков (if или else).
if test:
block 1
else:
block 2
Предположим, что вычисление условия test имеет сложность O(T), блока block 1 – O(B1), а блока block 2 – O(B2).
Тогда сложность всего кода будет равна:
test выполняется всегда, а один из блоков следом за ним – то есть последовательно. В худшем случае будет выполнен блок с наивысшей сложностью.
Подставим реальные значения:
test– O(N),block 1– O(N2),block 2– O(N).
и вычислим сложность кода:
Если бы операция test имела класс сложности O(N3), то общая сложность кода составила бы O(N3).
Фактически, общий класс сложности для if-условий можно записать еще проще:
Для первого примера в этом случае получим:
В O-нотации мы всегда отбрасываем менее значимые элементы – по сути это аналогично работе функции max. Запись с max лучше отражает суть вычисления, но вы можете выбрать любой удобный для вас вариант.
Закон умножения для O-нотации
Если мы повторяем O(N) раз некоторый процесс с классом сложности O(f(N)), то результирующий класс сложности будет равен:
Предположим, некоторая функция f(...) имеет класс сложности O(N2). Выполним ее в цикле N раз:
for i in range(N):
f(...)
Сложность этого кода будет равна:
Это правило позволяет вычислять класс сложности для выполнения некоторого повторяющегося несколько раз выражения. Необходимо умножить класс сложности количества повторений на класс сложности самого выражения.
Статический анализ на практике
Возьмем три разные функции, которые решают одну и ту же задачу – определяют, состоит ли список из уникальных значений (не имеет дубликатов). Для каждой функции вычислим класс сложности.
Для всех трех примеров размер списка обозначим как N, а сложность операции сравнения элементов примем за O(1).
Алгоритм 1
Список уникален, если каждое его значение не встречается ни в одном последующем индексе. Для значения alist[i] последующим фрагментом списка будет срез alist[i+1:].
def is_unique1 (alist : [int]) -> bool:
for i in range(len(alist)): # 1
if alist[i] in alist[i+1:]: # 2
return False # 3
return True # 4
Определим сложность для каждой строки метода:
- O(N) – для каждого индекса. Создание объекта
rangeтребует выполнения трех последовательных операций: вычисления аргументов, передачу их в__init__и выполнение тела__init__. Две последние имеют класс сложности O(1). Сложностьlen(alist)также O(1), поэтому общая сложность выраженияrange(len(alist))– O(1) + O(1) + O(1) = O(1). - O(N) – получение индекса + сложение + создание среза + проверка in: O(1) + O(1) + O(N) + O(N) = O(N)
- O(1) – в худшем случае никогда не выполняется, можно проигнорировать.
- O(1) – в худшем случае всегда выполняется.
Таким образом, класс сложности целой функции is_unique1 равен:
Если размер списка увеличится вдвое, то выполнение функции займет в 4 раза больше времени.
Возможно, вы хотели написать так:
ведь выражение if cостоит из вычисления самого условия (O(N)) и блока return False (O(1)). Но в худшем случае этот блок никогда не будет выполнен и цикл продолжится, поэтому мы не включаем его в формулу. Но даже если добавить его, то ничего не изменится, так как O(N) + O(1) – это по-прежнему O(N).
Кроме того, в худшем случае вычисляемый срез списка – это alist[1:]. Его сложность – O(N-1) = O(N). Однако, когда i == len(alist) этот срез будет пуст. Средний срез содержит N/2 значений, что по-прежнему даем нам сложность O(N).
Вместо срезов можно использовать вложенный цикл. Сложность функции при этом не изменится.
def is_unique1 (alist : [int]) ->bool:
for i in range(len(alist)): # O(N)
for j in range(i+1, len(alist)): # O(N)
if alist[i] == alist[j] # O(1)
return False # O(1)
return True # O(1)
Класс сложности целой функции тот же:
Алгоритм 2
Список уникален, если после его сортировки рядом не находятся одинаковые значения.
Сначала мы копируем список, чтобы не изменять исходную структуру сортировкой – функции обычно не должны влиять на входящие параметры.
def is_unique2 (alist : [int]) -> bool:
copy = list(alist) # 1
copy.sort() # 2
for i in range(len(alist)-1): # 3
if copy[i] == copy[i+1]: # 4
return False # 5
return True # 6
Сложность по строчкам:
- O(N).
- O(N log N) – для быстрой сортировки.
- O(N) – на самом деле N-1, но это то же самое. Операции получения размера списка и вычитания имеют сложность O(1).
- O(1) – сложение, две операции получения элемента по индексу и сравнение – все со сложностью O(1).
- O(1) – в худшем случае никогда не выполняется.
- O(1) – в худшем случае всегда выполняется.
Общий класс сложности функции is_unique2:
Сложность этой реализации меньше, чем is_unique1. Для больших значений N is_unique2 будет выполняться значительно быстрее.
Наибольшую сложность имеет операция сортировки – она занимает больше всего времени. При удвоении размера списка именно сортировка займет больше половины добавившегося времени выполнения.
Класс сложности O(N log N) хуже, чем O(N), но уже значительно лучше, чем O(N2).
Фактически, в код метода можно внести одно упрощение:
# было
copy = list(alist) # O(N)
copy.sort() # O(N log N)
# стало
copy = sorted(alist) # O(N log N)
Функция sorted создает список с теми же значениями и возвращает его отсортированную версию. Поэтому нам не требуется явно создавать копию.
Это изменение ускорит выполнение кода, но не повлияет на его сложность, так как O(N + N log N) = O(N log N). Ускорение – это всегда хорошо, но намного важнее найти алгоритм с минимальной сложностью.
Нужно отметить, что is_unique2 работает только в том случае, если все значения в списке сравнимы между собой (для сортировки используется оператор сравнения <). Если список заполнен одновременно строками и числами, ничего не получится. В то же время is_unique1 использует только оператор ==, который может сравнивать значения разных типов без выбрасывания исключений.
Алгоритм 3
Список уникален, если при превращении в множество (set) его размер не изменяется.
def is_unique3 (alist : [int]) -> bool:
aset = set(alist) # O(N)
return len(aset) == len(alist) # O(1)
Рассчитать класс сложности для всей функции очень просто:
Таким образом, третья реализация оказалась самой эффективной из всех с линейным временем выполнения. При увеличении размера списка в два раза, время выполнения функции is_unique3 увеличится всего в два раза.
Тело функции можно записать в одну строчку:
return len(set(alist)) == len(alist)
Сложность при этом не изменится.
В отличие от is_unique2, эта реализация может работать и со смешанными списками (числа и строки). В то же время требуется, чтобы все значения были хешируемыми/неизменяемыми. Например, is_unique3 не будет работать для списка списков.
Одну проблему можно решить разными способами, из которых одни могут быть эффективнее других. Статический анализ (без запуска кода) позволяет оценить сложность выполнения алгоритмов и функций. Это имеет большое значение для работы с большими наборами данных – чем больше размер входных данных, тем больше выигрыш.
В то же время для небольших объемов данных классы сложности неэффективны. Чтобы найти лучший алгоритм в этом случае, необходимо учитывать константы и термины низшего порядка. Также хорошо работает эмпирический, или динамический, анализ.
Кроме того, при анализе важно учитывать дополнительные ограничения реализации (например, типы данных).
Приоритетные очереди
Рассмотрим еще один важный пример зависимости вычислительной сложности от реализации алгоритма – приоритетные очереди.
Этот тип данных поддерживает две операции:
- добавление значения;
- извлечение значения с самым высоким приоритетом из оставшихся.
Разные реализации приоритетных очередей имеют разные классы сложности этих операций:
| add | remove | |
| Реализация 1 | O(1) | O(N) |
| Реализация 2 | O(N) | O(1) |
| Реализация 3 | O(log N) | O(log N) |
Реализация 1
Новое значение добавляется в конец списка (list) или в начала связного списка (linked list) – O(1).
Чтобы найти приоритетное значение для удаления осуществляется поиск по списку – O(N).
Легко добавить, но трудно удалить.
Реализация 2
Для нового значения определяется правильное место – для этого перебираются элементы списка (или связного списка) – O(N).
Зато самое приоритетное значение всегда находится в конце списка (или в начале связного списка) – O(1).
Легко удалить, но трудно добавить.
Реализация 3
Используется двоичная куча, которая позволяет реализовать обе операции со "средней" сложностью O(log N), что для больших значений ближе к O(1), чем к O(N).
Теперь проведем анализ этих реализаций на реальных задачах.
Сортировка
Чтобы отсортировать N значений с помощью приоритетной очереди, нужно сначала добавить все значения в очередь, а затем удалить их все.
Реализация 1
Реализация 2
Реализация 3
Примечание: N * O(...) – это то же самое, что и O(N) * O(...).
Первая и вторая реализации выполняют одну операцию быстро, а другую медленно. В итоге общий класс сложности определяет самая медленная операция.
Третья реализация оказывается быстрее всех, так как ее среднее время O(N log N) ближе к O(1), чем к O(N).
10 максимальных значений
Теперь найдем с помощью приоритетной очереди 10 максимальных значений. Для этого в очередь помещаются N элементов, а извлекаются только 10.
Реализация 1
Реализация 2
Реализация 3
Теперь первая реализация оказывается самой эффективной, так как операция добавления элемента у нее очень дешевая по времени.
Мораль этого примера заключается в том, что иногда не существует "самой лучшей реализации". В зависимости от задачи оптимальными могут быть разные варианты.
А чтобы найти лучшее решение, важно понимать, что такое вычислительная сложность и как ее определить :)
Мне сложно разобраться самостоятельно, что делать?
Алгоритмы и структуры данных действительно непростая тема для самостоятельного изучения: не у кого спросить и что-то уточнить. Поэтому мы запустили курс «Алгоритмы и структуры данных», на котором в формате еженедельных вебинаров вы:
- изучите сленг, на котором говорят все разработчики независимо от языка программирования: язык алгоритмов и структур данных;
- научитесь применять алгоритмы и структуры данных при разработке программ;
- подготовитесь к техническому собеседованию и продвинутой разработке.
Курс подходит как junior, так и middle-разработчикам.
Комментарии