图的运算

来源 :全国第十五届离散数学学术研讨会 | 被引量 : 0次 | 上传用户:jack88698
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了图的基本运算,包括两个图的并、交、差、对称差运算,一个图的补运算。文章定义了5个新的图的运算,即图的逆运算、图的自反闭包运算、对称闭包运算、传递闲包运算和两个图的复合运算,并给出了图的所有运算的矩阵表示以及求传递闭包的两种算法。本文还给出了二元关系与图的关系及其计数之间的关系。
其他文献
阐述了综合布线系统中星型网络拓扑结构的特点和传输介质双绞线电气性能,建立了分析双绞线电气性能参数的关系矩阵,阐述了在综合布线工程建设之初,准确预估出所设计的网络传榆介
会议
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理,证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无
提出了同构的有关定理及其证明;提出了n个顶点的无向简单图中不同构图的公式及其证明;定义了一种新的图的运算,即图的逆运算并提出了与其有关的定理和证明。
算法研究学者中最早研究蚁群基于信息素行为特征的是DENEUBOURG[1,2]。但是,1991年他却创建了无信息素的蚁群聚类算法模型[3]。通过对蚁群聚类算法无信息素模型历史发展的观察