第7回ゆるふわオンサイト解説

第7回ゆるふわオンサイト   解説スライド   1  運営メンバー: dokin, Talfall, ayaoni, prd_xxx,
momohara, siro53, ochiaigawa（他協力4名） Special Thanks: tempura0224, kiyoshi0205, kichi2004

目次  2 • A - Subsidy  • B - Group
Moving  • C - Proper Fraction Operation  • D - Taking Sandwitches  • E - Adjust  • F - A Beautiful Company  • G - Dot Product Query  • H - EQual  • I - FORCIAN WAY  • 各問題FA・AC数  • writer/tester 

A - Subsidy  問題概要  レストランで税込 A 円分の食事をした。  キャンペーンで税抜き B 円以下の食事がタダになる。
  あなたは何円支払ったか？  ただし消費税は 10 %とし、小数点以下は切り捨てて計算する。   制約  • 1 ≦ A, B ≦ 10^4  • A は 11 の倍数  • B は 10 の倍数    3

A - Subsidy  解法  • A ≦ B * 1.1
の時   ◦ 答えは 0 円  • A > B * 1.1 の時   ◦ 答えは A 円  不等式の両辺を 10 倍すると、全て整数で判定できます。   A 円の方を1.1で割って判定してもよいです。     4

A - Subsidy  余談  出典：財務省「総額表示に関する主な質問」   「税抜価格」に上乗せする消費税相当額に１円未満の端数が生じる場合がありますが、その端数をどのように処理 (切捨て、切上げ、四捨五入など)して「税込価格」を設定するかは、それぞれの事業者のご判断によることとなります。
  • 税込み価格の計算方法を問題文に明記しないと曖昧になってしまう   • テストケースも油断すると税込み価格としてあり得ない金額が生まれる(A=10など)   ◦ Aが 11 の倍数、Bが 10 の倍数という制約を課しているのはそのため   → 税金関連の問題を作る時は要注意...？     5

B - Group Moving  問題概要  N*Nのマス目にM頭のゴリラがいる。i番目のゴリラは(A_i,B_i)にいて、色C_iのネクタイをしている。Q回の指示が与えられる。i回目の指示は、K_i色のネクタイをしたゴリラ全員が今いるマス目から下にX_i, 右にY_i移動しろというものである。マス目はトーラス状に繋がっているとする。ゴリラは指示通り移動する。全員のマスの位置を出力せよ。 
  6 🦍2 🦍1 🦍3 🦍3 🦍2 🦍1 指示：赤色のゴリラは下へ1, 右へ1 移動せよ出力： 2 2 2 1 1 3

B - Group Moving  指示通り愚直に全てのゴリラを動かすとO(MQ) でTLEする。  解法  • Q回の移動で、色ごとにどれだけ移動すべきかの累計距離をx軸、y軸ともに計算する 
◦ C++ではstd::map, Pythonではdict 等、辞書型を用いる   • 上記の結果をM頭のゴリラに適用する  • N*N のマス目におさめるのに注意  ◦ 1引いて、累計移動距離を足して、Nで割ったあまりをとって、1を足す必要がある   • 以上の実装で O(Q+M) や O(QlogM + M) などで間に合う  7

C - Proper Fraction Operation  問題概要  正の整数 A,B,K,N が与えられる。有理数 A/B
に対し、次の操作をN回行った結果を既約分数 C/Dで答えよ。操作：X←KX (KX<1 のとき) … (K倍) 　　　X←1/(KX) (それ以外) … (K倍して分子分母を反転) 例  A=1, B=7, K=3, N=2 のとき    8 3/7  1/7  7/9  操作操作

C - Proper Fraction Operation  考察  Nがとてもでかい(<=10^18) ので、法則を見つけたい　→実験しよう！！  K=2のとき 
    K=1のとき  　　　　　　　　　　　　　　　　　　　　　　　　→ループしている！！  9 1/10  1/5  2/5  4/5  5/8  1/10  K倍して分子分母を反転 K倍して分子分母を反転ずっと1倍

C - Proper Fraction Operation  性質  • K=1であるか、(K倍して分子分母を反転) の操作を行ったらループする ◦
K=1 のとき周期1, それ以外のとき周期 2 • 本問題の制約では4回以内にループに入ることが示せる  解法  • K=1 のとき  ◦ 周期1なのでそのまま出力... しちゃだめ！　約分しましょう   • それ以外のとき  ◦ 回数を充足するか (K倍して分子分母を反転 ) の操作を行うまでは愚直に行い、残り回数が奇数の場合に追加でもう1回操作しましょう   ◦ 操作しすぎに注意  • 約分  ◦ C/D を約分するには gcd(C,D) で分子分母をそれぞれ割りましょう   ◦ Python の方は fractions.Fraction を使うのが便利です   10

D - Taking Sandwitches  問題概要  長さNの数列Aが与えられる。A_l = A_r (l <
r) となるl,r を選び、A_l ,..., A_r を削除する操作を好きなだけできる。数列Aの長さの最小値を求めよ。  例      11 1 2 1 1 2 2 2 2 l=1, r=2 l=1, r=4 削除削除長さ「0」

D - Taking Sandwitches  部分点 (A_i <= 2) 解法  
• N <= 2 の場合を処理しておく  ◦ A = [1] のとき答えは1   ◦ A = [1,1], [2,2] のとき答えは0   ◦ A = [1,2], [2,1] のとき答えは2   • 上記以外の場合は必ず答えが0か1となる  ◦ 両端が一致している場合、答えは0   ◦ 両端が異なる場合、先頭を1と仮定すると [ 1, ?, ?,..., ?, 2] のようになっていて、A_i = 1 かつ A_{i+1} = 2 となる箇所は必ず存在する   ▪ [?, ?,..., ?] のどこかに [1,2] が存在するなら [ 1,?,...,?,1,2,?,...,?,2] のように操作できて答えは0   ▪ それ以外は [1,?,?,...,?,1,2] か [1,2,?,?,...,?,2] のどちらかの操作ができ答えは1   12

D - Taking Sandwitches  満点解法  • 以下のDPで解ける  • dp[i] :=
先頭からA_i までみたときの数列の長さの最小値  ◦ dp[N] が答え  13 1 2 3 2 4 3 1 4 5 1 2 5 0 1 2 3 1 2 2 0 1 2 0 1 1 dp A • ただし、A_i をみてるとき、A_i = A_j (j < i) となる j を全てみるのはTLEする   • 別途、処理したA_i の値ごとにdp[i] の最小値を持っておけば回避できる   • 計算量 O(N) 

E - Adjust  問題概要    例    14 N以下の場所と、N +
1以上の場所が指定されているような長さ2Nの順列全てについて転倒数の和を求めよ  S=0101 のとき、ありえる順列は1番目と3番目が1 or 2, 2番目と4番目は 3 or 4  あり得る順列は (1,3,2,4), (2,3,1,4), (1,4,2,3), (2,4,1,3) の4通り 

E - Adjust  解法  15 求めるべき値は　Σ{P∈あり得る順列全体の集合}Σ{i<j} f(i,j)  (f(i,j) はP_i>P_j なら1でそうでないなら0) 
Σの順番を入れ替えると、(いわゆる期待値の線形性/主客転倒)     Σ{i<j} Σ{P∈あり得る順列全体の集合} f(i,j)    を計算する問題になり、これは、  「ありえる順列のうち、P_i > P_j となる順列はいくつか？」という問題になる。 

E - Adjust  解法  16 S_i = S_j なら、N!*N!/2通り (P_i
> P_j になるケースとそうでないケースがちょうど半分ずつある。swapすれば1対1の対応が作れる)   S_i = 1, S_j = 0なら、N!*N!通り (問題文の制約より絶対にP_i > P_j)  S_i = S_j となる (i,j)、 S_i = 1,S_j = 0となる (i,j)の個数が分かればよく、O(N)で解ける。 

F - A Beautiful Company  問題概要  順列Pに対して与えられる順列Qと位置と数字共に共通する数の分だけ幸福度がもらえる、順列を変化させるのに気合を消費する。このとき消費する気合ポイントは元の順列を $R$ 、
変更後の順列を $R’$ としたとき、組 $(i, j)$ であって $pos(R,i) < pos(R,j) $ かつ $pos(R’,i) > pos(R’,j)$ となる組の数に等しいこれをT回繰り返す。（幸福度）- （消費した気合）を最大化せよ　例  P:(1, 2, 3)   Q:(2, 3, 1)   17 P を (2, 3, 1) にするのが最適　 

F - A Beautiful Company  解法  18 123  213  312 
132  231  321  愚直にdpなどを実装するとΘ(N(N!)^2T) くらいの計算量となり間に合わない。順列間の数が (N!)^2 と大きいので   コストの性質に注目する。  1  1  1  1  1  3  3  3  1  2  2  2  2 

解法  組 (i, j) であってpos(R, i) < pos(R, j) かつ
pos(R’, i) > pos(R’, j) となる組の数に等しい ※ 順列P = (P_1, P_2, … , P_N)に対して、pos(P, i) を「P_ j = i を満たす j 」と定義する →明らかに言い換えてほしそうな顔をしている。これは、隣接する2要素の位置を入れ替える操作を繰り返して P1をP2に一致させるための操作回数 (の最小値) に等しい F - A Beautiful Company  19

123, 132, 321 の３つに注目すると  123 → 321 への辺（遷移）は  123 → 132 → 321 としても損しないことが分かる。  なので  123 → 321 への辺は必要ない！    一般化すると隣接 swap 以外の辺は必要ない！！  (転倒数はバブルソートにおける swap の回数と等しいことから証明できる)  3  2  1 

132  231  321  これを実装するとΘ(N(N!)T)となり間に合う。  1  1  1  1  1  1 

F - A Beautiful Company  解法  22 実装上の注意  • 最短経路問題として実装するとやりやすい 
• 負辺が登場するが通る回数が同じなので下駄をはかせるとよい  • dijkstra で実行時間が厳しい場合はバケットソートに置き換えるとよい、距離の上限が低いことから高速化できる  1日目  2日目  3日目  ここのコストは - (順列Qと位置と数字共に共通する数) となる 

F - A Beautiful Company  ごめんなさい！！！！！！   本問題ではコンテスト中、問題文が誤っておりました。2024/10/10現在は修正されています。  修正前の問題文では、気合ポイントの定義が「(順序付きの組) (i,
j) (1≦i,j≦N) であって、R_i<R_j かつ R’_i>R’_j となる組の数」となっておりました。（問題文を清書する過程で、気合ポイントの定義が変わってしまっていたことに気づきませんでした。）  このため、コンテスト中に「サンプル2がどうしても9になる」という方が多数おられましたが、修正前の問題文ですとサンプル2は9になるのが正しいです。  ご迷惑おかけいたしました。    23

G - Dot Product Query  問題概要  長さNの数列A, B が与えられる。Cがクエリとして与えられるので、A・B’ =
C となるよう Bの要素を変化させる。変化させる要素の個数の最小値は？       24

G - Dot Product Query  解法  1. 初期値のA・B = S
とすると、Aからいくつかの要素を選んで、それらの最大公約数が|S - C| の約数になる時、A・B’ = C にできる。 2. 約数d を初めて得られるのは何回目か？は、gcd_convolution を用いて得られる。 3. 選ぶ要素の個数は、高々6つである！（2*3*5*7*11*13*17 > 2*10^5） 25 例えば、(6, 10, 15) で何が作れる？  (6, 10) -> gcd(6, 10) = 2 -> 2の倍数  (6, 15) -> gcd(6, 15) = 3 -> 3の倍数  (10, 15) -> gcd(10, 15) = 5 -> 5の倍数  (6, 10, 15) -> gcd(6, 10, 15) -> 1の倍数  2 3 5 6 ◦ ◦ 10 ◦ ◦ 15 ◦ ◦

G - Dot Product Query  解法  4. しかし、Sは最大で10^15程度になるから、毎回約数を計算しては間に合わない。 5. S
- 2*10^5 <= （S - Cのとりうる値）<= S - 1 に着目する。 →区間篩の要領で、調和級数の計算量で、すべてのCに対する答えを前計算できる！ 26

H - EQual  問題概要 27 オンサイトコンテストの予選は1回目のコンテストの上位X人と、2回目のコンテストで、既に決勝進出が決まっている人を除いた上位X人が決勝に行く。   「これ問題の相性ゲーだわ～～～～、コンテストの順番が逆だったら
(1回目の順位表と 2回目の順位表逆だったら) 決勝行ってたわ～～～」という人が出た場合、公平な予選 (equalなqual) でないとする。  公平な予選になる問題の組 (今回は順位表の組) を数えよ  ただし、順位表の一部は確定しているものとする。  余談  GCJなどがこの方式を採用していた。AtCoder主催のオンサイトなどもこのケースあり 

H - EQual  例: (sample3のパターン)   qualAの順位表が (あ,い,う,え,お,か,き,く)   qualBの順位表が
(あ,き,か,お,え,う,い,く)  (平仮名は参加者の人名を表す)とする。3人ずつ決勝に行くとする。  qualA→ qualB qualB→qualA  (あ,い,う,え,お,か,き,く) (あ,き,か,お,え,う,い,く)  (あ,き,か,お,え,う,い,く) (あ,い,う,え,お,か,き,く) 28 公平ではない  

2X = N のケース    解法  全員決勝進出おめでとう！！！！！ 🎉    (-1の個数)!
を出力する。    29

2X < N のケース    解法  公平な予選となるケースを数える。   誰か一人は決勝に行けていないが、決勝に行けなかった人で、(元々の) 1回目の予選で最も順位のよかった人
に着目する。 (この人がk + 1位とする。 k + 1 > X になることに注意)   このときQが満たすべき必要条件を列挙する。   30 }  ・・・  ・・・  ・・・  決勝進出  ↑k + 1位  決勝進出/予選敗退  以降では、元々の1回目の予選を予選A,2回目の予選を予選Bと表記します。  赤と青の丸は、予選Aでの順位の良かった人から順に左から並ぶ。 

2X < N のケース (必要条件1)    lem1: 予選Aでk + 1位の人の予選Bの結果はX位より大きい
  31 }  ・・・  ・・・  ・・・  決勝進出  ↑k + 1位  予選BでX位より大きい   決勝進出/予選敗退  prf: もしそうでないと、予選B→予選Aで実施されたら通過してしまう。 

2X < N のケース (必要条件2)    lem2: 予選Aでk + 1より大きい順位を取った人のうち、2X
- k人が決勝に進出し、その人たちの予選Bの順位はX以下   32 }  ・・・  ・・・  ・・・  決勝進出  決勝進出/予選敗退  ↑ 2回目でX位以下  赤は2X - k個  prf: 2X - k人なのは全体で2X人決勝に行くので明らか。  公平な予選だとすると、予選B→予選Aで行っても、決勝進出する必要があるが、予選BでX位以下でないと、予選Aで決勝に進出できない (予選Aでk + 1位が落ちるため、k + 1位より後ろは敗退)   ↑k + 1位   予選BでX位  より大きい 

2X < N のケース (必要条件3)    lem3: (予選AでX + 1位からk位を取った人の予選Bの最大値)
< (予選Aでk + 1位以上を取った人で決勝に行かなかった人の予選Bの順位の最小値)   33 }  ・・  ・・・  ・・・  決勝進出  k+1以降の青より予選Bの結果がよい   決勝進出/予選敗退  prf: 予選A→予選Bで行った時に、予選AでX + 1位からk位を取った人は予選Bで勝つしかない。この時、予選Aでk + 1位以上を取って、敗退した人 (lem2より、予選BでX位より大きい順位)) よりは小さい順位  ↑ 2回目でX位以下  赤は2X - k個  ↑k + 1位   予選BでX位  より大きい  ・・  }  ↓X + 1位  決勝進出 

実は十分    34 }  ・・  ・・・  ・・・  決勝進出/予選敗退  ↑ 2回目でX位以下 
赤は2X - k個  ↑k + 1位   予選BでX位  より大きい  ・・  }  ↓X + 1位  決勝進出  k+1以降の青より予選Bの結果がよい   決勝進出  これでシミュレートすると、予選A→予選Bでも、予選B→予選Aでも、赤い丸が決勝行きます。 

解法    35 }  ・・  ・・・  ・・・  決勝進出/予選敗退  ↑ 2回目でX位以下 
赤は2X - k個  ↑k + 1位   予選BでX位  より大きい  ・・  }  ↓X + 1位  決勝進出  k+1以降の青より予選Bの結果がよい   決勝進出  1. 以下kについて全探索をする  1-1. k + 1以降の赤を決める (2X - k個に1~XでQにまだ登場してない数字を埋める)  1-2. k + 1以降の青の最小値をmとして、以下mを全探索しつつ、mについて条件を満たすものをO(1) で計算する。  1-2-1. k + 1以降で赤になってないものについて、m ~ Xを埋める  1-2-2. m ~ Xでまだ使ってないものを予選Aの1~X位に割り当てる (ここで割り当てきれないと0になる)  1-2-3. 残りを予選AのX + 1~k位に割り当てる   1-2-1~1-2-3は二項係数や階乗などの積で O(1)になるので全体でO(N^2) 

I - FORCIAN WAY  問題概要  3*N のマス目が与えられる。各マスには高々1つの英大文字が書かれている。まだ書かれていないマスには好きな英大文字を1つ書くことができる。 (1,1) から
(3,N) へ隣接するマスを通るマスの列であって、順に文字を読んだときに “FORCIA” の1回以上の繰り返しとなるものが存在するようにできるか？  例    36 F A F X C R X A F A F O R A F X I C R C X A F O I A “Yes” 

考察  マスの列を考えるとき、閉路があるものは考えなくて良い左でYesにできるならより条件のゆるい右でもYesにできるため I - FORCIAN WAY  37 F A
I C O I A F O R R C O R C I A F ? ? ? O I A F ? ? R C O R C I A

考察  閉路がないpathを考えると、validなpathは以下の要素からなる I - FORCIAN WAY  38 • 　右移動 •
　上下移動 • 　S字移動これで全てそして、「S字移動」以外で左へ移動することはない

考察  S字移動は、6文字ずつ短縮できる！ I - FORCIAN WAY  39 F O R
C I A F F O R C I A A I C R O A I C R O F F O R C ? ? ? ? ? ? C I A A I ? ? ? ? ? ? R O F

考察  結局以下の要素を考慮すれば良い • 　右移動 • 　上下移動 • 　S字移動 (以下の4パターン) I
- FORCIAN WAY  40 これで全て

解法 4パターンのS字を使って先に行けるか？を前計算しつつ、DPで解ける dp[i][j][f][c] := マス(i,j) に状態f (0:上に動ける/1:下に動ける)で文字cの状態がありえるか？ (true/false) (fは、例えば下に動いた直後に上に動くのを防ぐため必要)
上記テーブルを左から埋めていくことで、計算量O(kN) で解ける (kは、高さ3*文字種6*Σ(S字のパス長) = 540 ぐらいの定数とする) (i+j)の偶奇により文字種は6→3とする実装も可能 I - FORCIAN WAY  41

余談  元ネタは弊社が掲げている行動指針の名前です  https://www.forcia.com/company/forcianway/  I - FORCIAN WAY  42

各問題のFA・AC数  43 問題オンサイト FA 全体FA AC数 A - Subsidy
noya2 noya2 60 B - Group Moving potato167 potato167 57 C - Proper Fraction Operation suta shiomusubi 52 D - Taking Sandwitches potato167 shiomusubi 37 E - Adjust Mitsubachi Mitsubachi 42 F - A Beautiful Company startcpp E869120 7 G - Dot Product Query potato167 potato167 6 H - Equal qual potato167 potato167 1 I - FORCIAN WAY kotamanegi 1

44 問題 writer tester A - Subsidy siro53 momohara B
- Group Moving prd_xxx momohara C - Proper Fraction Operation prd_xxx ayaoni D - Taking Sandwitches prd_xxx ochiaigawa E - Adjust tempura0224 ochiaigawa F - A Beautiful Company Talfall ochiaigawa G - Dot Product Query ochiaigawa ayaoni H - Equal qual ###### kiyoshi0205 tempura0224 I - FORCIAN WAY prd_xxx, Talfall tempura0224 writer/tester 

第7回ゆるふわオンサイト解説

第7回ゆるふわオンサイト解説

Transcript

More Decks by forcia_dev_pr

Featured