陈文彬

作品数：4被引量：0H指数：0
导出分析报告
供职机构：广州大学计算机科学与教育软件学院更多>>
发文主题：英文NP-难解分裂性逻辑程序理论教学更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《时代教育》《广州大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
稳定模的分裂性（英文）
《广州大学学报（自然科学版）》2016年第1期13-17,共5页陈文彬 李福芳 邹宇 
National Science Foundation of China(NSFC)under Grant No.11271097;Natural Science Foundation of China under Grant No.61472092;Guangdong Provincial Science and Technology Plan Project under Grant No.2013B010401037;Guang Zhou Municipal High School Science Research Fund under grant No.120142131
逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.在文章中,作者研究了稳定模的分裂性质.这性质表明当逻辑程序分裂成部分时候,它的稳定模的计算可以得到简化.
关键词：稳定模 逻辑程序 埃尔布郎模 稳定集 
逼近4正则图的最小顶点覆盖问题的难解性(英文)
《广州大学学报（自然科学版）》2014年第1期65-69,共5页陈文彬 
Our research has been supported by the National Science Foundation of China(NSFC)under GrantNo.11271097;the research project of Guangzhou Education Bureau under Grant No.2012A074;the project IIPL-2011-001 from Shanghai Key Laboratory of Intelligent Information Processing;the project KFKT2012B01 from State Key Laboratory for Novel Software Technology,Nanjing University
证明了逼近4正则图的最小顶点覆盖问题在某个常数因子内是计算难解的.相似地,对于5正则图、6正则图等的最小顶点覆盖问题,这个结论也成立.已知逼近3正则图的最小顶点覆盖问题在某个常数因子内是计算难解的,文章扩展了这个结果到4正则图...
关键词：NP-难解性 计算复杂性 正则图 顶点覆盖 近似性 
逼近MAX 3SAT-2问题的难解性(英文)
《广州大学学报（自然科学版）》2012年第2期6-9,共4页陈文彬 
证明了逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.首先引进了一种保留近似算法难解性的K-归约的概念;然后给出了一个从MAX 3SAT问题到MAX 3SAT-2问题K-归约.因为逼近MAX 3SAT问题在某个常数因子内是计算难解的,所以逼近MAX 3SAT-...
关键词：NP-难解性 计算复杂性 近似性 
中美大学计算机课程考试之比较
《时代教育》2011年第12期83-84,306,共2页陈文彬 谢冬青 
通过比较中美两国大学生的计算机科学专业课程的考试情况,分析中美两国计算机科学专业课程教学的特点,从计算机科学专业课程教学方法和实践方法等方面提出了一些值得思考的问题,为我国计算机科学专业课程改进提供一些启示。
关键词：理论教学 实践环节 比较 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部