三面隣接
SAT の色んなガジェット
https://gyazo.com/b3408f770fc098f2d8a8ee2a2d7254d7
面の外側が分かりづらいがどの面も外側の「毛」としてFalseが2つずつ連続している
https://gyazo.com/d99829d6ec60ace59e668eb287facd79 https://gyazo.com/eff33cb41c86f9570988f46fdea7bd96
二面隣接に面を追加したもの
ハイパーグラフの場合、三叉に分かれる部分にハイパーエッジが来ることがある。
毛のことを考える際にはあくまで面の境界上の頂点から伸びる非境界辺について考える
https://gyazo.com/d031ddf53e3ac97d7a0bd719682291bd
https://gyazo.com/e7d348206884160657caf0ac0d3e961d https://gyazo.com/97ffe0a4374ea5d3d3f0405cedb3e912