CGAL的单调与排序矩阵搜索

        monotone_matrix_search() 和 sorted_matrix_search() 是一种处理在具有某些结构特性的矩阵中高效查找最大条目的技术。许多具体问题都可以建模为矩阵搜索问题，对于其中一些问题，我们提供了显式解决方案，使您可以在不了解矩阵搜索技术的情况下解决这些问题。例如，计算凸多边形顶点的所有最远邻点，平面点集内最大的 k 边形，以及计算矩形 p 中心。

        CGAL::sorted_matrix_search是一种在矩阵中查找最大元素的方法，它利用了额外的排序步骤来提高查找的效率。这种算法假设输入矩阵的所有行和列都是已排序的。

        在CGAL::sorted_matrix_search中，首先对矩阵的每一行进行排序，然后对每一列进行排序。这样，最大元素就被“提升”到了矩阵的右上角。然后，通过检查右上角的主对角线元素，可以找到矩阵中的最大元素。

        这种算法的时间复杂度是O(n log n)，其中n是矩阵的行数或列数（假设矩阵的行数和列数中较小的一个）。这是因为需要对每一行和每一列进行排序，而排序的时间复杂度是O(n log n)。尽管这种算法在最坏的情况下可能需要比较所有的元素才能找到最大元素，但在实践中，它通常比简单地遍历所有元素更快。

        这个函数在CGAL库中是用来查找一个已排序矩阵中的最大元素的。如果你要查找一个未排序的矩阵中的最大元素，那么你首先需要对矩阵进行排序，然后才能使用这个函数。

        CGAL的monotone_matrix_search()函数是一种用于查找矩阵中最大元素的算法。它适用于具有单调递增或递减行或列的矩阵。

        在monotone_matrix_search()函数中，首先检查矩阵的行和列是否具有单调性。如果是，该函数利用这些单调性来加速查找最大元素的过程。

        具体而言，对于每一行或列，该函数确定其最大元素的位置。然后，通过比较这些位置，可以确定整个矩阵的最大元素的位置。这个过程不需要对整个矩阵进行遍历，因此可以节省时间。

        该函数的输入是一个矩阵，输出是最大元素的位置。如果矩阵不具有单调性，该函数的行为是未定义的。

        请注意，monotone_matrix_search()函数只能用于查找最大元素的位置，而不能用于查找最大元素的值。如果你需要找到最大元素的值，可以在找到位置后直接访问该位置的元素。