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(i): k=C[i] T=[0]*(N+1) X=[inf]*(N+1) X[1]=0 Q=deque([1]) while Q: x=Q.popleft() if T[x]: continue T[x]=1 f=F[x] for y in f: if f[y]>k: if X[y]>X[x]+1: Q.append(y) X[y]=X[x]+1 else: if X[y]>X[x]: Q.appendleft(y) X[y]=X[x] return X[N]