数据 图表 一 = 清空 | 顶点 一 | 覆盖 ( 图表 一 ) ( 图表 一 ) | 连接 ( 图表 一 ) ( 图表 一 )
清空 构造空图 (∅, ∅) . 顶点x 构造包含单个顶点的图,即。 ({x},∅) . 覆盖x y 覆盖图 (Vx,Ex) 和 (Vy,Ey) 建造 (VxáVy,ExáEy) . 连接x y 连接图形 (Vx,Ex) 和 (Vy,Ey) 建造 (VxкVy,ExкEyкVx×Vy) .
班 图表 克 哪里
类型 顶点 克
空的 :: 克
顶点 :: 顶点 克 -> 克
覆盖 :: 克 -> 克 -> 克
连接 :: 克 -> 克 -> 克
( + , 空的 )是幂等交换幺半群。 ( * , 空的 )是一个幺半群。 * 分布在 + ,即: x*(y+z)==x*y+x*z 和 (x+y)*z==x*z+y*z . * 可以分解为: x*y*z==x*y+x*z+y*z .
数据 图表 e(电子) 一 = 清空 | 顶点 一 | 连接 e(电子) ( 图表 e(电子) 一 ) ( 图表 e(电子) 一 )