约定

• set翻译为集合
• collection翻译为集合类型，是一个大概念

SET

可变的、无序的、不重复的元素的集合

set定义 初始化

• set() -> new empty set object
• set(iterable) -> new set object
• s = {} 是字典，不是集合

set的元素

• set的元素要求必须可以hash
• 目前学过的不可hash的类型有list、set
• 元素不可以索引
• set可以迭代

set增加

• add(elem)
  • 增加一个元素到set中
  • 如果元素存在，什么都不做
• update(*others)
  • 合并其他元素到set集合中
  • 参数others必须是可迭代对象
  • 就地修改

set删除

• remove(elem)
  • 从set中移除一个元素
  • 元素不存在，抛出KeyError异常。
• discard(elem)
  • 从set中移除一个元素
  • 元素不存在，什么都不做
• pop() -> item
  • 移除并返回任意的元素。
  • 空集返回KeyError异常
• clear()
  • 移除所有元素

set修改、查询

• 修改
  • 要么删除，要么加入新的元素
  • 为什么没有修改？
• 查询
  • 非线性结构，无法索引
• 遍历
  • 可以迭代所有元素

set和线性结构

• 线性结构的查询时间复杂度是O(n)，随着数据规模的增大而增加耗时
• set、dict 等结构，内部使用hash值作为key，时间复杂度可以做到O(1)，查询时间和数据规模无关

可hash

• 数值型int、float、complex
• 布尔型True、False
• 字符串string、bytes
• tuple
• None
• 以上都是不可变类型，成为可哈希类型，hashable
• set的元素必须是可hash

集合

• 全集
  • 所有元素的集合。例如实数集，所有实数组成的集合就会全集
• 子集subset和超集superset
  • 一个集合A所有元素都在另一个集合B内，A是B的子集，B是A的超集
• 真子集和真超集
  • A是B的子集，且A不等于B，A就是B的真子集，B是A的真超集
• 并集：多个集合合并的结果
• 交集：多个集合的公共部分
• 差集：集合中除去和其他集合公共部分

集合运算

• 并集
  • 将两个集合A和B的所有元素合并到一起，组成的集合称作A与B集合的并集
  • union(*others)
    • 返回和多个集合合并后的新的集合
  • | 运算符重载
    • 等同union
  • update(*other)
    • 和多个集合合并，就地修改
  • |=
    • 等同update

A和B的并集

• 交集
  • 集合A和B，由所有属于A且属于B的元素组成的集合
  • intersection(*others)
    • 返回和多个集合的交集
  • &
    • 等同intersection
  • intersection_update(*others)
    • 获取和多个集合的交集，并就地修改
  • &=
    • 等同intersection_update

A和B的交集

• 差集
  • 集合A和B，由所有属于A且不属于B的元素组成的集合
  • difference(*others)
    • 返回和多个集合的差集
  • -
    • 等同difference
  • difference_update
    • 获取和多个集合的差集并就地修改
      -=
    • 等同difference_update

A和B的差集

• 对称差集

• • 集合A和B，由所有不属于A和B的交集元素组成的集合，记作(A-B)∪(B-A)

  • symmetric_difference(other)

  • • 返回和另一个集合的差集

  • ^

    • 等同symmetric_difference

  • symmetric_difference_update(other)

    • 获取和另一个集合的差集并就地修改

  • ^=

    • 等同symmetric_difference_update

A和B的对称差集

• 子集与超集

  • issubset(other)、<=

    • 判断当前集合是否是另一个集合的子集

  • set1<set2

    • 判断set1是否是set2的真子集

  • issuperset(other)、>=

    • 判断set1是否是set2的真超集

  • set1 > set2

    • 判断set1是否是set2的真超集

  • isdisjoint(other)

    • 当前集合和另一个集合没有交集
    • 没有交集，返回True