$01$分数规划主要是解决求图中一个环的$ans=\frac{\displaystyle \sum_{i=1}^n a_i}{\displaystyle \sum_{i=1}^n b_i}$的最大值
我们浮点数二分$ans$,则假设二分的中间元素为$mid$,则$check$的逻辑为
$$ans=\frac{\displaystyle \sum_{i=1}^n a_i}{\displaystyle \sum_{i=1}^n b_i}>mid$$
整理可得:
$$\sum_{i=1}^n a_i + mid × \sum_{i=1}^n b_i>0$$
$$\sum_{i=1}^n a_i-mid×b_i>0$$
所以就可以转化成一个边权为$a_i-mid×b_i$判断图中是否有正环的问题,如果存在正环,所以二分$l=mid$,反之$r=mid$