Hatena::Grouptopcoder

cafelier@SRM

cafelier のSRM参加記録です。コンテスト中に考えてたことを執拗に全部書き残すとどうなるだろうかという試み本番中にこういうコードが書きたかったなあ、という後で書いた反省コードを書き残す試み

スパムが来たのでしばらくコメント欄をはてなユーザ限定にしています、すみません、

 | 

2010-07-18

SRM476

| 15:20 | はてなブックマーク -  SRM476 - cafelier@SRM

SRM476 の成績・ソース (要ログイン) : AC/-/- : 確実に回避できなきゃいけないタイプの穴から這い出せなかった


250開く

  • 250-550-1000だったのでLv2を警戒
  • 『k匹集まって食事をしているときは f[i]+(k-1)*g[i] のエサを食べるもっふもふの生き物がN匹います。財政上の都合で totalFood までしかエサをあげることができません。最大何匹飼えますか』
    • N≦50

  • テストケース作成
    • 小さいの
    • 大きいの
    • あとfが小さいけどgが大きい(またはその逆)がややこしいケースかな。適当に小さいの作っておく

  • for(x in 1..N) x匹飼えるか?
  • を判定する。yesになる最大値が答え
  • x匹が決まれば、g[i]にかかる係数が固定されるので、それぞれ
  • v[i] = f[i] + (x-1)*g[i]
  • 食べることが確定するので、
  • これが小さい順にx匹選んで、totalFoodを超えてなければOK

  • できた
  • 書いた
  • 通った
  • submit

550開く

  • SNSの"friend"のリンクをたどって自分の友達全員のページを訪問できる確率を最大化してください。』
    • SNSの登録者数はN≦36人
    • friendページを見ると、実際のfriendのうちK人がランダムに選ばれて表示されるのでそこからクリックしないといけない
      • K人以下しかfriedがいない場合は常に全員表示される
    • 自分(IDが1番の人)の友達以外のページは訪れない
    • 同じ友達のページを2回訪れることもない
    • 最適行動をとった場合に全員行ける確率を求めてね

  • テストケース作成
    • 最小ケース
    • 最大ケース…はなんだろう、とりあえず完全グラフ作って K を色々変えておく

  • 「今誰のページ見てるか * 今まで誰のページを見たか集合」を状態にDP
    • って、それは N * 2^N 状態だから N=36 では無理だ…
    • それでよければ簡単なんだけど、そうじゃないから550なんだろうなあ

  • N=36ってことは、O(N * 2^(N/2)) くらいか、せいぜい
  • 両側探索的にスタートからとゴールからで半分までの確率を求めて掛け算…
    • 仮に、スタートから18歩行った先全状態の最適確率が計算済みとする
    • するとさっきのDPで、18歩までしか見ないから、状態数が 18 * 2^18 に…
    • 逆に、全部訪れ状態から逆に18歩戻る方を計算すれば同じ理屈で18*2^18個しか計算しなくていいので
    • これを足し算して…

  • これか!書こう
  • よし、えーと最大18個訪れた状態を2^18のビットにエンコードs…
  • !!
  • これ、状態数 2^18 じゃなくて 36C18 じゃん
    • 18/36のうちどの18個を訪れるか全通り考えなきゃいけないから
    • それは、37倍すれば確実に2^36を超える数だから、どう考えても2^18より遙かに大きい
  • 無理だ

  • ううむ。
  • 逆に考えて、2^18 にするにはどうであればいいかというと、
    • 「ID 1~18 までを訪れた訪れてないフラグ」と「ID 19~36 フラグ」みたいに
    • 完全にIDを分けて半分個できればいい。
    • そんなDPになるような漸化式は…思いつかない…

  • DP全体の構造を考えるより先に、個々の更新式を考えてみるか。
  • 以外と、そっちからヒントが見つかるかも。
  • つまり
    • 「今誰のページ見てるかv * 今まで誰のページを見たか集合m」での最適確率P(v,m)を
    • vから行けてmに含まれてないページuにおける確率P(u,m+{u})から求めるにはどういう式で計算すればいいか考える

  • vから行ける友達がK人以下の場合
    • これは、P(u,m+{u}) が最大の友達uのページに行くのが最適
  • というか、誰のページに行く方がいいかの順序関係は、Kとか関係なく一定だな
  • vから{u1, u2, ..., ux} に行ける場合
    • pi = P(ui,m+{ui}) が大きいところに行けるならそっちに行った方がお得
  • というわけで、{u1, ..., ux} を {p1, ..., px} の値でまずソートしておく
    • ui∈m のところには行けないので0としておくか
    • あと、uiが元々のスタートID1番さんの友達でない場合も行かないので0としておく

  • で、ソートした後を改めて {(u1,p1), ..., (ux,px)} とすると
    • u1 さんが K 人のリストの中に入っていれば必ずそこに行くのが良い
      • 入っている確率は 1 - C(x-1,K)/C(x,K) だから
      • つまりこの確率で u1 さんの方に行く。p += (1 - C(x-1,K)/C(x,K)) * p1;
    • u1さんが入ってなくてu2さんが入っていればそこに。
      • この確率は C(x-1,K)/C(x,K) * (1 - C(x-2,K)/C(x-1,K)) だから
      • 簡略化すると (C(x-1,K) - C(x-2,K)) / C(x,K) こう。
    • 以下同様に
      • (C(x-i,K) - C(x-i-1,K)) / C(x,K) * pi;
    • の和をとれば答えが求まります

  • だよね。
  • でもこれを見てもDPの高速化のアイデアは浮かばない…

  • 無理だ。あきらめて1000の問題読もう

1000開く

  • 要は
  • 『最大50頂点、50辺の無向グラフがあります。ただし、すべての頂点は高々1個のサイクルにしか所属していない、という特殊な形のグラフです。辺eの両端にはあらかじめ一人乗り移動用マシンがae個be個と置いてあって、こっちからそっちには最大ae人、あっちからこっちにはbe人動ける状態になってます。N人の人が任意のノードにばらまかれても全員0番ノードに集合できるようにするには、最低何個移動用マシンを増やせばいいですか』
    • N≦10万

  • という問題文を読解するのに結構時間がかかった
  • えーと、まずグラフをサイクルに分解する
  • するとこのサイクルはツリー状になっているから、必ず0番(ルート)あるサイクル方向に向かっていく旅をしなければいけない
  • サイクル間の橋は1個しかないから、そこで全員同じノードに集結するので結局
  • 1サイクルにN人ばらまかれたとき、各自左回りと右回りをどうするか適切に選択すればサイクル出口にN人行けるようにするにはどうすればいいですか
  • という問題をサイクル別に解けばよい

  • なんとかなりそうな気がするけど…
  • 残り30分でこの「サイクル別に分ける」処理を正しく実装する自信がそもそもない…
  • 550に戻った方がまだ望みがある気がする

550に戻る

  • 20分考える
  • やっぱりわからん

  • 「ID1番の人の友達しか訪れない」って重要なのかなあ。
  • 結局1番と全員が友達なら全員訪れなきゃいけないのだから、わざわざ足す必要のある条件とは思えないけれど…
  • 待て
  • 「結局1番と全員が友達」
  • ってあり得ないのではないか?
  • 入力フォーマットを確かめる
    • 友達リストは36"文字"の文字列で、整数をスペース区切りした形で与えられる
  • !!!!!!
  • これ、数字とスペースが交互にくるから、せいぜい友達数は最大で18人なのでは…!!!!!
  • 厳密にはもっと減るか、"1 2 3 ... 9 10 11 .." で、最大15人!

  • うおおこれなら楽勝問題じゃないですか。36人かと思っていたら15人だった
  • 実装
  • 実装
  • 実装
  • 実装
  • よっしサンプル通っtタイムアップ!
  • orz

感想

  • 550は気づけなければいけない問題だった
    • テストデータを作る時に、入力制約をちゃんと満たしているか確認すれば36"文字"には気づけたはず
    • ちょっと考えればハミルトンパス問題を還元できることがわかるので、N=36のハミルトンパスはLv2に要求するにはヒューリスティック的すぎることから考えて36頂点はありえないと見切れるべき
  • 特に前者かなー。次はこれにははまらんぞ。
トラックバック - https://topcoder-g-hatena-ne-jp.jag-icpc.org/cafelier/20100718
 | 

presented by cafelier/k.inaba under CC0