SISAL是通用单赋值函数式编程语言，它具有严格语义、隐式并行和高效阵列处理。SISAL输出中间形式1的数据流程图。它派生自VAL，并增加了递归和有限串流。它有着类Pascal编程语言语法，并被设计为用于在各种多处理器上的数值程序的高级语言。
网络理论是一种对图的研究，也是对称关系或不对称关系在离散对象中的一种表现。 在计算机科学和网络科学中 ，网络理论是图论的一部分：网络可以定义为节点和/或边具有属性的图。
控制流图简称CFG，是计算机科学中的表示法，利用数学中图的表示方式，标示计算机程序执行过程中所经过的所有路径。控制流图是由法兰·艾伦所建立，他提出Reese T. Prosser曾利用邻接矩阵用在流分析上。
独立集是图论中的概念。一个独立集是一个图中一些两两不相邻的顶点所形成的集合。换句话说，独立集
S
{\displaystyle S}
由图中若干顶点组成，且
S
{\displaystyle S}
中任两个顶点之间没有边。等价地，图中的每条边至多有一个端点属于
S
{\displaystyle S}
。一个独立集的基数是它包含顶点的数目。
多面体图是几何图论的一个概念，指凸多面体的顶点、边构成的图。在图论中，多面体图均为3-连通平面图。
在图论中，是一类特殊的图，又称为、偶图、双分图。二分图的顶点可以分成两个互斥的独立集 U 和 V 的图，使得所有边都是连结一个 U 中的点和一个 V 中的点。顶点集 U、V 被称为是图的两个部分。等价的，二分图可以被定义成图中所有的环都有偶数个顶点。
在网络理论的研究中，复杂网络是由数量巨大的节点和节点之间错综复杂的关系共同构成的网络结构。用数学的语言来说，就是一个有着足够复杂的网络拓扑结构特征的图。复杂网络具有简单网络，如晶格、随机图等结构所不具备的特性，而这些特性往往出现在真实世界的网络结构中。复杂网络的研究是现今科学研究中的一个热点，与现实中各类高复杂性系统，如的互联网、神经网络和社会网络的研究有密切关系。
在图论中，一个图是一个匹配是指这个图之中，任意两条边都没有公共的顶点。这时每个顶点都至多连出一条边，而每一条边都将一对顶点相匹配。
离散数学是数学的几个分支的总称，研究基于离散空间而不是连续函数的数学结构。与连续变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是连续变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和数学分析等“连续数学”的内容。
Mini wiki
