棱野寿章

（株）プログメイト代表取締役
AtCoder 黄色(ヒュ)

[エフ（Fラン大学就職チャンネル） @F_kokutiyou]

はい。
仰る通りITスクールにもこのビジネスモデルが多くて問題視していました。

動画にもしています。
https://t.co/z9r32Y1a1E

[棱野寿章 @kadonox]

分布から大体わかってたけど、ヒュとアルゴで色と上位何%の線引き結構違うね

[棱野寿章 @kadonox]

一桁順位から300位前後くらいまで基本戦略同じなのでは！？ #AHC066

[Pythonアカデミア @python_academia]

技術的には可能です

[インポスター @inpostarrr]

あとインドは数学も弱い。フィールズ賞の受賞者はいないし、ノーベル賞の科学分野での受賞も乏しく、数学オリンピックやPISAも日本を遥かに下回る。中国系といったアジア系が理数系で上回っているのにも関わらず、なぜか日本だけインドはすごいといったイメージを形成してる。

[Ryoichi @ シリコンバレーの資格マニア🏗️ ⚡️📡☎ @ryo1kato]

本を読んでたら、なんか見たことある写真が！

「崖っぷちだったアメリカ任天堂を復活させた男」
（原題 Disrupting the Game)

[くるくるコーラ🥤 @Shiro_Shihi]

日本企業がGitHubを構築した場合はこう

[棱野寿章 @kadonox]

そのグッと睨む能力どうやったら身につくんや
こちとらただ険しい顔になるだけや

[chokudai(高橋 直大)@AtCoder @chokudai]

#AHC064 1位！グッと睨んで貪欲を書いたら平均50手くらいだったので、ビムサにしました。seed0: 31手
以下AI解説。

1/ 評価関数 (核)
連続 ID ペア (10r+c, 10r+c+1) 90 組と、各線の先頭 (10r が dep[r][0] にあるべき) 10 個に対してペナルティ加算。0 が完成。

ペアの基本ペナルティ:
- 隣接連結済み: 0
- 即連結可能 (a が出発線末尾 + b が待避線先頭): 800 (REACH)
- 片端だけ露出: 1400 (ONE_SIDE_EXPOSED)
- どちらも未露出: 1500 (UNCONNECTED)

ペアの縦方向加算 (vertical):
- 同線・同種・正順非隣接: +60 (間に車両が挟まってる、退避必要)
- 同線・同種・逆順: +800 (めちゃ重い罰)
- それ以外 (別線/異種): +30

ペアの横方向加算:
- 線番号差 × 3

先頭 (Top) ペナルティ:
- ベースは同じ (REACH 800 / ONE_SIDE 1400 / UNCONNECTED 1500)
- vertical: 車両が出発線にいる → +60、待避線にいる → +100
- horizontal: 同じく線番号差 × 3

2/ 1 ターンの手の選び方 (DP)
ターン内では、(出発線, 待避線) のペアが昇順に揃ってないと交差してダメ。なので候補手のうち以下の制約で gain 最大化:
- 出発線 i は各 1 回だけ使える
- 待避線 j は昇順 (i 昇順 ⇒ j 昇順)

候補手 (i, j, k, type) のうち各 (i, j) で gain 最大の手を 1 つ取り、dp[i][last_j] で「i 本目まで処理済み・最後に使った待避線が
last_j」の状態を更新。最大 10 件まで同時実行可能な組み合わせを構成。

3/ 探索 = ビームサーチ + ランダム倍率
シンプルな貪欲だと局所解で止まる。各親ノードから候補手の評価値に 0.3〜1.0 のランダム倍率 を掛けて DP に流し、15
通りの「同時実行可能な手集合」を生成 (=15 子���開)、上位 W=200 状態を残す。多様性を強制注入。
初手だけ 100 通りに広げて初期分岐を増やす。

4/ 重複除去 (Zobrist)
別経路で同じ状態に着地する beam state を排除。ハッシュは O(1) 差分更新。

5/ 高速化
- 各候補の評価値計算を「現状からの差分」で O(1)
- 「k 個運ぶ」を「k+1 個運ぶ」に拡張する増分計算 (差分の差分)
- 状態は固定サイズ struct で memcpy snapshot

6/ 結果
平均スコア 4,968.84 / 5,000 (T=31 前後)。

[棱野寿章 @kadonox]

「AtCoder国の高橋鉄道から、あなたに緊急の依頼が届いた。」

なお社長にやらせるのが一番強い模様

#AHC064

[棱野寿章 @kadonox]

（噛みちぎりと評価関数がまともに設計できないまま10日間過ぎてしまった…）

#AHC063

[棱野寿章 @kadonox]

まずPCなんて持ってない(使わない)現場の方が世の中圧倒的多数なんだよな〜
しかも管理者層はしっかりIT活用してる企業でもね、ってあたりの想像つくかつかないかで意見割れるよね

[tomoyuki@AIシャイン @sarukun99]

これはダッシュボードのほうが生産性が10倍くらい違って、Chatは毎回依頼しないといけなかったり、Slackも検索制の問題あるんですが、パッとみれるのと、社内ポータルとか、物理オフィスの場合はディスプレーに出しておくと、やらなくても気付けるので、かなり良いです

[棱野寿章 @kadonox]

@chokudai （どうやらグラフもDPも疎かったので、連結DP/フロンティア法に脳内変換できなかっただけのようです…すみません…）

[棱野寿章 @kadonox]

（フロンティアDPって何だ…？　Google検索してもこのツイートが引っかかる）

[chokudai(高橋 直大)@AtCoder @chokudai]

#AHC062 【出来てないけどやろうとしたこと】
想定解前半の4~5行フロンティアDPは、経路制限がでかいので、「経路完全自由の3行」に分割する方針、low,highのそれぞれでTSPして閉路を作り、midで辻褄を合わせる。low,highの1/5を多く通る閉路をまず作り、そっから残ったので頑張ってmidを作る。
midの辻褄合わせは、「low,highのTSPで出来たそれぞれのクラスタを通る一筆書きのルートを考えて、通るクラスタサイズの和の最大化」で頑張って作る。low,highを環状に作ってるので、始点終点がどこでも近くに繋ぐだけ。
当然これはただのパスなので穴が開くんだけど、空いた穴は大体「既存の辺の間に挿入」でほとんど埋められるので、100ケース程度なら全然行ける。
……って方針を取ろうとしたんだけど、highのTSPが上手く行かず誤魔化し切れず、とりあえずlow+さっきの+山登り、までやって465Mくらい。485Mくらいなら全然行けるつもりで行けるんだけどちょっと組み切るのが大変そう。ぐぬぬ。

[棱野寿章 @kadonox]

72位
とりあえず斜め移動で��マスごとに前半グループと後半グループに分けられることに気づけてよかった
もうちょいルート繋ぎ変えで頑張れるとなおよかった（TLE）
#AHC062

[棱野寿章 @kadonox]

（残り時間20秒に焦ってハイパラ攻めすぎててTLEした）

[棱野寿章 @kadonox]

theoryでもなく、logicなんだよな…

[Miura Hideki @miura1729]

ホーア理論じゃなく、クイックソートなのが人類のソフトウエア技術の限界を感じる

[AtCoder @atcoder]

【ニュースリリース】

日本最大のプログラミングコンテストサイトAtCoder　全世界での登録者数が90万人を突破！ https://t.co/DHO35CyeBX

[Haruhiko Okumura @h_okumura]

競技プログラミングにおける生成AIの進展と課題
https://t.co/mltIn8ntGE
AtCoderにLLMを参加させた研究不正でretract
https://t.co/g4C8zxB9vX

[棱野寿章 @kadonox]

これを感じ始めてからもう10年近くアルゴに出てないな…
そのくせMathキンとかは見ちゃう

[おここ @ococonomy4]

数学は嫌いではないけど、競プロに数学色の割合があまりにも強すぎる問題が来ると微妙な気持ちになる（競プロの問題ではなく数学の問題では？となるので）

[棱野寿章 @kadonox]

生成AIで遊んでないで最初から人力実装し��いれば間に合ってた説
ただ上位陣は生成AI使いこなして実装できてるので、こちらの指示が悪かったのだろう…

[棱野寿章 @kadonox]

BFSで短い経路列挙 → 納品被らないように過去の訪問時点をRに変える貪欲をやりたかったが、うちのgeminiやGPTは数回やって実装できず…
諦めてランダムウォークたくさん＋たまにR化の人力実装で終了（-人-）
149位
#AHC060