汤传喜
- 作品数：3 被引量：1H指数：1
- 供职机构：北京大学信息科学技术学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 最大边染色的指数时间算法
- 最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题--最大边染色问题--提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数...
- 凤旺森张立昂王捍贫汤传喜陈霄
- 关键词：完全图复杂度精确解
- 文献传递
- 命题重言式系统的内定理的机器证明方法
- 命题逻辑以简单命题为最小单位，研究由简单命题和联结词构成的复合命题的逻辑性质以及关于复合命题之间的推理关系。命题逻辑中有很多个形式推理系统，本文讨论的形式推理系统是重言式系统。由重言式系统的可靠性和完备性可知，重言式系统...
- 汤传喜
- 关键词：命题逻辑
- 最大边染色的指数时间算法被引量：1
- 2008年
- 最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题——最大边染色问题——提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),求使用颜色种数最多的染色方案.然而,他们并没有给出该问题的任何精确算法.提出了几个指数时间的精确算法并分析了它们的复杂度.对完全图可以在多项式时间内找到精确解.
- 凤旺森张立昂王捍贫汤传喜陈霄
