您的位置： 专家智库 > >

李芬兰

作品数：4 被引量：0H指数：0
供职机构：广西师范大学数学科学学院数学系更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇理学

主题

  • 2篇NP
  • 2篇P
  • 1篇代数
  • 1篇多项式
  • 1篇信息系统
  • 1篇自动程序设计
  • 1篇接口
  • 1篇计算复杂性理...
  • 1篇管理信息
  • 1篇管理信息系统
  • 1篇MIS
  • 1篇程序设计
  • 1篇改进型

机构

  • 4篇广西师范大学

作者

  • 4篇李芬兰
  • 1篇陈庆锋

传媒

  • 1篇广西师范大学...
  • 1篇广西师范大学...
  • 1篇高技术通讯
  • 1篇计算技术与自...

年份

  • 1篇1997
  • 3篇1996
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
稀疏图灵归约“NP＝P？”的关系
1996年
定义了稀疏图灵归约，证明了定理：若ＮＰ（或ＰＳＰＡＣＥ）有困难集，则ＮＰ＝Ｐ（或Ｐ＝ＰＳＰＡＣＥ）。由此还获得了另外一些结果。
李芬兰
关键词：多项式代数
支持MIS的智能检索方法
1996年
分析了用于检索的各种可能的自然语言句子，将它们归纳为３种句型，以此为基础建立智能检索方式。
李芬兰
关键词：管理信息系统接口
一阶扩展Cooper变换改进型
1996年
提出一种一阶扩展A型Cooper变换改进型模式,用结构归纳法证明了其正确性,并给出应用示例。
李芬兰陈庆锋唐柳英
关键词：自动程序设计
稀疏图灵归约“NP=P?”的关系
1997年
本文定义稀疏国灵归约，证明了定理：若NP（或PSPACE）有≤K-S-T-困难集，则NP=P（或P=PSPACE）．由此还获得了一些结果．
李芬兰
关键词：计算复杂性理论
全选 清除 导出
共1页<1>
聚类工具0