图论在计算机中的应用

图论在计算机科学中的应用很广泛。例如在开关理论与逻辑设计、数据结构、形式语言、操作系统、编译程序，信息组织与检索都有很重要的应用。本文补充《离散数学基础》（洪帆编）教材之不足，给出以下内容，供读者加深对有关知识的理解。一、印刷电路的分层问题为了设计印刷电路板，先将电路画成图O如图1，G中边对应导线。顶点对应接点，设有导线连接的两个接点之间可能要装配元件。由于同一层印刷电路板上导线不允许相交（除接点之外），因此，如果G是平面图，则相应o就可以设计出一块草层印刷电路板；如果O不景平面图，则对应G必须设计…     

寻找最小生成树的度优先算法

利用Ｋｒｕｓｋａｌ和Ｐｒｉｍ算法的优点，从图的每个顶点的度数入手，采取删除某些无用边的思想方法，给出了一个寻找最小生成树的算法。算法的最坏复杂度为Ｏ（ｍ－ｎ）ｌｏｇｍ），平均复杂度为Ｏ（（ｍ－ｎ）ｌｏｇｎ），就复杂度的常数因子而言，均优于Ｋｒｕｓｋａｌ算法与ｋｉｍ算法，其中ｍ为图的边数，ｎ为图的顶点数。     

多孔性甲基丙烯酸树脂的合成及葡萄糖淀粉酶的固定化

用悬浮聚合法合成了多孔性甲基丙烯酸树脂。用此载体比较了保护戊二醛法，重氮化法和叠氮法固定化葡萄糖淀粉酶的效果，并研究了二乙醇胺保护戊二醛活化载体，树脂多孔结构多数及不同悬臂长度等方面对固定化葡萄糖淀粉酶活力的影响。结果表明，用保护戊二醛法活化的树脂固定化酶效果较好。当戊二醛与二乙醇胺为４∶１（摩尔比），树脂孔径为５５２．１，比表面为２８．３ｍ￣２／ｇ孔容为０．６３５ｃｍ￣３／ｇ时，固定化酶的相对活力为５５．６％，而酶活回收率为２４．７％。     

含有奇异元件的有源线性网络计算机辅助分析

本文讨论了含有奇异元件的有源线性网络计算机辅助分析的问题,并提出了能解决问题的有效算法。根据本算法,用Pascal语言编写的UECAD程序,是个通用程序,可用以对任何线性电路,同时作可解性问题,复杂度问题,状态方程问题和输出方程问题的分析。这个程序曾在IBM-PC机上运行,效果很好。     

分布式数据库中链查询及树查询全缩减的并行计算

求解对数据库进行全缩减的半联接序列及并行执行这些半联接序列，给出了链式查询全缩减并行计算的一个有效算法，并推广到树查询中。     

关于双星系统的能量

本文利用广义相对论理论中的后牛顿近似结果，计算出双星系统的伴星的总能量．     

事件树与故障树相结合的系统可靠性分析法

事件树分析和故障树分析都是系统可靠性分析方法，各有长短，相辅相成，互相结合可以取长补短和提高可靠性分析质量，本文提出了ＥＴＡ与ＦＴＡ结合的依据，方法，步骤与应用范围，并分析了ＳＮ１０－１０型断路器操作过程的可靠性，作为这种结合的示例。     

关于最小欧拉定向的算法

给出了无向边集是支撑树的混合图为欧拉图的充要条件，在此基础上，结合Guan和Pulleyblank算法，给出了另外一种求解最小欧拉定向的算法。     

简单图类的生成树数（Ⅰ）

连通图的生成树是该图的极小连通生成子图．本文通过Ｃａｙｌｅｙ公式及求解递推关系方程，分别求出了三类简单外平面图Ａ＿ｍ，Ｂ＿ｍ和Ｚ＿ｍ的生成树的棵数，给出了它们的递推关系式及通项表达式．     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。