Scifaro

中文

使用线性求解器计算凸包

编程语言 2007-05-23 v1

作者: Florence Benoy , Andy King , Fred Mesnard

在 arXiv 上查看 ↗ PDF ↗

摘要

我们报告了一种涉及多面体的编程策略，已在(约束)逻辑程序的多面体分析中广泛应用。该方法使得所需的凸包计算可以编码为使用许多 Prolog 系统中可用的数线性约束求解器来实现。

关键词

凸包多面体分析线性求解器约束逻辑程序 Prolog

引用

@article{arxiv.cs/0311002,
  title  = {Computing Convex Hulls with a Linear Solver},
  author = {Florence Benoy and Andy King and Fred Mesnard},
  journal= {arXiv preprint arXiv:cs/0311002},
  year   = {2007}
}

备注

13 pages, 1 figure