Gas Station 加油站

在一条环路上有 N 个加油站，其中第 i 个加油站有汽油 gas[i] 升。

你有一辆油箱容量无限的的汽车，从第 i 个加油站开往第 i+1 个加油站需要消耗汽油 cost[i] 升。你从其中的一个加油站出发，开始时油箱为空。

如果你可以绕环路行驶一周，则返回出发时加油站的编号，否则返回 -1。

说明: 

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

示例 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 升汽油。
因此，无论怎样，你都不可能绕环路行驶一周。

思路：这道题值得好好写写，首先给出两个结论（后面会证明）：

1：如果这个环中的总gas大于等于总cost，那么一定存在解。

2：如果节点B是节点A右边的第一个无法到达的节点，那么位于任何A和B中间的任意节点都无法到达B。

解法：我们只需要遍历一次数组，其中total一直统计剩余的汽油数（累加gas[i]-cost[i]），res也是统计剩余的汽油数，如果res小于0，就意味着从某个节点i到当前节点j的累计剩余汽油小于0，那么根据结论一，节点一定不会在i-j之间（包括i和j），那么把res赋值为0，新的可能节点赋值为j+1，等遍历结束，如果total大于等于0，那么返回那个可能节点，否则返回-1。

算法正确性：这道题如果单独看算法描述绝对一脸懵逼，下面给出算法的正确性证明：如下图所示，绿色代表当前节点的gas大于等于当前节点cost的（(gas[i]-cost[i])>=0）：

更具题意和结论，总的total如果大于等于总cost，那么一定有解，并且只有唯一解。那么如上图所示，红色块一定不可能，只能在绿色块中选择，这里先假设0号是答案，那么下一个是1号，如果累计到1号的总res小于总cost，那么我们把候选项更新为2号（因为根据结论1，如果取0号或者1号，则一定不会有解（如果只有3个节点0,1,2，只有2号能跳到0号再跳到1号）），同理如果从2号累计到3号的res小于cost，那么2号无法跳到3号（想一下之前的情况，遍历到3号时，前面所有的绿号都不满足情况，那么只能继续吧可能的节点赋为下一个节点）。

参考代码：

class Solution {
public:
    int canCompleteCircuit(vector<int>& gas, vector<int>& cost) {
	int total(0), start(0),sum(0);
	for (int i = 0; i < gas.size(); i++) {
		total += (gas[i] - cost[i]);
		sum += (gas[i] - cost[i]);
		if (sum < 0) {
			sum = 0;
			start = i + 1;
		}
	}
	return total < 0 ? -1 : start;        
    }
};

证明结论一：

• 如果只有一个加油站，那么结论成立。
• 如果有两个加油站a和b，而气体（a）不能承担成本（a），即气体（a）<成本（a），那么气体（b）必须大于成本（b），即燃气（b）>成本（b），因为燃气（a）+燃气（b）>成本（a）+成本（b）; 所以可以从节点b跳到节点a。
• 如果有三个加油站a，b和c，其中气体（a）<成本（a），即我们不能直接从a到b，那么：
• 如果气体（b）<成本（b），即我们不能直接从b到c，那么对于c一定成本（c）>成本（c），所以我们可以从c开始并前往a; 因为气体（b）<成本（b），气体（c）+气体（a）必须大于成本（c）+成本（a），所以我们可以继续从a到b旅行。关键点：这可以把c和a合成一个汽油站c'，气体（c'）=气体（c）+气体（a），c'到b的成本是成本（c'）=成本（c） +成本（a），问题减少到两个站的问题。用上面的方法可以解决。
• 或者如果气体（b）> =成本（b），我们可以直接从b到c。与上述情况类似，这个问题可以减少到两个站b'和a的问题，其中气体（b'）=气体（b）+气体（c）和成本（b'）=成本（b）+成本（C）。由于气体（a）<成本（a），气体（b'）必须大于成本（b'），所以它也得到了解决。
• 对于更多站点的问题，我们可以以类似的方式减少它们。实际上，如上面针对三个站的示例所示，两个站的问题也可以减少到一个站的初始问题。

对于更多情况，我们用如下图所示（绿色标识gas[i]-cost[i]>=0的）：

那么整个序列会被分为红绿相间的序列，那么按照上面的思想，绿色节点间可以直接合并，红色的节点一定可以和前面绿色或者前后面的绿色节点合并成一个大的节点，最终只剩下两个节点，变成上面的情况。

证明结论2：

根据题意C是A右边第一个不能到达的节点，那么假设任意一个节点B，使得A能够到达B，那么我们想证明B无法到达C，因为A无法到达C，所以gas[A]+gas[B]<cost[A]+cost[B]，公式1，因为A能到达B，所以gas[A]>=cost[A]，公式2，如果B能到达C ，那么gas[B]>=cost[B]，我们来证明这个式子不成立。我们用res[i]表示gas[i]-cost[i]，由公式1和公式2可以得到：

res[A]+res[B]<0     //公式3
res[A]>=0            //公式4

那么res[B]一定小于0，所以节点B一定到不了节点C。