✕節頂点を持たない変数辺につけるキャップ
from 正平面2上界1-in-3 SAT
節頂点を持たない変数辺につけるキャップ
https://gyazo.com/16edd472e29267337b837ff76a45c366
https://gyazo.com/b50e08dfa0e02fea48a1c86d3cefb904 https://gyazo.com/53b8f3f7ba65217bc0f07898a2ce873f
あ、False にならない
https://gyazo.com/78dd48916b38238044101bcc2a25854d https://gyazo.com/69e2c6f1570aa1021b587e67c4c3dd4c https://gyazo.com/11efdd0ddb8a9d59e719a24da8ae21c5
これだとちょっと複雑なペンタゴンだ
色が間違ってるなぁ←間違ってなかったなぁ
以下のような対応関係は、「そこまでは言い切れない」
https://scrapbox.io/files/66501f8fff4bf4001c2ace36.png
see: 三角形ガジェット
ただ、ほぼ合ってるのも事実なので、もっとよく考えればアリになるかも
ほぼ合ってる: 三角形の外側に伸びる辺3つ全てが true で三角形を構成する辺が false のときのみが例外
今回のガジェットでは紫とつながる頂点から伸びる赤と水色が同時に true にならないので合ってる
↑これ、何を考えてここに書いたんだろう