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

2021/07/28(水) 21:58:48.02

!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/

※前スレ
競技プログラミングにハマるプログラマのスレ 62
https://medaka.5ch.net/test/read.cgi/prog/1626625368/

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

2021/08/21(土) 23:32:14.25

さすがにleetcodeは無理

2021/08/22(日) 02:42:21.05

>>252
FPSではなく、多項式かと。

2021/08/22(日) 04:57:26.20

何言ってるのかと思ったけど一般の FPS だと定数項を含む式は合成できないってことか

2021/08/22(日) 13:12:10.90

Rustのメモリ安全性はボローチェッカーによって担保されているが、
Nimと比較してRustはタイプ量が多い事により限りなく低い生産性と
C++のような高い難読性、超巨大なバイナリ生成性能を兼ね備えています

Nimはバージョン1.5.1でRustのボローチェッカーに似た「View types」が実装されれば、
GC無しのView typesで参照の有効性を検証することによってメモリ安全性を保証しつつ
限りなく抑え込まれたタイプ量で高速化したCのソースコードを吐き出せます

Nimソースコード ==nimコンパイラ==> Cソースコード ==Cコンパイラ==> バイナリ

なので、nimコンパイラが通った時点でメモリ安全性が担保されませんか？

Nimの実験的特徴バージョン1.5.1
http://nim-lang.github.io/Nim/manual_experimental.html

第二プログラミング言語として Rust はオススメしません Nim をやるのです
https://wolfbash.hateblo.jp/entry/2017/07/30/193412

Nimは限りなく抑え込まれたタイプ量で高い生産性とPythonのような高い可読性を実現し
ているにもかかわらず、高速なCのソースコードを吐き出せるのでC言語でリモートワーク
されている方は割り振られた仕事が早く終わっても終わってないふりをして怠けることができる

「怠け者とはこうあるべきだ！」と言うとても大事な事を Nim は我々に教えてくれます

**デフォルトの名無しさん** (JP 0H1f-zH/y) · 2021/08/22(日) 13:20:23.57

>>254
>>255
ありがとう
最初Nが有限じゃなきゃ意味のない式だから確かにFPSじゃなくて多項式において適用可能か程度の認識で読んだけど、そもそも根本的に定数項を含むFPSを他のFPSに代入しちゃダメなのか
恥ずかしながら理解してなかった
確かに一般のFPSに1を代入したら容易に定数項が発散してしまうね
0に何掛けても0なので0次の項が爆発してしまう

2021/08/22(日) 23:15:22.56

ARC125-DのBIT使って解くパートがよくわからん教えて

2021/08/23(月) 00:00:54.44

dp[i]を先頭i個について最後の要素を必ず使う場合の答えとかしてそのままBITに乗せればいい

2021/08/23(月) 23:52:44.91

競技プログラミングは役に立たない

Competitive programming is useless
https://kislayverma.com/organizations/competitive-programming-is-useless/

2021/08/24(火) 11:36:43.63

ざっくり読んだけど、大意としては白カピさんが前言ってたようなことと大体似たような感じ？
優秀なITエンジニアを目指すことと競プロを突き詰めることは分けて考えた方がいいというのはまあそうだよねという感じ

2021/08/24(火) 12:55:23.18

青くらいまで取れたら十分でそれ以上は趣味かな

2021/08/24(火) 14:53:30.06

独創的な問題じゃなくて、
「このような要件を持ったRailsアプリを作りなさい」

というのが実際に求められることだからな

2021/08/24(火) 15:01:44.46

あと競技プログラミングで作ったものって
他の人の役に立たないよね？

あんなに優秀（笑）な人が時間をかけて作業してるのに
競技プログラミングの成果は無駄になる

ものづくりのためにあるプログラミングなのに物を作らない
ものづくりに必要ない技術の競技なってるから役に立たない

2021/08/24(火) 15:18:14.22

入り口の段階でコーディングに慣れたり頭の体操ができる的な効用はあると思うけどねー
まあ趣味なので一定レベル以上でそんなに実用的な期待のもとにやってる人は少ないと思う

2021/08/24(火) 21:34:58.15

黄 abc卒業、一つの到達点
青？
水アルゴカンスト
緑業務上は十分
茶入色！

なんか青だけ中途半端だな。自分の立ち位置をうまく説明できなくて就職も失敗しそう

2021/08/24(火) 21:50:18.98

クイズ・頭の体操・コードゴルフ

プログラミングのお題スレとか、上田隆一のシェル芸と同じ

2021/08/24(火) 23:28:11.24

Codeforces の時間です

2021/08/24(火) 23:43:32.61

Codeforces の時間は終わりました
来週の放送時間は未定です

2021/08/25(水) 02:33:04.77

>>266
それ書いた頃から色１つ以上ずれてる予感
最大流が青以下で出てない以上黄色でもカンストしてないし、灰色で高度なグラフや最適化アルゴリズムを実用レベルで使うことも可能でミスリーディング

今のatcoderはアルゴリズムをダシにしたただの算数パズル

2021/08/25(水) 02:37:42.84

アルゴ力カンストしてます！とか言われても笑ってしまうわ

2021/08/25(水) 02:58:48.07

白カピを信仰しろ

2021/08/25(水) 03:13:33.31

こどふぉは B で詰まりまくって爆死した
整数1, 2個与えて計算してくれみたいな感じの問題が苦手っぽい

2021/08/25(水) 03:26:54.54

グラフアルゴリズムを使えなくても、整数問題と漸化式と関連してdpが使えれば最悪青までいけるように調整してきたのがatcoder、受験生に優しい

2021/08/25(水) 04:56:41.94

門外漢に説明する場合実態よりも社長のブログ記事やから

2021/08/25(水) 10:41:38.03

こどふぉB、所謂整数1,2個系っぽくはない気がする普通のDPであまり数学っぽくはないというか

2021/08/29(日) 22:37:29.72

全然参加してないっぽいね

2021/08/29(日) 22:41:26.84

ad hoc coder

2021/08/29(日) 22:55:37.34

牛ゲーっていうんだこれ
G問題なのにad hocで妙だなって思ってたけどちゃんと高度典型に関わる問題だったんだね
牛ゲーへの帰着よりad hoc解の方が簡単で結果みんな解けているけど

2021/08/29(日) 22:58:14.42

Gまで比較的簡単だったことを考えるとなおさらHが際立つね

2021/08/29(日) 23:03:52.50

公式自体は知ってたけど固定されてるパターンしか見たことなくて応用できなかった

2021/08/29(日) 23:25:47.06

ああGは区間スケジューリングみたいな貪欲でいけるんだ
天才では？

2021/08/29(日) 23:38:12.75

牛ゲー理解したけど、これ知ってても帰着に訓練が要りそう

2021/08/30(月) 00:04:52.56

最短経路問題に帰着したあと、負辺に悩んだ末にグラフの特殊な形を利用して準線形にしたけど
解説見てなるほどなあとなった
初手で反転するタイプのやつ全般、いつも見落としてしまうな

2021/08/30(月) 02:38:00.45

システムテスト弱forces

2021/08/30(月) 03:40:50.80

Combined で E 通してる人と同室になる確率が低い

2021/08/31(火) 01:37:25.41

もしや解説でないとかあるのか？

2021/08/31(火) 03:50:25.65

なんの話かは知らんけど解説そのうち出すよといって何年も放置されてる問題は存在する

2021/08/31(火) 18:30:11.43

日本語圏を掘るだけでもかなりの知見が発掘できるように中国語圏にも知見がたくさん集まってると思うんだけど、なんかまとめてるサイトとか知ってたりする？

2021/08/31(火) 21:10:30.18

ジャッジでよく聞くのはluogu libre uojとか？
個人ブログはcsdnで書いてる人が多いイメージ

2021/09/01(水) 12:14:20.08

>>290
ありがとう
csdnはUIがどことなくredditに似てるね
多分zennとかqiita的なサービスなんだと思うけど
競プロは競争性編程(の簡体字)というみたいだ

2021/09/01(水) 12:15:18.08

libreは見れたけどluoguは接続できないな

2021/09/03(金) 17:59:41.58

https://oi-wiki.org/
ここにまとまってる知見だけでもかなりの量

2021/09/03(金) 18:06:19.71

すごいwikiですね

2021/09/03(金) 18:30:45.42

大半は日本でも広く知られていそうだがときどきマニアックなのが紛れ込んでるな

2021/09/03(金) 23:09:38.04

>>293
これはすごい…
Chtholly Treeとか初めて聞いたな
前のABCに出てきたLGV公式とかも当然載ってる

2021/09/03(金) 23:16:13.01

牛ゲーのことを差分约束と呼んでるのか

**デフォルトの名無しさん** (JP 0Hff-Sfec) · 2021/09/04(土) 22:47:23.13

Eみたいなの新しいデータ構造を作ってみようみたいな感じで面白いと思ったな

2021/09/04(土) 23:10:09.45

vEB木って俺の考えた最強のデータ構造感があってかなり好き
実践では使わないけど

**デフォルトの名無しさん** (JP 0Hff-Sfec) · 2021/09/04(土) 23:20:56.78

https://www.slideshare.net/catupper/nazoki
catupperさんがスライド出してる謎木だね

2021/09/06(月) 01:35:28.67

実装重すぎforces

2021/09/11(土) 22:40:52.42

二次元壁画問題やめてください><

2021/09/11(土) 22:41:48.93

Eで時間使いすぎた…

2021/09/11(土) 22:52:30.32

c嫌い

2021/09/12(日) 01:13:19.29

逆にCみたいなのがプログラミングしてる感あって好き

2021/09/12(日) 01:33:19.35

DPだと添字いくつあってもいいのに
幾何学が絡むと二次元でも頭が爆発するのなんでだろう

2021/09/12(日) 01:41:12.36

単純に幾何に慣れてないだけとちゃうの

2021/09/12(日) 01:43:36.75

その通りでございます

2021/09/12(日) 04:27:40.04

算数パズルと叩きまくれば普通のプログラミングやアルゴリズムの問題が増える

2021/09/14(火) 04:13:51.06

https://twitter.com/kyopro_friends/status/1436693258298482688
を見るとABC218-Gがpriority_queueでも解けるように読めるんだけど、今回みたいにバックトラックが必要な場面でもこのテクニックは使えるもの？
multisetみたいに任意の要素を削除できないと厳しい気がするんだけど
https://twitter.com/5chan_nel (5ch newer account)

2021/09/14(火) 05:25:48.22

誰かが削除可能priority_queueのテクニックを紹介してた

2021/09/14(火) 07:41:25.33

出来はするけど面倒だからmultisetで書いた方が楽だと思うよ

2021/09/14(火) 11:44:56.93

https://twitter.com/maspy_stars/status/1436690222465486848?s=21
これ？
https://twitter.com/5chan_nel (5ch newer account)

2021/09/14(火) 14:42:52.17

>>313
C++書いててちょーショック

2021/09/14(火) 14:59:12.87

なるほど…確かにこれなら削除できるね
言われてるようにmultisetのほうが楽だからあまり使わなそうだけど、勉強になったよ
ありがとう

2021/09/14(火) 15:42:22.96

なるほど
priority queueのメリットといえば定数倍の速さだけど、こっちの方が速かったりするのかな？
maspyさんはコドフォでは普通にC++を使ってるイメージ

2021/09/14(火) 18:34:53.52

priority queueから削除が要る時は、追加する値を2倍+1、削除する値は2倍にして
同じキューに突っ込んで、取り出した値の下位1ビットが0の数だけスキップする
最強園児の選別でそんな感じのものを使った気がする

2021/09/14(火) 19:14:04.78

レート付き園児が出てくるやばい問題ね
min、maxおよび定数個のk分位点の取得はpriority queueでほぼ代用可能ということかな
検索は大体どの言語にもあるunordered_setで代替できる
lower_boundとかは無理そうか
まあ、平衡二分探索木の代用だとクエリ先読みできるんなら座圧BITの方が直感的にわかりやすい気がするけど

2021/09/19(日) 08:00:29.80

Ruby だと想定解通りに書いても遅くて通らないの何なの?言語差別なの?俺にCrystalの道を示してるの?

2021/09/19(日) 12:40:14.90

Rubyが遅すぎるんじゃないのかな使ったことないから知らんけど
余り遅すぎる言語に合わせるとC++とかでクソ解法が通ってしまうからしょうがないような気もする
一応Pythonなら通せるようにする方針らしいけど

2021/09/19(日) 13:16:18.07

Rubyはインタプリタとしては遅いわけではないが、JITコンパイルでもあまりはやくならないのが厳しい。PyPyのように速くなるものがあるといいんだけどね。

2021/09/19(日) 14:43:04.37

C++の軍門に下るかCrystalを極めるかしかないのか
昨日と先々週のD問題は想定解書いても通らなかったし、悔しいけどもうRubyじゃ無理なのか

2021/09/19(日) 15:23:37.00

Ruby書けるならCrystalはすぐ書けるようになるよ。ほとんど同じ。

むしろ型アノテーションが使える分、Crystalの方が書きやすいまであるかも。個人の感想です。

2021/09/19(日) 17:32:36.92

crystalはほんとよくできてるよね。静的型、null安全を実現しつつもrubyistがこだわる「rubyらしさ」がほとんど損なわれていない

2021/09/19(日) 17:42:41.13

RubyはC++と比べると100倍ぐらい遅かったりするんでしょ？
制限時間を緩めてもらわないとさすがにキツそう

2021/09/24(金) 23:47:31.60

コンテスト前に抜くとパフォーマンス出ないジンクスあるからコンテストある日は禁欲してるんだけど、
みんなはそういうのある？

2021/09/25(土) 07:46:07.75

パスタじゃなくて米を食べるようにしている
なんか知らんが気分的に米の方がパフォーマンスが出る、自分にそう言い聞かせてるだけかもしれんが

2021/09/25(土) 09:58:53.83

テンションの上がる音楽をかけながらだとパフォーマンスが上がる気がする
だいたいシューティングゲームのボス戦の曲だが...

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ b247-+9yW) · 2021/09/25(土) 13:30:23.74

>>328
こういうのはお好みですか？
https://www.youtube.com/watch?v=CZiHhS7r6M0

https://www.youtube.com/watch?v=4IgQ6LNE9Yo&;t=103s
または
https://www.youtube.com/watch?v=4IgQ6LNE9Yo&;t=728s
あるいは

2021/10/16(土) 03:00:16.89

うんち！w

2021/10/16(土) 12:28:23.59

おしっこ！w

2021/10/16(土) 19:45:04.31

トイレの使用時間がT秒以下の時は「おしっこ」、超えるときは「うんち」と出力せよ

2021/10/16(土) 23:50:11.18

Cを差分に言い換えてあぼん
いやまあ差分の方針でもいけないことはないけど見通しが悪い

2021/10/17(日) 00:05:50.78

C問題、よく見ると双対取ったら二変数のLPだからSeidel法でexpected O(N)？
気づけなくて悲しい

2021/10/17(日) 23:29:51.69

今回のHは典型知識なのかな
あんまりad hoc要素を感じないけどかなり強い人でも解けてない気がする

2021/10/17(日) 23:42:38.80

Gは木を二部グラフ(V1×V2)とみなして大頂点S, Tを追加してSからTに最大フローを流した状態の残余グラフについて考えたら解けた

v1 ∈ V1, v2 ∈ V2がマッチしているとして、v1 → S → … → v2 → v1みたいなサイクルがあることがv1を消しても別のマッチを作れる条件で、
v1, v2, Sがすべて同じ強連結成分に属するなら消してもOK、だめならv1は消せない、と考えると通った

「残余ネットワーク上の貪欲は正しい」としか覚えてないので厳密な証明はよくわからない……

2021/10/18(月) 21:30:25.41

↑別に難しくなかった
最大フローを流した状態の残余グラフをGとして、GからS->v1->v2->Tに流れているフローを押し戻してv1を消したグラフをG'とする
G'にSからTへの増加パスが存在することが、v1を消しても最大マッチングの大きさが減らない必要十分条件である

G'にSからTへの増加パスPが存在するとする
Pがv2を含まなければPを伝ってSからTに行った後、T->v2->v1->Sと戻ってくるのがG上のサイクルになっている
Pがv2を含んでいる場合はPを伝ってSからv2に行った後v2->v1->Sと戻ってくるのがG上のサイクルになっている
どちらの場合もv1, v2, SはG上で強連結

逆にv1, v2, SがG上で同じ強連結成分に属するとする
v2->v1->SはG上で一方通行のパスだから、Sからv2へのv1を含まないパスが存在して、これにv2->Tを加えるとG'上でSからTへの増加パスである

(v2を消す場合もv1, v2, Tに関して同じことが言える)

この方針なら二部グラフでもO(M sqrt(N)))とかで解けてそう

2021/10/18(月) 23:04:34.93

>>337
いまいちわかってないんだけど
V1 = {2}
V2 = {1, 3}
2-1
2-3
という二部グラフで S->2, 1->T, 3->T みたいに張るとS を含む強連結成分ってSのみにならない？
ST両方について解いてる？

2021/10/18(月) 23:21:33.28

>>338
GやG'は残余グラフのほうを指してるつもりだった
その例で言うと、最大マッチングとして2-1を選ぶとGは

S <- 2
2 <- 1
1 <- T
2 -> 3
3 -> T

で、この場合、1, 2, Tは同じ強連結成分に属しているので2を消してもS->Tへの別の増加パスが見つかる
S, 1, 2は同じ強連結成分に属していないので1を消すと増加パスが見つからない

2021/10/21(木) 16:15:46.81

フリーランスに立ちはだかる「常駐」の壁。慣例を打ち壊し、
“テレワーク”案件3割→8割へと成長を遂げた「クラウドテック」の軌跡

リモートワーク求人専門サイト「プロリモート」がリニューアルオープン、業務委託契約の求職者と企業をマッチング

1/3以上が採用につながる高マッチング率、リモートワーク×エンジニア・デザイナー専門の
人材紹介サービス「ReworkerAgent」正式リリース場所からも時間からも自由な働き方を実現！

茨城県日立市、県外からの「テレワーク移住者」に最大151万円の助成金

長野市、市内に移転・事業所設置し、移住することで最大550万円の支援金を支給

フリーランスが活用できる「最大1,000～3,000万円・補助率50%～75%」の
『ものづくり・商業・サービス補助金』とは？概要や条件を解説

『ReWorks（リワークス）』リモートワーク特化型転職サイトとして 3月5日リニューアル

2021/10/24(日) 20:18:53.47

最近某ngtの質問箱に毎日のようにキモいのが送られていて、流石にかわいそうになってきたな。

2021/10/25(月) 00:43:40.20

最近始めたけどついさっきああでもないこうでもないおかしい計算が合わないみたいなこと延々とやってC問題一つ解くのに2時間半かかった
辛い

2021/10/25(月) 04:27:00.29

実験エスバーって鍛えることできんのかな

2021/10/26(火) 22:34:52.78

数学ではよくある考え方やテクがABC-Cから登場すると思うけど、基本的なものでも初見だと難しいものが多いと思う
最初からスムーズに解ける人たちは散々似た考え方に慣らされてきた人たちだと思うし
ABC-Cぐらいの数学的思考の素養ぐらいは身に付けておいて損はないと思うから、慣れてみるといいんじゃないかな

2021/10/26(火) 22:38:10.35

競技プログラミングは役に立たない！！！１１１１１

2021/10/26(火) 22:43:03.70

グラフや木の問題だったら手癖でよくあるケースを作れるようにしたりして実験そのものをスムーズにできるようにしたり
愚直解の実装を早めにやるように心がけたり
ありがちな注目すべき量(パリティー、剰余、木の葉の数、木の直径、頂点の次数、連続する二項の差分、転倒数、総xor…etc)の知識が増えてくるとエスパー精度上がりそう、俺自身実験エスパーそんな得意じゃないから知らんけど

2021/10/30(土) 01:57:46.41

C問題ぼちぼち解けるかなくらいのレベルなんだけど時々手も足も出ねぇ…ってのが紛れてて辛い
まぁそういうのは大体みんなの正答率も低いんだけど

2021/11/01(月) 14:31:29.29

AGCの問題の解き方わからんね
昨日も、Bは不変量見つける感じで典型要素があるといえばあるけどAとかアドホックすぎる

2021/11/01(月) 17:13:19.31

文字種を減らして考えるの典型かもしれん

2021/11/01(月) 18:46:47.15

不変量見つけられなくて死んだ

2021/11/04(木) 22:10:01.18

AtCoderの「第二回アルゴリズム実技検定」のテストケースはどこにありますか？

2021/11/04(木) 22:38:53.47

dropbox に上がってないのなら無いんじゃないか