56858b1bb91d055

http://nhiro.org.s3.amazonaws.com/0/f/0ff78be75ea9bd7eca3801eb0424c8a3.jpg https://gyazo.com/0ff78be75ea9bd7eca3801eb0424c8a3

(OCR text)

数学パズルの解法

56

今回の僕の解法を言語化しておく

まず

最も要求を充足する変数を選ぶ

非充足な行を充足に変える方法を考える

非0を0にする方が

制約が厳しいので優先

0を非0にする修正に関しては、

他の非0の行に影響を与えてもよい

正の影響なら無視、負の影響なら適当にス

ケールすることで影響をなくせる