二叉树

    2024-05-16

    二叉树理论基础

    二叉树种类

    满二叉树：如果一棵二叉树只有度为 0 的结点和度为 2 的结点，并且度为 0 的结点在同一层上，则这棵二叉树为满二叉树。深度为 k，有 2^k-1 个节点的二叉树。

    Read More

    回溯算法

    2024-05-16

    回溯算法理论基础

    什么是回溯法

    回溯法也可以叫做回溯搜索法，它是一种搜索的方式。回溯是递归的副产品，只要有递归就会有回溯。回溯函数也就是递归函数，指的都是一个函数。

    回溯法的效率

    虽然回...

    Read More

    额外题目

    2024-05-16

    1365.有多少小于当前数字的数字

    给你一个数组 nums，对于其中每个元素 nums[i]，请你统计数组中比它小的所有数字的...
    Read More

    静态分析：soundiness

    2024-05-16

    Soundness and Soundiness

    • 到现在为止：学术界+工业界的静态分析都做不到完全的 sound

    • 因为存在难以分析的特征：对这些特征的激进保守处理可能会使分析过于不精确而无法扩展，从而使分析无用

      ...
    Read More

    静态分析：IFDS

    2024-05-16

    Feasible and Realizable Paths

    • 不可行路径（infeasible path）： CFG 中在程序实际运行时不会执行到的路径
    • 我们希望程序分析结果不会被不可行路径污染，或尽可能少被污染
    • 但是，给定一条路径，确定它...
    Read More