134. 加油站

134. 加油站

在一条环路上有 N 个加油站，其中第 i 个加油站有汽油 gas[i] 升。你有一辆油箱容量无限的的汽车，从第 i 个加油站开往第 i+1 个加油站需要消耗汽油 cost[i] 升。你从其中的一个加油站出发，开始时油箱为空。如果你可以绕环路行驶一周，则返回出发时加油站的编号，否则返回 -1。

说明: 

1. 如果题目有解，该答案即为唯一答案。
2. 输入数组均为非空数组，且长度相同。
3. 输入数组中的元素均为非负数。

示例 1:

输入: 
gas  = [1,2,3,4,5]
cost = [3,4,5,1,2]

输出: 3

解释:
从 3 号加油站(索引为 3 处)出发，可获得 4 升汽油。此时油箱有 = 0 + 4 = 4 升汽油
开往 4 号加油站，此时油箱有 4 - 1 + 5 = 8 升汽油
开往 0 号加油站，此时油箱有 8 - 2 + 1 = 7 升汽油
开往 1 号加油站，此时油箱有 7 - 3 + 2 = 6 升汽油
开往 2 号加油站，此时油箱有 6 - 4 + 3 = 5 升汽油
开往 3 号加油站，你需要消耗 5 升汽油，正好足够你返回到 3 号加油站。
因此，3 可为起始索引。

示例 2:

输入: 
gas  = [2,3,4]
cost = [3,4,3]

输出: -1

解释:
你不能从 0 号或 1 号加油站出发，因为没有足够的汽油可以让你行驶到下一个加油站。
我们从 2 号加油站出发，可以获得 4 升汽油。 此时油箱有 = 0 + 4 = 4 升汽油
开往 0 号加油站，此时油箱有 4 - 3 + 2 = 3 升汽油
开往 1 号加油站，此时油箱有 3 - 3 + 3 = 3 升汽油
你无法返回 2 号加油站，因为返程需要消耗 4 升汽油，但是你的油箱只有 3 升汽油。
因此，无论怎样，你都不可能绕环路行驶一周。

---

基本思路：暴力方法，从某一点开始，left一直大于等于零，就是解。

    int canCompleteCircuit(vector<int>& gas, vector<int>& cost) {
        int n=gas.size();
        for(int i=0;i<n;i++){
            if(gas[i]>=cost[i]){
                int left=gas[i]-cost[i];
                int pos=(i+1)%n;
                while(pos!=i&&left>=0){
                    left=left+gas[pos]-cost[pos];
                    pos=(pos+1)%n;
                }
                if(pos==i&&left>=0)
                    return i;
            }
        }
        return -1;
    }

基本思路：计算left[i,j]，如果小于零，那么0，j内所有的站点都不能作为起点，抛弃重新计数，left[j+1,..],知道满足要求的left[start,start+1>=0,..left[start,n-1]>=0                                                                                                        参考笨猪爆破组

假设：1)令left(i,j)=gas[i]-cost[i]+gas[i+1]-cost[i+1]+...+gas[j]-cost[j]，i,j表示的是加油站,n表示的是站点的总数;

            2)为了方便讨论，令left[i,k]>=0,i<=k<j。即表示的是从i出发可以到达j-1，但是到达不了j;

a)若 left[i,j]<0,那么一定不能从i站点出发绕一圈，那如果从中间站点k出发可以吗？显然是不可以的，因为left[k,j]=left[i,j]-left[i,k-1],又因为，left[i,k-1]>=0,所以left[k,j]<0;

===>我们可以得出，如果left[i,j]<0,那么从i到j中的任意一点都不能环游一圈，即肯定不是起点。

 

b)若left[0,n-1]>=0,是否一定可以环游一圈那？答案是肯定的，先刨除所有的left[i,j]>=0的情况，0<i<=j<n-1;那么只剩下存在部分大于零，部分小于零的情况；

我们可以假设left[i,j]<0,left[j+1,i-1]>0(可以反证证明一定存在这种情况，且left[j+1,i-1]表示的是在环中j+1到i-1的加油站),表示的时，可以从站点j+1环游到站点i-1,即从j+1到i-1的left均大于等于零。

1. 由结论1知，若left[i,j]<0,那么对于中间的任意站点k,都不能到达j,即left[k,j]<0;
2. 对于任意的站点k，i<=k<=j,left[j+1,k]=left[j+1,i-1]+left[i+1,k]>0一定成立，因为left[0,n-1]=left[j+1,k]+left[k+1,j]>=0,且left[k+1,j]<0,易得left[j+1,k]>0,

===>我们可以得出，如果left[0,n-1]>=0,那么一定可以环游一圈，即存在left[j,j+1],left[j,j+2],...,left[j,j-1]均大于等于零。

 

若left[0,n-1]>=0,且存在唯一解start，那么这个start怎么查找？抛弃所有不合格的点即可，因为left[i,start-1]<0,left[start,n-1]>=0必然成立,可以用反证法证明，否则的话唯一解就不是start了。

 

    int canCompleteCircuit(vector<int>& gas, vector<int>& cost) {
        int n=gas.size();
        int left=0;
        int start=0;
        int sum=0;
        for(int i=0;i<n;i++){
            sum+=gas[i]-cost[i];
            left+=gas[i]-cost[i];  //left[i,j];
            if(left<0){   //left[0,i]必然不能作为起点
                left=0;
                start=i+1;
            }
        }
        return sum>=0?start:-1;
    }