径宽

图论中，图"G"的径分解（path decomposition）是"G"的“加粗”路径图表示，"G"的径宽（pathwidth）是衡量形成"G"的路径被加粗的程度。更正式地说，径分解是"G"的顶点子集序列，使每条边的端点出现在某一子集中，并使每个顶点都出现在子集连续子序列中，径宽等于这样的分解中最大集的大小减一。
径宽也叫做区间厚度（interval thickness，等于"G"的区间父图中的最大团大小减一）、顶点分隔数（vertex separation number）或结点搜索数（node searching number）。
径宽与径分解同树宽、树分解关系密切，在图子式理论中起关键作用：在图子式下封闭、不含所有森林的图族可描述为径宽有界，子式闭图族的一般结构理论中出现的“涡”（vortex）的径宽也有界。径宽与径宽有界图在超大规模集成电路设计、图绘制、计算语言学等领域也有应用。
计算任意图的径宽、甚至精确近似径宽都是NP困难的。不过，这问题是固定参数可解的：测试图的径宽是否为"k"，耗时与图的大小呈线性关系，而与"k"呈上指数关系。另外，对树之类的特殊图，径宽可在多项式时间内算得，而不依赖于"k"。
对图的径分解使用动态规划，可以将图算法中很多问题在径宽有界图上高效解决。径分解也可测量树宽有界图上动态规划算法的空间复杂度。
定义.
在图子式系列论文的第一篇中，将图"G"的径分解定义为"G"的顶点子集formula_1序列，满足两条属性：
第二条性质等价于要求包含任意特定顶点的子集构成整个序列的连续子列。用系列论文后期的话来说，径分解是树分解formula_4，其中分解的底树"T"是路径图。
径分解的宽度与树分解类似，是formula_5，"G"的径宽是"G"的径分解的最小宽度。在径宽的大多数应用中，formula_1的大小减不减一没什么差别，主要是为了使路径图的径宽等于1。
其他特征.
如所描述的，径宽可用许多等价方法表征。
粘合序列.
径分解可表述为图formula_7的序列，找到来自序列中连续图的顶点对，并将图粘合在一起，所有粘合的结果就是"G"。在径分解的第一个定义中，图formula_7可看作是集合formula_1的诱导子图，连续（successive）诱导子图中的两顶点被"G"中相同顶点诱导时，就会被粘在一起；反之，可以把集合formula_1恢复为图formula_7的顶点集。则径分解的宽度比某一图formula_7的最大顶点数少1。
区间厚度.
任意图"G"的径宽等于含"G"（以"G"为子图）的区间图的最小团数减一。即，对"G"的每种径分解，都能找到"G"的区间子图；对"G"的每个区间父图，都能找到"G"的径分解，使分解的宽度比区间图团数小1。
假设给出了"G"的径分解。则可将分解的结点表为直线上的点（按路径顺序），并将每个顶点"v"表示为以这些点为端点的闭区间。这样，包含"v"的径分解结点就对应"v"在区间中的代表点。"G"顶点形成的区间交图是包含"G"的区间图，其最大团由包含代表点的区间集给出，大小比"G"的径宽大1。
设"G"是某区间图的子图，团数formula_13，则"G"有宽"p"的径分解，其结点由区间图的最大团给出。例如，图中的区间图及其区间表示的径分解有5个结点，分别对应5个最大团ABC、ACD、CDE、CDF、FG；最大团大小为3，这径分解的宽度为2。
径宽与区间厚度之间的等价关系同树宽与弦图（给定图是弦图的子图）的最小团数（减一）的等价关系非常相似。区间图是弦图的特例，弦图可表为共同树的子树的交图，这类似于区间图是路径子径的交图。
顶点分隔数.
设图"G"的顶点是线性有序的。则，"G"的顶点分隔数是满足下列条件的最小数"s"：对顶点"v"，最多"s"个顶点在排序中先于"v"，但有"v"或更靠后的顶点相邻。
"G"的顶点分隔数是"G"的任意线性排序的最小顶点分隔数。顶点分隔数由定义，等于"G"的径宽。
这源于前述的与区间图团数的等价关系：若"G"是区间图"I"的子图，并以所有区间端点都分离的方式表示（如图所示），则"I"的区间左端点排序的顶点分隔数比"I"的团数小1。反过来，从"G"的线性排序可推导出一种区间表示：顶点"v"的区间左端点是其在排序中的位置，右端点是"v"在排序中最后一个邻居的位置。
结点搜索数.
图上的结点搜索策略是追逃对策的一种形式，当中一组搜索者合作追踪藏在图中的逃犯。搜索者被置于图的顶点上，逃犯可能在任意边上，位置与移动对搜索者不可见。每个回合中，搜索者的部分或全部可从顶点移动到另一顶点（任意移动，不必沿边），逃犯可以沿不经过搜索者顶点的任意路径移动。逃犯所在边的两端点都被搜索者占据时，就被抓获。图的结点搜索数是必然能抓到逃犯的最少搜索者数。如所示，图的结点搜索数等于其区间厚度。搜索者的最优策略是不断移动搜索者，使他们在连续回合中形成具有最小顶点分隔数的线性排序的分隔集。
界.
径宽为"k"的"n"顶点图至多有formula_14条边，是最大"k"径宽图（即径宽为"k"、无论怎样添加边都必改变径宽的图）的边数。径宽为"k"的最大图要么是"k"径图要么是"k"毛虫图，它们是两种特殊的"k"树。"k"树是恰有formula_15个最大团（含formula_16个顶点）的弦图；在本身不是formula_17团的"k"树中，每个最大团要么将图分隔成多个部分，要么包含单个叶顶点（只属于一个最大团的顶点）。"k"径图是至少有两叶的"k"树，"k"毛虫图是可分割维"k"径与一组"k"叶的"k"树，其中每片叶还与"k"径中的独立"k"团相邻。径宽为1的最大图是毛虫树。
由于径分解是树分解的特例，径宽不小于树宽，且不大于割宽，即在图顶点的最优线性排列中，前后顶点组之间割边的最小数。这是因为，顶点分隔数即前后顶点组的邻接数不大于割边数。出于类似原因，割宽不大于径宽乘顶点的最大度。
任意"n"顶点森林都有径宽formula_18。例如，对一个森林，总能找到恒定多的顶点，使得去掉它们后形成至多有formula_19个顶点的两片子森林。如此递归地分隔子森林，将分隔顶点置于两者之间，形成的线性排列具有对数顶点搜索数。此技术用于树分解时，可知，若"n"顶点图"G"的树宽为"t"，则"G"的径宽是formula_20。由于外平面图、系列并行图、哈林图的树宽都有界，它们的径宽最多为对数的。
此外，径宽还通过线图，同团宽与割宽有关系。"G"的边在其线图formula_21中都有对应的顶点，当"G"中相应的两边有共同端点时，formula_21中的两顶点就是相邻的。当且仅当图族的线图的线性团宽（用邻接1个新顶点的操作取代了团宽的不交并操作）有界，图族的径宽有界。若某3及以上个顶点的连通图的最大度为3，则其割宽等于线图的顶点分隔数。
平面图的径宽最多与顶点数的平方根成正比。找到具有这种宽度的径分解，一种方法是（与上述森林的对数宽径分解类似）用平面分隔定理找到formula_23个顶点的集合，其将图分隔为至多有formula_19个顶点的两个子图，如此递归地分隔子图，最后将两子图的递归径分解连接起来。同样的技术也适用于类似分离器定理成立的任何一类图。与平面图一样，任何固定的子式闭图族中的图都有大小为formula_23的分隔子，因此此类图族中图的径宽也是formula_23。对某类平面图，图的径宽与其对偶图的径宽必须在一常数因子范围内，对于双连通外平面图与多面体图，这种形式的边界是已知的。2连通平面图的对偶图的径宽小于线图的径宽。至于在其他情形下，平面图径宽与对偶图径宽是否总相差某常数因子，仍是未知的。
在某些类的图中，径宽与树宽总相等。已证明的有余图、置换图、可比图之补、区间序的可比图。
在立方图中，或更广义地在任何最大顶点度为3的图中，径宽不大于formula_27，其中"n"是顶点数。存在径宽为formula_28的立方图，但如何缩小这下界与上界formula_29之间的差距，目前还不得而知。
计算径分解.
确定给定图的径宽是否大于"k"的问题是NP完全的（"k"也是输入）。计算任意"n"顶点图径宽的最坏情形的最优时间边界为formula_30，"c"是常数。不过，已经有几种算法可在径宽较小、输入图类别有限或近似的情形下更高效地计算径分解。
固定参数可解.
径宽是固定参数可解的：对任意常数"k"，都可测试径宽是否大于"k"，若不大于"k"，则在线性时间内找到宽"k"的径分解。一般来说，这类算法分两阶段运行。第一阶段，假设图的径宽为"k"，以找到并非最优的径分解或树分解，宽度可作为"k"的函数而变为约束。第二阶段，对这分解运用动态规划算法，以找到最优分解。然而，已知的这类算法的时间界限是formula_31的指数级，除了最小的"k"外，都是不切实际的。对于formula_32的情形，给出了基于2径宽图的结构分解的精确限行时间算法。
特殊图类.
调查了计算各种特殊图类的径宽的复杂性。若图"G"是有界度图、平面图、有界度平面图、弦图、弦多米诺、可比图之补、二分距离遗传图，确定图"G"的径宽是否最大是"k"的问题仍是NP完全的。对于包含二分距离遗传图的图族（二分图、弦二分图、距离遗传图、循环图之类），也是NP完全的。
不过，对于树与森林，径宽可在线性时间内算得。对树宽有界图族（系列并行图、外平面图、哈林图）、裂图、弦图之补、置换图、余图、圆弧图、区间序的可比图、区间图，也可在多项式时间内计算出来。这种情形下，径宽比覆盖图的区间表示中所有点的最大区间数小1。
近似算法.
将图的径宽近似到加常数范围内，是NP难的。
已知近似率最佳的多项式时间近似算法是formula_33。
关于计算径宽的早期近似算法，见与；关于受限图类的近似计算，见。
图子式.
图"G"的子式是由"G"通过收缩边、移除边、移除顶点得到的另一张图。图子式有深奥的理论，其中几个重要结果涉及径宽。
排除森林.
若图族"F"对取子式封闭（即"F"成员的子式还在"F"中），则由罗伯森–西摩定理，"F"的特征是在禁子式有限集"X"中没有任何子式。例如，瓦格纳定理指出，平面图是既没有完整图formula_34也没有完全二分图formula_35作为子式的图。很多时候，"F"的性质与"X"的性质密切相关，此类的第一个结果由提出，将有界径宽与禁子式族中森林的存在联系起来。具体来说，若存在常数"p"使"F"中图的径宽不大于"p"，则称图族"F"具有有界径宽。那么，当且仅当"F"的禁子式集"X"至少包括一个森林时，子式闭族"F"具有有界的径宽。
从一个方向来看，这结果很容易证明：若"X"不含森林，则“无"X"子式图”的径宽便无界。因为这时，无"X"子式图将包含所有森林，特别是包括完美二叉树。而一棵formula_36层的完美二叉树的径宽为"k"，所以这时无"X"子式图的径宽无解。从另一方向看，若"X"包含"n"顶点森林，则无"X"子式图的径宽不大于formula_37。
径宽有界的障碍.
径宽不大于"p"的性质本身对取子式封闭：若"G"的径分解宽度不大于"p"，则从"G"中删去任何边，同一径分解仍有效，且可以从"G"及其径分解中删去任意顶点而不增加宽度。同样，通过合并表示收缩后边的两端点的子径，也可在收缩边时不增加分解宽度。因此，径宽至多为"p"的图可用排除子式的集合formula_38描述。
虽然formula_38必然包括森林，但并不是说formula_38中的所有图都是森林：例如，formula_41包含2张图，一个7顶点树与三角formula_42。而formula_38中的树集可以精确描述：它们是formula_44中三棵树通过边，连接新的根顶点与3棵小树中任意顶点而形成的树。例如，formula_41中的7顶点树就是这样由formula_46中的2顶点树（一条边）组成的。基于这种构造，可以证明formula_38中的禁子式数至少为formula_48。已计算出2径宽图的完备禁子式集formula_49，其中包含110个图。
结构理论.
子式闭图族的图结构定理指出，对任意图族"F"，其中的图可分解为能嵌入到亏格有界曲面上的图的团和，且团和的每个分量都有有界多的顶点（apex）与涡（vortex）。这里的顶点可能与其组分中任何顶点相邻，涡是径宽有界图，粘合到某组分的亏格有界嵌入的面上。涡所嵌入面周围的顶点的循环排序必须与涡的径分解相容，即，打破循环、形成线性排序必然产生顶点分隔数有界的排序。这一理论中，径宽与任意子式闭图族密切相关，具有重要的算法应用。
应用.
超大规模集成电路.
超大规模集成电路设计中，顶点分隔问题最初是将电路分为子系统的方法，子系统边界有少量元件。
使用区间厚度模拟VLSI一维布局所需的轨道数，此布局由网络系统相互连接的模块组成。在他们的模型中，顶点代表网，若两网都连接到同一模块，就将两顶点由边相连；也就是说，若将模块与网视作超图的结点与超边，则由它们形成的图就是超图的线图。这超图的区间表示与着色描述了沿水平轨道（一种颜色对应一条轨道）系统的网的排列，使模块可沿轨道以线性顺序排列，并连接到相应的网。区间图都是完美图，表明这类最佳排列中，所需颜色数等于网图的区间完备化的团数。
门矩阵布局是一种用于布尔逻辑电路的CMOS VLSI布局。当中，信号沿“线”（垂直线段）传播，而电路的每个门则由沿水平线段的一系列器件特征构成。因此，代表门的水平线段须与代表门输入输出的线路的垂直线段交叉。与的布局类似，通过计算以线路为顶点，以共享同一门的线对为边的图的径宽，可以找到使排列线路的垂直轨道数最小的布局。这种算法方法也可为可编程逻辑阵列的折叠问题建模。
图绘制.
径宽在图绘制中有多个应用：
编译器设计.
高级语言的编译过程中，径宽见于重排直线代码序列（即无控制流分支或循环的代码）问题，使代码算得的所有值都可放在寄存器中，而不必溢出到主内存中。这种应用中，我们将待编译代码表为有向无环图，其中结点是代码的输入输出值。这个DAG中，结点"x"到结点"y"的边表示"x"值是操作了"y"的输入之一。此DAG的顶点的拓扑排序表示代码的有效重排，在给定排序中评估代码所需的寄存器数由排序的顶点分隔数给出。
对表示寄存器数的任意定值"w"，可在限行时间内确定一段直线代码能否重排，以便用不多于"w"个寄存器求值。若拓扑排序的顶点分隔数最多为"w"，则所有排序中的最小顶点分隔也不会更大，于是忽略DAG方向形成的无向图的径宽不大于"w"。可用已知的固定参数可解算法计算径宽，若是，则可在假设"w"为常数的线性时间内找到无向图的径分解。找到径分解，就可用动态规划，在线性时间内找到宽"w"的拓扑排序。
语言学.
描述了径宽在自然语言处理中的应用。句子被建模为图，顶点表示词，边表示词之间的关系。例如，若形容词修饰了名词，则图中这两个词之间就会有一条边。Kornai和Tuza认为，由于人类的短时记忆能力有限，这种图的径宽一定有界（更具体地说，他们认为是6），否则人类将无法正确解析语言。
指数算法.
图算法中的很多问题都可通过对径分解进行动态规划，在径宽较小的图上高效解决。例如，若给定"n"顶点图"G"的顶点的线性排序，就有可能在formula_51的时间内找到"G"的最大独立集。在径宽有界图上，这种方法会产生以径宽为参数的固定参数可解算法。这种结果在文献中不常见，因为已经包含在以树宽为参数的类似算法；然而，即使在基于树宽的动态规划算法中，径宽也会出现衡量算法空间复杂度的过程中。
同样的动态规划方法也可用于径宽无界图，产生以指数时间解决无参图问题的算法。例如，将这种方法与立方图径宽为formula_27的事实相结合，可以发现在立方图中，最大支配集的构造耗时formula_53，比以往方法更快。类似方法还可改进立方图中最大割与最小支配集问题的指数时间算法，及其他一些NP难优化问题的指数时间算法。