Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Split (graph theory)
open-in-new
<h2 id="definitions">Definitions</h2> <p>A <a href="/facts/Cut_(graph_theory)/1lKf2IIW">cut</a> of an undirected graph is a partition of the vertices into two nonempty subsets, the sides of the cut. The subset of edges that have one endpoint in each side is called a cut-set. When a cut-set forms a <a href="/facts/Complete_bipartite_graph/C1RYIdpX">complete bipartite graph</a>, its cut is called a split. Thus, a split can be described as a partition of the vertices of the graph into two subsets X and Y, such that every neighbor of X in Y is adjacent to every neighbor of Y in X.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> </p><p>A cut or split is trivial when one of its two sides has only one vertex in it; every trivial cut is a split. A graph is said to be prime (with respect to splits) if it has no nontrivial splits.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> </p><p>Two splits are said to cross if each side of one split has a non-empty intersection with each side of the other split. A split is called strong when it is not crossed by any other split. As a special case, every trivial split is strong. The strong splits of a graph give rise to a structure called the split decomposition or join decomposition of the graph. This decomposition can be represented by a <a href="/facts/Tree_(graph_theory)/TCWk4Joy">tree</a> whose leaves correspond one-to-one with the given graph, and whose edges correspond one-to-one with the strong splits of the graph, such that the partition of leaves formed by removing any edge from the tree is the same as the partition of vertices given by the associated strong split.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> </p><p>Each internal node i of the split decomposition tree of a graph G is associated with a graph Gi, called the quotient graph for node i. The quotient graph can be formed by deleting i from the tree, forming subsets of vertices in G corresponding to the leaves in each of the resulting subtrees, and collapsing each of these vertex sets into a single vertex. Every quotient graph has one of three forms: it may be a prime graph, a <a href="/facts/Complete_graph/AYD6hUqI">complete graph</a>, or a <a href="/facts/Star_(graph_theory)/PNW0H6eK">star</a>.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> </p><p>A graph may have exponentially many different splits, but they are all represented in the split decomposition tree, either as an edge of the tree (for a strong split) or as an arbitrary partition of a complete or star quotient graph (for a split that is not strong).<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> </p> <h2 id="examples">Examples</h2> <p>In a <a href="/facts/Complete_graph/AYD6hUqI">complete graph</a> or <a href="/facts/Complete_bipartite_graph/C1RYIdpX">complete bipartite graph</a>, every cut is a split. </p><p>In a <a href="/facts/Cycle_graph/bYhnPDHc">cycle graph</a> of length four, the partition of the vertices given by <a href="/facts/Graph_coloring/J6HoBfP0">2-coloring</a> the cycle is a nontrivial split, but for cycles of any longer length there are no nontrivial splits. </p><p>A <a href="/facts/Bridge_(graph_theory)/jNtnscpj">bridge</a> of a graph that is not <a href="/facts/K-edge-connected_graph/vJN0po8s">2-edge-connected</a> corresponds to a split, with each side of the split formed by the vertices on one side of the bridge. The cut-set of the split is just the single bridge edge, which is a special case of a complete bipartite subgraph. Similarly, if v is an <a href="/facts/Articulation_point/Y4221AkA">articulation point</a> of a graph that is not <a href="/facts/K-vertex-connected_graph/EST9uf8W">2-vertex-connected</a>, then the graph has multiple splits in which v and some but not all of the components formed by its deletion are on one side, and the remaining components are on the other side. In these examples, the cut-set of the split forms a <a href="/facts/Star_(graph_theory)/PNW0H6eK">star</a>. </p> <h2 id="algorithms">Algorithms</h2> <p>Cunningham (1982) already showed that it is possible to find the split decomposition in <a href="/facts/Polynomial_time/77T62gmf">polynomial time</a>.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a> After subsequent improvements to the algorithm,<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a><a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a> <a href="/facts/Linear_time/77T62gmf">linear time</a> algorithms were discovered by Dahlhaus (2000)<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> and Charbit, de Montgolfier & Raffinot (2012).<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> </p> <h2 id="applications">Applications</h2> <p>Split decomposition has been applied in the recognition of several important graph classes: </p> <ul><li>A <a href="/facts/Distance-hereditary_graph/T17SFUmL">distance-hereditary graph</a> is a graph whose split decomposition contains no prime quotients. Based on this characterization, it is possible to use the split decomposition to recognize distance-hereditary graphs in linear time.<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a><a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a></li> <li><a href="/facts/Parity_graph/8y3Jt6bY">Parity graphs</a> can be recognized in linear time as the graphs in which each split quotient is either complete or <a href="/facts/Bipartite_graph/xWcXV9MB">bipartite</a>.<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a></li> <li>A <a href="/facts/Circle_graph/mI27LMXp">circle graph</a> is the intersection graph of a family of chords of a circle. A given graph is a circle graph if and only if each of the quotients of its split decomposition is a circle graph, so testing whether a graph is a circle graph can be reduced to the same problem on the prime quotient graphs of the graph. More, when a circle graph is prime, the combinatorial structure of the set of chords representing it is uniquely determined, which simplifies the task of recognizing this structure. Based on these ideas, it is possible to recognize circle graphs in polynomial time.<a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a></li></ul> <p>Split decomposition has also been used to simplify the solution of some problems that are NP-hard on arbitrary graphs:<a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a> </p> <ul><li>As Cunningham (1982) already observed, the maximum independent set of any graph may be found by a <a href="/facts/Dynamic_programming/CLcabtmk">dynamic programming</a> algorithm on a bottom-up traversal of its split decomposition tree. At each node we choose the maximum weight independent set on its quotient graph, weighted by the sizes of the independent sets already computed at child nodes.<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a></li> <li>Although another algorithm given by Cunningham (1982) is flawed, a similar bottom-up traversal can be used to compute the <a href="/facts/Maximum_clique/XK9ppLz5">maximum clique</a> of a graph by combining computations of weighted maximum cliques in its quotient graphs.<a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a></li> <li>Rao (2008) also presents algorithms for connected <a href="/facts/Dominating_set/3xX4kSnP">dominating sets</a>, complete dominating sets, and <a href="/facts/Graph_coloring/J6HoBfP0">graph coloring</a>.<a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a></li></ul> <p>These methods can lead to polynomial time algorithms for graphs in which each quotient graph has a simple structure that allows its subproblem to be computed efficiently. For instance, this is true of the graphs in which each quotient graph has constant size.<a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a> </p> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Cunningham, William H. (1982), "Decomposition of directed graphs", SIAM Journal on Algebraic and Discrete Methods, 3 (2): 214–228, doi:10.1137/0603021, MR 0655562. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Charbit, Pierre; de Montgolfier, Fabien; Raffinot, Mathieu (2012), "Linear time split decomposition revisited", SIAM Journal on Discrete Mathematics, 26 (2): 499–514, arXiv:0902.1700, doi:10.1137/10080052X, MR 2967479. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Charbit, Pierre; de Montgolfier, Fabien; Raffinot, Mathieu (2012), "Linear time split decomposition revisited", SIAM Journal on Discrete Mathematics, 26 (2): 499–514, arXiv:0902.1700, doi:10.1137/10080052X, MR 2967479. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Charbit, Pierre; de Montgolfier, Fabien; Raffinot, Mathieu (2012), "Linear time split decomposition revisited", SIAM Journal on Discrete Mathematics, 26 (2): 499–514, arXiv:0902.1700, doi:10.1137/10080052X, MR 2967479. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Charbit, Pierre; de Montgolfier, Fabien; Raffinot, Mathieu (2012), "Linear time split decomposition revisited", SIAM Journal on Discrete Mathematics, 26 (2): 499–514, arXiv:0902.1700, doi:10.1137/10080052X, MR 2967479. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Charbit, Pierre; de Montgolfier, Fabien; Raffinot, Mathieu (2012), "Linear time split decomposition revisited", SIAM Journal on Discrete Mathematics, 26 (2): 499–514, arXiv:0902.1700, doi:10.1137/10080052X, MR 2967479. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Cunningham, William H. (1982), "Decomposition of directed graphs", SIAM Journal on Algebraic and Discrete Methods, 3 (2): 214–228, doi:10.1137/0603021, MR 0655562. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Gabor, Csaba P.; Supowit, Kenneth J.; Hsu, Wen Lian (1989), "Recognizing circle graphs in polynomial time", Journal of the ACM, 36 (3): 435–473, doi:10.1145/65950.65951, MR 1072233. <a href="/wiki/Journal_of_the_ACM" target="_blank">/wiki/Journal_of_the_ACM</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Ma, Tze Heng; Spinrad, Jeremy (1994), "An O(n2) algorithm for undirected split decomposition", Journal of Algorithms, 16 (1): 145–160, doi:10.1006/jagm.1994.1007, MR 1251842. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Dahlhaus, Elias (2000), "Parallel algorithms for hierarchical clustering and applications to split decomposition and parity graph recognition", Journal of Algorithms, 36 (2): 205–240, doi:10.1006/jagm.2000.1090, MR 1769515. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Charbit, Pierre; de Montgolfier, Fabien; Raffinot, Mathieu (2012), "Linear time split decomposition revisited", SIAM Journal on Discrete Mathematics, 26 (2): 499–514, arXiv:0902.1700, doi:10.1137/10080052X, MR 2967479. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Gavoille, Cyril; Paul, Christophe (2003), "Distance labeling scheme and split decomposition", Discrete Mathematics, 273 (1–3): 115–130, doi:10.1016/S0012-365X(03)00232-2, MR 2025945. <a href="/wiki/Discrete_Mathematics_(journal)" target="_blank">/wiki/Discrete_Mathematics_(journal)</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Gioan, Emeric; Paul, Christophe (2012), "Split decomposition and graph-labelled trees: Characterizations and fully dynamic algorithms for totally decomposable graphs", Discrete Applied Mathematics, 160 (6): 708–733, arXiv:0810.1823, doi:10.1016/j.dam.2011.05.007. <a href="/wiki/Discrete_Applied_Mathematics" target="_blank">/wiki/Discrete_Applied_Mathematics</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>Cicerone, Serafino; Di Stefano, Gabriele (1997), "On the equivalence in complexity among basic problems on bipartite and parity graphs", Algorithms and computation (Singapore, 1997), Lecture Notes in Comput. Sci., vol. 1350, Springer, Berlin, pp. 354–363, doi:10.1007/3-540-63890-3_38, ISBN 978-3-540-63890-2, MR 1651043. <a href="978-3-540-63890-2" target="_blank">978-3-540-63890-2</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>Gabor, Csaba P.; Supowit, Kenneth J.; Hsu, Wen Lian (1989), "Recognizing circle graphs in polynomial time", Journal of the ACM, 36 (3): 435–473, doi:10.1145/65950.65951, MR 1072233. <a href="/wiki/Journal_of_the_ACM" target="_blank">/wiki/Journal_of_the_ACM</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>Rao, Michaël (2008), "Solving some NP-complete problems using split decomposition", Discrete Applied Mathematics, 156 (14): 2768–2780, doi:10.1016/j.dam.2007.11.013, MR 2451095. <a href="/wiki/Discrete_Applied_Mathematics" target="_blank">/wiki/Discrete_Applied_Mathematics</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>Cunningham, William H. (1982), "Decomposition of directed graphs", SIAM Journal on Algebraic and Discrete Methods, 3 (2): 214–228, doi:10.1137/0603021, MR 0655562. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> <li id="fn:18"><p>Rao, Michaël (2008), "Solving some NP-complete problems using split decomposition", Discrete Applied Mathematics, 156 (14): 2768–2780, doi:10.1016/j.dam.2007.11.013, MR 2451095. <a href="/wiki/Discrete_Applied_Mathematics" target="_blank">/wiki/Discrete_Applied_Mathematics</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li> <li id="fn:19"><p>Rao, Michaël (2008), "Solving some NP-complete problems using split decomposition", Discrete Applied Mathematics, 156 (14): 2768–2780, doi:10.1016/j.dam.2007.11.013, MR 2451095. <a href="/wiki/Discrete_Applied_Mathematics" target="_blank">/wiki/Discrete_Applied_Mathematics</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li> <li id="fn:20"><p>Rao, Michaël (2008), "Solving some NP-complete problems using split decomposition", Discrete Applied Mathematics, 156 (14): 2768–2780, doi:10.1016/j.dam.2007.11.013, MR 2451095. <a href="/wiki/Discrete_Applied_Mathematics" target="_blank">/wiki/Discrete_Applied_Mathematics</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li> </ol>