Ответ.

История вопроса:

Множества (set) были введены в Python как отдельный встроенный тип начиная с Python 2.4 (до этого они реализовывались как сторонний модуль). Они позволяют эффективно хранить уникальные, неупорядоченные элементы и поддерживают множество стандартных операций теории множеств: объединение, пересечение, разность, симметрическую разность и проверку подмножеств.

Проблема:

Без set приходится использовать списки, что приводит к неэффективному поиску уникальных элементов, что замедляет алгоритмы, использующие большое количество проверок на вхождение. set реализован через хеш-таблицу, поэтому все операции поиска, добавления и удаления выполняются за амортизированное O(1) время. Однако эта структура может вызывать неожиданные проблемы — например, потерю порядка элементов, ограничения на типы элементов (они должны быть неизменяемыми и хешируемыми), и непонимание особенностей сравнения множеств и их взаимодействия с другими структурами.

Решение:

Использовать set, когда требуется хранить только уникальные элементы и производить над ними операции теории множеств. Нужно помнить, что элементы должны быть хешируемыми (например, числа, строки, tuple, но не списки и не dict). Для работы с set предоставлен богатый набор встроенных методов (add, remove, union, intersection, difference, issubset, и др.).

Пример кода:

s1 = {1, 2, 3, 4}
s2 = {3, 4, 5}

print(s1 | s2)  # {1, 2, 3, 4, 5} (объединение)
print(s1 & s2)  # {3, 4}          (пересечение)
print(s1 - s2)  # {1, 2}          (разность)
print(3 in s1)  # True            (проверка вхождения)

Ключевые особенности:

• Операции добавления, удаления и поиска выполняются за O(1) за счёт хеш-таблицы.
• Элементы должны быть неизменяемыми (immutable) и хешируемыми; попытка добавить список вызовет TypeError.
• Множества не сохраняют порядка элементов.

Вопросы с подвохом.

Можно ли добавлять изменяемые типы (например, списки) в set?

Нет, элементы множества должны быть хешируемыми и неизменяемыми. Список или dict нельзя добавить в set, Python выбросит TypeError.

s = set()
s.add([1, 2, 3])  # TypeError: unhashable type: 'list'

Сохраняет ли set порядок элементов?

Нет. С момента создания set элементы не гарантированно возвращаются в порядке, в котором были добавлены, особенно при изменении размера множества.

s = {5, 2, 8, 1}
print(s)  # Порядок не определён

Чем отличается set от frozenset и можно ли использовать frozenset как элемент set?

frozenset — это неизменяемый вариант set. Его можно использовать как элемент другого set или в качестве ключа dict, поскольку он хешируемый.

fs = frozenset([1, 2, 3])
s = set()
s.add(fs)  # OK

Типовые ошибки и анти-паттерны

• Использовать set, когда важен порядок элементов.
• Пытаться добавить изменяемый элемент в set.
• Забывать, что set не поддерживает индексацию (нет s[0]).

Пример из жизни

Негативный кейс

Разработчик захотел хранить уникальные элементы и выбрал set, не учитывая порядок их появления. В результате часть бизнес-логики, зависящей от порядка обработки, перестала работать.

Плюсы:

• Эффективность по времени.
• Гарантированная уникальность элементов.

Минусы:

• Потеря порядка.
• Кастомные сортировки стали невозможны без дополнительных структур данных.

Позитивный кейс

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

Плюсы:

• Минимум кода.
• Максимальная скорость.
• Отсутствие дублей в данных.

Минусы:

• Порядок строк навсегда потерян (если вдруг потребуется позднее).