【资料图】

1、 欧拉图是指通过图（无向图或有向图）中所有边且每边仅通过一次通路，相应的回路称为欧拉回路。

2、具有欧拉回路的图称为欧拉图（Euler Graph），具有欧拉通路而无欧拉回路的图称为半欧拉图。

3、对欧拉图的一个现代扩展是蜘蛛图，它向欧拉图增加了可以连接的存在点。

4、这给予欧拉图析取特征。

5、欧拉图已经有了合取特征(就是说区定义了有着与起来的那些性质的对象在区中的存在)。

6、所以蜘蛛图允许使用欧拉图建模逻辑或的条件。