ハイパー三角形
from SAT の色んなガジェット
ハイパー三角形
三角形ガジェットの 3 隅を True にできてしまう問題を 1 段増やすことで解決した
https://scrapbox.io/files/649ebae747e42e001b9ae8a3.png
1 つでも節を削除すると残った三角形ガジェットの 3 隅を True にできてしまう
三角形付加三角形とはまた違う形で 暗節 を形成している
節を頂点、変数を辺にしたハイパーグラフ表現
https://gyazo.com/c1d6034b02a6cd96015d10000aba0a21