G - 移動 Editorial by ngtkana


まず(x1,y1)=(1,0), (x2,y2)=(0,1)( x _ 1, y _ 1 ) = (1, 0), \ (x _ 2, y _ 2 ) = ( 0, 1 ) になるように Q\mathbb Q 係数で線形変換しておきましょう。さらに同時に変換した (x3,y3)( x _ 3, y _ 3 ) の分母を払い、

(x3y3)=1r(ab) \left( \begin{array}{c} x _ 3 \\ y _ 3 \end{array} \right) = \frac 1 r \left( \begin{array}{c} a \\ b \end{array} \right)

(ただし rZ0, a,bZr \in \mathbb Z _ { \ge 0 }, \ a, b \in \mathbb Zaabb は互いに素)と表しておきます。

さて x1,x2,x3x _ 1, x _ 2, x _ 3 の適切な線型結合の個数を数えたいわけですが、x3x _ 3 の係数で場合分けします。重複を無視すると三角数になりますから、ここから重複を除いていきましょう。x3x _ 3 の係数の昇順で見て、今までに見た点と重複するものは数えないようにしましょう。重複は rr 個前のものとの重複だけを考えればよいです。(それより前のものとの重なりはこれに包含されます。)さらにこの重なりは三角数になります。

以上より x3x _ 3 の係数を固定するごとに三角数の差が足されることになるのですが、これを具体的に計算すると三角数の累積和 33 つの足し引きで表せます。三角数 (n2)\binom n 2 の累積和は (n3)\binom n 3 ですから、定数時間で求めることができます。

posted:
last update:



2025-04-04 (Fri)
21:07:13 +00:00