[论文解读] Geometric Reasoning with polymake

Ewgenij Gawrilow, Michael Joswig|ArXiv.org|Jul 13, 2005

Data Management and Algorithms参考文献 22被引用 25

一句话总结

本文介绍了 polymake，一个用于凸多面体、单纯复形及相关数学对象几何推理的开源软件系统。它采用模块化的客户端-服务器架构，使用 Perl 实现高层控制，使用 C++ 实现算法，使用户能够通过直观的命令计算多面体的性质（如面、顶点-面关联关系和组合类型），而无需编写底层程序，同时通过脚本扩展和与其他数学软件的集成，支持系统可扩展性。

ABSTRACT

The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background.

研究动机与目标

• 为多面体理论与组合拓扑学中的几何推理提供用户友好且可扩展的软件环境。
• 通过高层接口隐藏复杂的技术细节，抽象出底层实现细节。
• 通过脚本和基于规则的性质推导，同时支持交互式探索与自动化计算。
• 支持与外部数学软件集成，并标准化几何模型交换。
• 通过计算访问复杂多面体性质，促进离散几何、交换代数和环面几何领域的高级研究。

提出的方法

• 采用客户端-服务器架构，使用 Perl 作为服务器语言，C++ 用于数学算法，将用户交互与计算解耦。
• 采用基于规则的系统，通过规则依赖图上的最短路径算法，计算派生性质（例如从 POINTS 推导 FACETS）。
• 将数学对象（如多面体、单纯复形）表示为可扩展类，内置超过 100 种性质，包括 VERTICES、FACETS、SIMPLICIAL 和 STEINER_POINTS。
• 支持多种输入格式（如 POINTS、H-表示法），并根据上下文透明地选择合适的凸包算法（如 cdd、qhull）。
• 通过 Perl 脚本支持自动化任务，例如筛选组合等价的面或可视化多面体面的图结构。
• 与外部工具集成，如 JavaView（可视化）、Maple（凸性计算）、zerOne、OpenXM，以及 Electronic Geometry Models 期刊（用于模型交换）。

实验结果

研究问题

• RQ1 如何设计软件系统，以抽象复杂的几何计算，同时对非程序员保持可访问性？
• RQ2 哪些架构原则能够实现从最少输入数据高效且可扩展地计算多面体性质？
• RQ3 如何利用基于规则的系统，动态组合算法，从已知性质推导出数学性质？
• RQ4 polymake 在哪些方面能够支持并加速多面体组合学、环面几何和组合拓扑学的研究？
• RQ5 如何将 polymake 集成到更广泛的数学软件生态系统中，以增强互操作性与模型共享？

主要发现

• 在 R³ 中，具有 8 个顶点的 3-立方体有 6 个面，且为简单多面体，这一结论经 polymake 自动计算顶点-面关联关系后得到确认。
• polymake 会根据输入和内部启发式策略，自动选择合适的凸包算法（如 cdd），确保在不同类型问题上的鲁棒性。
• 该系统支持超过 100 种内置多面体性质，包括 SIMPLICIAL 等组合不变量和 STEINER_POINTS 等几何数据。
• 脚本功能使用户能够自动化复杂工作流，例如识别并可视化每个组合等价类中仅一个代表性的面。
• polymake 支持与外部系统的无缝集成，包括可视化工具（JavaView）、计算机代数系统（OpenXM）以及出版平台（Electronic Geometry Models）。
• 该系统可部署于多种 UNIX 平台，可在仅配备 128 MB 内存的机器上运行，但编译至少需要 1 GB 内存。