メモ
3つ目のルールを繰り返し適用すると基底のサイズは一定になる
もし自分より大きい独立系があったら、その独立系の元を適切に選んで追加しても独立のまま
基底(極大な独立集合)とサーキット(極小な従属集合)は双対の関係にあるように見えるが性質は全然違う。
基底のサイズは一定だが、サーキットのサイズは一般に一定ではない