解の最適性はその問題に応じて定義した評価関数の値が最小値であるということが即ち解の最適性の定義そのもの
D-Waveのような量子アナログコンピュータは評価関数の値をコンピュータの量子系のエネルギーとして表現する
従ってエネルギー最小の量子状態が表す解が与えられた問題の最適解である
つまり、君の疑問の
> 単純に局所解のうち最小のものを選ぶだけでよいとしてるが、その十分性は何も証明されてない
は解の最適性の定義そのものから自明に解決されるのだよ
君の上の疑問は「ＡであるということをＢであることとして定義する」というＡ性の定義を前提とした議論であるにもかかわらず
「ＢだからＡだとどうして言えるのか？その十分性は証明がないじゃないか」と言ってるに等しい
