图论

图论。这个发展提供了有向图的形式化,支持(标记)多边和无限图。如果不需要多个边,多态边类型允许将边视为顶点对。形式化的性质是i.a.游动(及相关概念)、连通性和子图以及同构的基本性质。这种形式化被用来证明Euler轨迹、最短路径和Kuratowski子图的特征。