@dmikurube 電子投票に関しては、過去に実施を試みるも本番で大規模トラブルが生じ、結局最高裁で選挙無効が確定したという経緯があるため、関係者が二の足を踏むようになって久しい、と聞いています。 https://t.co/68fUp2xgow

とある事情で手っ取り早くSATの知識が得られる入門書はないかと探したら、これは凄かった。https://t.co/rIRhtXfbce これを読んで引用文献で復習すれば、SATの世界に入れそうな気配。これで変数に￢がついていてももう怖くない？

そこでこんなものをみつけた。「Signedネットワークからのコミュニティ抽出」　https://t.co/FGhWtQ2m1n　通常グラフの辺は、友達関係のような「好き」を結びつけるものだが、辺に「好き」と「嫌い」に２値をもたせたモジュラリティを再定義して、コミュニティを抽出する