画布 1
支配集、覆盖集、独立集与匹配
  支配集(dominating set)
      说白了就是某些点的可以支配别人,类似于领导班子
        地方领导班子
        党中央
        八个常委
        人民既可以被中央统治,人民也可以统治中央
      迭代每一个点,点内用逻辑或,点间用逻辑与
  独立集(independent set)
      贝塔0
  点覆盖(vertex cover)
    阿尔法0
    点与边的关系
      迭代每一条边
  团
  边覆盖
      用若干条边把点覆盖了
  匹配
      二部图完美匹配一定是完备
      饱和点
  匹配(matching)
  可增广交错路径
    寻找最大匹配