简介
班 MonadPlus系列 g=> 图表 克 哪里 连接 ::g a->g a->g a
空的 :: 备选方案 f=>f a 顶点 :: 图表 g=>a->g a 覆盖 :: 图表 g=>ga->ga->ga 班 图表 g=> 无方向性 克 班 图表 g=> 反射式 克 班 图表 g=> 可传递的 克 班 ( 反射式 克, 可传递的 g) => 预订单 克 边缘 :: 图表 g=>a->a->ga 顶点 :: 图表 g=>[a]->g a 边缘 :: 图表 g=>[(a,a)]->g a 覆盖层 :: 图表 g=>【g a】->g a 连接 :: 图表 g=>【g a】->g a 是SubgraphOf :: ( 图表 克, 等式 (ga)=>ga->ga-> 布尔 hasEdge公司 :: ( 等式 (g a), 图表 g中, 订单 a) =>a->a->g a-> 布尔 路径 :: 图表 g=>[a]->g a 电路 :: 图表 g=>[a]->g a 集团 :: 图表 g=>[a]->g a 二液化 :: 图表 g=>[a]->[a]->g a 明星 :: 图表 g=>a->[a]->g a 星星 :: 图表 g=>[(a,[a])]->g a 树 :: 图表 g=> 树 a->g a 森林 :: 图表 g=> 森林 a->g a 网格 :: 图表 g=>[a]->[b]->g(a,b) 圆环体 :: 图表 g=>[a]->[b]->g(a,b) 德布鲁因 :: 图表 g=> 国际 ->[a]->克[a] 移除顶点 :: ( 等式 a、, 图表 g) =>a->ga->ga 替换顶点 :: ( 等式 a、, 图表 g) =>a->a->ga->ga 合并顶点 :: 图表 g=>(a-> 布尔 )->a->ga->ga splitVertex(分割顶点) :: ( 等式 a、, 图表 g) =>a->[a]->ga->ga 诱导 :: 图表 g=>(a-> 布尔 )->ga->ga
核心类型类
覆盖 是可交换和关联的: x+y==y+x x+(y+z)==(x+y)+z x*空==x 空*x==x x*(y*z)==(x*y)*z x*(y+z)==x*y+x*z (x+y)*z==x*z+y*z 连接 可以分解为: x*y*z==x*y+x*z+y*z
无向图
自反图形
传递图
The class of
这个 关闭 公理:具有相等传递闭包的图是相等的。 y/=空==>x*y+x*z+y*z==x*y+y*z
预订单
基本图构造基元
图上的关系
图形属性
标准图族
德布鲁因0 xs==
边缘 [] [] n>0==>deBruijn n[]==
空的 德布鲁因1[0,1]==
边缘 [ ([0],[0]), ([0],[1]), ([1],[0]), ([1],[1]) ] deBruijn 2“0”==
边缘 "00" "00" deBruijn 2“01”==
边缘 [ ("00","00"), ("00","01"), ("01","10"), ("01","11") , ("10","00"), ("10","01"), ("11","10"), ("11","11") ] 转置(deBruijn n xs)==
功能性维修计划
颠倒 $deBruijn n xs(美元)
顶点计数 (deBruijn n xs)==(
长度 $
节点 xs)^n n>0==>
边缘计数 (deBruijn n xs)==(
长度 $
节点 xs)^(n+1)