纠缠度为3的无向图

纠缠度是起源于不动点逻辑的有向图复杂度度量。其组合目的是衡量有向图中环的嵌套深度。我们致力于刻画纠缠度至多为k的图的结构。目前仅有部分结果：k=1的有向图，以及k=2的无向图。本文研究了k=3的无向图的结构。我们的主要工具是所谓的图特分解，它将2-连通图以树状方式分解为环和3-连通分量。我们将给出图特树成为纠缠度为3的2-连通图的树分解的必要条件。