如何在不切换至EPICK内核的前提下加速CGAL::compute_intersection_points()？

exact()耗时是否正常 #

使用Lazy_exact_nt结合boost::multiprecision后端时，exact()耗时占比40%是合理的。因为Lazy_exact_nt采用延迟计算策略，exact()会触发真正的精确数值构造——而多精度浮点/有理数运算本身开销远高于普通浮点数，当交点数量多、边坐标复杂度高时，这个占比符合预期。

加速策略（保留精确性） #

• 先做近似过滤：先用Exact_predicates_inexact_constructions_kernel快速筛选出可能相交的边对（调用do_intersect函数），只对这些边对用精确内核计算交点。这样能大幅减少需要调用exact()的次数，过滤掉大量不相交的边对。
• 替换多精度后端：将boost::multiprecision后端换成CGAL自带的MP_Float，它专为几何运算优化，比通用的boost多精度库开销更低。
• 优化交点计算范围：检查compute_intersection_points的第四个参数（compute_endpoint_intersections），如果顶点相交的情况可以通过提前收集顶点来处理，可将该参数设为false，减少不必要的端点交点计算。
• 并行化处理：若每次迭代的多边形处理独立，可将边集拆分后并行计算交点（CGAL多数精确内核支持线程安全操作），利用多核资源分摊耗时。

适配的精确数值类型推荐 #

• CGAL::Epeck（Exact_predicates_exact_constructions_kernel）：CGAL官方推荐的精确构造内核，默认使用MP_Float作为数值类型，在精度和性能之间有最优平衡，比基于boost::multiprecision的自定义内核更高效。
• CGAL::Lazy_exact_ntCGAL::MP_Float：如果需要延迟计算特性，用CGAL自带的MP_Float作为Lazy_exact_nt的后端，比boost多精度后端的延迟计算更快。
• CGAL::QuotientCGAL::MP_Float：如果你的多边形坐标都是有理数（整数、分数），使用有理数内核（如CGAL::Simple_cartesian<CGAL::Quotient<CGAL::MP_Float>>）能进一步提升性能，因为交点也会是有理数，无需处理无理数的多精度浮点运算。

内容的提问来源于stack exchange，提问作者Lryan