Abstract
Bipartite graphs model the relationship between two disjoint sets of objects. They have a wide range of applications and are often visualized as 2-layered drawings, where each set of objects is visualized as vertices (points) on one of two parallel horizontal lines and the relationships are represented by (usually straight-line) edges between the corresponding vertices. One of the common objectives in such drawings is to minimize the number of crossings. This, in general, is an NP-hard problem and may still result in drawings with so many crossings that they affect the readability of the drawing. We consider a recent approach to remove crossings in such visualizations by splitting vertices, where the goal is to find the minimum number of vertices to be split to obtain a planar drawing. We show that determining whether a planar 2-layered drawing exists after splitting at most k vertices is fixed parameter tractable in k.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
Bipartite graphs are used in many applications to study complex systems and their dynamics [20]. We can visualize a bipartite graph \(G=(T\cup B, E)\) as a 2-layered drawing where vertices in T are placed (at integer coordinates) along the horizontal line defined by \(y=1\) and vertices in B along the line below (at integer coordinates) defined by \(y=0\).
A common optimization goal in graph drawing is to minimize the number of crossings. Deciding whether a planar 2-layered drawing exists for a given graph can be done in linear time, although most graphs, including sparse ones such as cycles and binary trees, do not admit planar 2-layered drawings [6]. The problem of minimizing the number of crossings in 2-layered layouts is NP-hard, even if the maximum degree of the graph is at most four [16], or if the permutation of vertices is fixed on one of the layers [6]. The latter variant of the problem is known as One-Sided Crossing Minimization (OSCM). The minimum number of crossings in a 2-layered drawing can be approximated within a factor of 1.47 and \(1.3 +12/(\delta -4)\), where \(\delta \) is the minimum degree, given that \(\delta > 4\) [17]. Dujmović et al. [5] gave a fixed-parameter tractable (FPT) algorithm with runtime \(O(1.62^k\cdot n^2)\), which was later improved to \(O(1.4656^k + kn^2)\) [4]. Fernau et al. [10] reduced this problem to weighted FAST (feedback arc sets in tournaments) obtaining a subexponential time algorithm that runs in time \(2^{O(\sqrt{k}\log {k})} +n^{O(1)}\). Finally Kobayashi and Tamaki [14] gave a straightforward dynamic programming algorithm on an interval graph associated with each OSCM instance with runtime \(2^{O(\sqrt{k}\log {k})} +n^{O(1)}\). They also showed that the exponent \(O(\sqrt{k})\) in their bound is asymptotically optimal under the Exponential Time Hypothesis (ETH) [11], a well-known complexity assumption which states that, for each \(k \ge 3\), there is a positive constant \(c_k\) such that k-SAT cannot be solved in \(O(2^{c_k n})\) time where n is the number of variables.
Minimizing the number of crossings in 2-layer drawings may still result in visually complex drawings from a practical point of view [12]. Hence, we study vertex splitting [7, 8, 13, 15] which aims to construct planar drawings, and thus, avoid crossings altogether. In the operation for a vertex u we delete u from G, add two new copies \(u_1\) and \(u_2\), and distribute the edges originally incident to u between the two new vertices \(u_1\) and \(u_2\). There are two main variations of the objective in vertex splitting: minimizing the number of split operations (or ) and minimizing the number of (each vertex can be split arbitrary many times) to obtain a planar drawing of G. Minimizing the number of splits is NP-hard even for cubic graphs [9]. Nickel et al. [18] extend the investigation of the problem and its complexity from abstract graphs to drawings of graphs where splits are performed on an underlying drawing.
Vertex splitting in bipartite graphs with 2-layered drawings has not received much attention [2]. In several applications, such as visualizing graphs defined on anatomical structures and cell types in the human body [19], the two vertex sets of G play different roles and vertex splitting is allowed only on one side of the layout. This has motivated the interest in splitting the vertices in only one vertex partition of the bipartite graph. It has been shown that minimizing splits in this setting is NP-hard for an arbitrary bipartite graph [3].
The other variant – minimizing the number of split vertices – has been recently considered and was shown to be NP-hard [1]. On the positive side, we show that the problem is FPT parameterized by the natural parameter, that is, the number of split vertices.
Problem
(Crossing Removal with \(\boldsymbol{k}\) Split Vertices – CRSV(\(k\))). Let \(G = (T \cup B, E)\) be a bipartite graph. Decide whether there is a planar 2-layer drawing of G after splitting at most k vertices of B.
In the next section we prove the following theorem.
Theorem 1
Given a bipartite graph \(G = (T \cup B, E)\), the CRSV(\(k\)) problem can be decided in time \(2^{O(k^6)}\cdot m\), where m is the number of edges of G.
We prove Theorem 1 using , one of the standard techniques for designing FPT algorithms. The goal of kernelization is to reduce the input instance to its computationally hard part on which a slower exact algorithm can be applied. If the size of the reduced instance is bounded by a function of the parameter, the problem can be solved by brute force on the reduced instance yielding FPT runtime. Our reduction consists of two parts.
In the first part we identify and remove vertices that necessarily belong to the solution (Step below) and remove redundant vertices of the input graph G; Step below. Then we show that there is a solution for the reduced graph \(G''_1\) if and only if there is a solution for the original graph G; see Claim 1. Then we prove two structural properties about the degrees of the vertices of \(G''_1\); see Lemmas 1 and 2. These two properties allow us to bound the size of the “essential” part (called the ) of the reduced graph \(G''_1\); see Lemma 3.
In the second part of the reduction we remove more redundant vertices of \(G''_1\) and identify and remove the vertices that necessarily belong to the solution. Then we show that the resulting reduced graph \(G'_2\) has size bounded by a polynomial function of the parameter; see Lemma 4. Finally, we show that there is a solution for \(G'_2\) if and only if there is a solution for \(G''_1\); see Claim 2. The proof is concluded by applying an exact algorithm to the graph \(G'_2\).
2 Proof of Theorem 1
Let \(G=(T\cup B, E)\) be a bipartite graph and k be the number of vertices that we are allowed to split.
First Reduction Rule: Before we describe our first reduction rule, we make a useful observation.
Observation 1
If a vertex \(v \in B\) has at least three neighbours of degree at least two, it must be split in any planar 2-layered drawing of G; see Fig. 1a.
Let \(B_\text {tr}\) be the set of such vertices of degree 3 or more in B (as described in Observation 1). The first reduction rule consists of two steps described below.
-
1.
We initialize our solution set \(\mathcal {S}\) with the vertices in \(B_\text {tr}\), that is, \(\mathcal {S}:=B_\text {tr}\) and remove them from the graph G. Let the resulting graph be \(G'_1 = (T'_1\cup B'_1, E'_1)\) and \(k'_1 = k - |B_\text {tr}|\); note that \(T'_1 = T_1\).
-
2.
Let \(T_s\subset T'_1\) be the set of vertices v such that deg\((v)= 1\) and deg\((u) \ge 3\), where u is the unique neighbor of v in \(G'_1\). Similarly, let \(B_s\subset B'_1\) be the set of vertices v such that deg\((v)= 1\) and deg\((u) \ge 3\), where u is the unique neighbor of v in \(G'_1\). We remove the vertices \(T_s\) and \(B_s\) from the graph \(G'_1\). Let the resulting graph be \(G''_1 = (T''_1\cup B''_1, E''_1)\).
Let us now show the following.
Claim 1
The graph G is a Yes instance for CRSV(\(k\)) if and only if \(G''_1\) is a Yes instance for CRSV(\(k_1'\)).
Proof
We first argue the “only if”direction: consider a planar 2-layered drawing of G with at most k vertices split. According to Observation 1, each vertex in \(B_\text {tr}\) is split, moreover, none of the vertices in \(B_s\) are split because each of them has degree one. Therefore, there are at most \(k-|B_\text {tr}|\) vertices in \(B \setminus (B_\text {tr} \bigcup B_s)\) that are split. Because \(B''_1 = B \setminus (B_\text {tr} \bigcup B_s)\) and \(k'_1 = k-|B_\text {tr}|\) there exists a planar 2-layered drawing of \(G''_1\) with at most \(k'_1\) vertices split.
For the “if” direction, consider a planar 2-layered drawing of \(G''_1\) with at most \(k'_1\) vertices split. Note that after applying Step and Step the vertices in \(B''_1\) have degree at most two. Thus for each vertex \(v\in B_\text {tr}\) we can reinsert its split copies \(v_1, v_2, \dots , v_{\text {deg}{(v)}}\) (each reinserted vertex has degree one) without crossings; see Fig. 1. For the same reason we can reinsert the vertices in \(B_s\) of degree one removed at Step ; see Fig. 2. To see that we can reinsert each vertex \(u\in T_s\) of degree one removed at Step observe that we always connect it to a vertex \(v\in B''_1\) of degree at least two, therefore, in any planar 2-layered drawing of \(G''_1\) there is always a formed by two edges \(vv_1\) and \(vv_2\) where we can fit in the edge vu without causing any crossings; see Fig. 2. \(\square \)
Now we state two observations about the degrees of the vertices of the graph \(G''_1\).
Lemma 1
For each vertex \(v\in T''_1\) it holds that deg\((v)\le k'_1+2\) if there exists a planar 2-layered drawing of \(G''_1\) with at most \(k'_1\) split vertices.
Proof
Consider for contradiction that there is a vertex \(v\in T''_1\) that has deg\((v) = k'_1+3\); see Fig. 3. According to Step v does not have any neighbors of degree one in \(B''_1\), therefore, to obtain a planar 2-layered drawing of \(G''_1\) all but two neighbors of v must be split, that is, \(k'_1+1\) vertices must be split; contradiction. \(\square \)
To make our second observation let \(T''_{1,~{\text {deg}(v)\ge 3}}\) be the set of all the vertices of degree at least three in \(T''_1\).
Lemma 2
It holds that \(\big \vert T''_{1,~{\text {deg}(v)\ge 3}}\big \vert \le 2k'_1\) if there exists a planar 2-layered drawing of \(G''_1\) with at most \(k'_1\) split vertices.
Proof
Observe that according to Step no vertex in \(T''_{1,~{\text {deg}(v)\ge 3}}\) has any neighbors of degree one in \(B''_1\). This implies that for each vertex v in \(T''_{1,~{\text {deg}(v)\ge 3}}\) at least one of its neighbors \(u\in B''_1\) must be split to obtain a planar 2-layered drawing of \(G''_1\); see Fig. 4. But the degree of u is at most two, therefore, splitting u can resolve crossings for at most two vertices \(v_1, v_2 \in T''_{1,~{\text {deg}(v)\ge 3}}\). Thus, if \(|T''_{1,~{\text {deg}(v)\ge 3}}| > 2k'_1\), more than \(k'_1\) vertices in \(B''_1\) must be split to obtain a planar 2-layered drawing of \(G''_1\); contradiction. \(\square \)
For a subset of vertices W let N(W) denote the set of neighbors of W. From Lemma 1 and 2 we obtain the following.
Lemma 3
The graph induced by the vertices \(T''_{1,~{\text {deg}(v)\ge 3}}\bigcup N(T''_{1,~{\text {deg}(v)\ge 3}})\) has at most \(2k'_1(k'_1+2)\) vertices if there exists a planar 2-layered drawing of \(G''_1\) with at most \(k'_1\) split vertices.
Let \(C = T''_{1,~{\text {deg}(v)\ge 3}}\bigcup N(T''_{1,~{\text {deg}(v)\ge 3}})\) and call the graph induced by the vertices in C the of \(G''_1\). Now we can proceed to the second reduction rule.
Second Reduction Rule: Observe that all the vertices in \((B''_1 \bigcup T''_1) \setminus C\) have degree at most two, and therefore, induce paths or cycles in \(G''_1\). Since the cycles are not connected to the core in \(G''_1\) (because their vertices have degree at most two in \(G''_1\)) we can remove them and handle separately. We need to account for one split vertex per each such cycle. Let \(\mathcal {E}\) be the set of these cycles and let \(k'_2 = k'_1 - |\mathcal {E}|\). In addition, let Z be the set of vertices that we split in these cycles, \(\mathcal {S}:= \mathcal {S} \bigcup Z\).
Let \(\mathcal {P}\) be the set of paths induced in \(G''_1\) by the vertices in \((B''_1 \bigcup T''_1) \setminus C\) of length at least \(2k'_2+5\). We reduce \(G''_1\) to \(G'_2 = (T'_2\cup B'_2, E'_2)\) by each path \(p\in \mathcal {P}\) (that is, iteratively removing one of the middle vertices of p from \(T''_1\) and identifying its two neighbours in \(B''_1\)) until p has at most \(2k'_2+5\) vertices. Because during shortening step the length of p decreases by two, after the shortening process p will still have at least \(2k'_2+3\) vertices.
Claim 2
The graph \(G''_1\) is a Yes instance for CRSV(\(k'_1\)) if and only if \(G'_2\) is a Yes instance for CRSV(\(k'_2\)).
Proof
In one direction the claim is obvious, because shortening paths in a planar 2-layered drawing of the graph \(G''_1\) does not cause any crossings.
For the other direction, consider a planar 2-layered drawing of the graph \(G'_2\). To obtain from it a planar 2-layered drawing of the graph \(G''_1\) we need to: (1) reinsert each of the cycles in \(\mathcal {E}\) that we have removed from \(G''_1\) to obtain \(G'_2\), and (2) reinsert back the missing parts of the paths of \(\mathcal {P}\), which are made up of the vertices from \((B''_1 \bigcup T''_1) \setminus C\). Because the cycles in \(\mathcal {E}\) are disconnected from \(G''_1\) we can reinsert them anywhere in the drawing wherever there is space with one split vertex in Z.
Let us now argue why we can reinsert the missing vertices from \((B''_1 \bigcup T''_1) \setminus C\) into the paths in \(\mathcal {P}\); we will refer to Fig. 5 for illustration. Because for any such path \(p \in \mathcal {P}\) the length of p is at least \(2k'_2+3\) there must be at least one vertex v in \(B'_2\) that was not split in a planar 2-layered drawing of \(G'_2\) (see Fig. 5a), as otherwise a planar 2-layered drawing of \(G'_2\) cannot be constructed with at most \(k'_2\) splits. Therefore, there must be a safe wedge formed by the unsplit vertex v and the two edges of the path p incident to v providing space to reinsert the missing vertices without causing any crossings; see Fig. 5b. \(\square \)
Lemma 4
The graph \(G'_2\) has at most \(O(k^6)\) vertices.
Proof
According to Lemma 3 the core C has at most \(2k'_1(k'_1+2)\) vertices and according to Lemma 1 the highest degree of each vertex in C is at most \(k'_1+2\). Therefore, there can be at most \({{2k'_1(k'_1+2)}\atopwithdelims (){2}}(k'_1+2)\) many paths induced by the vertices in \((B'_2 \bigcup T'_2) \setminus C\). Moreover, after applying the second reduction rule each such path has at most \(2k'_2+5\) vertices. Thus the total number of vertices in \(G'_2\) is at most \({{2k'_1(k'_1+2)}\atopwithdelims (){2}}(k'_1+2) (2k'_2+5) \in O(k^6)\). \(\square \)
Finally we decide CRSV(\(k'_2\)) for \(G'_2\) by brute force. More precisely, we check all subsets X of \(B'_2\) such that \(|X| \le k'_2 \le k\). For each vertex v in X we check all ways to partition its incident edges (at most \(k+2\)) into non-empty subsets, this represents splitting of v. The number of such partitions is bounded by the Bell number of order \(k+2\), which in turn is bounded by \((k+2)!\). Then we run a linear time algorithm to check whether a planar 2-layered drawing of the resulting graph exists. This can be done in time \(2^{O(k^6)}(k!)^{O(k)} \cdot m \subset 2^{O(k^6)}\cdot m\), where m is the number of edges of G. If \(G'_2\) is a yes instance for CRSV(\(k'_2\)) with the subset of split vertices X, we update our solution set \(\mathcal {S}:=\mathcal {S}\bigcup X\) and return it. It is worth noting that the kernelization itself can be done in time O(m) since we process each vertex in constant time given that we know its degree. Thus, the kernelization does not affect the total asymptotic runtime of the algorithm.
3 Conclusion and Open Problems
We presented an FPT algorithm for the CRSV(\(k\)) problem parameterized by k. Improving the runtime is needed for this algorithm to be useful in practice, as the constants are very large. Another natural direction is to look for an FPT algorithm for the other variant of the problem, that is, minimizing the number of splits, which was recently shown to be NP-hard [1].
Problem
Crossing Removal with \(\boldsymbol{k}\) Splits – CRS(\(k\))). Let \(G = (T \cup B, E)\) be a bipartite graph. Decide whether there is a planar 2-layer drawing of G after applying at most k splits to the vertices in B.
Is there an FPT algorithm for the CRS(\(k\)) problem parameterized by k? It is not clear how to adjust the algorithm in Theorem 1 as it splits every vertex in \(B_\text {tr}\) as many times as its degree, and thus, the number of splits is not bounded by a function of the parameter k.
References
Ahmed, R., et al.: Splitting Vertices in 2-Layer Graph Drawings (2022, unpublished manuscript)
Börner, K., Kobourov, S.: Multi-level graph representation for big data arising in science mapping (Dagstuhl Seminar 21152). Dagstuhl Rep. 11(3), 1–15 (2021). https://doi.org/10.4230/DagRep.11.3.1, https://drops.dagstuhl.de/opus/volltexte/2021/14688
Chaudhary, A., Chen, D.Z., Hu, X.S., Niemier, M.T., Ravichandran, R., Whitton, K.: Fabricatable interconnect and molecular QCA circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(11), 1978–1991 (2007)
Dujmović, V., Fernau, H., Kaufmann, M.: Fixed parameter algorithms for one-sided crossing minimization revisited. J. Discrete Algorithms 6(2), 313–323 (2008)
Dujmović, V., Whitesides, S.: An efficient fixed parameter tractable algorithm for 1-sided crossing minimization. Algorithmica 40(1), 15–31 (2004)
Eades, P., McKay, B.D., Wormald, N.C.: On an edge crossing problem. In: Proceedings of 9th Australian Computer Science Conference, vol. 327, p. 334 (1986)
Eades, P., de Mendonça N, C.F.X.: Vertex-splitting and tension-free layout. In: Brandenburg, F.J. (ed.) GD 1995. LNCS, vol. 1027, pp. 202–211. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0021804
Eppstein, D., et al.: On the planar split thickness of graphs. Algorithmica 80, 977–994 (2018)
Faria, L., de Figueiredo, C.M.H., Mendonça, C.F.X.: Splitting number is NP-complete. DAM 108(1), 65–83 (2001)
Fernau, H., Fomin, F.V., Lokshtanov, D., Mnich, M., Philip, G., Saurabh, S.: Ranking and drawing in subexponential time. In: Iliopoulos, C.S., Smyth, W.F. (eds.) IWOCA 2010. LNCS, vol. 6460, pp. 337–348. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19222-7_34
Impagliazzo, R., Paturi, R.: On the complexity of k-sat. J. Comput. Syst. Sci. 62(2), 367–375 (2001)
Jünger, M., Mutzel, P.: 2-layer straightline crossing minimization: performance of exact and heuristic algorithms. JGAA 1(1), 1–25 (1997)
Knauer, K., Ueckerdt, T.: Three ways to cover a graph. DM 339(2), 745–758 (2016)
Kobayashi, Y., Tamaki, H.: A fast and simple subexponential fixed parameter algorithm for one-sided crossing minimization. In: Epstein, L., Ferragina, P. (eds.) ESA 2012. LNCS, vol. 7501, pp. 683–694. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33090-2_59
Liebers, A.: Planarizing graphs - a survey and annotated bibliography. JGAA 5(1), 1–74 (2001)
Muñoz, X., Unger, W., Vrt’o, I.: One sided crossing minimization is NP-hard for sparse graphs. In: Mutzel, P., Jünger, M., Leipert, S. (eds.) GD 2001. LNCS, vol. 2265, pp. 115–123. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45848-4_10
Nagamochi, H.: An improved approximation to the one-sided bilayer drawing. In: Liotta, G. (ed.) GD 2003. LNCS, vol. 2912, pp. 406–418. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24595-7_38
Nickel, S., Nöllenburg, M., Sorge, M., Villedieu, A., Wu, H.Y., Wulms, J.: Planarizing graphs and their drawings by vertex splitting (2022). https://doi.org/10.48550/ARXIV.2202.12293, https://arxiv.org/abs/2202.12293
Paul, H., Börner, K., Herr II, B.W., Quardokus, E.M.: ASCT+B REPORTER (2022). https://hubmapconsortium.github.io/ccf-asct-reporter/. Accessed 06 June 2022
Pavlopoulos, G.A., Kontou, P.I., Pavlopoulou, A., Bouyioukos, C., Markou, E., Bagos, P.G.: Bipartite graphs in systems biology and medicine: a survey of methods and applications. GigaScience 7(4), giy014 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ahmed, R., Kobourov, S., Kryven, M. (2023). An FPT Algorithm for Bipartite Vertex Splitting. In: Angelini, P., von Hanxleden, R. (eds) Graph Drawing and Network Visualization. GD 2022. Lecture Notes in Computer Science, vol 13764. Springer, Cham. https://doi.org/10.1007/978-3-031-22203-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-031-22203-0_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-22202-3
Online ISBN: 978-3-031-22203-0
eBook Packages: Computer ScienceComputer Science (R0)