“…Next, we form the rim of the graph, c0 = {e18 [1],e19 [3],e20 [3],e21 [1],e22 [2],e29 [2],e36[3]}. A rule for determining the composition of disks after rotation.…”
Section: Rotation Of Colored Disksmentioning
confidence: 99%
“…For the colored cubic graph Н3 (Fig. 11), we select the following basis cycles: Next, form the rim, c0 = {e1 [3],e3 [1],e5 [2],e13 [3],e14 [2],e19 [3],e20 [1],e21 [3]…”
“…In [3], a theorem was proved on the existence of a colored disk passing through linked edges in a basis simple cycle of a planar correctly colored cubic graph H. Based on the proved theorem, it was shown that the four-color problem can be represented as its consequence. The introduction of a new operation -the rotation of a colored disk -made it possible to recolor the edges in a plane colored cubic graph and construct a visual coloring algorithm.…”
The article addresses algebraic methods for coloring arbitrary cubic graphs. The results are partially based on the corollaries of the Tait theorem. In the article, the authors propose using a fourth-order Klein group transform in order to formally describe the coloring of a cubic graph. The transition to graph coloring is done by coloring the edges of basis cycles. Overall, the mathematical framework for describing topological graph drawing is presented and formally described in the article. Based on the edge coloring, the formation of colored disks and the mathematical description of the operation of colored disks rotation with subsequent recoloring of the edges are considered. It is shown that the operation of rotating color disks can be represented as a ring sum (addition modulo 2) of cycles. In order to unambiguously describe the representation of colored disks by means of basis cycles, the authors introduce the concept of embeddability of colored disks. For clarity, the authors provide several examples illustrating the application of colored disks rotation operation to concrete cubic graphs. The relation between the system of induced cycles generated by the rotation of graph vertices and the coloring of 2-factors of the cubic graph is established in the present study. It is shown that the ring sum of all cycles included in the colored 2-factors of the graph is an empty set. The article also addresses the issues of coloring non-planar cubic graphs. The relationship between basis cycles and a rim in a non-planar cubic graph and a ring sum of colored 2-factors is explicitly shown in the article. In addition, the relationship between the colored vertex rotation of a plane cubic graph and the closed Heawood paths is revealed and formally described.
“…Next, we form the rim of the graph, c0 = {e18 [1],e19 [3],e20 [3],e21 [1],e22 [2],e29 [2],e36[3]}. A rule for determining the composition of disks after rotation.…”
Section: Rotation Of Colored Disksmentioning
confidence: 99%
“…For the colored cubic graph Н3 (Fig. 11), we select the following basis cycles: Next, form the rim, c0 = {e1 [3],e3 [1],e5 [2],e13 [3],e14 [2],e19 [3],e20 [1],e21 [3]…”
“…In [3], a theorem was proved on the existence of a colored disk passing through linked edges in a basis simple cycle of a planar correctly colored cubic graph H. Based on the proved theorem, it was shown that the four-color problem can be represented as its consequence. The introduction of a new operation -the rotation of a colored disk -made it possible to recolor the edges in a plane colored cubic graph and construct a visual coloring algorithm.…”
The article addresses algebraic methods for coloring arbitrary cubic graphs. The results are partially based on the corollaries of the Tait theorem. In the article, the authors propose using a fourth-order Klein group transform in order to formally describe the coloring of a cubic graph. The transition to graph coloring is done by coloring the edges of basis cycles. Overall, the mathematical framework for describing topological graph drawing is presented and formally described in the article. Based on the edge coloring, the formation of colored disks and the mathematical description of the operation of colored disks rotation with subsequent recoloring of the edges are considered. It is shown that the operation of rotating color disks can be represented as a ring sum (addition modulo 2) of cycles. In order to unambiguously describe the representation of colored disks by means of basis cycles, the authors introduce the concept of embeddability of colored disks. For clarity, the authors provide several examples illustrating the application of colored disks rotation operation to concrete cubic graphs. The relation between the system of induced cycles generated by the rotation of graph vertices and the coloring of 2-factors of the cubic graph is established in the present study. It is shown that the ring sum of all cycles included in the colored 2-factors of the graph is an empty set. The article also addresses the issues of coloring non-planar cubic graphs. The relationship between basis cycles and a rim in a non-planar cubic graph and a ring sum of colored 2-factors is explicitly shown in the article. In addition, the relationship between the colored vertex rotation of a plane cubic graph and the closed Heawood paths is revealed and formally described.
“…The graph theory is a fundamental part of the discrete mathematics [1], [2], [3]. Many real problems can be modeled with graphs [4], [5] and others can be described with graph structures [6]. Different problems, such as finding the shortest paths [7], schedule theory problems [8], and many others (including NP-hard problems) can be described with graphs and solved by the corresponding algorithms [9].…”
The basic concepts of using application development environments are presented in this paper. The way of using the GraphAnalyser application and its basic functions is also presented. All results of the experiments conducted are generated with this application. According to the experimental methodology, they fall into two groups: the first one includes actions related to the vertices of a graph, and the second one includes actions related to the edges and the dynamic allocation of memory to store the structure of a graph. The results show that when the number of vertices in a graph increases linearly, the time to add and remove these vertices also increases linearly. When the number of graph vertices increases linearly, the number of added vertices per millisecond remains relatively constant. However, the number of vertices removed for one millisecond for graphs containing between 10 and 70 million vertices varies. Similarly, when the number of graph edges increases linearly, the number of added edges per millisecond remains relatively constant. The summarized results of the two experiments show that the actions associated with adding, removing, and calculating the edge lengths are performed much more slowly than adding and removing the vertices.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.