Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

BooleanGraph

BooleanGraph[bfunc,g₁,…,g_n]

给出图 g₁、…、g_n 中的布尔函数 bfunc 所定义的布尔图.

更多信息和选项

布尔图具有由顶点列表的并集提供的顶点列表.
如果 bfunc[EdgeQ[g₁,uv],…,EdgeQ[g_n,uv]] 是 True，边 uv 位于所得的图中.
如果 bfunc[EdgeQ[g_i,uv],…,EdgeQ[g_n,uv]] 是 True，边 uv 位于所得的图中.
GraphUnion[g₁,g₂] 等价于 BooleanGraph[Or,g₁,g₂].
GraphIntersection[g₁,g₂] 等价于 BooleanGraph[And,g₁,g₂].
GraphDifference[g₁,g₂] 等价于 BooleanGraph[#1∧¬#2&,g₁,g₂].
BooleanGraph 适用于无向图、有向图、多重图和混合图.

范例

打开所有单元关闭所有单元

基本范例 (1)

两个图的布尔组合：

范围 (5)

BooleanGraph 可用于无向图：

有向图：

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

多重图：

混合图：

应用 (4)

定义对称图的差图 Xor：

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

通过相关函数实现：

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

定义图 Nand：

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

通过相关函数实现它：

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

定义图 Nor：

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

通过相关函数实现它：

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

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

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

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

属性和关系 (3)

GraphUnion 对应于 Or：

GraphIntersection 对应于 And：

BooleanGraph 不一定产生简单图：

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

顶部