五角形ガジェット

定数割当

https://scrapbox.io/files/66518720407132001d275caf.png

外側の辺変数を 1 箇所 false にはできない

https://scrapbox.io/files/66546ce07e4258001c07b180.png

外側の辺変数を 2 箇所 false にする

https://scrapbox.io/files/665187f174090d001d30efd2.png

https://scrapbox.io/files/66546e50b725ae001c59371b.png

外側の辺変数を 3 箇所 false にはできない

https://scrapbox.io/files/66546c77b725ae001c592b71.png

外側の辺変数を 4 箇所 false にする

https://scrapbox.io/files/6651885c54bda4001c0e2f22.png

1つの頂点をまたいで外側の辺変数を 2 箇所 false にしようとする (上3つの頂点) と、

残りの 2 箇所も false になって 4 箇所 false になる

外側の辺変数を 5 箇所 false にはできない

https://scrapbox.io/files/66546dca75f92a001d21acd3.png

まとめ

https://gyazo.com/75e6de44c293363663196dcd01989768