def General_Binary_Increase_Search_Integer(L,R,cond,default=None): """条件式が単調増加であるとき, 整数上で二部探索を行う. L: 解の下限 R: 解の上限 cond: 条件(1変数関数, 広義単調増加を満たす) default: Rで条件を満たさないときの返り値 """ if not(cond(R)): return default if cond(L): return L R+=1 while R-L>1: C=L+(R-L)//2 if cond(C): R=C else: L=C return R def check(k): Q=deque([N]) X=[inf]*(N+1); X[N]=0 M=[0]*(N+1) while Q: x=Q.popleft() if M[x]: continue M[x]=1 f=F[x] for y in f: if f[y]>k: if X[y]>X[x]+1: X[y]=X[x]+1 Q.append(y) else: if X[y]>X[x]: X[y]=X[x] Q.appendleft(y) for u,v,c in E: if c<=k and (X[u]