您的位置： 专家智库 > >

郭蕾

作品数：1 被引量：1H指数：1
供职机构：常州纺织服装职业技术学院信息技术系更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇点覆盖
  • 1篇顶点
  • 1篇顶点覆盖
  • 1篇定理
  • 1篇独立集
  • 1篇无向图
  • 1篇基本定理
  • 1篇NPC问题
  • 1篇SAT

机构

  • 1篇常州纺织服装...

作者

  • 1篇郭蕾

传媒

  • 1篇长江大学学报...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
NPC问题中几个基本定理的证明被引量：1
2011年
就NPC问题(NP-complete,NP完全问题)中的几个基本定理给出了证明。首先从基本的团问题、SAT问题和图的着色问题入手,证明了它们都属于NPC问题,再利用独立集、顶点覆盖、有向图、团、SAT和图的着色等问题本身的内在关系,对其他的定理做了一一证明。
郭蕾
关键词：NPC问题SAT独立集顶点覆盖无向图
全选 清除 导出
共1页<1>
聚类工具0