25pAG-8 結び目不変量計算問題の制約充足問題としての定式化(25pAG スピングラス・ランダムスピン系・古典フラストレート系・古典スピン系一般,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))