半序集解析
本文概述 POSET的要素 可比元素 不可比元素 线性有序集 考虑满足以下属性的集合S上的关系R: R是自反的, 即每x∈S有xRx。 R是反对称的, 即如果xRy和yRx, 则x = y。 R是可传递的, 即xRy和yRz, 然后是xRz...
本文概述 POSET的要素 可比元素 不可比元素 线性有序集 考虑满足以下属性的集合S上的关系R: R是自反的, 即每x∈S有xRx。 R是反对称的, 即如果xRy和yRx, 则x = y。 R是可传递的, 即xRy和yRz, 然后是xRz...
本文概述 群同态 同构 自同构 环 环类型 子环 令G为一组。如果对于所有h∈H和x∈G, x hx-1∈H, G的子群H被称为G的正常子群 如果x H x-1 = {x h x-1 | h∈H}, 则当且仅当xHx-1⊆H, ∀x∈G 陈...
如果T是树并且T包含G的所有顶点, 则连通图G的子图T称为G的生成树。 最小生成树 假设G是一个连通权重图, 即为G的每个边分配了一个非负数, 称为边的权重, 然后为G的任何生成树T分配了总权重, 该总权重是通过将边的权重添加到T中获得的。...
本文概述 布尔表达式的示意图或图形表示 布尔代数在交换理论中的应用 串联和并联 布尔表达式的示意图或图形表示 布尔表达式可以通过使用逻辑电路来图形表示。这些逻辑电路可以使用称为门的固态器件来构造, 该固态器件能够切换电压电平。如果x和y是变...
本文概述 二元性 有界格子 有界格的性质 子格 同构格 分配格 补和补格 模块化格 格的直接积 令L是在称为met和join的两个二进制操作下闭合的非空集, 用∧和denoted表示。如果以下公理成立, 则将L称为晶格, 其中a, b, c...
卡诺图是一个平面区域, 分为2n个相等的像元, 每个像元代表n个变量的函数的点。每个变量x用于以不同的方式将面积分成两个相等的一半, 即一个代表x, 另一个代表x’。与该函数的值为1的自变量对应的单元格包含1。 例1:当变量数量...
本文概述 定向树 有序树 树木的特性 植树 顶点的路径长度 没有循环的图称为非循环图。树是无环图或没有循环的图。 一棵树或一棵普通树被定义为称为顶点或节点的元素的非空有限集合, 其具有以下属性:每个节点可以具有最小度1和最大度n。可以将其划...
本文概述 最小上限(最高) 最大下界(INFIMUM) 这是一个有用的工具, 它完全描述了相关的偏序。因此, 它也称为订购图。将集合A上的有向图转换为等效的Hasse图非常容易。因此, 在绘制Hasse图时, 必须记住以下几点。 Hasse...
本文概述 群的属性 有限无限群 群的顺序 令G为具有二元运算*的非空集, 该运算将G的每个元素对(a, b)分配给由a * b表示的G元素。如果满足以下三个属性, 我们说G是二元运算下的一个群: 1)关联性:二进制运算*是关联的, 即a *...
该算法维护了一组顶点, 这些顶点的顶点到源的最短路径是已知的。该图由其成本邻接矩阵表示, 其中成本是边缘的权重。在图的成本邻接矩阵中, 所有对角线值均为零。如果没有从源顶点Vs到任何其他顶点Vi的路径, 则用+∞表示。在此算法中, 我们假设...