您的位置： 专家智库 > >

贵州省自然科学基金(J[2008]2119)

作品数：1 被引量：3H指数：1
相关作者：魏昆鹏王以松更多>>
相关机构：贵州大学更多>>
发文基金：贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
相关领域：自然科学总论更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自然科学总论

主题

  • 1篇多项式
  • 1篇多项式时间
  • 1篇多项式时间算...
  • 1篇逻辑程序

机构

  • 1篇贵州大学

作者

  • 1篇王以松
  • 1篇魏昆鹏

传媒

  • 1篇计算机工程

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
计算最大无基集的多项式时间算法被引量：3
2011年
以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集。实验结果证明了该算法的正确性及复杂性。
魏昆鹏王以松
关键词：逻辑程序多项式
全选 清除 导出
共1页<1>
聚类工具0