Problem 225 - Project Euler の話。半分ネタバレ。

まだときどき考えてます。回転、反転、行の入れ替え、数の置換だけで一つの解から他のすべての解が作れるようです。それはわかったのだけど、それらが生成する群の、解集合への作用がよくわからない。

4x4 数独の盤面の validity を保つ置換のなす群のことを考えていたら、群の半直積のことを思い出しました。昔群論をやったときには半直積を結局よく理解しないままになっていたように記憶しています。せっかくの機会なので適当な教科書を見て復習を。 が分裂…

まだここには書いていませんでしたね。Project Euler やってます。 新しい問題が出たらなるべく解く とりあえずすぐに解き方が浮かぶ問題を解く Lisp は最後の手段 勉強のためになるべく他の言語を使う。現在は Java ロジックがあってるかのチェックに *slim…

http://d.hatena.ne.jp/lkozima/20081213/1229179208 の続き。転置って反転と回転で書けるじゃん、ということに後で気がつきました。 左右反転: 左回転: 転置: 書いてから気付きましたが、ただの二面体群 ですね。

エロと風俗情報満載 どう抜く？ って、群論とか使ってある程度絞れないかな、とか考えたりしています。盤面の置換で valid な配置を valid な配置に写すもの全体が の部分群をなすはずですが、とりあえずこれの構造はどうなってるかな、などということを考え…

エロと風俗情報満載 どう抜く？ の、問題数ではなく解答数の数え上げを紙と鉛筆でやってみました。 とりあえず分類 最上段が 1234 の場合を考える。 1 2 3 4 - - - - - - - - - - - -二段目まで埋めると次の四通り。 1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4 3 4 1 …

Lisp じゃないことも書きたくなったときのためにこっちも開設してみました。