该文档研究了层次图的垂直切割问题，具体来说，给定一个只包含 0 和 1 的 n×m 二进制矩阵，目标是将矩阵垂直切割成 k 个块，使得每个块中 0 的数量与 1 的数量相差至多 1。该文档提出了一个算法，该算法可以在 O(n^2 + km) 时间内找到这样的切割。