简介 所谓悬线,就是用一条线尽可能向两边拓展形成一个矩形,这样一条线就会构成矩形的宽。(原谅我也很难说明白悬线的具体定义) 用途 解决给定矩阵中满足条件的最大子矩阵 正确性 悬线法的正确性怎么证明?我们考虑最优解所代表的矩形(即满足条件的最大矩形),它的宽 h h h 一定来自于某一条悬线。可以用反证法,假设它的宽不来自于任意一条悬线,即每条悬线都比宽 h h h 大,这样我们显然可以得到一个更大的解,与条件矛盾。所以悬线法不一定能覆盖所有矩形,但一定可以覆盖到最优解的。 悬线法的具体实现 f [ i ] [ j ] f[i][j]