www.nature.com arxiv.org 具体的な課題として、素数p,qの積がMになるかどうかの判定問題を扱っている 自然数p,qを二進法で表すことで、{0,1}の二値制約のある変数のセットによって、満足すべき式を書き下している その変数セットをとすると、それらに対して…