defaultdict(int) создаёт словарь, где отсутствующие ключи получают значение 0 по умолчанию. d["a"] += 1 увеличивает a до 1, а d["b"] автоматически создаётся с 0. Код выполняется без ошибок.