gangueの日記： ふぅ
日記 by
gangue
あるしょうもない(？)問題に対する線形時間アルゴリズムを作る
ために、まずは適当に線形時間で動くアルゴリズムをプログラムした。
正しそうだったのだが本当に全ての場合に上手くいくのかの正当性の証明
がなかなかわからなかった。そこで決まった長さ以下の入力の全ての
組み合わせに関して正しく動作することを確かめて、元気を出したと
ころでやっと証明を書き上げることができた。
しかし解いても何の役にも立たない問題だー、などと考えると
鬱ではあるが、楽しかった。
スロバキア...に行けたりするかなぁ...?
アマゾンはやっぱり嫌かも...