競技プログラミング総合スレ 65

2022/12/26(月) 12:47:37.63

!extend:checked:vvvvv:1000:512
↑2行になるようにする

競技プログラミング、オンラインジャッジ、プログラミングコンテストやCTFに関する雑談スレ
次スレは>>950

AtCoder https://atcoder.jp/
yukicoder https://yukicoder.me/
Codeforces https://codeforces.com/
CodeChef https://codechef.com/
Project Euler https://projecteuler.net/
CLIST https://clist.by/
AtCoder Problems https://kenkoooo.com/atcoder/
AtCoder Clans https://kato-hiro.github.io/AtCoderClans/

※前スレ
競技プログラミング総合スレ 64
https://mevius.5ch.net/test/read.cgi/tech/1664700238/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2023/02/12(日) 01:22:02.99

>>549
そうだね、1-q^nは性質がよくてありがたい
たとえばq-二項係数なんかはbinom(n,r)_q = Π_{i=1}^{r} ((1-q^(n-i))/(1-q^i))と表せてlogを取ると

log binom(n,r)_q = Σ_{i=1}^{r} log (1-q^(n-i)) - Σ_{i=1}^{r} log (1-q^i)

なわけだけど、log (1-q^i) =　- Σ_{k=1} q^ik / k（ここで疎であることが効く）を利用し、
log binom(n,r)_qをN次まで求めるのならばO(NlogN)で求められる（調和級数）
binom(n,r)_q = exp(log binom(n,r)_q)もexp取る操作がNewton法でO(NlogN)でできて、最終的にはO(NlogN)

2023/02/12(日) 01:30:42.49

(1-q^n)/(1-q)で定義されたq-数の積で表されるようなものならこの方針でほぼ対応できるんじゃないかな

2023/02/12(日) 01:40:39.16

>>581
https://qiita.com/Chippppp/items/620d2e5229f5c7e93f0c
もうまとめてくれてる人いるね
競プロでよくお世話になりそうなのはnumbers,bit,autoあたりかなの印象

2023/02/12(日) 09:16:26.52

言語アプデでGoとか相当良くなるんじゃないかな
Generics使えるようになるし

2023/02/12(日) 14:42:18.02

これもq-二項係数の言葉で説明できたりしますかね？

https://yukicoder.me/problems/no/986

2023/02/12(日) 14:54:27.27

例のQiita記事覗いたけど20代の主婦ってワードでちょっとびっくりしちゃった周りにそういう生き方してる人いないので

2023/02/12(日) 17:03:52.39

>>586
最後のはもろにq=2のq-二項係数だね
Π_{i=0}^{N-1} (2^M-2^i)/Π_{i=0}^{N-1} (2^N-2^i)
= Π_{i=1}^{N} (1-2^(M-i+1))/(1-2^i)
= binom(M, N)_2
丁度>>548に書いてある話かな、q=2以外のF_qでも同じような議論ができる
問題の誘導がお手本のようなq-二項係数の導出方法になっていると思う

あとすまん、>>582は指数ミスってるね、 Π_{i=1}^{r} ((1-q^(n-i+1))/(1-q^i))が正しい

2023/02/12(日) 18:43:07.51

>>584
それ見てatcoderはC++20対応まだなのかなって思ったんですよね
以前C++やる前にpython触ってたのでrangeなどの配列操作に慣れてたので
なんでC++こんな面倒なんだろうって思ってました
自分はC++20のrangeが便利そうだなって思ってます
テンプレで自作関数用意しちゃえばなんでも大差ないんでしょうけど
やっぱSTLや標準機能で動いてるって安心ですよね

2023/02/12(日) 23:32:43.82

今日のwriterロシアの人みたいだけどなんでatcoderでの出題なのかな

2023/02/13(月) 00:05:27.27

実験したらパスカルの三角形が出てきたから色々調べて何とかlucasの定理まで辿り着けたんだけどこれA問題で知識として要求されるレベルなのか

2023/02/13(月) 01:21:21.02

Lucasって言うと大袈裟に聞こえるけど再帰的な構造を見つけてくださいねってだけじゃね？

2023/02/13(月) 01:24:37.51

>>589
競プロだとコード長制限の観点からも嬉しいですね
テンプレもりもり書いてると結構すぐ超えちゃうので

2023/02/13(月) 21:58:26.16

>>590
海外でも難問と言えばAGCという評判だから、難しいセットをAGCに投稿しようと思う外国人はいると思う

2023/02/13(月) 22:36:59.14

普通にtourist AGCとかあるしな

2023/02/13(月) 22:49:24.44

こういう人を見ると凄く勿体無く感じる
何故、中卒なのかは分からないけど1年ちょいで青コーダーになれるだけの地頭があるなら、勉強をすれば東大や京大にだって余裕で受かるだろうに

【AtCoder】中卒の主婦が青コーダーになったおはなし【競技プログラミング】
https://qiita.com/mayocorn/items/4edff486428240864808

2023/02/14(火) 00:21:59.23

主婦に東大目指せと？

2023/02/14(火) 01:29:58.32

どういう学歴を辿るかは本人の自由だろうし、余計なお世話ではないか

2023/02/14(火) 01:32:50.93

>>588
あーこれだこれ
俺が知ったのはABCのEx問題かなんかだったが、解説でこのゆきこの問題と同じような感じで導出してた覚え

2023/02/14(火) 01:46:29.47

>>598
本当これに尽きる

2023/02/14(火) 02:20:57.01

東大生が～とか中卒が～とか何を話すにもわざわざ学歴を書いてイキらなきゃいいだけだぞ

2023/02/16(木) 01:26:12.31

ガチのフルコミットする奴(子なし主婦やニート)が増えれば青＝東大の相場は崩れる気がする

まあ子供育てる予定があって自分が東大レベルの学力を狙える根拠が1つでもあるならとりあえずやってみる、というのは子育て戦略として面白いし普通に優良

2023/02/16(木) 08:10:30.22

青=東大なんて言ってるの学歴厨しかおらんよ
マ板のゴミみたいな文化をこっちに持ち込むな

2023/02/16(木) 10:41:54.29

青って蔑称だろ

2023/02/16(木) 21:15:09.06

凄いのは凄いって言えばいいのに他所から「勿体ない」って言うのは傲慢よ

2023/02/17(金) 06:48:56.83

ABCの3完が精一杯でBやCが解けないこともたまにある灰色なのですが
ARCって参加して0完でもパフォ少し出ることあるから参加したほうが良いって本当ですか？

ARCのAすら解けないから毎回参加してなかったのですが
なんかスコア稼ぎみたいでズルっぽいので躊躇するけど
もし本当なら0完参加もありかも？

2023/02/17(金) 12:37:56.14

何もせず稼げるとしてそれが嬉しいなら自分でやってみたらいんじゃね

2023/02/17(金) 14:06:14.64

某所で見かけた問題（どこの問題かは規約の関係で言えない）なんだけど、いくら考えてもわかんなかったから誰か教えてほすぃ

N 個の正整数 L_1 ～ L_N が与えられる。ここで以下の二つの「操作」から好きな方を選ぶことを繰り返す。

・L の要素を任意に一つ選び、X 減らす。
・L の要素を任意に Y 個選び、それぞれ 1 減らす。

L の全ての要素を 0 以下にするには最低何回の操作が必要か？

1 <= N <= 100000
1 <= L_i <= 100000
1 <= X <= 100000
1 <= Y <= N
（制約条件はこれであってるはずだけどもし記憶違いだったらゴメン）

2023/02/17(金) 14:19:41.06

出展不明の問題には解答してはいけません
不正に荷担することになるかもしれません

2023/02/17(金) 14:22:27.12

それがどこの問題か知ってるけどその問題を公開することは許されてるわけ？許されててもダメだと思うけど

2023/02/17(金) 14:26:54.61

マジか、伏せとけば大丈夫かと思ったわ
じゃあ諦めるわ

2023/02/17(金) 15:36:51.10

かなりムズい気がするな
このスレではどのみち解けなさそう

2023/02/17(金) 16:40:00.47

や、俺は解けたけどな！

2023/02/17(金) 17:24:12.44

そんなに難しくはないけど、確かに解答したくはないな……
自力で頑張ってくれ

2023/02/17(金) 17:36:44.85

簡単すぎて草

2023/02/17(金) 20:35:59.16

マジでこれが難しいって言ってるのか？
茶色？

2023/02/17(金) 20:39:57.57

diff1600くらいはあると思う

2023/02/18(土) 03:39:57.25

Lは昇順にソート済みとする
まず後者の操作だけ考えるとmax(L_N,ceil((L_1+...+L_N)/Y))が下界で実は達成可能（この値は1回の操作で必ず1以上減らせる）
となると前者の操作は値の大きい方からやるべきで前者の操作回数を全探索することにすると二乗logにはなるがこの先がわからん

2023/02/18(土) 06:27:43.34

難しいじゃん黄Diff以上はありそう

2023/02/18(土) 12:46:27.04

>>618
シミュレーションの際に同じ値はまとめれば毎回最大値が1以上減るからステップ数抑えられるか
その間の算数はk個に操作するとして
k+max(m,ceil((s-x*k)/Y))
という式の最小化
面倒だから雰囲気だけだけど多分最小と最大とmaxの中身が丁度等しくなるとこくらいを調べれば十分なはず

2023/02/18(土) 14:52:45.65

ドヤりたいのわかったからヒント出すな

2023/02/18(土) 18:29:18.45

>>606
レーティングって長期的推移でみるものだから高々1個実力外で稼げたものは所詮あぶく銭にすぎないしパフォ目的ならオススメはしないかな
チャレンジしたい！って心意気ならすご～くいいと思います

2023/02/18(土) 20:05:46.57

>>622
ARC過去問覗いて見てそっ閉じしました
問題文や解説すらさっぱり理解出来ないので
せめてA問題が理解出来るくらいまでは参加は諦めます

2023/02/18(土) 20:35:51.39

誤爆見たぞ

2023/02/18(土) 23:19:15.25

Cまではとっつきやすかったね
chineristさんの回だからまた相当な難問が来るかと恐れていたけど

2023/02/18(土) 23:24:56.87

B問題は実家DP的ななにかを予想して遷移考えたけど、思ったより普通の算数で解けたな
Cは制約がゆるすぎて逆に解きにくかった
こんなこと言うと競プロに過学習してるっぽくてよくないんだが

2023/02/18(土) 23:35:35.53

Cの制約ってジャッジの都合なんかね

2023/02/19(日) 00:05:31.17

>>624
見たぞ2
少なくとも3人factorioスレ見てるやつが居るな

2023/02/19(日) 06:03:20.76

寝起きでARCのA問題見たらちょっと閃いた気がしたので
20分くらいですぐにサンプルACしたので提出したら見事にWAでしたｗ

流石にARCだからコーナーケースが仕込まれてるとは思いましたが
考えても何も思いつかないのですぐに解説見たけど理解するのに1時間くらい掛かりました
多分本番やってたらWAにドはまりしてストレスでメンタル壊れてたと思うので
精神衛生的に不参加で良かったです

最速提出で2分台の方のコード2つ見ましたが
まるでコーナーケースを知ってるかのようなコードでしたね

問題を読んでコーナーケースまで把握したコードを2分台で提出してACするってことは
典型問題として類題知ってるってことでしょうか？
本当に初見で直感で2分台なら凄すぎます

でも5分以内ACも20人くらいいるからわかる人には分かるのかな

2023/02/19(日) 12:49:58.63

類題知ってるとかではないと思うよ

2023/02/19(日) 13:34:36.91

2分はともかく、30分かけて良いなら解けなきゃダメだと思うよ
長さ15くらいまでのテストケース全生成は幅優先探索やるだけABC-Cくらいの難易度なので、これを作って手元で確かめれば条件なんて自明

2023/02/19(日) 14:04:10.80

想像しているようなそっくりな問題を解いたことがあるみたいな話ではないけど（多分上位層は初見でも2分で解ける）、何個かの要素に分解できるところはあるかな

・偶奇に注目、二つ裏返すということは1は偶数個じゃなきゃダメ
・自明な下界を考える、2つ以上離れた1のペアを作れれば達成できる
・1が2個のときはコーナーケースっぽい、特に小さいケースについてはなるべく注意した方がいい

こういうのをできる人は無意識に一瞬でやってるから、何をいまさら言語化しているんだって感じだろうけど

2023/02/19(日) 14:13:36.32

ある意味ARC典型みたいなところがあるかな
Cも自明な下界を考える問題だったし、Bは貪欲にある数まで下から埋めたあと分配する問題で、賢い筋を一つ見つけて他の筋を枝刈りするタイプの問題が多い

2023/02/19(日) 15:26:29.04

AはARC-Aに置かれてると条件は基本的にシンプルになるけどたまに場合分けを要求されるみたいな雰囲気を感じ取れる(いつかのこどふぉで全く同じコーナーケースに注意すべき問題もあった)し、Bも条件の厳しいものからあらかじめ決めておいて残りは重複組み合わせ等で簡単に処理するっていう考え方をARCで何回か既に見たからARC典型みたいなのは問題を解き進めてるうちに身につくと思う
Aのパリティとか不変量とか上界下界に注目するみたいな典型考察も含めて(鉄則本とかにも書かれてるくらい典型だからもう既に知ってる人の方が多そうだけど)

2023/02/19(日) 16:44:56.04

>>634
貴重な情報ありがとうございます

ARC-Aクラスの難易度はまだ無理ですが
ABC-Cならなんとか解けることもあるので

＞＞問題を解き進めてるうちに身につく

ことを信じて自力で解ける範囲で少しづつやってみます

2023/02/19(日) 17:45:36.48

緑だけどARCは不出場になった、青以上じゃないと時間の無駄になる気が

2023/02/19(日) 18:07:28.78

昨日のC、類以度いくつ達成できそうかは手元で実験してすぐ分かったけど、
すべてのケースで条件満たす構築が結局コンテスト中にできなかった
どうやって思いつくのあれ

2023/02/19(日) 18:34:54.00

類以度が2以上になるのはどういうときかを考えたら思い付いた

2023/02/19(日) 19:58:25.28

パスの場合1通りしか答えないからその理由考えて適当に一般化

2023/02/19(日) 20:02:27.76

パス上でオリジナルの数字とPで変換して出てくる数字で被りがあるとうざそう→適当に木を二分割して移し替えればよくね？→頂点数の偏りが少ない分割がほしいから重心を使う
パス上でオリジナルの数字とペアとPで変換して出てくる数字のペアの相対的な前後関係が一致してるとうざそう→重心からの位置関係がオリジナルと反転してればよくね？

想定解はちゃんと読んでない

2023/02/19(日) 20:04:27.80

>>636
今回のAは解ける問題だった気がするが

2023/02/19(日) 20:10:26.59

400点のARC-Aは厳しい問題な可能性が高いな
なんなら500点のARC-Bより人によってはとっつきにくい
300点のARC-Aはそこまで異常問題ではないことが多いはず
ABC-Cよりはずっとムズいけど

2023/02/19(日) 22:40:53.59

5完
Dでバグりすぎた…

2023/02/19(日) 22:43:01.55

Eまで早解き出来てFもO(N)で求められる式の導出までは出来たのにそこからの式変形がダメだった　勿体無い

2023/02/19(日) 22:46:42.14

FよりGの方が簡単かな

2023/02/19(日) 22:52:00.36

Gは貪欲でよさそうなことにさえ気付ければ実装も楽でかなり解きやすいな

2023/02/19(日) 22:55:52.45

Fもいわゆる自明な上界問題っぽいし、今回も結構ARCチックだった
地味にDもこの位置では難しいのかも？と思ったけど結構みんな解けてるね

2023/02/19(日) 22:57:21.27

そしてExがかなりの難問っぽいね

2023/02/19(日) 22:59:11.51

Gの貪欲が証明できん
これしかないだろと思って投げたから通りはしたが

2023/02/19(日) 23:02:45.64

俺も証明してない
とりあえず、深さ2ぐらいまでf(x,n)（n個の部分木と接続したままxを作るときの最小コスト）みたいなのを考えたらnがなるべく小さいほうがいいことに気付いて、またxで単調減少しそうだから、どうせ親にも性質が伝播するんだろうなあみたいな考えでやった

2023/02/19(日) 23:03:01.88

F非想定解とはいえ畳み込みやらFPSやらをやればO(N)の式を高速化出来たっぽいしちゃんと履修すべきだったな
自分は普段はFくらいまでしか解けないからまだ要求されないもんだと思って後回しにしてたけどこういう時に殴れないの勿体ない

2023/02/19(日) 23:04:53.51

DのサンプルだけACしたけど
そりゃ提出しても愚直解だとTLEですよね
解説見たけどこんな条件気づける気がしない
考え方の方向性は間違ってないけどここまでが自力の限界ぽい

2023/02/19(日) 23:06:53.95

知識を取り入れてABCでレート上げるのはARC/AGCでレート上げるより楽なので、どんどん高度な知識を取り入れていいと思うな

2023/02/19(日) 23:09:33.70

>>652
Dは典型ではあるからこれを機に知っておくといいと思うよ
(N/GCD(N,D))*Dで初めてNで割ったときあまり0のところに戻ってくる
こういう操作はかなり頻出だと思う

2023/02/19(日) 23:14:10.61

OEIS使う裏技は知ってたけどwolfram alpha使う裏技もあるんだな
wolfram alpha の計算式にはガンマ関数とかsqrt(pi)が出てきたから自分で更に式変形する必要はあるけど今度から使えそうな場面では試してみよう

2023/02/19(日) 23:15:02.27

ありがとうございます
解説見ても頭に入ってこないというか難解過ぎて咀嚼出来ない？ので
時間のある時に落ち着いてじっくり考察してみます

2023/02/19(日) 23:22:11.62

D、解説が難しいし何の役にも立たないので理解する気力がわかない・・・

2023/02/19(日) 23:22:37.30

wolfram alphaを使うプレースタイルだとΓ(1/2) = √πみたいな知識も役に立つのかな
総合格闘技感があって面白い

2023/02/19(日) 23:34:24.39

Dは例えばN = 15, D = 6としよう
〇××××××××××××××
一旦、x+1に移るルールを無視して、4移動してマーキングするというルールで考える
〇×××××〇××××××××
〇×××××〇×××××〇××
〇××〇××〇×××××〇××
〇××〇××〇××〇××〇××
〇××〇××〇××〇××〇××
〇××〇××〇××〇××〇××

と、間隔3の場所を延々と巡ることになる
NとDが他の値でも似たようなことが起きて、この間隔が実はGCD(N,D)で簡単に出せる

2023/02/19(日) 23:35:10.23

>>659
ミス、4移動じゃなくて6移動

で、実際のルールでは、マーキング済みのところについたら1ズレるわけだけど
実はいつも最初は0に戻ってくることが分かって、
〇〇×〇××〇××〇××〇××
って感じ
上のと同じ動き方で1と間隔3で離れている場所が全部埋まる
〇〇×〇〇×〇〇×〇〇×〇〇×
全部埋まった後に1に戻ってきて今度は2に移って同じことをする

2023/02/19(日) 23:40:08.29

何の役に立つかというと、直接的に役に立つ気はしなくて、頭の体操感あるかなあ
でもこういう比較的複雑ではない方のアルゴリズムに慣れておくと、複雑なアルゴリズムを頭の中ですぐイメージできるような気がするね

2023/02/19(日) 23:42:32.81

Dのax-by=0みたいな式を立てた上でgcd(a,b)で全体を割ることで互いに素であることが利用できるようになって一般解が求まる、みたいなのはABCのD、Eくらいで何回も出題されてるだけでなく受験数学でも典型ではありそう

2023/02/19(日) 23:44:04.64

例えば今回のEまではパターンマッチングで瞬殺だけどそれだと寒色止まりだしつまりはそういうことだ

2023/02/19(日) 23:44:43.08

>>661
あ、すまん、文章のパースミスってて、D問題が何の役にも立たない話かと思った
解説で理解できないって話ね

2023/02/19(日) 23:46:01.21

Gも貪欲でいいという点で確かにARCっぽいのかな？

2023/02/20(月) 00:48:04.55

微積分も知らずに青まで行ける方がヘンだと思うので特殊関数も出すべきじゃ

2023/02/20(月) 20:17:16.00

>>659
分かりやすい解説ありがとうございます

こういう図解が解説に無い時に
解説の文章にある数式（今回だとgcd(n,d)など）から
自力で何をしているのかシミュレーションを想像するまで辿り着けないんですよね
時々図解がある解説見るとスッと頭に入ることあるのでそういう時は助かります
単純に競プロや難易度に必要な基礎学力や経験が足りてないんだとは思います

2023/02/20(月) 20:19:39.00

過去問題だとほぼ解説動画あるので大体解説動画見てますね

2023/02/20(月) 23:07:52.80

Dは@kyopro_friends氏がtwitterに図説を上げてるよ
あと解説放送も今やってるよ
最近はコンテスト翌日ぐらいにやってることが多い

2023/02/23(木) 07:31:29.61

>>669
ありがとうございます

＞＞最近はコンテスト翌日ぐらいにやってることが多い
それは知りませんでした
お忙しいので動画無いのかなとか思ってました
あと@kyopro_friends氏さんってatcoder内部の方ですか？

やっとAB問題埋め全完了して
C問題を順番にやろうと思ったけどテーマがバラバラなので集中出来ないと思ったので
鉄則本を少しづつ進めつつそのテーマに沿ったtagに集中するようにしたら
勉強がやりやすくなった気がします

ただ時間が中々取れないので週末だけだと覚えたと思ってたこともすぐに忘れてしまう
生まれつき記憶力のある人が羨ましい

2023/02/23(木) 15:59:11.87

フレンズさんは作問バイトの一人のはず
内部の人ではないけど作問には関わってる

2023/02/23(木) 21:26:34.11

バイトは内部の人とちゃうの

2023/02/23(木) 22:20:45.10

バイトも雇用契約を結んでる従業員なんだから、立派な内部のひとだろ
バイトを外部のひと扱いにしたら世の中が大変なことになるぞ

2023/02/23(木) 22:42:49.92

必要なのはAIのエンジニアであって、競プロerなんて時代遅れだよ
今後は機械学習を開発する力を面接でも重視する
そういう方針にするからこそレガシーエンジニアのレイオフを思い切ってやれてる

2023/02/23(木) 22:51:30.93

chatGTPに使われてるtransfomerは全く教プロと関係ない。
強化学習はヒューリスティックで活用できる人がいるかもくらいで、ノーマルコンテストには縁がない。

**674** (ﾍﾞｰｲﾓ MM2b-L4qV) · 2023/02/23(木) 23:01:59.48

誤爆ですごめんなさい

2023/02/24(金) 17:34:08.73

>>671
やはりそうでしたか
解説動画が出る前に要点がまとめられていて図解があって分かりやすくて良いですね
これ見てすぐに理解できないならまだその問題を解くレベルに達していないと判断しやすいです

2023/02/24(金) 17:45:00.38

GCJが無くなるってことはどういうことなんでしょうか？
Googleが教プロは将来的に継続する程の費用対効果が得られないと判断したという解釈とか？
上位入賞者に米国人がいなくて海外勢特に中国人だらけだから面白くないとか？
ChatGPTに対抗する為にコストやリソースをそっちに集中したいとか？

2023/02/24(金) 18:05:59.77

すべてありえそうだけど最大の理由は「そもそも採用に力を入れていない」でしょうね
レイオフしまくってるし

2023/02/24(金) 19:02:57.49

>>679
なるほどですね
昨年からだと世界的に数十万人レイオフですか
上位数%の優秀な人しかいらないってことなのかな

2023/02/24(金) 20:55:11.73

コロナ禍にIT投資が過熱して採り過ぎちゃったし
いまは急に市況が悪くなって人件費と今後しばらくのリターンが見合わないから、解雇するんすよ

日本にいるとそれほど意識しないかもしれないけど
世界的にはこれから長い長い不景気に突入する空気感