ハイパー三角形による擬似節
from SAT の色んなガジェット
ハイパー三角形による擬似節
ハイパー三角形でも暗節はできるが、もう一段増やす と、外形そのものが新たな節に見える
https://scrapbox.io/files/649eccb01b33af001b5cb9b8.png
節を頂点、変数を辺にしたハイパーグラフ表現
https://gyazo.com/974e6c4e82d07d3fe443ecd8576ff18b