极大独立集的逻辑算法 The Logical Algorithm of Maximal Independent Set-作者：苏岐芳,-《广西师范学院学报(自然科学版)JOURNAL OF GUANGXI TEACHERS COLLEGE(NATURAL SCIENCE EDITION)》-2003

iLib2 新一代的学术数据库

首页 | 账户 | 充值 | 收藏

找不到？搜一下！

首页 > 万方期刊分类 > 基础科学 > 大学学报(自然科学) > 期刊 : 广西师范学院学报（自然科学版）极大独立集的逻辑算法

添加收藏

极大独立集的逻辑算法

The Logical Algorithm of Maximal Independent Set

查阅全文需要付费。

<<广西师范学院学报(自然科学版)>>2003年第20卷第01期
作者: 苏岐芳,

期刊 ISSN : 1002-8743(2003)01-0020-03

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法,并给出了一般算法.

关键词: 独立集, 极大独立集, 析取范式, 主析取范式, 命题变元, 命题逻辑表达式, | 全部关键词

中图分类:O142

> 数理科学和化学 > 数学 > 数理逻辑、数学基础 > 应用数理逻辑

万方期刊分类:NA

> 基础科学 > 大学学报(自然科学)

相似文献：

- 极大独立集的逻辑算法 The Logical Algorithm of Maximal Independent Set 作者:苏岐芳, 期刊广西师范学院学报(自然科学版)JOURNAL OF GUANGXI TEACHERS COLLEGE(NATURAL SCIENCE EDITION) 2003年第01期

- 图的支配集的有效算法 Efficient Algorithms of the Dominant Set of Graphs 作者:苏岐芳, 期刊台州学院学报JOURNAL OF TAIZHOU UNIVERSITY 2003年第06期

- 图的最小覆盖的逻辑算法 The Logical Algorithm of Minimum Cover of Graph 作者:苏岐芳,李希文, 期刊广西师范学院学报(自然科学版)JOURNAL OF GUANGXI TEACHERS EDUCATION UNIVERSITY(NATURAL SCIENCE EDITION) 2004年第01期

- 命题逻辑中推理理论的数字形式 Digital Form of Logical Consequence Theory in Propositional Logic 作者:李宝健, 期刊北方工业大学学报JOURNAL OF NORTH CHINA UNIVERSITY OF TECHNOLOGY 2002年第03期

- 关于主范式中极小项和极大项的下标算法 On the Suffix Calculating Approach to Miniterm and Maxiterm in Principal Normal Form 作者:王廷明, 期刊-核心期刊 青岛理工大学学报JOURNAL OF QINGDAO TECHNOLOGICAL UNIVERSITY 2006年第02期

- 主析取范式的快速求法作者:汤燕, 期刊-核心期刊 科教文汇THE SCIENCE EDUCATION ARTICLE COLLECTS 2008年第35期

- 双枝模糊逻辑 Both-Branch Fuzzy Logic 作者:刘刚,徐衍亮,赵建辉,徐世杰, 期刊-核心期刊 计算机工程与应用COMPUTER ENGINEERING AND APPLICATIONS 2003年第30期

- 双枝模糊逻辑(Ⅱ) Both-Branch Fuzzy Logic(Ⅱ) 作者:刘刚,赵建辉,刘强, 期刊-核心期刊 计算机工程与应用COMPUTER ENGINEERING AND APPLICATIONS 2005年第19期

- 命题公式主范式的二进制求法 The Binary Calculation of Main Normal Form of Proposition Formula 作者:施泱, 期刊-核心期刊 电力学报JOURNAL OF ELECTRIC POWER 2008年第03期

- 命题公式主范式的自动生成与形式输出 Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae 作者:张会凌, 期刊甘肃联合大学学报（自然科学版）JOURNAL OF GANSU LIANHE UNIVERSITY (NATURAL SCIENCES) 2006年第05期

- 关于主范式的下标集合及其应用 On A Set of Suffixes of Principal Normal Form and Its Application 作者:亓正坤,王廷明, 期刊-核心期刊 青岛理工大学学报JOURNAL OF QINGDAO TECHNOLOGICAL UNIVERSITY 2009年第04期

- 极小蕴涵和析取范式表示 MINIMAL IMPLICANT AND DNF REPRESENTATION 作者:陈新宁,陈振宇, 期刊南京大学学报(数学半年刊)JOURNAL OF NANJING UNIVERSITY MATHEMATICAL BIQUARTERLY 2006年第02期

- 基于标准化表示的命题逻辑公式的D-随机真度 D-Stochastic Truth Degree of Formulas Based on Standardized Representation in Propositional Logic 作者:王廷明, 期刊-核心期刊 中国海洋大学学报（自然科学版）PERIODICAL OF OCEAN UNIVERSITY OF CHINA 2009年第01期

- 极小子集问题的逻辑代数解法 Logic Algebra Method to Find Minimal Subsets 作者:李小霞, 期刊-核心期刊 计算机科学COMPUTER SCIENCE 2006年第03期

- 命题逻辑中的集合表示 Algorithm for Solving Principal Normal Form 作者:徐凤生, 期刊计算机与现代化COMPUTER AND MODERNIZATION 2005年第05期

- 极小项与极大项的运算性质 The Operational nature of Minterm and Maxiterm 作者:张型岱,臧波, 期刊牡丹江师范学院学报（自然科学版）LEARNED JOURNAL OF MUDANJIANG TEACHERS COLLEGE(NATURAL SCIENCES EDITION) 2001年第04期

- 命题逻辑中主范式的求法 Analysis of Main Disjunctive Normal Form in Logic Assignment 作者:韦宁,王恩亮,郁国瑞, 期刊河北理工学院学报JOURNAL OF HEBEI INSTITUTE OF TECHNOLOGY 2005年第04期

- 模态逻辑系统S5中的范式定理及其在知识系统中的应用 Normal form theorem in modal logic system S5 and its application to knowledge base theory 作者:王国俊, 期刊-核心期刊 陕西师范大学学报（自然科学版）JOURNAL OF SHAANXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION) 2008年第01期

- 面向变批量生产的并行工艺路线评价方法 Evaluation of concurrent process routes for scalable batch production 作者:胡小秋,徐诚, 期刊-核心期刊 机械设计与制造MACHINERY DESIGN & MANUFACTURE 2007年第02期

更多相似文献...

版权所有北京万方数据股份有限公司京ICP证010071号

关于我们 | 资源合作 | 知识产权声明 | 客户服务 | 万方数据