トヨタ自動車プログラミングコンテスト2024#5(AHC033)¶
問題概要¶
- 番号がついたコンテナを、N * N (N=5)マスのグリッドの左から右へ、N台のクレーンを使って、指定の順番で搬出したい
- 毎ターン、各クレーンは、コンテナを掴む、離す、上下左右に移動する、何もしない、クレーンを爆破する、のいずれかをすることができる
- 各クレーンは同じグリッド上に重なったり、すれ違ったりはできない
- クレーンは2種類あり、0番だけ大クレーンでそれ以外は小クレーンで、大クレーンは移動先にコンテナがあっても移動できるが、小クレーンはできない
- できるだけ短いターンで搬出するような操作列を求めよ
時間¶
- 240 時間
個人的メモ¶
クレーンが1台だけの場合¶
- シンプルな方法として、大クレーンが1台だけの場合を考えると、他のクレーンを気にしなくて済み、大クレーンは他のコンテナを無視して移動できるのでシンプルに考えられる
- なので、全部のクレーンでできるだけコンテナを取り出してから、小クレーンは爆破し、大クレーンのみで搬出するアプローチが考えられる
- (ほぼ問題ないが、最初に搬出するコンテナが取り出せてない場合は詰む場合が存在するので注意)
- ひとまず、大雑把に「このアプローチでのターン数/5台」が目指すべきターン数として考えられる
- 一方、クレーンを並列で動かすことを考える場合、小クレーンの方が多いので、小クレーンが動ける方法を考えたい
- 小クレーンはコンテナやクレーンがあるマスには移動できないので、大クレーンと違った工夫が必要となる
- 小クレーンがコンテナを搬出できるためには、搬出口までの経路が空いている必要があるため、「経路(道)を作っておく」か「あまりコンテナが出さないようにする」かしたい
一時置き場¶
- 番号順に搬出するためには、どうしても一時的にどこかのマスに置いておく必要がある
- また、小クレーンが搬出できるようにするため、置いているコンテナは搬出の邪魔にならず、「置く&取る」で2ターン分ロスするので、少ない方が良い
- ただ、並列で動くため、このロスは必ずしもクリティカルなものではないみたい
- なので、できるだけそのようなロスが少なくなるような取り出し方を考える
必要な一時置き場の最小数¶
- 「
dp[r0][r1][r2][r3][r4]
:=各行の搬入済み個数の状態がrxのときの必要な最小一次置き場個数」とかで求められる- ただ、条件を少しいじって適当に山登り/焼きなまし、ビームサーチとかでも
- これを求めると、各ケースによって結構違いがあることがわかり、大体平均3〜4マス、最大でも8マスとかであることがわかる
- seed=0は必要な置き場の数が多くて実は難しめのケースで、seed=38とかは一時置き場が不要な簡単なケース、と違いがあることがわかる
- また、ここから「取り出す順番」が得られるので、この順番に処理すればよい
- ただし、多少最小数を超えても一時置き場において良いなど緩和したほうがターン数が減るケースもあるみたい
一時置き場のパターン¶
- 道を用意する
- 行2の部分を道にする
- 行1と行3の部分を道にする
- できるだけ端を使う
- 行0や行4を優先して使う(次に行1や行3)
- (一時置き場が7箇所とか必要になるケースもあるので、注意)
特定のコンテナを具体的にどの一時置き場に置くか¶
- 下記のビームサーチ時に一緒に探索
- 「必要な一次置き場の最小数」を満たすような順番をたくさん生成して試す
- 貪欲に空いているところに置く
- など
クレーン動作の並列化¶
- 小クレーン1台で処理する場合は、上記で求めた「取り出す順番」で、一時置き場に置きながら処理していけば、順番に搬出できる
- これを5台のクレーンで並列化したい
クレーンの1ターンの動きでビームサーチ¶
- クレーンの動きは8通りあり、5台分あるため、8^5=32768通りある
- 実際は、Bは使わない、PとQはコンテナの搬入・一時置き場・搬出地点で決まる、などでもっと少ない
- コンテナを持っている場合は基本は右方向、持ってない場合は左方向に行きたいはずなので、逆方向や無駄な動きを減らすと4^5=1024ぐらいにできる
- また、範囲外移動やクレーンの存在でできない動きなどでさらに減る
- 適当に評価関数を用意して、ビームサーチするなどが考えられる
- この方法だと、ビーム幅が小さいや評価関数が微妙だと、無駄な動きをして無駄にターン数がかかっていたり、デッドロックが発生したりなどで失敗する可能性がある
- ただ、良い評価関数やビーム幅を確保できてるなど、十分調整できていれば、この方針で上位にいけていたっぽい
タスク割り当てで貪欲、ビームサーチ¶
- (解説放送)
- クレーンに「指定のコンテナを取りに行って、拾って、移動して、目的地に置く」というタスクを考える
- 他のクレーンとぶつからない/すれ違わないように移動する方法は、グリッドに時間軸を加えた3次元で考える と、クレーンがいて良い位置がわかるので、これでBFSなどすれば求められる
- そこで、各クレーンに対して、タスクを割り当てることを考える
- 割り当てる順番が変わると、先に割り当てた方の経路を後に割り当てた方が避ける経路を取る感じの違いでる
- コンテナやクレーンの配置によってはどうしても経路が見つからない場合もありえる
- 空いているクレーンに「取り出す順番」でコンテナを順番に処理する貪欲などでもそこそこ良くなる
- 順番を変えて貪欲をたくさん試す、順序を焼き鈍す、など
- 上位ではこの方針の人結構いるっぽい
- 順番を変えて貪欲をたくさん試す、順序を焼き鈍す、など
- これをビームサーチにしたいが、タスク単位の場合、比較が難しい状態が同じビーム内に並ぶので、評価関数をどうするかが問題になる
- 最上位は、「考えられる要素を考えて調整」や「必要手数の下限を考える」など
評価関数/評価値¶
- 評価関数の要素、評価値調整法
- 搬出完了までに必要な手数の下限/下界を考える
- 無駄な動きに対して減点
- コンテナが目的地に近づくほど加点
- 各クレーンの必要ターン数のlogsumexp/クリティカルパス分析
- linear conflict
- n-puzzleで使われる評価関数(AHC011)
- https://eijirou-kyopro.hatenablog.com/entry/2024/05/30/110801
その他工夫¶
- 重複排除/多様性確保
- Zobrist Hash
- 枝狩り
- ビットによる高速化
- など
その他¶
クレーンで役割を変える¶
- 「クレーンXは搬出、クレーンYはコンテナ整理」のように役割をわけて動かすことも考えられる
- しかし、搬出するクレーンが減るほど並列数が減ってターン数が増えてしまうため、できるだけ全クレーンが並列で搬出できている方が良い
難しいケース¶
順位表から上位解の見積もり¶
- 点数から具体的な手数の見積もりまでできるらしい
- スコアを調整して平均値を見積もることもできる
最短経路¶
- ビット演算
実行時間の劣化、リジャッジ¶
- 個別ケースでのブレの話ではなく、ある時間帯やテストケース付近で連続的にマシンの性能が劣化してそうな話
- TLEが増えていたり、時間調整している人はTLEにはならないが探索数が減ってしまっていたり
- リジャッジが入った
- 他のインスタンスとキャッシュ(L3?)を奪い合っていたり、帯域圧迫しているのではないか、との仮説
- https://atcoder.jp/contests/ahc033/clarifications
- https://twitter.com/fuppy_kyopro/status/1795111517702045937
- https://twitter.com/terry_u16/status/1795129959054283171
- https://twitter.com/yunix91201367/status/1795123464149270753
- https://twitter.com/yosupot/status/1795129618904605172
マルチエージェント経路計画¶
- https://kei18.github.io/note/posts/mapf-tutorial/
- https://speakerdeck.com/kei18/navigation-for-a-team-of-agents
解説¶
(50位まで&発言を見つけられた方のみ)
- bowwowforeachさん
- https://twitter.com/bowwowforeach/status/1795036799233884504
- https://twitter.com/bowwowforeach/status/1795058222606201278
- https://twitter.com/bowwowforeach/status/1795063661502873628
- https://twitter.com/bowwowforeach/status/1795066764415369448
- https://twitter.com/bowwowforeach/status/1795073795725590597
- https://twitter.com/bowwowforeach/status/1795074349143130223
- https://bowwowforeach.hatenablog.com/entry/2024/05/30/210002
- Jirotechさん
- eijirouさん
- montplusaさん
- asi1024さん
- soumatさん
- yunixさん
- https://twitter.com/yunix91201367/status/1795061801492648100
- https://twitter.com/yunix91201367/status/1795086756955537804
- https://twitter.com/yunix91201367/status/1795086188472160528
- https://twitter.com/yunix91201367/status/1795089742339449283
- https://twitter.com/yunix91201367/status/1795095918464635323
- https://twitter.com/yunix91201367/status/1795301426199146763
- https://twitter.com/yunix91201367/status/1795353061021647093
- https://yunix-kyopro.hatenablog.com/entry/2024/05/27/235836
- terry_u16さん
- https://twitter.com/terry_u16/status/1795036495041945850
- https://twitter.com/terry_u16/status/1795038303198101845
- https://twitter.com/terry_u16/status/1795038864270033143
- https://twitter.com/terry_u16/status/1795040624313336072
- https://twitter.com/terry_u16/status/1795041965232337344
- https://twitter.com/terry_u16/status/1795042617308086779
- https://twitter.com/terry_u16/status/1795043475676598314
- https://twitter.com/terry_u16/status/1795044804595757134
- https://twitter.com/terry_u16/status/1795048430286324048
- https://twitter.com/terry_u16/status/1795053777831047269
- https://twitter.com/terry_u16/status/1795057312450670752
- https://twitter.com/terry_u16/status/1795067377240932435
- https://twitter.com/terry_u16/status/1795068164910334186
- https://twitter.com/terry_u16/status/1795086156884746619
- https://twitter.com/terry_u16/status/1795087104646553950
- https://twitter.com/terry_u16/status/1795089509194858885
- https://twitter.com/terry_u16/status/1795090179864097252
- https://twitter.com/terry_u16/status/1795096501510606955
- https://twitter.com/terry_u16/status/1795104310755209633
- https://twitter.com/terry_u16/status/1795107909484867761
- https://twitter.com/terry_u16/status/1795111507161702653
- https://twitter.com/terry_u16/status/1795112789968621632
- https://twitter.com/terry_u16/status/1795114993769197897
- https://twitter.com/terry_u16/status/1795116652956172290
- https://twitter.com/terry_u16/status/1795121567069827408
- https://twitter.com/terry_u16/status/1795130543794770308
- https://twitter.com/terry_u16/status/1795130767569211575
- https://twitter.com/terry_u16/status/1795136941324894335
- https://twitter.com/terry_u16/status/1795296681912938611
- https://twitter.com/terry_u16/status/1795300176133075311
- c7c7さん
- toamさん
- saharanさん
- btk15049さん
- Rafbillさん
- tokoharuさん
- simanさん
- https://twitter.com/_simanman/status/1795045496802640304
- https://twitter.com/_simanman/status/1795044402437513348
- https://twitter.com/_simanman/status/1795043631419601014
- https://twitter.com/_simanman/status/1795037426462650809
- https://twitter.com/_simanman/status/1795033273204199670
- https://twitter.com/_simanman/status/1795034018993283105
- Shun_PIさん
- syndromeさん
- yochanさん
- tomerunさん
- rabotさん
- kawateaさん
- uta_cccさん
- https://twitter.com/uta_cccc/status/1795043988690321598
- https://twitter.com/uta_cccc/status/1796141656346935761
- https://twitter.com/uta_cccc/status/1796156385211625752
- https://twitter.com/uta_cccc/status/1796158055664738653
- https://twitter.com/uta_cccc/status/1796509207547769169
- https://twitter.com/uta_cccc/status/1796509970760143287
- https://utac.hateblo.jp/entry/2024/05/28/193532
- tsukammoさん
- itigoさん
- https://twitter.com/itigo_purokonn/status/1795034814497591786
- https://twitter.com/itigo_purokonn/status/1795036329916441009
- https://twitter.com/itigo_purokonn/status/1795037402785824843
- https://twitter.com/itigo_purokonn/status/1795041568904069207
- https://twitter.com/itigo_purokonn/status/1795089307213918211
- https://twitter.com/itigo_purokonn/status/1795046824346071145
- https://twitter.com/itigo_purokonn/status/1795753802391584907
- https://twitter.com/itigo_purokonn/status/1795766407021670685
- mikuさん
- PrussianBlueさん
- https://twitter.com/prussian_coder/status/1795059606487523542
- https://twitter.com/prussian_coder/status/1795063394283700538
- https://twitter.com/prussian_coder/status/1795550831967899877
- https://twitter.com/prussian_coder/status/1795735687049998818
- https://twitter.com/prussian_coder/status/1795791608958566462
- https://twitter.com/prussian_coder/status/1795794913453285740
- ssaattooさん
- hteさん
- yuusanlondonさん
- RinSakamichiさん
- Ang107さん
- tempura0224さん
- yuuki_nさん
- sortAさん
- MathGorillaさん