「スパコンで力任せに数独の難しい問題を作る」はなぜ失敗したのか。 - あそことは別のはらっぱ
数独。ナンバープレースとか言われているパズルですね。 9x9のマス目があって、マス目はさらに3x3ごとにまとめられています。 そこに、1から9までの数字を入れていきます。 縦、横には同じ数字は1つしかはいりません。また、3x3でまとまったマス目(ブロック)でも同様の制限をうけます。 すべて矛盾なく埋まればパズル成功となります。 というルールはいまさらここで書くまでもなくご存じの方も多いかと思います。 ついこの間これに関して「スパコンで力任せに数独の難しい問題を作る」と題したナンバープレースの問題が発表されましたが、人間の手であっさり解かれてしまいました。 ここではなぜそんなことが起こったのか考えてみたいと思います。 数独はどうやって解くか。 「1から9までの数字が縦、横、ブロックに1度だけ入る」という制限が数独の基本解法の全てです。どんな応用解法も、この制限なしには生まれません。 さらに、
はてブお気に入られリスト2009年11月分 - あそことは別のはらっぱ
取得にかかった時間は50時間、つまり丸2日くらいでした。 把握したブックマーカー: 27730 退会・もしくはプライベートモードのブックマーカー: 550 お気に入りを使っていないブックマーカー: 10316 のべお気に入り人数: 239537 ファイルはこちらのほうにおいてあります。
はてブお気に入られリスト2009年9月分。 - あそことは別のはらっぱ
取得に3日と18時間くらいかかりました。 なんか退会者*1が減っていますけど、この間お気に入られ数が減ったのが関係しているのかしら。よくわかりませんが。 把握したブックマーカー: 25413 退会、もしくはプライベートモードのブックマーカー: 521 お気に入りを使っていないブックマーカー: 9192 のべお気に入り数: 216619 ということで、こちらに詳細データを公開しています。 *1:お気に入りに入れた人がその後退会した、という場合にお気に入り一覧には名前が残るのだけど、その人数
はてブお気に入られリスト2009年5月分 - あそことは別のはらっぱ
id:kyo_ju にいろんなところで心配されてしまった、「お気に入られリストのトラブル」ですが、大したことじゃないです。 5月1日に取得したリストがどうも小さい、というか、退会者が1万人以上になっている、という。 把握したブックマーカー: 20325 退会、あるいはプライベートなブックマーカー: 11623 お気に入りを使っていないブックマーカー: 1842 のべお気に入り人数: 160077 いくらなんでも数字が違うので、5月7日に再度取得しました。その結果が、 把握したブックマーカー: 22926 退会、あるいはプライベートなブックマーカー: 1537 お気に入りを使っていないブックマーカー: 7891 のべお気に入り人数: 184024 ということで、まあたぶんこちらの方が正しいのだろうなと。 そんなわけで、データは5月7日のデータの方にのみリンクを張っておきます。 5月1日のデー
はてブお気に入られリスト2009年1月版 - あそことは別のはらっぱ
あけましておめでとうございます。 うーん。 まあ三が日くらいはゆったりと暮らそう、と思ってスクリプトの結果を取り出すのを放置していましたが、こりゃ大変だわ。 1月1日の2時過ぎから動かしたスクリプトで結果取得完了するまで、約26時間。 何が起こっていたんでしょうか。 把握したブックマーカー: 18145 たぶん引退したブックマーカー: 1288 お気に入りを使っていないブックマーカー: 6162 のべお気に入り人数: 125780 こちらのほうに結果を置いておきます。 それにしても、ファイルがずいぶん大きくなっちゃったなあ。 JSONデータとか同梱するのやめようかなあ。
はてブお気に入られリスト2008年12月分 - あそことは別のはらっぱ
えー、もともとこれは「お気に入られリスト」なので、各人自分のお気に入られが見られるようになった今、別に作る必要はなくなったものなのです。 ランキングとか別に作るつもりで作ってるやつじゃないのです。ということで前回で最終回にしようかと思っていたのですが、一応リニューアル後に取得するとどんな感じになるかな?というのは見ておいた方がいいかな、と思って、スクリプトを少し変更した上でリストを作成してみました。*1 しかし、時間がかかったなあ。followerページも取得するようにしたので、1人あたりの取得ページが2から3に変わっているのもあるでしょうけど、それにしても取得に29時間とかあり得ないというか。 これ、単純にHTML部分だけ取りに行くだけだから、faviconとか、Javascriptとか、はてなスターとか、取りに行かないんですよね。それでこの遅さ。頑張ってサーバ増強、なんてことになればい
はてブお気に入られリスト2008年11月分 - あそことは別のはらっぱ
もしかしたら最終回になるかもしれない今回です。 最終回かもなので11月は毎週とか10日おきにやろうかとも思いましたが、たぶんやらないだろうなあ。 把握したブックマーカー: 11156 そのうちプライベート、もしくは退会したブックマーカー: 452 お気に入りを使っていないブックマーカー: 5298 のべお気に入り数: 69079 ちなみに取得には12時間くらいかかりました。かかったなあ。 一覧はこちらからどうぞ。
はてブお気にいられリスト2008年5月分 - あそことは別のはらっぱ
把握したブックマーカー: 9725 たぶんはてブをもう公開してない人: 358 お気に入りを使ってない人: 4548 のべお気にいられ数: 59453 てなところです。ファイルはこちら。出力には約6時間。 昨日買った、先々月号のWeb+DB Pressを読んで、せっかくなのでJSON形式でも出力してみました。そうしたらファイルサイズが倍になりました。 一応、親サイトにはyaml→json変換スクリプトも載せておいてあるのですが、これ(JSONデータ)があるとなんか便利になったりするんでしょうか。はてブコメント等でご意見お聞かせ下さい。 あ、そうそう。 あまり関係ない(というか全く関係ない)ですが、先週「はてなアイデア」なんてアイデアを出してみました。
はてブお気にいられリスト2008年3月分 - あそことは別のはらっぱ
非常に忙しいことになりつつあります。 ということで、なんで遅れたのかとか、そう言う話は省略しまして、 把握したブックマーカー: 9326 引退したブックマーカー: 316 お気に入りを使っていないブックマーカー: 4381 のべお気に入り人数: 56961 データはこちらです。
お気に入られリスト2008年1月分。 - あそことは別のはらっぱ
気がついたら1年以上これやってることになるんですね。 検索したブックマーカー: 8358 たぶん引退したブックマーカー: 283 お気に入りを使っていない人: 3864 のべお気に入り人数: 50321 こんな感じ。なお、取得に9時間くらいかかっています。 肝心のリストはこちらです。
2007年1月1日版お気に入られリスト。 - あそことは別のはらっぱ
2007年1月1日現在のお気に入りられリスト。 冒頭にも書いたとおり毎月1回自動的に取得するようにした(で、zipで固めるようにした)ので、今後気が付いたらアップしていきます。 ちなみに、 調べるきっかけに使った人: kanose 見つかったブックマーカー: 5623人 お気に入りを使っていない人: 2617人 お気に入りののべ人数: 33850人 となります。 前にも書いたような気がしますが、調べる手順は ある人のお気に入り一覧を取得する(fav_list)。 取得したお気に入り一覧それぞれに対し、 今調べた人をお気に入られリスト(faved_list)に追加する。 お気に入り一覧リストを取得していなければ取得予定(todo_line)に追加する。 ついでに、画面上にあるお気に入り数(fav_count)、お気に入られ数(faved_count)も保存しておく。 取得予定から次の人を取り
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
