关于二分答案的图论问题（spfa）

引入（codevs(wikioi) 1183）：

题目描述 Description

CS有n个小区，并且任意小区之间都有两条单向道路（a到b，b到a）相连。因为最近下了很多暴雨，很多道路都被淹了，不同的道路泥泞程度不同。小A经过对近期天气和地形的科学分析，绘出了每条道路能顺利通过的时间以及这条路的长度。

现在小A在小区1，他希望能够很顺利地到达目的地小区n，请帮助小明找出一条从小区1出发到达小区n的所有路线中（总路程/总时间）最大的路线。请你告诉他这个值。

输入描述 Input Description

第一行包含一个整数n，为小区数。

接下来n*n的矩阵P，其中第i行第j个数表示从小区i到小区j的道路长度为Pi,j。第i行第i个数的元素为0，其余保证为正整数。

接下来n*n的矩阵T，第i行第j个数表示从小区i到小区j需要的时间Ti,j。第i行第i个数的元素为0，其余保证为正整数。

输出描述 Output Description

写入一个实数S，为小区1到达n的最大答案，S精确到小数点后3位。

这是一道非常扯的题，不是求时间最短，而是求速度最快（强迫症- -）

若有一条1到n的路径 则速度为(s1+...+sn)/(t1+...+tn)

第一眼看上去，毫无头绪。

若去一个点，因为有明显的后效性，不能单独以(si/ti)作为边权跑最短路。

但是 令ans=(s1+...+sn)/(t1+...+tn)，我们将(t1+..+tn)移项

可得(t1+...+tn)*ans=(s1+...+sn)

再移项((s1-ans*t1)+...+(sn-ans*tn))=0

问题转化为了一个求一个尽量大的ans使得上式成立。

问题有继续转化为以(si-ans*ti)为边权的最长路（因为si-ans*ti越大，则平均最大

（ans就是整个平均速度，si-ans*ti越大，这条边便为提高平均值贡献越大））。

对于ans，我们可以用二分答案的方法

若dis[n]>0，则ans太小，否则太大；

（好早以前写的了，当时还是P党）

（PS：本题数据略坑，有负权环）