56858b1bb91d004

http://nhiro.org.s3.amazonaws.com/4/5/4535f477fb7c7c25a6fdade76618d3dd.jpg https://gyazo.com/4535f477fb7c7c25a6fdade76618d3dd

(OCR text)

普通のプログラミングと

5

違う

C言語などのような手続型の言語での

ングとは全く違う

プログラミ

SATソルバに似ている:二値変数の間の関係をCNF

の形で記述し、SATソルバに入力すると、非充足

な項を最小化する解*が返る

* 充足する(非充足項=0)の時は確実にそれが返る。

非充足の時に何が返るかは実装次第

再掲:二値変数の間の関係をハミルトニアンの形

で記述し、アニーリングマシンに入力すると、

ハミルトニアンを最小化する解が返る

LO