結果

問題 No.3398 Accuracy of Integer Division Approximate Function 2
コンテスト
ユーザー 👑 p-adic
提出日時 2025-12-06 10:08:15
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 547 ms / 2,000 ms
コード長 859 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 357 ms
コンパイル使用メモリ 82,656 KB
実行使用メモリ 84,656 KB
最終ジャッジ日時 2025-12-06 10:08:25
合計ジャッジ時間 8,510 ms
ジャッジサーバーID
（参考情報） 		judge6 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#python -m pdb a.py

J=lambda:map(int,input().split())
Z=-1<<128
def g(l,r,m,a,b,c,d):
	if l>r:return Z
	def f(x):return a*x+b*((c*x+d)//m)
	if c==0:return f(l if a<0 else r)
	L,R=(c*l+d)//m,(c*r+d)//m
	def h(x,y):x,y=max(x,L),min(y,R);return Z if x>y else b*(x if b<0 else y)
	if a<0:M=(c*l+d-c)//m;return max(h(L,min(R,M))+l*a,g(max(L,M+1),R,c,b+m//c*a,a,m%c,(-d+c-1)%c)+(-d+c-1)//c*a)
	return max(g(L,R-1,c,b+a*(m//c),a,m%c,(m-d-1)%c)+(m-d-1)//c*a,h(R,R)+r*a)
# [x/D] - [[x/A] * [AB/D] / B] <- x = Dy
# y - [[Dy/A] * [AB/D] / B]
# K < y - [[Dy/A] * [AB/D] / B]
# <=> [[Dy/A] * [AB/D] / B] < y - K
# <=> [Dy/A] * [AB/D] / B < y - K
# <=> [Dy/A] < B(y - K)/[AB/D]
# <=> BK < By - [AB/D][Dy/A]
for t in range(sum(J())):
	d,a,b,k=J();c,k,l,r=-(a*b//d),b*k,0,1<<128
	while l+1<r:
		m=(l+r)>>1
		if k<g(0,m,a,b,c,d,0):r=m
		else:l=m
	print(-1 if r>>128 else r*d)
0