yosupo06 / library-checker-problems Goto Github PK

• どういう形式?
• そもそも必要か？(diffで対応できない問題はあるか？)

euler tour / pathなどをどうするか？

全部まとめる？

Tケース

y, pが与えられる。x^2 = y (mod p)なるxを1つ求めよ(存在しない場合、-1)

• 1 <= T <= 100,000
• 2 <= p <= 10^9
• 0 <= y < p
• p is prime

runの定義が間違っているのでは？と話題に
具体的にはaaaaaaaaaaの時に、周期=2,3,..を全部出すか、最大だけを出すか

そもそもg1-smallってのが無理があるんだよね、cloudbuildなど、CIを回すときだけ強いサーバーを借りるような方針で

a,n, mが与えられる

x^n = a(mod m)を満たすxを求める

入力 / 出力 形式をどうするか？

• DIMACS標準形式？

壊れる。

solutionsが無いときにコンパイルしないから

長さNの数列a_iにQ個のクエリ

• 1 l r x: a_k += x
• 2 l r: max a_l ~ a_{r-1}

N, Q <= 500,000(200,000?)
0 <= a_i, x <= 1e9

想定

• (Lazy) segment tree

https://ja.wikipedia.org/wiki/%E4%B8%AD%E5%9B%BD%E4%BA%BA%E9%83%B5%E4%BE%BF%E9%85%8D%E9%81%94%E5%95%8F%E9%A1%8C

generator.pyにキャッシュみたいな機能ほしい

入力の順番

#55 を解決するために必要不可欠

欲しくない？ 僕は欲しい

Directed MST のサンプル #2 の答えがおかしいように思います.

そして-Werrorをたす

Tケース

x, y, mが与えられる。x^k = y (mod m)なるkのうち、最小を答えよ(存在しない場合-1)

• 1 <= T <= 100?
• 1 <= m <= 10^9
• 0 <= x, y < m

solution = "correct.cpp"
verify = 'verify.cpp'

これ必要かな？これじゃないケースがあるか

随時募集中

• 個別のissueが立ったもの
• 重複しているもの
• 問題として追加されたもの

はガンガンresolvedにしていきます

長さNの数列a_iにQ個のクエリ

• 1 k x: a_k += x
• 2 l r: sum a_l ~ a_{r-1}

N, Q <= 500,000(200,000?)
0 <= a_i, x <= 1e9

想定

• fenwick tree
• segment tree

N x M次元の行列A、長さNのベクトルbが与えられます。A x = bを満たすxを求めてください。(mod 998244353)

入力

N M
A
b0 b1 b2 ...

出力

解空間のランク(存在しない場合-1)
解のうちどれか一つ
解空間の基底ベクトル(M次元) (行ベクトルとして、縦に並べる)

制約

N, M <= 500

#27

• サンプルが欲しい
• どういう形式？