20120303

20120303

Time

• 3/3 14:30 -

連絡

• 今週は問題1.21から問題1.30までが範囲です => Assignments
• benjoさんがお休みのようなので、benjoさん担当の箇所(問題1.24、問題1.30)はみんなで解いてくるようにしましょう
• 確率的アルゴリズムのことが少し出てきましたが、もう少し色々な応用を知りたい人はこの付近を読んでみると面白いかもしれません
• 乱択アルゴリズム紹介(行列乗算の検査&多項式等価性の検査) : Preferred Research
• 乱択アルゴリズム紹介(3SATのO(1.334^n)時間アルゴリズム) : Preferred Research

Agenda

• 来週の日程について話し合う
• ハマりどころなどをまとめたページを作ったので軽く紹介

疑問点

• 1.19をお残ししたkumagiは残業
• Miller Rabinテストのところは動いたけど、なんでこれで証明になってる(?)かがよく分からない by syou6162

感想

• ozaさんは急用のためお休みでした
• syou6162のMiller Rabinテストのところはどこかに乱数を入れないといけないはずなんだけど、入っておらずカーマイケル数をパスしてしまうのでよろしくないコードになっていた
• syou6162が担当だった問題1.21で使ったiterate関数の使い方付近を懸念点付近にまとめておきました。