边界基础检测是NP完全的
摘要：检测边界基础的问题的形式如下：给定一个理想的一组生成元，判断这组生成元是否是关于某个序理想的边界基础。这个问题的动机来自于与Gr"obner基础相关的类似问题，被称为Gr"obner基础检测（GBD），由Gritzmann和Sturmfels（1993）提出。Sturmfels和Wiegelmann（1996）证明了GBD是NP-难的。在本文中，我们研究了BBD的计算复杂性，并证明了它是NP-完全的。
作者：Prabhanjan V. Ananth, Ambedkar Dukkipati
论文ID：1011.6021
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-11-30