您的位置： 专家智库 > >

李培培

作品数：4 被引量：6H指数：2
供职机构：贵州大学更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 2篇理学

主题

  • 1篇等价
  • 1篇等价关系
  • 1篇对角占优阵
  • 1篇严格对角占优
  • 1篇严格对角占优...
  • 1篇数学
  • 1篇同构
  • 1篇图同构
  • 1篇自动机
  • 1篇矩阵
  • 1篇可满足性
  • 1篇块矩阵
  • 1篇极小化
  • 1篇计算机
  • 1篇计算机数学
  • 1篇分块矩阵
  • 1篇标准图
  • 1篇I

机构

  • 4篇贵州大学
  • 1篇佳木斯大学

作者

  • 4篇李培培
  • 2篇李翰芳
  • 1篇汤凤香
  • 1篇方秀男
  • 1篇何淦瞳

传媒

  • 3篇贵州大学学报...

年份

  • 1篇2008
  • 3篇2007
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
关于分块矩阵的对角schur补被引量：2
2007年
利用矩阵分块的思想,主要证明了I-块严格对角占优阵的对角schur补仍然是I-块严格对角占优阵,同时利用连续性证明了I-BDD的对角schur补还是I-BDD。
汤凤香何淦瞳方秀男李培培
1-可区分图的同构判定问题被引量：4
2007年
判定两个图是否同构的算法复杂性至今还是一个开问题。作者研究一类图的同构问题,给出了K-可区分图及K-标准图的定义〔0
李培培李翰芳
关键词：图同构
线性公式可满足性判定问题的复杂性
可满足性问题(SAT)是计算机科学的中心问题之一，也是第一个被证明的NP-完全问题，并且是一大类NP-完全问题的核心。SAT问题是指可满足布尔表达式的集合，它在数理逻辑、人工智能、约束可满足性问题、VLSI集成电路设计与...
李培培
关键词：计算机数学
文献传递
连接型自动机的极小化及其复杂性
2007年
通过定义确定型有穷自动机在状态集上的等价关系,可以构造一类非确定型有穷自动机在状态集上的等价关系,利用这个等价关系可以对这类非确定型有穷自动机进行极小化。
李翰芳李培培
关键词：自动机等价关系
全选 清除 导出
共1页<1>
聚类工具0