SlideShare a Scribd company logo
1 of 14
解説 : @takayuta1999
 直線𝑎𝑥 + 𝑏𝑦 = 𝑐と𝑥 = 0, 𝑦 = 0で囲まれた
領域に含まれる格子点に含まれる格子点
(𝑥, 𝑦)すべてに対する 𝑥+𝑦
𝑥
の和を求める
 直線𝑎𝑥 + 𝑏𝑦 = 𝑐と𝑥 = 0, 𝑦 = 0で囲まれた
領域に含まれる格子点に含まれる格子点
(𝑥, 𝑦)すべてに対する 𝑥+𝑦
𝑥
の和を求める
 このようなクエリに𝑄個答える
 直線𝑎𝑥 + 𝑏𝑦 = 𝑐と𝑥 = 0, 𝑦 = 0で囲まれた
領域に含まれる格子点に含まれる格子点
(𝑥, 𝑦)すべてに対する 𝑥+𝑦
𝑥
の和を求める
 このようなクエリに𝑄個答える
 1 ≦ 𝑎, 𝑏, 𝑐 ≦ 10000 , 1 ≦ 𝑄 ≦ 1000000
 とりあえずクエリに答えることを考える
 座標の最大値を𝑀とすると、毎回すべての座
標を見ると𝑂 𝑀2
個の座標を見ることになり
間に合わない
 𝑥座標ごとにまとめてCombinationの合計を求
められればよさそう
 Combination の値は漸化式などを用いて
𝑂 𝑀2
ですべて計算できるので、𝑥座標ごとに
累積和を計算しておく
 そうすることで、
クエリ毎𝑂 𝑀 前計算𝑂 𝑀2
で可能となる
 今度は別の方法でクエリ毎𝑂 𝑀 に答えること
を考える
 Combination の漸化式の性質を利用しよう
 クエリで与えられる(𝑎, 𝑏)に対して、𝑑𝑝 𝑡 を
𝑎𝑥 + 𝑏𝑦 = 𝑡 となる格子点に書かれてる数の
和とすると、以下の漸化式が成立する
𝑑𝑝 0 = 1
𝑑𝑝[𝑡] = 𝑑𝑝[𝑡 − 𝑎] + 𝑑𝑝[𝑡 − 𝑏]
 各座標(𝑥, 𝑦)に対して、そのマスには𝑥 + 𝑦個
のものから𝑥個選ぶ方法が何通りあるか書か
れている
 つまり、これは𝑥個の𝑎と𝑦個の𝑏を並べ替える
方法と一致する
 よって、𝑎𝑥 + 𝑏𝑦 = 𝑡 となる格子点に書かれて
る数の和とは、すなわち、𝑎と𝑏を並べて合計
が𝑡になる方法が何通りあるかと一致する
 これは簡単に動的計画法を行え、最後に並べ
るのが𝑎か𝑏かの二通りの場合分けで所望の漸
化式が得られる
 この漸化式を用いることで、クエリ(𝑎, 𝑏, 𝑐)に
対して、得られた𝑑𝑝[0]~𝑑𝑝[𝑐]の値の合計が
求めるクエリの答えとなる
 以上の二つの解法をまとめて使うことを考える
 以下、クエリにおいて、𝑥, 𝑦の対称性から𝑎 ≧
𝑏であるとして考える
 このとき、𝑎 ≧ 𝑆となるクエリに対しては、解
法(1)を用いて、 𝑎 < 𝑆 なる (𝑎, 𝑏) に対しては、
すべてのクエリをまとめて解法(2)を用いる、
とする
 このとき、解法(1) では、
前計算 𝑂(𝑀2
/𝑆) 毎クエリ 𝑂(𝑀/𝑆)
 解法(2) では、
クエリの後処理 𝑂(𝑀𝑆2
)
 よって、計算量 𝑂 𝑀 𝑆2
+
𝑀+𝑄
𝑆
 これで、𝑆 = 3
𝑀 + 𝑄 とおくことで、十分間
に合う計算量となる

More Related Content

What's hot

Kth
KthKth
Kthoupc
 
AtCoder Beginner Contest 018 解説
AtCoder Beginner Contest 018 解説AtCoder Beginner Contest 018 解説
AtCoder Beginner Contest 018 解説AtCoder Inc.
 
Fourier analysis on symmetric group
Fourier analysis on symmetric groupFourier analysis on symmetric group
Fourier analysis on symmetric groupHanpenRobot
 
グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―Yutaka Nagahata
 
集合の上極限,下極限
集合の上極限,下極限集合の上極限,下極限
集合の上極限,下極限HanpenRobot
 
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説AtCoder Inc.
 
応用数学まとめ
応用数学まとめ応用数学まとめ
応用数学まとめTK D
 
確率微分方程式の基礎
確率微分方程式の基礎 確率微分方程式の基礎
確率微分方程式の基礎 HanpenRobot
 
武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目HanpenRobot
 
やさしい整数論
やさしい整数論やさしい整数論
やさしい整数論Kazuma Mikami
 
AtCoder Regular Contest 023 解説
AtCoder Regular Contest 023 解説AtCoder Regular Contest 023 解説
AtCoder Regular Contest 023 解説AtCoder Inc.
 
2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)
2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)
2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)Akira Asano
 
AtCoder Regular Contest 017
AtCoder Regular Contest 017AtCoder Regular Contest 017
AtCoder Regular Contest 017AtCoder Inc.
 
IA16 2
IA16 2IA16 2
IA16 2mfumi
 

What's hot (20)

Kth
KthKth
Kth
 
グレブナー基底
グレブナー基底グレブナー基底
グレブナー基底
 
AtCoder Beginner Contest 018 解説
AtCoder Beginner Contest 018 解説AtCoder Beginner Contest 018 解説
AtCoder Beginner Contest 018 解説
 
Fourier analysis on symmetric group
Fourier analysis on symmetric groupFourier analysis on symmetric group
Fourier analysis on symmetric group
 
グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―
 
Arc041
Arc041Arc041
Arc041
 
集合の上極限,下極限
集合の上極限,下極限集合の上極限,下極限
集合の上極限,下極限
 
AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説AtCoder Beginner Contest 023 解説
AtCoder Beginner Contest 023 解説
 
応用数学まとめ
応用数学まとめ応用数学まとめ
応用数学まとめ
 
abc027
abc027abc027
abc027
 
確率微分方程式の基礎
確率微分方程式の基礎 確率微分方程式の基礎
確率微分方程式の基礎
 
Supと極限
Supと極限Supと極限
Supと極限
 
Supと極限
Supと極限Supと極限
Supと極限
 
武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目
 
やさしい整数論
やさしい整数論やさしい整数論
やさしい整数論
 
AtCoder Regular Contest 023 解説
AtCoder Regular Contest 023 解説AtCoder Regular Contest 023 解説
AtCoder Regular Contest 023 解説
 
Buchburger
BuchburgerBuchburger
Buchburger
 
2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)
2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)
2014年度秋学期 応用数学(解析) 第4部・複素関数論ダイジェスト / 第12回 複素関数・正則関数 (2014. 12. 18)
 
AtCoder Regular Contest 017
AtCoder Regular Contest 017AtCoder Regular Contest 017
AtCoder Regular Contest 017
 
IA16 2
IA16 2IA16 2
IA16 2
 

Viewers also liked

IJPC-2 D問題解説
IJPC-2 D問題解説IJPC-2 D問題解説
IJPC-2 D問題解説yutaka1999
 
IJPC-2 C問題解説
IJPC-2 C問題解説IJPC-2 C問題解説
IJPC-2 C問題解説yutaka1999
 
IJPC2015 D問題解説
IJPC2015 D問題解説IJPC2015 D問題解説
IJPC2015 D問題解説yokozuna57
 
Ijpc2015 b しりとり木
Ijpc2015 b しりとり木Ijpc2015 b しりとり木
Ijpc2015 b しりとり木reew2n
 
IJPC-2 E問題解説
IJPC-2 E問題解説IJPC-2 E問題解説
IJPC-2 E問題解説yutaka1999
 
AtCoder Regular Contest 034 解説
AtCoder Regular Contest 034 解説AtCoder Regular Contest 034 解説
AtCoder Regular Contest 034 解説AtCoder Inc.
 
マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)
マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)
マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)Yoshitake Takebayashi
 
2014 3 13(テンソル分解の基礎)
2014 3 13(テンソル分解の基礎)2014 3 13(テンソル分解の基礎)
2014 3 13(テンソル分解の基礎)Tatsuya Yokota
 
機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計Takahiro Kubo
 
学部生向けベイズ統計イントロ(公開版)
学部生向けベイズ統計イントロ(公開版)学部生向けベイズ統計イントロ(公開版)
学部生向けベイズ統計イントロ(公開版)考司 小杉
 
5分でわかるベイズ確率
5分でわかるベイズ確率5分でわかるベイズ確率
5分でわかるベイズ確率hoxo_m
 
これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...
これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...
これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...cvpaper. challenge
 
先端技術とメディア表現1 #FTMA15
先端技術とメディア表現1 #FTMA15先端技術とメディア表現1 #FTMA15
先端技術とメディア表現1 #FTMA15Yoichi Ochiai
 

Viewers also liked (18)

IJPC-2 D問題解説
IJPC-2 D問題解説IJPC-2 D問題解説
IJPC-2 D問題解説
 
Kangaroos
KangaroosKangaroos
Kangaroos
 
B
BB
B
 
IJPC A解説
IJPC A解説IJPC A解説
IJPC A解説
 
IJPC-2 C問題解説
IJPC-2 C問題解説IJPC-2 C問題解説
IJPC-2 C問題解説
 
IJPC2015 D問題解説
IJPC2015 D問題解説IJPC2015 D問題解説
IJPC2015 D問題解説
 
Ijpc2015 b しりとり木
Ijpc2015 b しりとり木Ijpc2015 b しりとり木
Ijpc2015 b しりとり木
 
IJPC-2 E問題解説
IJPC-2 E問題解説IJPC-2 E問題解説
IJPC-2 E問題解説
 
Chokudai search
Chokudai searchChokudai search
Chokudai search
 
AtCoder Regular Contest 034 解説
AtCoder Regular Contest 034 解説AtCoder Regular Contest 034 解説
AtCoder Regular Contest 034 解説
 
マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)
マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)
マルコフ連鎖モンテカルロ法 (2/3はベイズ推定の話)
 
2014 3 13(テンソル分解の基礎)
2014 3 13(テンソル分解の基礎)2014 3 13(テンソル分解の基礎)
2014 3 13(テンソル分解の基礎)
 
MIRU2014 tutorial deeplearning
MIRU2014 tutorial deeplearningMIRU2014 tutorial deeplearning
MIRU2014 tutorial deeplearning
 
機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計機械学習で泣かないためのコード設計
機械学習で泣かないためのコード設計
 
学部生向けベイズ統計イントロ(公開版)
学部生向けベイズ統計イントロ(公開版)学部生向けベイズ統計イントロ(公開版)
学部生向けベイズ統計イントロ(公開版)
 
5分でわかるベイズ確率
5分でわかるベイズ確率5分でわかるベイズ確率
5分でわかるベイズ確率
 
これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...
これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...
これからのコンピュータビジョン技術 - cvpaper.challenge in PRMU Grand Challenge 2016 (PRMU研究会 2...
 
先端技術とメディア表現1 #FTMA15
先端技術とメディア表現1 #FTMA15先端技術とメディア表現1 #FTMA15
先端技術とメディア表現1 #FTMA15
 

Similar to IJPC C解説

【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~
【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~ 【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~
【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~ TOKITA Shinichi
 
代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)HanpenRobot
 
人生を豊かにする線形代数学
人生を豊かにする線形代数学人生を豊かにする線形代数学
人生を豊かにする線形代数学Fumiya Watanabe
 
場の量子論
場の量子論場の量子論
場の量子論M M
 
代数方程式とガロア理論
代数方程式とガロア理論代数方程式とガロア理論
代数方程式とガロア理論Junpei Tsuji
 
Computing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner BasisComputing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner BasisYasu Math
 
複素数・四元数と図形の回転
複素数・四元数と図形の回転複素数・四元数と図形の回転
複素数・四元数と図形の回転Yoshihiro Mizoguchi
 
内藤ゼミ 凸関数 レジュメ
内藤ゼミ 凸関数 レジュメ 内藤ゼミ 凸関数 レジュメ
内藤ゼミ 凸関数 レジュメ yamazaki ryoga
 
ディジタル信号処理の課題解説
ディジタル信号処理の課題解説ディジタル信号処理の課題解説
ディジタル信号処理の課題解説noname409
 
何もないところから数を作る
何もないところから数を作る何もないところから数を作る
何もないところから数を作るTaketo Sano
 
University CodeSprint 4 - Magic value
University CodeSprint 4 - Magic valueUniversity CodeSprint 4 - Magic value
University CodeSprint 4 - Magic valuesatanic
 
スプラトゥーン2 × 数学(訂正版)
スプラトゥーン2 × 数学(訂正版)スプラトゥーン2 × 数学(訂正版)
スプラトゥーン2 × 数学(訂正版)Takunology
 
指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端Yoichi Iwata
 
行列計算アルゴリズム
行列計算アルゴリズム行列計算アルゴリズム
行列計算アルゴリズムTakuo Tachibana
 
第4回数理モデル勉強会(日本植物学会第84回大会関連集会)
第4回数理モデル勉強会(日本植物学会第84回大会関連集会)第4回数理モデル勉強会(日本植物学会第84回大会関連集会)
第4回数理モデル勉強会(日本植物学会第84回大会関連集会)TakaakiYonekura
 
Operad and Recognition Principle
Operad and Recognition PrincipleOperad and Recognition Principle
Operad and Recognition PrincipleTatsuki SHIMIZU
 
Magnitude ~ extend the Euler Characteristics via Möbius Inversion ~
Magnitude ~ extend the Euler Characteristics via  Möbius Inversion ~Magnitude ~ extend the Euler Characteristics via  Möbius Inversion ~
Magnitude ~ extend the Euler Characteristics via Möbius Inversion ~Tatsuki SHIMIZU
 

Similar to IJPC C解説 (18)

【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~
【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~ 【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~
【数学パズル】 無限の囚人と帽子パズル ~選択公理を使ったトリック~
 
双対性
双対性双対性
双対性
 
代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)
 
人生を豊かにする線形代数学
人生を豊かにする線形代数学人生を豊かにする線形代数学
人生を豊かにする線形代数学
 
場の量子論
場の量子論場の量子論
場の量子論
 
代数方程式とガロア理論
代数方程式とガロア理論代数方程式とガロア理論
代数方程式とガロア理論
 
Computing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner BasisComputing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner Basis
 
複素数・四元数と図形の回転
複素数・四元数と図形の回転複素数・四元数と図形の回転
複素数・四元数と図形の回転
 
内藤ゼミ 凸関数 レジュメ
内藤ゼミ 凸関数 レジュメ 内藤ゼミ 凸関数 レジュメ
内藤ゼミ 凸関数 レジュメ
 
ディジタル信号処理の課題解説
ディジタル信号処理の課題解説ディジタル信号処理の課題解説
ディジタル信号処理の課題解説
 
何もないところから数を作る
何もないところから数を作る何もないところから数を作る
何もないところから数を作る
 
University CodeSprint 4 - Magic value
University CodeSprint 4 - Magic valueUniversity CodeSprint 4 - Magic value
University CodeSprint 4 - Magic value
 
スプラトゥーン2 × 数学(訂正版)
スプラトゥーン2 × 数学(訂正版)スプラトゥーン2 × 数学(訂正版)
スプラトゥーン2 × 数学(訂正版)
 
指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端指数時間アルゴリズムの最先端
指数時間アルゴリズムの最先端
 
行列計算アルゴリズム
行列計算アルゴリズム行列計算アルゴリズム
行列計算アルゴリズム
 
第4回数理モデル勉強会(日本植物学会第84回大会関連集会)
第4回数理モデル勉強会(日本植物学会第84回大会関連集会)第4回数理モデル勉強会(日本植物学会第84回大会関連集会)
第4回数理モデル勉強会(日本植物学会第84回大会関連集会)
 
Operad and Recognition Principle
Operad and Recognition PrincipleOperad and Recognition Principle
Operad and Recognition Principle
 
Magnitude ~ extend the Euler Characteristics via Möbius Inversion ~
Magnitude ~ extend the Euler Characteristics via  Möbius Inversion ~Magnitude ~ extend the Euler Characteristics via  Möbius Inversion ~
Magnitude ~ extend the Euler Characteristics via Möbius Inversion ~
 

IJPC C解説