2011-05-18から1日間の記事一覧
今日は 11.5 「代数的な性質をいかす」ということで、交換法則(x+y=y+x)と単位元(x*1=x, x/1=x と結果が変わらない)の性質を考慮して同一の式と見做せるものを除外することでより効率的な探索をするようにしました。といっても変更するのは式を受けつけるか…
今日は 11.5 「代数的な性質をいかす」ということで、交換法則(x+y=y+x)と単位元(x*1=x, x/1=x と結果が変わらない)の性質を考慮して同一の式と見做せるものを除外することでより効率的な探索をするようにしました。といっても変更するのは式を受けつけるか…