正则整数向量集的凸包是多面体且可有效计算的
计算几何
2008-12-13 v1 数据结构与算法
计算机科学中的逻辑
摘要
数字决策图(NDD)为编码为数字向量字符串(最低有效位或最高有效位优先)的正则整数向量集提供了一种自然的有限符号表示。证明了由NDD表示的向量集的凸包是一个可有效计算的凸多面体。
引用
@article{arxiv.0812.1951,
title = {The convex hull of a regular set of integer vectors is polyhedral and effectively computable},
author = {Alain Finkel and Jérôme Leroux},
journal= {arXiv preprint arXiv:0812.1951},
year = {2008}
}