qq_55796594的博客

题主应该是想要处理一些数据文件，那么使用python会好一些，python支持跨平台且拥有丰富的第三方处理库。
下面是用python实现的代码和运行结果。

针对上述文本，其运行结果如下：

代码如下，并对变量和逻辑做了一定的注释。

lines = []
def choice(left:int=0, right:int=0, num:int=0)->bool:
    # cnt 记录符合要求的a、b、c段的数量，cnt 等于3表示a、b、c都符合与num相差为2的要求
    global lines
    cnt = 0
    for i in range(left, right):
        if lines[i] == "..":
            tmp = int(lines[i-1])
            if tmp == num+2 or tmp == num-2:
                cnt+=1
    tmp = int(lines[right-1])
    if tmp == num+2 or tmp == num-2:
        cnt+=1
    return cnt == 3 
        

def interval(filename:str, num:int=0):
    global lines
    with open(filename, 'r', encoding='utf-8') as f:
        lines = f.read().splitlines()
    if lines == None:
        return 0
    # left记录一个区间的起始，right记录一个区间的结束，每找到一个区间就判断一下其是否符合要求
    left = 0; right = 0

    for i in range(len(lines)):
        if lines[i] == '——':
            left = right
            right = i
            if right > left and choice(left, right, num):
                res = lines[left+1:right]
                print(res)
                # res.remove('..') #可以选择不要".."间隔a、b、c段
                # print(res)

            

if __name__ == "__main__":
    interval("a.txt", 5)

此外，值得注意的是分段使用的符号是——，中文的破折号，在判断时容易起到迷惑作用。

本题的二分法确实具有迷惑性，题主的二分法将矩阵的下标和矩阵的值搞混了。下图是题解中的矩阵举例，每行呈递增趋势，每列呈递增趋势，并不是后一行一定大于前一行，如matrix[3][0] < matrix[0][3]. 这可能是造成题主理解错题目的根本原因。

下面给出了修改后的代码，并附带了每一处修改的原因。代码经过leetcode验证通过率100%。

class Solution {
public:
    int kthSmallest(vector<vector<int>>&matrix,int k){
        int count=0;
        int n = matrix.size()*matrix[0].size();
        // int left=0;
        // int right=n-1; 修改此处【1】，left是矩阵的最小值，right是矩阵的最大值。
        int left = matrix[0][0];
        int right = matrix[matrix.size()-1][matrix.size()-1];
        int mid;
        while(left<right){
            mid=left+(right-left)/2;
            int i=matrix.size()-1,j=0;
            // count = 0; count每统计完一次要清零
            // while(i>=0&&j<=matrix[0].size()-1){
            //     if(matrix[i][j]>matrix[mid/n][mid%n]){ 修改此处【2】, 和【1】的修改理由相同，mid是数值不是下标
            //         j++;
            //     }
            //     else i--;
            //     count++;        // count的统计方式不对
            // }
            while(i>=0&&j<=matrix[0].size()-1){
                if(matrix[i][j]<=mid){
                    count += i+1; 
                    j++;
                }
                else i--;
            }
    
            // if(count>k){ 修改【3】，此处的二分法区间对应错误
            //     left=mid+1;
            // }
            // else if(count<k){
            //     right=mid-1;
            // }
            if(count >= k){
                right=mid;
            }
            else if(count<k){
                left = mid+1;
            }
        }
        // return matrix[mid/n][mid%n]; 这里同样是，left是返回值
        return left;
    }
};

关于第2处修改，题主可能会有疑惑，为什么count += i+1; 这里其实是按列统计的，如下图，扫描到6时，将6之上的一整列统计进去，因为其上的数必然小于6，也就小于mid。

因为每次循环中都保证了第k小的数在left~right之间，当left==right时，第k小的数即被找出，等于right或left

很明显的一个内存未分配问题。

报错位置在for循环中，此时你的dp数组只有两个数，下标范围为[0, 1]，而i的值为2，所以dp[i]报错。
解决办法1：

先计算得出要保存的值，再append入列表中。
解决办法2：

预分配空间，dp数组最终的总长度确定为n，所以是可以预分配的。
此外，因为dp列表下标从0开始分配的，最终结果应为dp[n-1]。