positive 1-in-3 SAT の節と変数を入れ替える

正平面3上界1-in-3 SAT を見ると、同じ変数を共有する節を3つに縛ると、変数と節を入れ替えられそうな気がしてくる

双対っぽいのができるが、元の問題との関連が不明

元: 変数が 1 つのみ True ならば節全体が True になる

https://scrapbox.io/files/64a0f01ce19bc7001c1b7c58.png

黄色く点灯 = True の変数 / 灰色で消灯 = False の変数

赤 = NG の節 / 緑 = OK の節

SAT: 全ての節を緑に点灯させよ

双対(?): 変数が 1 つのみ True ならば節全体が True になるというルールは変えずに図を見てみる

https://scrapbox.io/files/64a1041ded6ca1001c530f95.png

双対っぽいものに無理やり元と同じルールを割り当てたときの解が何を意味するのか不明

https://scrapbox.io/files/64a1051fe62070001b44581d.png

正平面2上界1-in-3 SATまで縛ってから節をノードに、変数をエッジに割り当てるとハミルトン閉路問題もどきになる