笔记88：LeetCode_134_加油站

前言：

---

前言1：这个题的题目条件给的不太严谨，题目描述中说“如果存在解，则保证它是唯一的”，通过我的实践，我发现这句话的意思其实是本题的所有样例只有两种情况，无解/有唯一解；而不可能存在多个解的情况；

注：可以使用样例【gas=(10,10,10,10,10)    cost=(1,1,1,1,1)】来验证，这个样例每个节点都可以作为起点，即样例存在多个解，但是运行后LeetCode会报错；

a

a

前言2：这个题在代码随想录上的答案也没有写清楚他的思路，而且答案提供的暴力解法超过了时间复杂度，我提供一下我的暴力解法，并将用自己的语言讲清楚我做这道题时的思路；

---

a

a

a

a

a

方法1：暴力求解

注：这个题看似使用暴力很简单，但是暴力其实也有一些小坑，如果不想清楚，很难直接过；

---

思路1：很明显暴力一定是两个循环嵌套起来的，外层使用for循环选择起点，内层则使用while循环从该起点开始一直向后开车，验证能否从新回到起点；

思路2：外层循环很好写，但是我们需要考虑一下内层循环怎么写，选择什么条件来跳出while循环呢？我定义了变量sum_gas来代表从起点走到某一个节点时邮箱里的剩余油量，那么选择【sum_gas < 0】作为跳出条件是绝对没问题的，即如果走到当前节点时邮箱里的油为负，说明选择的起点到不了这个节点，也就无法完成闭环操作；

样例1图解

初始版本代码：这个版本的代码逻辑上完全没有问题，样例都过了，但是提交运行超时了；

class Solution {
public:
    int canCompleteCircuit(vector<int>& gas, vector<int>& cost) {
        //自己尝试：暴力求解

        for(int i = 0; i < gas.size(); i++) {
            if(gas[i] == 0) continue;                       //剪枝：如果起点加油站没有，那车辆根本无法行使
            int ptr = i;                                    //选择起点为ptr
            int sum_gas = gas[ptr] - cost[ptr];             //以ptr为当前出发站点，如果往后行驶一站，车的剩余油量
            
            while(sum_gas >= 0) {
                ptr = (ptr + 1) % gas.size();               //切换当前出发站点为ptr
                if(ptr == i) return i;
                sum_gas = sum_gas + gas[ptr] - cost[ptr];   //以ptr为当前出发站点，如果往后行驶一站，车的剩余油量
            }
        }

        return -1;
    }
};

---

思路3：但是我现在还是不太甘心放弃使用暴力搜索，那么我想是否可以通过剪枝操作来优化一点点代码的时间复杂度？使得可以通过提交？如果要剪枝，那就只有两种情况可以剪枝，因为通过这个题的描述我们可知，这个题只有两种情况，要么无解，要么有唯一解；所以我们如何可以在还没有满足【sum_gas < 0】这个条件的时候，就可以提前知道选择当前的这个起点，到底是无解，还是有唯一解？

思路4：我们考虑一种特殊情况，即【sum_gas == 0】这种情况；如果起点到当前节点的sum_gas == 0，那么只可能有两种情况，要么无解，要么有多个解；

看下图进行分析：如果从起点x到节点z的sum_gas == 0，那么我们针对节点y进行思考；如果从节点z开始前进，那么有两种可能：

• 节点z无法到达节点x：则代表以节点x为起点，是不可能重新回到起点的，即无解；
• 节点z可以到达节点x：则节点x和节点z作为起点，都可以重新回到本身的位置，即解不唯一；

思路5：所以我们不用看到【sum_gas < 0】才跳出while循环，而可以看到【sum_gas <= 0】就跳出循环；这样就节省了时间复杂度；但是有一个特殊情况，如果从起点回到起点的过程中sum_gas == 0，那么这个时候在起点的前一个点会得到sum_gas == 0；

改进版本代码：改动一共两处

class Solution {
public:
    int canCompleteCircuit(vector<int>& gas, vector<int>& cost) {
        //自己尝试：暴力求解
        
        for(int i = 0; i < gas.size(); i++) {
            if(gas[i] == 0) continue;                       //剪枝：如果起点加油站没有，那车辆根本无法行使
            int ptr = i;                                    //选择起点为ptr
            int sum_gas = gas[ptr] - cost[ptr];             //以ptr为当前出发站点，如果往后行驶一站，车的剩余油量
            
            while(sum_gas > 0) {
                ptr = (ptr + 1) % gas.size();               //切换当前出发站点为ptr
                if(ptr == i) return i;
                sum_gas = sum_gas + gas[ptr] - cost[ptr];   //以ptr为当前出发站点，如果往后行驶一站，车的剩余油量
            }
            //剪枝：特殊情况 -- 从起点回到起点后车辆剩余油量为0
            if(sum_gas == 0 && ptr == (i + gas.size() - 1) % gas.size()) return i;
        }

        return -1;
    }
};

---

a

a

a

a

a

方法2：贪心算法

注：使用暴力算法时间复杂度为，还是太高很容易过不了提交，有没有其他的算法可以将时间复杂度降到或者之类的；

---

样例1图解：

思路1：我们知道对于节点x，如果他的【gas[x] - cost[x] <= 0】，那么他一定不能作为起点；小于零的情况不用多说，等于零的情况在上面讨论过，要么是无解要么是多个解；所以只要节点x的【gas[x] - cost[x] <= 0】，就意味着这个节点不可以作为起点；只有【gas[x] - cost[x] > 0】的节点才有作为起点的潜质；

思路2：那么对于一串节点的temp_sum值，如果temp_sum小于等于0，是否也意味着这一串节点都是不能作为起点的呢？答案是肯定的；如下如示例，从节点x到节点n的temp_sum为0，那么意味着所有的节点都不可作为起点；

• 本身作为起点的节点x和其中【gas[] - cost[] <= 0】的节点y和节点m，自不必说肯定不能作为起点；
• 而节点z满足【gas[z] - cost[z] > 0】却也不能作为起点，是因为本身从节点x到节点z的【temp_sum > 0】，再加之节点z本身z满足【gas[z] - cost[z] > 0】，就这样两个正数相加，都不能突破节点m的封锁，导致在节点n处仍有【temp_sum = 0】，那么如果直接将节点z作为起点，那情况肯定更糟糕，更到达不了节点n了；

思路3：因此我们可以只用一个for循环，遍历所有的点，且每个点只访问一次，如果在这个点处获得的【temp_sum <= 0】，那么就意味着到当前位置的所有节点都不能作为起点；只能再遍历后面的节点，寻找具有成为起点潜质的新节点；

思路4：那如何判断一个节点可以作为起点，且可以回到本身？那么就需要遍历数组到头的时候，有【sum >= 0】，即可知道当前起点是满足答案约束的；在我的代码中，特殊情况（从第一个节点到最后一个节点的sum = 0）已经被包含进去了；

贪心算法代码：

class Solution {
public:
    int canCompleteCircuit(vector<int>& gas, vector<int>& cost) {
        //自己尝试：贪心算法

        int start = 0;      //起点位置（即temp_sum的开头元素）
        int sum = 0;        //到当前节点时的剩余油量
        int temp_sum = 0;   //从起点到当前位置时的剩余油量

        for(int i = 0; i < gas.size(); i++) {
            sum = sum + gas[i] - cost[i];
            temp_sum = temp_sum + gas[i] - cost[i];
            if(temp_sum <= 0) {
                temp_sum = 0;
                start = i + 1;
            }
        }

        if(sum >= 0) return (start % gas.size());
        return -1;
    }
};

---