割宽

图论中，无向图的割宽（cutwidth）是能满足下列性质的最小整数k：图存在顶点排序，使得将顶点划分为排序的前后子集所得的割至少跨过k条边。具体点说，若将顶点编上号 v 1 , v 2 , … v n {\displaystyle v_{1},v_{2},\dots v_{n}} ，则 ∀ ℓ = 1 , 2 , … n − 1 {\displaystyle \forall \ell =1,2,\dots n-1} ，使 i ≤ ℓ ,   j > ℓ {\displaystyle i\leq \ell ,\ j>\ell } 的边 v i v j {\displaystyle v_{i}v_{j}} 最多有k条。 图的割宽也叫做其耐折数（folding number）。产生割宽的顶点排序以及计算这种排序与割宽的问题，统称为最小割线性排列（minimum cut linear arrangement）。 割宽常常与图的树宽或径宽相等，不大于径宽乘以 O ( Δ ) {\displaystyle O(\Delta )} 、树宽乘以 O ( Δ log ⁡ n ) {\displaystyle O(\Delta \log n)} ，其中 Δ {\displaystyle \Delta } 是最大度， n {\displaystyle n} 是顶点数。若一族图的最大度有界，且图不含大小无界的完全二叉树的细分，则族中的图的割宽都有界。次立方图（subcubic graph，最大度为3的图）中，割宽等于径宽加一。 割宽不小于任何图的最小二等分数，即将顶点分为（尽可能）等大的两子集时，横跨两侧的边数的最小值。图的任意线性构图（layout）在达到最佳割宽后，也能将构图分为前后部，得到具有相同边数的等分。割宽不大于最大度乘带宽（bandwidth），即线性排列中分隔任意边两端点的最大步数。相比于带宽，将边细分为多条边的路径后，割宽不变。它与“拓扑带宽”有密切联系，即从给定图的边的细分能得到的最小带宽。具体来说，对任何树，其都在拓扑带宽 b ∗ {\displaystyle b^{*}} 与稍大的值 b ∗ + log 2 ⁡ b ∗ + 2 {\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}.} 其中，校正项与度的平方和成正比，是为解释割宽平方与该量成正比，但交叉数为零的平面图所必须的。在另一种图绘制——书嵌入（book embedding）中，定点被排列在一条线（“书脊”）上，边则不交叉地排列在称作“页”（page）的半平面上，只在书脊处相交。书嵌入的页宽（page width）是指在相同定点排序下，页的最大割宽。 对n个顶点的树，可在 O ( n log ⁡ n ) {\displaystyle O(n\log n)} 的时间内找到割宽，并构造出最佳宽度的线性构图。而对更一般的图，是NP困难的；即使对度不大于3的平面图，也是NP难的；即使输入是树，此问题的加权版本（最小化线性排列割边的权）也是NP难的。 割宽是最优线性排列问题之一，可通过赫尔德-卡普算法，运用动态规划在 O ( n 2 n ) {\displaystyle O(n2^{n})} 时间内求解。还有用量子演算法的更快算法，可在 O ( 1.817 n ) {\displaystyle O(1.817^{n})} 时间内解决。此外，这算法还是固定参数可解的：对任意定值 c {\displaystyle c} ，都可在线性时间内测出图的割宽是否大于 c {\displaystyle c} ，若最大是c，则为其找到一个最优顶点排序。以 n ,   c {\displaystyle n,\ c} 表示，运行此算法耗时 2 O ( c 2 ) n {\textstyle 2^{O(c^{2})}n} 。另一种参数化算法适于少量顶点具有较高的度（使得割宽变大）的图。若图的顶点覆盖大小有界，此算法可将问题转化为变量更少、变量值受多项式约束的整数规划。对树宽有界的图，由于“树宽有界”包含割宽与顶点覆盖数两个参数，仍不知道此问题能否有效求解。 稠密图割宽有多项式时间近似算法，而对可能不稠密的图，已知最佳近似率为 O ( ( log ⁡ n ) 3 / 2 ) {\textstyle O{\bigl (}(\log n)^{3/2}{\bigr )}} 。这来自Tom Leighton与Satish Rao用递归二分法对定点排序，将近似割宽减小到最小二分数的方法，在近似率上损失了 log 2 ⁡ n {\displaystyle \log _{2}n} 的因子。将这种递归二分法与Sanjeev Arora、Rao、乌梅什·瓦兹拉尼的最小二分数近似算法结合起来，可得所述近似率。在小集合扩展假设下，不可能实现恒定的近似率。 割宽的早期应用如超大规模集成电路设计中的通道布线问题，当中沿集成电路矩形区域的顶部、底部排列的元件的引脚必须通过导体连接起来。若元件可以从左到右自由排列，而元件引脚必须保持相连，那么这就可以转化为图的线性排列的选择问题，元件对应顶点，边对应引脚间的导线。图的割宽决定了电路布线所需通道数。 蛋白质工程中，假设相关图的割宽有界，可用于加速搜索编码了蛋白质序列与二级结构的mRNA序列。 割宽问题的一个加权版本适用于有向无环图，当中线性排序要与边方向一致，这已用于计算任务序列的调度，调度方式可以最大限度地减少任务本身与维护通信数据所需的最大内存。在数据库理论中，割宽问题的NP困难性被用于证明：执行连接时，为避免在磁盘与内存间反复传输相同数据块，同时在有限的内存中进行计算、安排这传输的问题，也是NP困难的。 在图绘制中，割宽除了计算交叉数下界外，还用于研究一种特殊的3维图绘制，要求边表示为最多1个折点的不交折线，顶点位于一条线上，顶点与折点必须有整数坐标。绘制这种图，图边界框的最小体积必须至少与割宽乘顶点数成正比。顶点位于轴平行线上方时，总存在具有此体积的绘制。 Chung, Fan R. K. On the cutwidth and the topological bandwidth of a tree (PDF). SIAM Journal on Algebraic and Discrete Methods. 1985, 6 (2): 268–277 [2024-01-29]. MR 0778007. doi:10.1137/0606026. （原始内容存档 (PDF)于2024-04-23）.  Thilikos, Dimitrios M.; Serna, Maria; Bodlaender, Hans L. Cutwidth I: A linear time fixed parameter algorithm (PDF). Journal of Algorithms. 2005, 56 (1): 1–24 [2024-01-29]. MR 2146375. doi:10.1016/j.jalgor.2004.12.001. （原始内容存档 (PDF)于2024-05-02）.  Korach, Ephraim; Solel, Nir. Tree-width, path-width, and cutwidth. Discrete Applied Mathematics. 1993, 43 (1): 97–101. MR 1218045. doi:10.1016/0166-218X(93)90171-J .  Chung, F. R. K.; Seymour, P. D. Graphs with small bandwidth and cutwidth (PDF). Discrete Mathematics. 1989, 75 (1-3): 113–119 [2024-01-29]. MR 1001391. doi:10.1016/0012-365X(89)90083-6. （原始内容存档 (PDF)于2024-01-30）.  Makedon, Fillia; Sudborough, Ivan Hal. On minimizing width in linear layouts. Discrete Applied Mathematics. 1989, 23 (3): 243–265. MR 0996137. doi:10.1016/0166-218X(89)90016-4 .  Díaz, Josep; Petit, Jordi; Serna, Maria. A survey of graph layout problems (PDF). ACM Computing Surveys. September 2002, 34 (3): 313–356. doi:10.1145/568522.568523.  Seymour, Paul D.; Thomas, Robin. Call routing and the ratcatcher. Combinatorica. 1994, 14 (2): 217–241. doi:10.1007/BF01215352.  Djidjev, Hristo N.; Vrt'o, Imrich. Crossing numbers and cutwidths. Journal of Graph Algorithms and Applications. 2003, 7 (3): 245–251. MR 2112230. doi:10.7155/jgaa.00069 .  Stöhr, Elena. A trade-off between page number and page width of book embeddings of graphs. Information and Computation. 1988, 79 (2): 155–162. MR 0968104. doi:10.1016/0890-5401(88)90036-3 .  Yannakakis, Mihalis. A polynomial algorithm for the min-cut linear arrangement of trees. Journal of the ACM. 1985, 32 (4): 950–988. MR 0810346. doi:10.1145/4221.4228 .  Monien, B.; Sudborough, I. H. Min cut is NP-complete for edge weighted trees. Theoretical Computer Science. 1988, 58 (1-3): 209–229. MR 0963264. doi:10.1016/0304-3975(88)90028-X .  Bodlaender, Hans L.; Fomin, Fedor V.; Koster, Arie M. C. A.; Kratsch, Dieter; Thilikos, Dimitrios M. A note on exact algorithms for vertex ordering problems on graphs. Theory of Computing Systems. 2012, 50 (3): 420–432. MR 2885638. S2CID 9967521. doi:10.1007/s00224-011-9312-0. hdl:1956/4556 .  Ambainis, Andris; Balodis, Kaspars; Iraids, Jānis; Kokainis, Martins; Prūsis, Krišjānis; Vihrovs, Jevgēnijs. Chan, Timothy M. , 编. Proceedings of the Thirtieth Annual ACM–SIAM Symposium on Discrete Algorithms, SODA 2019, San Diego, California, USA, January 6–9, 2019. Society for Industrial and Applied Mathematics: 1783–1793. 2019. MR 3909576. arXiv:1807.05209 . doi:10.1137/1.9781611975482.107.  Giannopoulou, Archontia C.; Pilipczuk, Jean-Florent, Michałand Raymond; Thilikos, Dimitrios M.; Wrochna, Marcin. Cutwidth: obstructions and algorithmic aspects (PDF). Algorithmica. 2019, 81 (2): 557–588 [2024-01-29]. MR 3910081. doi:10.1007/s00453-018-0424-7. （原始内容存档 (PDF)于2024-01-30）.  Fellows, Michael R.; Lokshtanov, Daniel; Misra, Neeldhara; Rosamond, Frances A.; Saurabh, Saket. Hong, Seok-Hee; Nagamochi, Hiroshi; Fukunaga, Takuro , 编. Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15–17, 2008, Proceedings. Lecture Notes in Computer Science 5369. Springer: 294–305. 2008. doi:10.1007/978-3-540-92182-0_28.  Arora, Sanjeev; Frieze, Alan; Kaplan, Haim. A new rounding procedure for the assignment problem with applications to dense graph arrangement problems. Mathematical Programming. 2002, 92 (1, Ser. A): 1–36 [2024-01-29]. MR 1892295. doi:10.1007/s101070100271. （原始内容存档于2023-04-09）.  Wu, Yu; Austrin, Per; Pitassi, Toniann; Liu, David. Inapproximability of treewidth, one-shot pebbling, and related layout problems. Journal of Artificial Intelligence Research. 2014, 49: 569–600. MR 3195329. doi:10.1613/jair.4030 .  Leighton, Tom; Rao, Satish. Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms. Journal of the ACM. 1999, 46 (6): 787–832. MR 1753034. doi:10.1145/331524.331526 .  Arora, Sanjeev; Rao, Satish; Vazirani, Umesh. Expander flows, geometric embeddings and graph partitioning (PDF). Journal of the ACM. 2009, 56 (2): Art. 5, 37 [2024-01-29]. MR 2535878. doi:10.1145/1502793.1502794. （原始内容存档 (PDF)于2024-06-16）.  Blin, Guillaume; Fertin, Guillaume; Hermelin, Danny; Vialette, Stéphane. Fixed-parameter algorithms for protein similarity search under mRNA structure constraints. Journal of Discrete Algorithms. 2008, 6 (4): 618–626. MR 2463425. doi:10.1016/j.jda.2008.03.004 .  Kayaaslan, Enver; Lambert, Thomas; Marchal, Loris; Uçar, Bora. Scheduling series-parallel task graphs to minimize peak memory. Theoretical Computer Science. 2018, 707: 1–23. MR 3734396. doi:10.1016/j.tcs.2017.09.037 .  Fotouhi, Farshad; Pramanik, Sakti. Problem of optimizing the number of block accesses in performing relational join is NP-hard. Information Processing Letters. 1991, 38 (5): 271–275. MR 1114421. doi:10.1016/0020-0190(91)90070-X.  Morin, Pat; Wood, David R. Three-dimensional 1-bend graph drawings. Journal of Graph Algorithms and Applications. 2004, 8 (3): 357–366. MR 2176967. doi:10.7155/jgaa.00095 .