从合取范式到析取范式的转换研究 被引量：11

1

作者 智慧来 智东杰 刘宗田 《计算机工程与应用》 CSCD 2012年第2期15-17,29,共4页

为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题,抽象出了从合取范式到析取范式转换这一核心问题。提出了利用极小覆盖来实现从合取范式到析取范式的转换,给出了一个增量式的算法。为了扩大范式... 为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题,抽象出了从合取范式到析取范式转换这一核心问题。提出了利用极小覆盖来实现从合取范式到析取范式的转换,给出了一个增量式的算法。为了扩大范式转换的使用范围,定义了伪合取范式,并给出伪合取范式到析取范式的转换方法。 展开更多

关键词 合取范式 析取范式 极小覆盖 范式转换

下载PDF 职称材料

图的最小覆盖的逻辑算法 被引量：2

2

作者 苏岐芳 李希文 《广西师范学院学报（自然科学版）》 2004年第1期39-41,共3页

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法.

关键词 极小覆盖 最小覆盖 极小边覆盖 最小边覆盖 析取范式 主析取范式

下载PDF 职称材料

图的κ-覆盖与Grbner基求解 被引量：1

3

作者 熊雪玮 《数学的实践与认识》 CSCD 北大核心 2014年第4期157-162,共6页

证明图的k-覆盖存在性问题等价于一个多元多项式方程组在{0,1}范围的求解问题,并通过使用Grbner基给出一个图有k-覆盖的有效判别与求解方法,进而求得图的覆盖数和极小覆盖.

关键词 图 覆盖 k-覆盖 极小覆盖 GROBNER基

原文传递

相容关系和覆盖

4

作者 钟治初 《嘉应大学学报》 1998年第6期4-5,共2页

本文主要讨论集合的覆盖与集合上的相容关系之间的关系。

关键词 集合 相容关系 覆盖 极小覆盖 集簇 相容类 完全覆盖

下载PDF 职称材料

Lyubeznik分解为极小自由分解的单项式理想

5

作者 郭锦 武同锁 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第10期95-97,共3页

对于一个单项式理想I,其极小生成元集记为G(I).如果在G(I)上存在一个全序,使得相应的Lyubeznik分解为I的极小自由分解,则称I为一个Lyubeznik理想.给出了Lyubeznik理想的判别与性质,并进一步研究了几类重要的Lyubeznik理想.

关键词 Lyubeznik 理想 极小覆盖 极小自由分解

下载PDF 职称材料

格[0,1]上求解max-product型Fuzzy关系方程的一种算法

6

作者 李鸿鹏 王学平 《四川师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第6期726-729,共4页

针对max-product型Fuzzy方程的求解具有计算复杂、运算量较大的特点,提出了一种通过计算该方程的极小覆盖来准确求解方程极小解的简便方法.该算法在方程有解的前提下,使方程的求解问题转换为求覆盖的问题,方程的覆盖集可通过求解其最大... 针对max-product型Fuzzy方程的求解具有计算复杂、运算量较大的特点,提出了一种通过计算该方程的极小覆盖来准确求解方程极小解的简便方法.该算法在方程有解的前提下,使方程的求解问题转换为求覆盖的问题,方程的覆盖集可通过求解其最大解得到,化简覆盖集到一个极小覆盖集,即可求出方程的极小解.极小覆盖的求解相对简单,有效减小了算法的复杂性.最后,算法的证明过程和计算实例表明了算法的准确性和有效性. 展开更多

关键词 格[0 1] FUZZY关系方程 极小覆盖 极小解

下载PDF 职称材料

用图论方法建立“化学制品存放”的数学模型

7

作者 尹琳娟 毕轶慧 《科学技术与工程》 2008年第22期5977-5979,5982,共4页

图论是应用数学的一个分支,而图的染色问题一直是图论的重要问题之一。用图论中染色的知识建立"化学制品存放"问题的数学模型。

关键词 染色 顶点染色 色数 极小覆盖 最大独立集

下载PDF 职称材料

连通图的极小键覆盖

8

作者 郭秋敏 《北京化工大学学报（自然科学版）》 CAS CSCD 2003年第4期102-104,共3页

对连通图的键覆盖进行了研究。通过讨论图的键覆盖的存在性 ,估计了其键覆盖大小 ,证明了图的键覆盖大小等于它的边割覆盖大小。

关键词 图 极小覆盖 边割 键

下载PDF 职称材料

Notes应用程序中角色组合的最少策略

9

作者 武坤 孙志斌 胡南 《经济数学》 1999年第4期71-74,共4页

在Ｎｏｔｅｓ 应用程序设计过程中，角色的分配合一直是一个容易被忽略的问题．本文将此问题提炼为一个数学模型，并用图论中已有的顶点染色法解决，得出了较为合理的算法和结果．

关键词 NOTES应用程序 角色组合 顶点染色 程序设计 图论 极小覆盖

下载PDF 职称材料

极大独立集与极小覆盖集的逻辑及递归算法 被引量：2

10

作者 刘景发 《衡阳师范学院学报》 2003年第6期1-4,共4页

本文主要研究了图的极大独立集与极小覆盖集之间的关系,并给出了将图的所有极大独立集与极小覆盖集一次性给出的逻辑及递归算法。

关键词 简单图 极大独立集 极小覆盖集 独立数 覆盖数 色数 递归算法

下载PDF 职称材料

符号逻辑计算的设计及应用

11

作者 牟廉明 《内江师范学院学报》 2005年第2期8-10,共3页

由于符号逻辑计算在现有数学软件中尚无相应的函数;本文首先将符号逻辑表达式抽象为一张向量表,巧妙地将符号逻辑计算转化为二值逻辑运算与对表的操作,成功地实现了符号逻辑乘和逻辑加;最后探讨了符号逻辑计算在图论中的应用。

关键词 符号逻辑计算 有序表 极小覆盖集

下载PDF 职称材料

关于非自治动力系统中的h-极小覆盖

12

作者 赵佳琪 王延庚 《纯粹数学与应用数学》 CSCD 2013年第2期179-184,共6页

设(X,d1,f1,∞)与(Y,d2,g1,∞)为两个非自治动力系统,h是从(X,d1,f1,∞)到(Y,d2,g1,∞)的拓扑半共轭.通过对自治动力系统中的h-极小覆盖的研究,本文得到了以下结论:1)对于任意的y∈Y及x∈h 1(y),orb(x,f1,∞)被h映射为orb(y,g1,∞),ω(x... 设(X,d1,f1,∞)与(Y,d2,g1,∞)为两个非自治动力系统,h是从(X,d1,f1,∞)到(Y,d2,g1,∞)的拓扑半共轭.通过对自治动力系统中的h-极小覆盖的研究,本文得到了以下结论:1)对于任意的y∈Y及x∈h 1(y),orb(x,f1,∞)被h映射为orb(y,g1,∞),ω(x,f1,∞)被h映射为ω(y,g1,∞);2)在(X,d1,f1,∞)中引入关于拓扑半共轭的h-极小覆盖的定义,证明了h-极小覆盖的存在性;3)对于任意的x∈X和y∈Y,在(ω(x,f1,∞),f1,∞|ω(x,f1,∞))与(ω(y,g1,∞),g1,∞|ω(y,g1,∞))均构成原系统的子系统的前提下,R(f1,∞)被h映射为R(g1,∞).这些结论丰富了非自治动力系统的内容. 展开更多

关键词 自治动力系统 非自治动力系统 h-极小覆盖 拓扑共轭 拓扑半共轭

下载PDF 职称材料

真子群个数与极小真子群覆盖数相等的群 被引量：2

13

作者 苗雷星 曹洪平 《西南师范大学学报（自然科学版）》 CAS 2021年第8期7-9,共3页

设G为有限群,σ(G)表示G的极小真子群覆盖数,即把G表示成真子群的并所用子群的最小个数,k(G)表示G的真子群的个数.通过对有限群G的任意两个不同真子群之间的关系的讨论,确定了有限群的真子群个数与其极小子群覆盖数相等的充分条件.对有... 设G为有限群,σ(G)表示G的极小真子群覆盖数,即把G表示成真子群的并所用子群的最小个数,k(G)表示G的真子群的个数.通过对有限群G的任意两个不同真子群之间的关系的讨论,确定了有限群的真子群个数与其极小子群覆盖数相等的充分条件.对有限群的阶所含素因子的个数进行分类,利用有限质元群的性质,研究了有限群的真子群个数与其极小子群覆盖数相等时群的结构,得到了如下结论:σ(G)=k(G)当且仅当G=Cp×Cp,或者G为pq阶非交换群. 展开更多

关键词 真子群 极小子群覆盖 质元群

下载PDF 职称材料

一种极小化覆盖的空间索引结构——MCSI-树

14

作者 刘润涛 郝忠孝 《计算机工程》 CAS CSCD 北大核心 2009年第18期13-14,18,共3页

以缩小各层节点覆盖为目标,运用数据空间分割技术,结合二叉树和R-树思想,提出一种空间数据索引结构——MCSI-树。在该结构中,空间数据之间的拓扑关系得到记载,各层节点的覆盖明显减少,查询区域减小,使区域查询速度得到提高。给出MCSI-... 以缩小各层节点覆盖为目标,运用数据空间分割技术,结合二叉树和R-树思想,提出一种空间数据索引结构——MCSI-树。在该结构中,空间数据之间的拓扑关系得到记载,各层节点的覆盖明显减少,查询区域减小,使区域查询速度得到提高。给出MCSI-树的建立算法及算法的正确性、可终止性证明及时间复杂度,并给出节点插入算法。 展开更多

关键词 空间索引 MCSI-树 极小化覆盖

下载PDF 职称材料

图之极小顶点覆盖

15

作者 贾兴德 《曲阜师范大学学报（自然科学版）》 CAS 1995年第2期11-16,共6页

图的一个顶点覆盖被称为极小的假如其任何真子集不再是该图的一顶点覆盖，本文证明了某些图之所有极小顶点覆盖的个数的明确表达式，其中包括路径，梯形图，及线性ｎ部图。

关键词 图 极小顶点覆盖 路径 梯形图

下载PDF 职称材料