割宽为2的图。对所示的从左到右的顶点排序，每条垂线最多跨2条边。
图论中，无向图的**割宽**（cutwidth）是能满足下列性质的最小整数*k*：图存在顶点排序，使得将顶点划分为排序的前后子集所得的割至少跨过*k*条边。具体点说，若将顶点编上号{\displaystyle v\_{1},v\_{2},\dots v\_{n}}，则{\displaystyle \forall \ell =1,2,\dots n-1}，使{\displaystyle i\leq \ell ,\ j>\ell }的边{\displaystyle v\_{i}v\_{j}}最多有*k*条。

图的割宽也叫做其**耐折数**（folding number）。产生割宽的顶点排序以及计算这种排序与割宽的问题，统称为**最小割线性排列**（minimum cut linear arrangement）。

与其它参数的关系
--------

割宽常常与图的树宽或径宽相等，不大于径宽乘以{\displaystyle O(\Delta )}、树宽乘以{\displaystyle O(\Delta \log n)}，其中{\displaystyle \Delta }是最大度，{\displaystyle n}是顶点数。若一族图的最大度有界，且图不含大小无界的完全二叉树的细分，则族中的图的割宽都有界。次立方图（subcubic graph，最大度为3的图）中，割宽等于径宽加一。

割宽不小于任何图的最小二等分数，即将顶点分为（尽可能）等大的两子集时，横跨两侧的边数的最小值。图的任意线性构图（layout）在达到最佳割宽后，也能将构图分为前后部，得到具有相同边数的等分。割宽不大于最大度乘带宽（bandwidth），即线性排列中分隔任意边两端点的最大步数。相比于带宽，将边细分为多条边的路径后，割宽不变。它与"拓扑带宽"有密切联系，即从给定图的边的细分能得到的最小带宽。具体来说，对任何树，其都在拓扑带宽{\displaystyle b^{\*}}与稍大的值{\displaystyle b^{\*}+\log \_{2}b^{\*}+2}的区间内。

刻宽（carving width）的定义与割宽类似，都指图中跨越切口的边数。然而，刻宽不像割宽那样使用顶点的线性排序与割的线性序列，而是从顶点的分层聚类中导出的割，这使其与树宽、枝宽更密切，而同径宽、带宽等不太相似。

割宽可为交叉数提供一个下界，这是来自图绘制（graph drawing）研究的概念。图的交叉数是指：使顶点只连接自身为端点的边，在平面上绘制图时，相交边对数的最小值。度有界的图中，交叉数至少与割宽的平方成正比。对度无界的图，更精确的下界是：


crossings
⁡
(
G
)
≥

1
1176

cutwidth
⁡
(
G

)

2

−

∑

v
∈
V
(
G
)

(

deg
⁡
(
v
)

4

)

2

.

{\displaystyle \operatorname {crossings} (G)\geq {\frac {1}{1176}}\operatorname {cutwidth} (G)^{2}-\sum \_{v\in V(G)}\left({\frac {\deg(v)}{4}}\right)^{2}.}

{\displaystyle \operatorname {crossings} (G)\geq {\frac {1}{1176}}\operatorname {cutwidth} (G)^{2}-\sum _{v\in V(G)}\left({\frac {\deg(v)}{4}}\right)^{2}.}其中，校正项与度的平方和成正比，是为解释割宽平方与该量成正比，但交叉数为零的平面图所必须的。在另一种图绘制——书嵌入（book embedding）中，定点被排列在一条线（"书脊"）上，边则不交叉地排列在称作"页"（page）的半平面上，只在书脊处相交。书嵌入的页宽（page width）是指在相同定点排序下，页的最大割宽。

计算复杂度
-----

对*n*个顶点的树，可在{\displaystyle O(n\log n)}的时间内找到割宽，并构造出最佳宽度的线性构图。而对更一般的图，是NP困难的；即使对度不大于3的平面图，也是NP难的；即使输入是树，此问题的加权版本（最小化线性排列割边的权）也是NP难的。

割宽是最优线性排列问题之一，可通过赫尔德-卡普算法，运用动态规划在{\displaystyle O(n2^{n})}时间内求解。还有用量子演算法的更快算法，可在{\displaystyle O(1.817^{n})}时间内解决。此外，这算法还是固定参数可解的：对任意定值{\displaystyle c}，都可在线性时间内测出图的割宽是否大于{\displaystyle c}，若最大是*c*，则为其找到一个最优顶点排序。以{\displaystyle n,\ c}表示，运行此算法耗时{\textstyle 2^{O(c^{2})}n}。另一种参数化算法适于少量顶点具有较高的度（使得割宽变大）的图。若图的顶点覆盖大小有界，此算法可将问题转化为变量更少、变量值受多项式约束的整数规划。对树宽有界的图，由于"树宽有界"包含割宽与顶点覆盖数两个参数，仍不知道此问题能否有效求解。

稠密图割宽有多项式时间近似算法，而对可能不稠密的图，已知最佳近似率为{\textstyle O{\bigl (}(\log n)^{3/2}{\bigr )}}。这来自Tom Leighton与Satish Rao用递归二分法对定点排序，将近似割宽减小到最小二分数的方法，在近似率上损失了{\displaystyle \log \_{2}n}的因子。将这种递归二分法与Sanjeev Arora、Rao、乌梅什·瓦兹拉尼的最小二分数近似算法结合起来，可得所述近似率。在小集合扩展假设下，不可能实现恒定的近似率。

应用
--

通道布线问题，要在矩形区域内搭建出连接同编号管口的水平"通道"使用5通道的解决方案
割宽的早期应用如超大规模集成电路设计中的通道布线问题，当中沿集成电路矩形区域的顶部、底部排列的元件的引脚必须通过导体连接起来。若元件可以从左到右自由排列，而元件引脚必须保持相连，那么这就可以转化为图的线性排列的选择问题，元件对应顶点，边对应引脚间的导线。图的割宽决定了电路布线所需通道数。

蛋白质工程中，假设相关图的割宽有界，可用于加速搜索编码了蛋白质序列与二级结构的mRNA序列。

割宽问题的一个加权版本适用于有向无环图，当中线性排序要与边方向一致，这已用于计算任务序列的调度，调度方式可以最大限度地减少任务本身与维护通信数据所需的最大内存。在数据库理论中，割宽问题的NP困难性被用于证明：执行连接时，为避免在磁盘与内存间反复传输相同数据块，同时在有限的内存中进行计算、安排这传输的问题，也是NP困难的。

在图绘制中，割宽除了计算交叉数下界外，还用于研究一种特殊的3维图绘制，要求边表示为最多1个折点的不交折线，顶点位于一条线上，顶点与折点必须有整数坐标。绘制这种图，图边界框的最小体积必须至少与割宽乘顶点数成正比。顶点位于轴平行线上方时，总存在具有此体积的绘制。

参考文献
----

1. 1 2 3  Chung, Fan R. K.  (PDF). SIAM Journal on Algebraic and Discrete Methods. 1985, **6** (2): 268–277. MR 0778007. doi:10.1137/0606026.
2. 1 2  Thilikos, Dimitrios M.; Serna, Maria; Bodlaender, Hans L.  (PDF). Journal of Algorithms. 2005, **56** (1): 1–24. MR 2146375. doi:10.1016/j.jalgor.2004.12.001.
3. ↑  Korach, Ephraim; Solel, Nir.. Discrete Applied Mathematics. 1993, **43** (1): 97–101. MR 1218045. doi:10.1016/0166-218X(93)90171-J 可免费查阅.
4. 1 2  Chung, F. R. K.; Seymour, P. D.  (PDF). Discrete Mathematics. 1989, **75** (1-3): 113–119. MR 1001391. doi:10.1016/0012-365X(89)90083-6.
5. 1 2  Makedon, Fillia; Sudborough, Ivan Hal.. Discrete Applied Mathematics. 1989, **23** (3): 243–265. MR 0996137. doi:10.1016/0166-218X(89)90016-4 可免费查阅.
6. ↑  Díaz, Josep; Petit, Jordi; Serna, Maria.  (PDF). ACM Computing Surveys. September 2002, **34** (3): 313–356. doi:10.1145/568522.568523.
7. ↑  Seymour, Paul D.; Thomas, Robin.. Combinatorica. 1994, **14** (2): 217–241. doi:10.1007/BF01215352.
8. 1 2 3  Djidjev, Hristo N.; Vrt'o, Imrich.. Journal of Graph Algorithms and Applications. 2003, **7** (3): 245–251. MR 2112230. doi:10.7155/jgaa.00069 可免费查阅.
9. ↑  Stöhr, Elena.. Information and Computation. 1988, **79** (2): 155–162. MR 0968104. doi:10.1016/0890-5401(88)90036-3 可免费查阅.
10. ↑  Yannakakis, Mihalis.. Journal of the ACM. 1985, **32** (4): 950–988. MR 0810346. doi:10.1145/4221.4228 可免费查阅.
11. ↑  Monien, B.; Sudborough, I. H.. Theoretical Computer Science. 1988, **58** (1-3): 209–229. MR 0963264. doi:10.1016/0304-3975(88)90028-X 可免费查阅.
12. ↑  Bodlaender, Hans L.; Fomin, Fedor V.; Koster, Arie M. C. A.; Kratsch, Dieter; Thilikos, Dimitrios M.. Theory of Computing Systems. 2012, **50** (3): 420–432. MR 2885638. S2CID 9967521. doi:10.1007/s00224-011-9312-0. hdl:1956/4556 可免费查阅.
13. ↑  Ambainis, Andris; Balodis, Kaspars; Iraids, Jānis; Kokainis, Martins; Prūsis, Krišjānis; Vihrovs, Jevgēnijs. Chan, Timothy M. , 编.. Society for Industrial and Applied Mathematics: 1783–1793. 2019. MR 3909576. arXiv:1807.05209 可免费查阅. doi:10.1137/1.9781611975482.107.
14. ↑  Giannopoulou, Archontia C.; Pilipczuk, Jean-Florent, Michałand Raymond; Thilikos, Dimitrios M.; Wrochna, Marcin.  (PDF). Algorithmica. 2019, **81** (2): 557–588. MR 3910081. doi:10.1007/s00453-018-0424-7.
15. ↑  Fellows, Michael R.; Lokshtanov, Daniel; Misra, Neeldhara; Rosamond, Frances A.; Saurabh, Saket. Hong, Seok-Hee; Nagamochi, Hiroshi; Fukunaga, Takuro , 编.. Lecture Notes in Computer Science **5369**. Springer: 294–305. 2008. doi:10.1007/978-3-540-92182-0\_28.
16. ↑  Arora, Sanjeev; Frieze, Alan; Kaplan, Haim.. Mathematical Programming. 2002, **92** (1, Ser. A): 1–36. MR 1892295. doi:10.1007/s101070100271.
17. 1 2 3  Wu, Yu; Austrin, Per; Pitassi, Toniann; Liu, David.. Journal of Artificial Intelligence Research. 2014, **49**: 569–600. MR 3195329. doi:10.1613/jair.4030 可免费查阅.
18. ↑  Leighton, Tom; Rao, Satish.. Journal of the ACM. 1999, **46** (6): 787–832. MR 1753034. doi:10.1145/331524.331526 可免费查阅.
19. ↑  Arora, Sanjeev; Rao, Satish; Vazirani, Umesh.  (PDF). Journal of the ACM. 2009, **56** (2): Art. 5, 37. MR 2535878. doi:10.1145/1502793.1502794.
20. ↑  Blin, Guillaume; Fertin, Guillaume; Hermelin, Danny; Vialette, Stéphane.. Journal of Discrete Algorithms. 2008, **6** (4): 618–626. MR 2463425. doi:10.1016/j.jda.2008.03.004 可免费查阅.
21. ↑  Kayaaslan, Enver; Lambert, Thomas; Marchal, Loris; Uçar, Bora.. Theoretical Computer Science. 2018, **707**: 1–23. MR 3734396. doi:10.1016/j.tcs.2017.09.037 可免费查阅.
22. ↑  Fotouhi, Farshad; Pramanik, Sakti.. Information Processing Letters. 1991, **38** (5): 271–275. MR 1114421. doi:10.1016/0020-0190(91)90070-X.
23. ↑  Morin, Pat; Wood, David R.. Journal of Graph Algorithms and Applications. 2004, **8** (3): 357–366. MR 2176967. doi:10.7155/jgaa.00095 可免费查阅.