torii

Problem name: Rational Approximation ## Problem 整数 $N,M$ が与えられる．分子・分母がともに $M$ 以下の正の既約分数の集合を $S$ として， $\max \lbrace x\in S|x\leq \sqrt{N}\rbrace, \min \lbrace x\in S|x\geq \sqrt{N}\rbrace$ を求めよ． ## Constraint - $1 \leq T...

Problem name: ??? 整数の順序付き集合での操作を verify できればいいなと思いました．似たものとして Predecessor Problem がすでにありますが，それのより汎用的なものをイメージしています． ## Problem 非負整数の集合 $S$ に対して，以下の処理を行う． - 値 $x$ の追加・削除 - 値 $x$ の存在判定 - $S$ の要素のうち $x$ 番目に小さいものを出力 - $S$ の要素のうち...