問題の条件を整理して簡単にしてみましょう.
問題原案:uni_kakurenbo
整数 についての条件 を考えます.
数直線をイメージするとよいです.
これは, を中央とした幅が の閉区間に が含まれることと等しいです.
整数 に対して, なる任意の整数 について が上記の条件を満たすような が存在する最大の整数 を とします.
を昇順に並び替えると, は に関して広義単調増加となりますから,尺取り法の要領で の昇順に を求めることができます.
このとき, の最大値が答えです.
解説:uni_kakurenbo