maspypy

作業されなさそうなので、作業者募集にしておきます。

> 有理数を与えて，それを $S$ の要素で左右から挟みこむ 有理数二分探索を verify するのであれば、こっちの方が最悪ケースの類が作りやすそうな気がします。

（$\sqrt{N}$ の近似分数には Pell 方程式を解くという別の需要がありますね）

とりあえず具体的な対案をひとつかきます。 [問題] $N, x, y$ が与えられる。分子・分母が $N$ 以下の有理数全体を $S$ として、 $S$ の元のうち、 $x/y$ 以下であるもの、 $x/y$ 以上であるものの max, min を求めよ。 [制約] - $1\leq N\leq 10^6$ - $0\leq x< y \leq 10^{12}$...

私の案と比べて些細な違いだと思っているので、まあそっちでもよいです。 どちらをライブラリ化したい場合でも、どちらでも verify に利用可能ですし。 何となく、「有理近似」と言った場合に、「小さい分母で近似する」という文脈である（つまり $\max(x,y)$ ではなく $y$ をおさえる）ことが多い印象があるというくらいです。

ところで、$1\leq N\leq 10^{18}$, $1\leq x, y\leq 10^{18}$ でも 64bit 整数で全部計算できるはずだな。

結論として https://github.com/yosupo06/library-checker-problems/issues/960#issuecomment-1527857623 これでお願いします。 全部 $10^{18}$ でも 64 bit に収まるという話はあるのですが、$10^9$ の方が、 ``` def check(a,b): return a/b

確認不足だった @NachiaVivias https://github.com/yosupo06/library-checker-problems/issues/960#issuecomment-1527857623 これ $1\leq N$ のつもりだったりしますか？（0/1 や 1/0 が出力に来るし）

> この問題の実装に興味があります。contributions-welcomeとのことなので、やらせていただけないでしょうか。 もちろん，めちゃくちゃありがたいです！ > 問題文のスタイルはあまり気にしない（style.md）ので適当でいいということでしょうか。 まあそうですね．例えば問題間で，漢字・仮名の使い分けや，スペースの有無や，句読点などの細かい表記の統一まではやっていないです． 今回は問題文も短いですし，あまり変なことにはならないと思います．とりあえず書いていただければ，pull request 後に確認します． > Exampleは「非常に小さくて手計算でもわかりそうな例題」「大きくて非自明そうな例題」「コーナーケースを出力するべき例題」があればよいでしょうか。ほかに必要なものがあればご指摘ください。 > 200 314159265 100000000とかがあってもいいかもしれません そのくらいあれば，かなり完璧だと思います． また，issue 内で少し読み取りにくく感じたので一応補足しておくと，マルチテストケース（ $T$ 問分の入出力をする）の形式でお願いします．この場合，たくさんのケースをひとつの example にしてしまうパターンもありますし（ https://judge.yosupo.jp/problem/min_of_mod_of_linear ），特殊ケースっぽいものを別の example にしたりしてもよいです（ https://judge.yosupo.jp/problem/eulerian_trail_directed ）． > オリジナルの問題案では、出力に/を含めるようなフォーマットを指定しています。しかしこのようなフォーマットは他の問題では一般的ではないようです。/を含めないフォーマットで作ってよいでしょうか。...

https://atcoder.jp/contests/toyota2023summer-final summer（AHC）も AGC-like にきていておかしいです。