14/09/06 19:24:35.27
GAPでパズル解く方法について調べました。
ブラックボックス(使用関数の意味まで調べてない。)状態ですが、データの与え方、使う関数、そしてその使い方は2つの例で同じであることを確認し、他のパズルにもサルマネで使えるところまできました。
過去何度か挑戦しましたが、データの与え方が理解できなかったのですがやっと今日理解できました！
なんか嬉しい。
もう一つの例があるのでそちらも確認したら、群論の勉強にうつりたいと思います。
x次方程式の係数がばっちり決まっている場合の可解か不可解かもGAPで調べれるようになりました。
同じくブラックボックスですが。
たぶん可解の場合解も求められるはずですが、そこまで確認できす。
証明補助ソフトで不可解性を証明するソースを探しましたが、それも発見できませんでした。
検索のしかたが悪かったのかも。 the Odd Order Theorem の証明チェックを行なったってのはあったけど。