暗節
background と言うらしい。
節を共有しない変数同士で暗節を作っている例
黒い丸が 明節
実は同じ値を取る変数同士で作っているのが暗節
https://gyazo.com/253a173ef7f77e6a87f4249d4d3928b6
https://gyazo.com/14f882f4f5746765881bfad6989136b3
正平面2上界1-in-3 SAT 版
https://gyazo.com/6c25909f74084c4b1cb2673e032b3e77