Next Article in Journal
Uncertain Sensor–Weapon–Target Allocation Problem Based on Uncertainty Theory
Next Article in Special Issue
GCAT-GTCU: Graph-Connected Attention Network and Gate Than Change Unit for Aspect-Level Sentiment Analysis
Previous Article in Journal
Guest Editorial: Special Issue “Axisymmetry in Mechanical Engineering”
Previous Article in Special Issue
Typical Structure of Oriented Graphs and Digraphs with Forbidden Blow-Up Transitive Triangles
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Calculating Crossing Numbers of Graphs Using Their Redrawings

Faculty of Electrical Engineering and Informatics, Technical University of Košice, 042 00 Košice, Slovakia
Symmetry 2023, 15(1), 175; https://doi.org/10.3390/sym15010175
Submission received: 9 November 2022 / Revised: 18 December 2022 / Accepted: 4 January 2023 / Published: 7 January 2023
(This article belongs to the Special Issue Graph Algorithms and Graph Theory II)

Abstract

:
The main aim of the paper is to give the crossing number of the join product G * + D n . The connected graph G * of order six is isomorphic to K 3 , 3 \ e obtained by removing one edge from the complete bipartite graph K 3 , 3 , and the discrete graph D n consists of n isolated vertices. The proofs were carried out with the help of several possible redrawings of the graph G * with respect to its many symmetries.

1. Introduction

The problem of reducing the number of crossings is interesting in many areas. One of the most popular areas is the implementation of the VLSI layout, which has revolutionized circuit design and has had a strong impact on parallel computing. Crossing numbers were also studied to improve the readability of hierarchical structures and automated graphs. The visualized graph should be easy to read and understand. For the sake of the clarity of the graphical drawings, the reduction in crossings is likely the most important. Therefore, the investigation on the crossing number of simple graphs is a classical but very difficult problem. Garey and Johnson [1] proved that determining cr ( G ) is an NP-complete problem.
Let G be a simple graph. We use V ( G ) and E ( G ) to denote the vertex set and the edge set of G, respectively. A drawing of G is a representation of G in the plane such that its vertices are represented by distinct points and its edges by simple continuous arcs connecting the corresponding point pairs. The crossing number cr ( G ) is the smallest number of crossings of edge crossings in any drawing of G in the plane. It is easy to see that a drawing with a minimum number of crossings (an optimal drawing) is always a good drawing, meaning that no edge crosses itself, no two edges cross more than once, and no two edges are incident with the same vertex cross. Let D be a good drawing of the graph G. We denote the number of crossings in D by cr D ( G ) . Let G i and G j be edge-disjoint subgraphs of G. We denote the number of crossings between edges of G i and edges of G j by cr D ( G i , G j ) , and the number of crossings among edges of G i in D by cr D ( G i ) . It is easy to see that. for any three mutually edge-disjoint subgraphs G i , G j , and G k of G, the following equations hold:
cr D ( G i G j ) = cr D ( G i ) + cr D ( G j ) + cr D ( G i , G j ) ,
cr D ( G i G j , G k ) = cr D ( G i , G k ) + cr D ( G j , G k ) .
It was Turán [2] who introduced the concept of crossing numbers. In his Brick Factory Problem, he investigated the minimal number of crossings among edges of the complete bipartite graphs K m , n . Kleitman in [3] showed that
cr ( K m , n ) = m 2 m 1 2 n 2 n 1 2 , if min { m , n } 6 .
For an overview of several exact values of crossing numbers for some families of graphs, see Clancy [4]. The main aim of this survey was to compile all such published results for crossing numbers together with references. The join product of two graphs G i and G j , denoted G i + G j , is obtained from vertex-disjoint copies of G i and G j by adding all edges between V ( G i ) and V ( G j ) . For | V ( G i ) | = m and | V ( G j ) | = n , the edge set of G i + G j is the union of the disjoint edge sets of the graphs G i , G j , and the complete bipartite graph K m , n . Let D n denote the discrete graph (sometimes called empty graph) on n vertices, and let K n be the complete graph on n vertices. The exact values for crossing numbers of G + D n for all graphs G of an order of at most four are given by Klešč and Schrötter [5], and also for some connected graphs G of order five and six [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29]. The main aim of this paper is to extend the known results concerning this topic to new connected graphs. Note also that cr ( G + D n ) are known only for some disconnected graphs G; see [30,31,32].
Recently, the crossing numbers of complete multipartite graphs have attracted much attention. Note that the crossing numbers of complete tripartite graphs K k , l , n were determined for all cases where k + l 6 , except for K 3 , 3 , n . In the case of complete fourpartite graphs, K k , l , m , n for all cases where k + l + m 6 , except for K 1 , 2 , 3 , n . Ho [33] already conjectured that the crossing number of K 3 , 3 , n is equal to 6 n 2 n 1 2 + 2 n + 2 n 2 + 1 for all n 1 . He also showed that cr ( K 3 , 3 , n ) can be determined if the equality (1) holds for m = 7 and n 20 . To date, this is not known to be true, and so the crossing number of K 3 , 3 , n can only be given as a conjecture. Much attention began to focus on the crossing number of G \ e obtained by removing one edge e from graph G. Conjectures about the crossing numbers of K n \ e and K m , n \ e are established, but not yet for tripartite graphs without one edge. Recently, the crossing numbers of K 1 , 4 , n \ e and K 2 , 3 , n \ e have been well-known by Su [34], and he also stated a question considering the exact values of the crossing numbers of K 1 , 5 , n \ e , K 2 , 4 , n \ e and K 3 , 3 , n \ e . A partial answer to his question is offered in this paper for the last mentioned graph K 3 , 3 , n \ e .
Let G * = ( V ( G * ) , E ( G * ) ) be the connected graph of order six isomorphic to K 3 , 3 \ e obtained by removing one edge from the complete bipartite graph K 3 , 3 , and also let V ( G * ) = { v 1 , v 2 , , v 6 } . Many possible drawings of the graph G * are partially solved using several redrawings of G * in Figure 1, Figure 2 and Figure 3, thanks to which, it is not necessary to deal with the considered drawings of G * in any optimal drawing of G * + D n . The crossing number of G * + D n equal to 6 n 2 n 1 2 + n + 2 n 2 is determined in Theorem 1 with proof that is strongly based on properties of cyclic permutations. Certain parts of the statements could also be simplified with the help of software COGA by Berežný and Buša [35], generating all cyclic permutations of six elements. In the statements of the paper, the term “region” is also used for nonplanar drawings. In this case, crossings are considered to be vertices of the “map”. Two regions are neighboring if their boundaries have a common edge or a segment of an edge.

2. Cyclic Permutations and Possible Drawings of G *

The join product G * + D n (sometimes used notation G * + n K 1 ) consists of one copy of the graph G * and n vertices t 1 , t 2 , , t n , and any vertex t i is adjacent to every vertex of the graph G * . Let T i , 1 i n , denote the subgraph induced by the six edges incident with the vertex t i . Thus, T 1 T 2 T n is isomorphic to the complete bipartite graph K 6 , n , which yields that
G * + D n = G * i = 1 n T i .
We consider a good drawing D of G * + D n . The rotation rot D ( t i ) of a vertex t i in the drawing D as the cyclic permutation that records the (cyclic) counter-clockwise order in which the edges leave t i was defined by Hernández-Vélez et al. [36] or Woodall [37]. We use the notation ( 123456 ) if the counter-clockwise order of the edges incident with the vertex t i is t i v 1 , t i v 2 , t i v 3 , t i v 4 , t i v 5 , and t i v 6 . We have to emphasize that rotation is a cyclic permutation. Let rot ¯ D ( t i ) denote the inverse permutation of rot D ( t i ) . In the given drawing D, it is highly desirable to separate n subgraphs T i into four mutually disjoint subsets depending on how many times edges of G * could be crossed by T i in D. Let us denote by R D , S D , and T D the set of subgraphs for which cr D ( G * , T i ) = 0 , cr D ( G * , T i ) = 1 , and cr D ( G * , T i ) = 2 , respectively. Edges of G * are crossed by each remaining subgraph T i at least three times in D. Moreover, let F i denote the subgraph G * T i for T i R D S D , where i { 1 , , n } .
First, note that if D is a good drawing of G * + D n with the empty set R D S D , then i = 1 n cr D ( G * , T i ) 2 n implies at least 6 n 2 n 1 2 + n + 2 n 2 crossings in D provided by
cr D ( G * + D n ) = cr D ( K 6 , n ) + cr D ( G * , K 6 , n ) + cr D ( G * )
6 n 2 n 1 2 + 2 n 6 n 2 n 1 2 + n + 2 n 2 .
Taking into account the expected result of the main Theorem 1, this leads to a consideration of the nonempty set R D S D in all good drawings of G * + D n .
Let us discuss all possible drawings of G * induced by D with the degree sequence ( 2 , 2 , 3 , 3 , 3 , 3 ) . The graph G * contains a cycle C 4 induced on four vertices of degree 3 as a subgraph (for brevity, we write C 4 ( G * ) ), and let v 1 , v 2 , v 3 , and v 4 be their vertex notation in the appropriate order of the cycle C 4 ( G * ) . In the rest of the paper, suppose also that deg ( v 5 ) = 2 and deg ( v 6 ) = 2 for v 1 v 5 , v 3 v 5 E ( G * ) and v 2 v 6 , v 4 v 6 E ( G * ) . Note that edges of C 4 ( G * ) can cross each other in some discussed good subdrawings D ( G * ) .
In Figure 1, we can redraw two crossings on four edges incident with different vertices of C 4 ( G * ) to obtain a new drawing of G * induced by D (with the vertex notation in a different order for both bottom drawings) with fewer edge crossings. Based on this argument, these four edges of G * do not cross each other in such a way in any optimal drawing of G * + D n . Both redrawings of the graph G * in Figure 1 give almost no constraints on the behavior of the four remaining edges of the cycle C 4 ( G * ) , and so many subdrawings of G * induced by D are eliminated. Clearly, we also have other possibilities for some special redrawings of G * presented in Figure 2 and Figure 3.
Taking into account the assumption that it does not matter which of the regions in D ( G * ) are unbounded in our considerations, we will deal with the subdrawings of G * given in Figure 4 and Figure 5. Since the graph G * consists of the edge disjoint subgraphs C 4 ( G * ) and 2 P 3 , we only need to consider possibilities of crossings between subdrawings of subgraphs C 4 ( G * ) and 2 P 3 (the edges of both paths P 3 can cross themselves in the considered subdrawings). If we consider a good subdrawing of G * in which edges of C 4 ( G * ) cross each other, then edges of 2 P 3 do not cross edges of C 4 ( G * ) only in one case, which is shown in Figure 4a. If edges of C 4 ( G * ) are crossed at least once by some edge of 2 P 3 , then there are four next possibilities due to all previous restrictions, and they are shown in Figure 4b–e. Similarly, using all previous observations, if edges of C 4 ( G * ) do not cross each other, then we obtain seven other possible nonplanar subdrawings of G * induced by D in Figure 5.
Lemma 1.
For n 1 , let D be a good drawing of G * + D n . If the vertices v 5 and v 6 are placed in different regions of the good subdrawing D ( C 4 ( G * ) ) except for the drawing of G * given in Figure 4b, then there are at least 6 n 2 n 1 2 + n + 2 n 2 crossings in D.
Proof. 
The set R D must be empty assuming that vertices v 5 and v 6 are located in different regions of D ( C 4 ( G * ) ) . For easier reading, let s = S D and t = T D . Now, we discuss two cases.
  • Let us first suppose that 2 s + t 2 n 2 ; that is, 2 s t 2 n 2 . The number of crossings in D satisfies
    cr D ( G * + D n ) = cr D ( K 6 , n ) + cr D ( K 6 , n , G * ) + cr D ( G * ) 6 n 2 n 1 2 + 1 s + 2 t + 3 ( n s t )
    = 6 n 2 n 1 2 + 3 n 2 s t 6 n 2 n 1 2 + 3 n 2 n 2 6 n 2 n 1 2 + n + 2 n 2 .
  • Now, let 2 s + t > 2 n 2 , which yields that 2 s + t 2 n 2 + 1 and also that s 1 . By fixing the subgraph G * T i for some T i S D , we have
    cr D ( G * + D n ) = cr D K 6 , n 1 + cr D ( K 6 , n 1 , G * T i ) + cr D ( G * T i )
    6 n 1 2 n 2 2 + 6 ( s 1 ) + 5 t + 4 ( n s t ) + 1 = 6 n 1 2 n 2 2 + 4 n + 2 s + t 5
    6 n 1 2 n 2 2 + 4 n + 2 n 2 + 1 5 6 n 2 n 1 2 + n + 2 n 2 ,
    where we can verify over all possible regions of D ( G * T i ) that the edges of G * T i are crossed at least six, five, and four times by each subgraph T j S D , j i , T k T D , and T l S D T D , respectively.
The results of both subcases complete the proof of Lemma 1. □
We have to emphasize that, in Lemma 1, the assumption except for the drawing of G * given in Figure 4b is inevitable. In this case, we cannot use the idea presented in the second part of the proof mentioned above because there is a possibility of an existence of subgraph T l S D T D with cr D ( G * T i , T l ) = 3 for some fixed subgraph T i S D with rot D ( t i ) = ( 153462 ) . This subcase will be solved by fixing the subgraph T i T j in the proof of Theorem 1.
Since the same argument with at least five crossings on edges between two different subgraphs from the nonempty set S D can also be applied for other drawings of G * induced by D, the proofs of Corollaries 1 and 2 can be omitted.
Corollary 1.
For n 1 , let D be a good drawing of G * + D n such that both vertices v 5 and v 6 are placed in the same region of D ( C 4 ( G * ) ) . If exactly one of them is not contained in the region of D ( G * ) with five vertices of G * on its boundary, then there are at least 6 n 2 n 1 2 + n + 2 n 2 crossings in D.
Corollary 2.
For n 1 , let D be a good drawing of G * + D n such that both vertices v 5 and v 6 are contained in the region of D ( G * ) with five vertices of G * on its boundary. If there are at most two possibilities of crossing one edge of G * in an effort to obtain a subdrawing G * T i for some subgraph T i S D , then there are at least 6 n 2 n 1 2 + n + 2 n 2 crossings in D.
Assume that there is a good drawing D of the join product G * + D n with D ( G * ) = 1 only among edges of the cycle C 4 ( G * ) . For this purpose, let us consider the nonplanar drawing of the graph G * as shown in Figure 4a. For subgraphs T i S D , we establish all possible rotations rot D ( t i ) that could appear in the considered drawing D. There is only one subdrawing of F i \ { v 1 , v 2 , v 3 , v 4 } , and, therefore, we have just four possibilities of obtaining a subdrawing of F i depending on which of the edges v 3 v 5 , v 1 v 5 , v 2 v 6 , and v 4 v 6 is crossed by edge t i v 1 , t i v 3 , t i v 4 , and t i v 2 , respectively. These four possibilities under our consideration can be denoted by A p for p = 1 , 2 , 3 , 4 . We will call them the configurations of corresponding subdrawings of the subgraph F i in D and suppose that their drawings are as shown in Figure 6 because it does not matter which of the regions in D ( F i ) is unbounded in our considerations.
In the rest of the paper, we present a cyclic permutation by the permutation with 1 in the first position. Thus, the configurations A 1 , A 2 , A 3 , and A 4 are represented by the cyclic permutations ( 134625 ) , ( 135462 ) , ( 153642 ) , and ( 153426 ) , respectively. Clearly, in a fixed drawing of the graph G * + D n , some configurations from M = { A 1 , A 2 , A 3 , A 4 } need not appear. We denote by M D the set of all configurations that exist in the drawing D belonging to the set M .
Our aim is to establish a minimum number of edge crossings between two different subgraphs F i and F j using the idea of mentioned configurations. For two configurations X and Y from M D (not necessarily different), let cr D ( X , Y ) denote the number of edge crossings in D ( T i T j ) for two different subgraphs T i , T j S D such that F i , F j have configurations X , Y , respectively. We denote by cr ( X , Y ) the minimum value of cr D ( X , Y ) over all pairs X and Y from M among all good drawings D of the join product G * + D n . In the following, our goal is to determine the lower bounds of cr ( X , Y ) for all possible pairs X , Y M . In particular, the configurations A 1 and A 2 are represented by the cyclic permutations ( 134625 ) and ( 135462 ) , respectively. Each subgraph T j with conf ( F j ) = A 2 crosses edges of each T i with conf ( F i ) = A 1 at least four times provided that the minimum number of interchanges of adjacent elements of ( 134625 ) required to produce ( 135462 ) ¯ = ( 126453 ) is four, i.e., cr ( A 1 , A 2 ) 4 . For more details, see also Woodall [37]. The same reason gives cr ( A 1 , A 3 ) 4 , cr ( A 1 , A 4 ) 4 , cr ( A 2 , A 3 ) 4 , cr ( A 2 , A 4 ) 4 , and cr ( A 3 , A 4 ) 4 . Clearly, also cr ( A p , A p ) 6 for any p = 1 , 2 , 3 , 4 . Moreover, by a discussion of possible subdrawings, we can verify that cr ( A 1 , A 4 ) 5 and cr ( A 2 , A 3 ) 5 .
Now, assume that the nonplanar subdrawing of the graph G * induced by a drawing D of G * + D n are as shown in Figure 5a. For T i S D , again, we only have four possibilities of obtaining a subdrawing of F i depending on which of the edges v 4 v 6 , v 1 v 2 , v 2 v 6 , or v 1 v 4 is crossed by the edge t i v 3 . These four ways under our consideration are denoted by B p for p = 1 , 2 , 3 , 4 , and we assume that their drawings are as shown in Figure 7. Thus, the configurations B 1 , B 2 , B 3 , and B 4 are described by the cyclic permutations ( 143625 ) , ( 146235 ) , ( 146325 ) , and ( 134625 ) , respectively. Because some configurations from N = { B 1 , B 2 , B 3 , B 4 } may not appear in a fixed drawing of G * + D n , we denote by N D the subset of N consisting of all configurations that exist in the drawing D.
The verification of the lower bounds for the number of crossings between two configurations from N proceeds in the same way as above. Thus, all lower bounds for the number of crossings between two configurations from M as well as from N are summarized in the common symmetric Table 1.

3. The Crossing Number of G * + D n

In the following, we are able to compute the exact values of crossing numbers of join products of the graph G * with both discrete graphs D 1 and D 2 using the algorithm located on the website http://crossings.uos.de/ (accessed on 26 May 2022). This algorithm can find the crossing numbers of small undirected graphs. It uses an ILP formulation, based on Kuratowski subgraphs, and solves it via branch-and-cut-and-price. The system also generates verifiable formal proofs, as described by Chimani and Wiedera [38].
Lemma 2.
cr ( G * + D 1 ) = 1 and cr ( G * + D 2 ) = 4 .
Theorem 1.
cr ( G * + D n ) = 6 n 2 n 1 2 + n + 2 n 2 for n 1 .
Proof. 
In Figure 8, the edges of K 6 , n cross each other
6 n 2 2 + 6 n 2 2 = 6 n 2 n 1 2
times, each subgraph T i , i = 1 , , n 1 2 on the left side crosses edges of G * exactly four times, and each subgraph T i , i = n + 1 2 , , n on the right side does not cross edges of G * . The edges of G * cross each other once, and so 6 n 2 n 1 2 + n + 2 n 2 crossings appear among edges of the graph G * + D n in this drawing for n odd. In Figure 9, we also obtain the drawing of G * + D n with the same number of crossings because each subgraph T i crosses edges of G * twice. Lemma 2 confirms the result for n = 1 and n = 2 . To prove the reverse inequality by induction on n, suppose now that there is a good drawing D of G * + D n with
cr D ( G * + D n ) < 6 n 2 n 1 2 + n + 2 n 2 for some n 3 ,
and that
cr ( G * + D m ) = 6 m 2 m 1 2 + m + 2 m 2 for any positive integer m < n .
For easier reading, if r   =   | R D | and s   =   | S D | , then the assumption (3) together with cr D ( K 6 , n ) 6 n 2 n 1 2 using (1) imply the following relation with respect to the edge crossings of G * in D:
cr D ( G * ) + T i R D S D cr D ( G * , T i ) + T i R D S D cr D ( G * , T i ) < n + 2 n 2 ,
i.e.,
cr D ( G * ) + 0 r + 1 s + 2 ( n r s ) < n + 2 n 2 .
The obtained inequality (5) forces r + s 1 , and so there is at least one subgraph T i by which edges of G * are crossed at most once in D. Now, we will show that a contradiction with the assumption (3) can be obtained in all following subcases:
Case 1: cr D ( G * ) = 1 . Let us first consider the subdrawing of G * induced by D given in Figure 4a. Since the set R D S D is nonempty, two possible subcases may occur.
(a)
Let R D be the nonempty set; that is, there is a subgraph T i R D . The reader can easily see that the subgraph F i = G * T i is uniquely represented by rot D ( t i ) = ( 153462 ) . By fixing the subgraph G * T i , if edges of G * T i are crossed by any other subgraph T j at least five times, we obtain
cr D ( G * + D n ) = cr D ( K 5 , n 1 ) + cr D ( K 5 , n 1 , G * T i ) + cr D ( G * T i )
6 n 1 2 n 2 2 + 5 ( n 1 ) + 1 6 n 2 n 1 2 + n + 2 n 2 .
If there is some subgraph T j with cr D ( G * T i , T j ) < 5 , then the vertex t j cannot be placed in the outer region of subdrawing D ( G * ) with all six vertices of G * on its boundary, and cr D ( G * T i , T j ) = 4 enforces cr D ( T i , T j ) = 0 . Thus, by fixing the subgraph T i T j , we have
cr D ( G * + D n 2 ) + cr D ( T i T j ) + cr D ( K 6 , n 2 , T i T j ) + cr D ( G * , T i T j )
6 n 2 2 n 3 2 + n 2 + 2 n 2 2 + 6 ( n 2 ) + 4 = 6 n 2 n 1 2 + n + 2 n 2 ,
where edges of T i T j are crossed by each other subgraph T k at least six times using cr D ( K 6 , 3 ) 6 again due to (1). Both considered subcases contradict the assumption (3) in D.
(b)
Let R D be the empty set; that is, there is a subgraph T i S D . As s 1 , we deal with possible configurations A p from the nonempty set M D . For any p { 1 , 2 , 3 , 4 } , if there is a subgraph T j , j i such that cr D ( G * T i , T j ) < 5 and cr D ( T i , T j ) = 0 with conf ( F i ) = A p , the same fixation of T i T j like in the previous case also confirms a contradiction with (3) in D.
Now, let us turn to the possibility of obtaining the minimum value 4 in Table 1; that is, cr ( A p , A q ) = 4 could be achieved in D for two different A p , A q M D . In the rest of the paper, assume that there are two different subgraphs T i , T j S D such that F i and F j have mentioned configurations A p and A q , respectively. Then, cr D ( T i T j , T k ) 9 holds for any T k S D with k i , j by summing two corresponding values in Table 1. We can easily verify in six possible regions of D ( G * T i ) and D ( G * T j ) that cr D ( G * T i , T k ) 2 + 3 = 5 and cr D ( G * T j , T k ) 2 + 3 = 5 are fulfilling for any T k T D , which yields that cr D ( G * T i T j , T k ) 2 + 3 + 3 = 8 trivially holds for any such subgraph T k . Moreover, each of n s t subgraphs T k S D T D of K 6 , n 2 crosses G * T i T j at least six times. As cr D ( G * T i T j ) 7 , by fixing the subgraph G * T i T j , we have
cr D ( G * + D n ) 6 n 2 2 n 3 2 + 10 ( s 2 ) + 8 t + 6 ( n s t ) + 7
6 n 2 2 n 3 2 + 6 n + 2 2 n 2 + 1 13 6 n 2 n 1 2 + n + 2 n 2 ,
where the modified inequality (5), for 1 s + 2 t + 3 ( n r s t ) < n + 2 n 2 , forces 2 s + t > 2 n 2 if r = 0 and t   =   | T D | .
The obtained number of crossings contradicts the assumption (3). Finally, let us consider that cr ( A p , A q ) 5 holds for all A p , A q M D with p , q { 1 , 2 , 3 , 4 } . By fixing the subgraph G * T i for some T i S D , we have
cr D ( G * + D n ) 6 n 1 2 n 2 2 + 6 ( s 1 ) + 5 t + 4 ( n s t ) + 2
6 n 1 2 n 2 2 + 4 n + 2 n 2 + 1 4 6 n 2 n 1 2 + n + 2 n 2 .
This again confirms a contradiction with (3) in D.
If we assume the subdrawing of the graph G * induced by D given in Figure 5a, the set R D is empty, which is caused by at most five vertices of G * on the boundary of each region in D ( G * ) . As the set S D must be nonempty, the proof can proceed similarly for possible configurations B p from the nonempty set N D like in the previous subcase for configurations A p M D .
Case 2: cr D ( G * ) 2 . For all such subdrawings of the graph G * in Figure 4 and Figure 5, if all six vertices of G * are included in one region of D ( G * ) and the set R D is nonempty, then the same technique like in the first part of Case 1 can be applied. To finish the proof of this case, let R D be the empty set. Let any subgraph T i S D be crossed at least once by each other subgraph T j , because otherwise fixing T i T j results in at least 6 n 2 n 1 2 + n + 2 n 2 crossings in D. This assumption solves the problem of the drawing of G * given in Figure 4b described above after the proof of Lemma 1. Finally, for all remaining subdrawings of G * induced by D with any T i S D , we can verify over all possible regions of D ( G * T i ) that the edges of G * T i are crossed at least five times by each other subgraph T j , j i . Again, by fixing the subgraph G * T i , we have
cr D ( G * + D n ) 6 n 1 2 n 2 2 + 5 ( n 1 ) + 2 6 n 2 n 1 2 + n + 2 n 2 .
We have shown that there are at least 6 n 2 n 1 2 + n + 2 n 2 crossings in each good drawing D of G * + D n , and this completes the proof of Theorem 1. □

4. Conclusions

We expect that similar forms of discussions can be used to estimate unknown values of the crossing numbers of other graphs on six vertices with a much larger number of edges in join products with discrete graphs, and also with paths and cycles. The result of K 3 , 3 \ e + D n could also be useful for confirming Ho’s conjecture [33] mentioned in Section 1 for the complete tripartite graph K 3 , 3 , n .

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The author is indebted to the referees for useful comments.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Garey, M.R.; Johnson, D.S. Crossing number is NP-complete. SIAM J. Algebraic. Discret. Methods 1983, 4, 312–316. [Google Scholar] [CrossRef]
  2. Turán, P. A note of welcome. J. Graph Theory 1977, 1, 7–9. [Google Scholar] [CrossRef]
  3. Kleitman, D.J. The crossing number of K5,n. J. Comb. Theory 1970, 9, 315–323. [Google Scholar] [CrossRef] [Green Version]
  4. Clancy, K.; Haythorpe, M.; Newcombe, A. A survey of graphs with known or bounded crossing numbers. Australas. J. Comb. 2020, 78, 209–296. [Google Scholar]
  5. Klešč, M.; Schrötter, Š. The crossing numbers of join products of paths with graphs of order four. Discuss. Math. Graph Theory 2011, 31, 321–331. [Google Scholar] [CrossRef]
  6. Asano, K. The crossing number of K1,3,n and K2,3,n. J. Graph Theory 1986, 10, 1–8. [Google Scholar] [CrossRef]
  7. Berežný, Š.; Staš, M. On the crossing number of join of the wheel on six vertices with the discrete graph. Carpathian J. Math. 2020, 36, 381–390. [Google Scholar] [CrossRef]
  8. Ding, Z.; Huang, Y. The crossing numbers of join of some graphs with n isolated vertices. Discuss. Math. Graph Theory 2018, 38, 899–909. [Google Scholar] [CrossRef]
  9. Ho, P.T. The crossing number of K1,m,n. Discret. Math. 2008, 308, 5996–6002. [Google Scholar] [CrossRef] [Green Version]
  10. Ho, P.T. The crossing number of K2,2,2,n. Far East J. Appl. Math. 2008, 30, 43–69. [Google Scholar]
  11. Ho, P.T. On the crossing number of some complete multipartite graphs. Util. Math. 2009, 79, 125–143. [Google Scholar]
  12. Ho, P.T. The crossing number of K1,1,3,n. Ars Comb. 2011, 99, 461–471. [Google Scholar]
  13. Ho, P.T. The Crossing Number of K2,4,n. Ars Comb. 2013, 109, 527–537. [Google Scholar]
  14. Huang, Y.; Zhao, T. The crossing number of K1,4,n. Discret. Math. 2008, 308, 1634–1638. [Google Scholar] [CrossRef] [Green Version]
  15. Klešč, M. On the crossing numbers of products of stars and graphs of order five. Graphs Comb. 2001, 17, 289–294. [Google Scholar] [CrossRef]
  16. Klešč, M. On the Crossing Numbers of Cartesian Products of Stars and Graphs on Five Vertices. In Combinatorial Algorithms; LNCS; Springer: Berlin/Heidelberg, Germany, 2009; Volume 5874, pp. 324–333. [Google Scholar]
  17. Klešč, M. The crossing numbers of join of the special graph on six vertices with path and cycle. Discret. Math. 2010, 310, 1475–1481. [Google Scholar] [CrossRef] [Green Version]
  18. Klešč, M.; Draženská, E. The crossing numbers of products of the graph K2,2,2 with stars. Carpathian J. Math. 2008, 24, 327–331. [Google Scholar]
  19. Klešč, M.; Kravecová, D.; Petrillová, J. The crossing numbers of join of special graphs. Electr. Eng. Inform. 2011, 2, 522–527. [Google Scholar]
  20. Klešč, M.; Schrötter, Š. The crossing numbers of join of paths and cycles with two graphs of order five. In Lecture Notes in Computer Science: Mathematical Modeling and Computational Science; Springer: Berlin/Heidelberg, Germany, 2012; Volume 7125, pp. 160–167. [Google Scholar]
  21. Klešč, M.; Schrötter, Š. On the crossing numbers of cartesian products of stars and graphs of order six. Discuss. Math. Graph Theory 2013, 33, 583–597. [Google Scholar] [CrossRef]
  22. Mei, H.; Huang, Y. The Crossing Number of K1,5,n. Int. J. Math. Combin. 2007, 1, 33–44. [Google Scholar]
  23. Ouyang, Z.; Wang, J.; Huang, Y. The crossing numbers of join products of paths with graphs of order four. Discuss. Math. Graph Theory 2018, 38, 351–370. [Google Scholar]
  24. Staš, M. On the crossing number of join of the wheel on five vertices with the discrete graph. Bull. Aust. Math. Soc. 2020, 101, 353–361. [Google Scholar] [CrossRef]
  25. Staš, M. On the Crossing Numbers of the Join Products of Six Graphs of Order Six with Paths and Cycles. Symmetry 2021, 13, 2441. [Google Scholar] [CrossRef]
  26. Staš, M. On the Crossing Numbers of the Joining of a Specific Graph on Six Vertices with the Discrete Graph. Symmetry 2020, 12, 135. [Google Scholar] [CrossRef] [Green Version]
  27. Su, Z.; Klešč, M. Crossing Numbers of K1,1,4,n and K1,1,4T. Ars Comb. 2020, 148, 137–148. [Google Scholar]
  28. Wang, Y.; Huang, Y. The crossing number of Cartesian product of 5-wheel with any tree. Discuss. Math. Graph Theory 2021, 41, 183–197. [Google Scholar]
  29. Wang, J.; Zhang, L.; Huang, Y. On the crossing number of the Cartesian product of a 6-vertex graph with Sn. Ars Combin. 2013, 109, 257–266. [Google Scholar]
  30. Staš, M. On the crossing numbers of join products of five graphs of order six with the discrete graph. Opusc. Math. 2020, 40, 383–397. [Google Scholar] [CrossRef]
  31. Klešč, M.; Staš, M.; Petrillová, J. The crossing numbers of join of special disconnected graph on five vertices with discrete graphs. Graphs Comb. 2022, 38, 35. [Google Scholar] [CrossRef]
  32. Klešč, M.; Staš, M. Cyclic permutations in determining crossing numbers. Discuss. Math. Graph Theory 2022, 42, 1163–1183. [Google Scholar] [CrossRef]
  33. Ho, P.T. The Crossing Number of K1,5,n, K2,4,n and K3,3,n. Int. J. Pure Appl. Math. 2004, 17, 491–515. [Google Scholar]
  34. Su, Z. Calculating Crossing Numbers of Graphs Using Combinatorial Principles. Math. Probl. Eng. 2022, 2022, 4550953. [Google Scholar] [CrossRef]
  35. Berežný, Š.; Buša, J., Jr. Algorithm of the Cyclic-Order Graph Program (Implementation and Usage). J. Math. Model. Geom. 2019, 7, 1–8. [Google Scholar] [CrossRef]
  36. Hernández-Vélez, C.; Medina, C.; Salazar, G. The optimal drawing of K5,n. Electron. J. Comb. 2014, 21, 29. [Google Scholar]
  37. Woodall, D.R. Cyclic-order graphs and Zarankiewicz’s crossing number conjecture. J. Graph Theory 1993, 17, 657–671. [Google Scholar] [CrossRef]
  38. Chimani, M.; Wiedera, T. An ILP-based proof system for the crossing number problem. In Proceedings of the 24th Annual European Symposium on Algorithms (ESA 2016), Aarhus, Denmark, 22–24 August 2016; Volume 29, pp. 1–13. [Google Scholar]
Figure 1. Elimination of two crossings on edges of G * with vertex notation in a different order for both bottom drawings. (a): the subdrawing of G * with two crossings on four edges v 1 v 5 , v 3 v 5 , v 2 v 6 , v 4 v 6 ; (b): the subdrawing of G * with four crossings on four edges v 1 v 5 , v 3 v 5 , v 2 v 6 , v 4 v 6 .
Figure 1. Elimination of two crossings on edges of G * with vertex notation in a different order for both bottom drawings. (a): the subdrawing of G * with two crossings on four edges v 1 v 5 , v 3 v 5 , v 2 v 6 , v 4 v 6 ; (b): the subdrawing of G * with four crossings on four edges v 1 v 5 , v 3 v 5 , v 2 v 6 , v 4 v 6 .
Symmetry 15 00175 g001
Figure 2. Elimination of two crossings on edges of G * with vertex notation in a different order for both bottom drawings, after which, edges of C 4 ( G * ) do not cross each other. (a): elimination of one crossing on edges of C 4 ( G * ) with cr D ( G * ) = 7 ; (b): elimination of one crossing on edges of C 4 ( G * ) with cr D ( G * ) = 5 ; (c): elimination of two crossings on edges of C 4 ( G * ) .
Figure 2. Elimination of two crossings on edges of G * with vertex notation in a different order for both bottom drawings, after which, edges of C 4 ( G * ) do not cross each other. (a): elimination of one crossing on edges of C 4 ( G * ) with cr D ( G * ) = 7 ; (b): elimination of one crossing on edges of C 4 ( G * ) with cr D ( G * ) = 5 ; (c): elimination of two crossings on edges of C 4 ( G * ) .
Symmetry 15 00175 g002
Figure 3. Elimination of two crossings on edges of G * with vertex notation in a different order for both bottom drawings, after which, edges of C 4 ( G * ) cross each other. (a): elimination of two crossings on edges of C 4 ( G * ) with cr D ( G * ) = 5 ; (b): elimination two crossings on edges of C 4 ( G * ) with cr D ( G * ) = 3 .
Figure 3. Elimination of two crossings on edges of G * with vertex notation in a different order for both bottom drawings, after which, edges of C 4 ( G * ) cross each other. (a): elimination of two crossings on edges of C 4 ( G * ) with cr D ( G * ) = 5 ; (b): elimination two crossings on edges of C 4 ( G * ) with cr D ( G * ) = 3 .
Symmetry 15 00175 g003
Figure 4. Five considered nonplanar drawings of the graph G * in which edges of C 4 ( G * ) cross each other. (a): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 1 ; (b): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 2 ; (c): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (d): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 5 ; (e): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 .
Figure 4. Five considered nonplanar drawings of the graph G * in which edges of C 4 ( G * ) cross each other. (a): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 1 ; (b): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 2 ; (c): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (d): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 5 ; (e): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 .
Symmetry 15 00175 g004
Figure 5. Seven considered nonplanar drawings of the graph G * in which edges of C 4 ( G * ) do not cross each other. (a): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 1 ; (b): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (c): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (d): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (e): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (f): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (g): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 .
Figure 5. Seven considered nonplanar drawings of the graph G * in which edges of C 4 ( G * ) do not cross each other. (a): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 1 ; (b): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (c): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (d): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (e): the drawing of G * with all six vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (f): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 ; (g): the drawing of G * with five vertices of G * located in one region of D ( G * ) and cr D ( G * ) = 3 .
Symmetry 15 00175 g005
Figure 6. Drawings of four possible configurations A p of subgraph F i for T i S D .
Figure 6. Drawings of four possible configurations A p of subgraph F i for T i S D .
Symmetry 15 00175 g006
Figure 7. Drawings of four possible configurations B p of subgraph F i for T i S D .
Figure 7. Drawings of four possible configurations B p of subgraph F i for T i S D .
Symmetry 15 00175 g007
Figure 8. The good drawing of G * + D n with 6 n 2 n 1 2 + n + 2 n 2 crossings for n odd.
Figure 8. The good drawing of G * + D n with 6 n 2 n 1 2 + n + 2 n 2 crossings for n odd.
Symmetry 15 00175 g008
Figure 9. The good drawing of G * + D n with 6 n 2 n 1 2 + n + 2 n 2 crossings for n even.
Figure 9. The good drawing of G * + D n with 6 n 2 n 1 2 + n + 2 n 2 crossings for n even.
Symmetry 15 00175 g009
Table 1. The minimum number of crossings between T i and T j for two configurations X p and X q of subgraphs F i = G * T i and F j = G * T j , where X = A and X = B for configurations in M and N , respectively.
Table 1. The minimum number of crossings between T i and T j for two configurations X p and X q of subgraphs F i = G * T i and F j = G * T j , where X = A and X = B for configurations in M and N , respectively.
- X 1 X 2 X 3 X 4
X 1 6445
X 2 4654
X 3 4564
X 4 5446
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Staš, M. Calculating Crossing Numbers of Graphs Using Their Redrawings. Symmetry 2023, 15, 175. https://doi.org/10.3390/sym15010175

AMA Style

Staš M. Calculating Crossing Numbers of Graphs Using Their Redrawings. Symmetry. 2023; 15(1):175. https://doi.org/10.3390/sym15010175

Chicago/Turabian Style

Staš, Michal. 2023. "Calculating Crossing Numbers of Graphs Using Their Redrawings" Symmetry 15, no. 1: 175. https://doi.org/10.3390/sym15010175

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop