王怡蕊1. CGAL::Nef_polyhedron 核心概念解析
CGAL::Nef_polyhedron 是计算几何算法库（CGAL）中处理三维布尔运算的核心数据结构。这个类实现了边界表示法（B-rep）的扩展模型，能够稳定处理各种退化情况。我在实际项目中使用它处理过建筑信息模型（BIM）的复杂布尔运算，其可靠性远超常规的多边形网格布尔运算方法。
Nef多面体的核心特点是采用局部坐标系和精确计算策略。与传统的多边形网格不同，它通过半边数据结构（Halfedge Data Structure）记录几何和拓扑信息，同时使用代数决策图（ADG）来管理集合操作。这种设计使得它能够精确表示：
- 常规多面体（有界和无界）
- 带有洞和裂缝的几何体
- 非流形几何结构
- 点集和线框结构
关键提示：Nef_polyhedron 使用有理数内核（Exact_predicates_exact_constructions_kernel）作为默认内核，这是保证计算精度的关键。在实际项目中切勿随意改用浮点内核，否则会导致布尔运算失败。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 数据结构与内部表示剖析
2.1 半边数据结构扩展
Nef_polyhedron 的基础是三维半边数据结构（3D HDS），但进行了以下关键扩展：
- 每个顶点存储精确的笛卡尔坐标
- 每条边关联局部坐标系信息
- 每个面片记录法向量和平面方程
- 增加标记位表示集合成员关系
cpp复制struct Vertex {
Point_3 exact_point; // 精确坐标
Sphere_point sphere; // 单位球面投影
Mark mark; // 集合标记
};
struct Halfedge {
Vertex* source; // 起始顶点
Face* face; // 所属面
Mark mark; // 集合标记
// ... 其他拓扑指针
};
2.2 代数决策图（ADG）实现
ADG 是Nef多面体实现高效布尔运算的核心。它将几何体的空间划分编码为二叉树：
- 内部节点代表分割平面
- 叶节点存储标记信息（IN/OUT/BOUNDARY）
- 通过图缩减技术优