茨城の高校生、スパコンで5×5の魔方陣の3億通り近い全解を求める(2/2)

枝刈り法をもとにした求解アルゴリズム。丸数字は総当たりで数字を入れる順番(1から25の数字そのものではない)、チェック印は自動的に求められるマスを表す。斜めのマスを優先的に埋めることで、自動的に求められるマスの個数をさらに増やすことができた。