MATHEMATICA 内置符号

BooleanGraph

给出图

、...、

中的布尔函数 bfunc 所定义的布尔图.

更多信息

布尔图具有由顶点列表的并集提供的顶点列表.

如果 bfunc[EdgeQ[g₁, uv], ..., EdgeQ[g_n, uv]] 是 True，边位于所得的图中.

如果 bfunc[EdgeQ[g_i, uv], ..., EdgeQ[g_n, uv]] 是 True，边位于所得的图中.

GraphUnion 等价于 BooleanGraph[Or, g₁, g₂].

GraphIntersection 等价于 BooleanGraph[And, g₁, g₂].

GraphDifference 等价于 BooleanGraph.

范例

关闭所有单元

例 (1)

两个图的布尔组合：

In[1]:=

Out[1]=

In[2]:=

Out[2]=

范围 (3)

BooleanGraph 可用于无向图：

有向图：

正如布尔函数一样，BooleanGraph 可用于任意数量的图：

应用 (4)

定义对称图的差图 Xor：

把布尔表达式 Xor 转化为析取范式：

通过相关函数实现：

通过直接使用 Xor，与结果进行比较：

定义图 Nand：

把布尔表达式 Nand 转化为析取范式：

通过相关函数实现它：

通过直接使用 Nand，与结果进行比较：

定义图 Nor：

把布尔表达式 Nor 转化为析取范式：

通过相关函数实现它：

通过直接使用 Nor，与结果进行比较：

对所有二元布尔函数，计算布尔图：

使用 BooleanFunction 列举出所有二元布尔函数：

利用这些函数计算布尔图：

属性和关系 (3)

GraphUnion 对应于 Or：

GraphIntersection 对应于 And：

BooleanGraph 不一定产生简单图：

如果只需要一个简单图，则使用 SimpleGraph：

参见

BooleanFunction GraphUnion GraphIntersection GraphDifference GraphDisjointUnion GraphComplement

更多关于

图的构建

图的操作与修改

图与网络

8.0的新功能：字母列表

版本 8 的新功能