“Cycle basis”的意思、由来-开放百科全书

In graph theory, a branch of mathematics, a cycle basis of an undirected graph is a set of simple cycles that forms a basis of the cycle space of the graph. That is, it is a minimal set of cycles that allows every Eulerian subgraph to be expressed as a symmetric difference of basis cycles.

A fundamental cycle basis may be formed from any spanning tree or spanning forest of the given graph, by selecting the cycles formed by the combination of a path in the tree and a single edge outside the tree. Alternatively, if the edges of the graph have positive weights, the minimum weight cycle basis may be constructed in polynomial time.

In planar graphs, the set of bounded cycles of an embedding of the graph forms a cycle basis. The minimum weight cycle basis of a planar graph corresponds to the Gomory–Hu tree of the dual graph.

Definitions

A spanning subgraph of a given graph G has the same set of vertices as G itself but, possibly, fewer edges. A graph G, or one of its subgraphs, is said to be Eulerian if each of its vertices has even degree (its number of incident edges). Every simple cycle in a graph is an Eulerian subgraph, but there may be others. The cycle space of a graph is the collection of its Eulerian subgraphs. It forms a vector space over the two-element finite field. The vector addition operation is the symmetric difference of two or more subgraphs, which forms another subgraph consisting of the edges that appear an odd number of times in the arguments to the symmetric difference operation.^[1]

A cycle basis is a basis of this vector space in which each basis vector represents a simple cycle. It consists of a set of cycles that can be combined, using symmetric differences, to form every Eulerian subgraph, and that is minimal with this property. Every cycle basis of a given graph has the same number of cycles, which equals the dimension of its cycle space. This number is called the circuit rank of the graph, and it equals

where

is the number of edges in the graph,

is the number of vertices, and

is the number of connected components.^[2]

Special cycle bases

Several special types of cycle bases have been studied, including the fundamental cycle bases, weakly fundamental cycle bases, sparse (or 2-) cycle bases, and integral cycle bases.^[3]

Induced cycles

Every graph has a cycle basis in which every cycle is an induced cycle. In a 3-vertex-connected graph, there always exists a basis consisting of peripheral cycles, cycles whose removal does not separate the remaining graph.^[4]^[5] In any graph other than one formed by adding one edge to a cycle, a peripheral cycle must be an induced cycle.

Fundamental cycles

is a spanning tree or spanning forest of a given graph

, and

is an edge that does not belong to

, then the fundamental cycle

defined by

is the simple cycle consisting of

together with the path in

connecting the endpoints of

. There are exactly

fundamental cycles, one for each edge that does not belong to

. Each of them is linearly independent from the remaining cycles, because it includes an edge

that is not present in any other fundamental cycle. Therefore, the fundamental cycles form a basis for the cycle space.^[1]^[2] A cycle basis constructed in this way is called a fundamental cycle basis or strongly fundamental cycle basis.^[3]

It is also possible to characterize fundamental cycle bases without specifying the tree for which they are fundamental. There exists a tree for which a given cycle basis is fundamental if and only if each cycle contains an edge that is not included in any other basis cycle. It follows that a collection of cycles is a fundamental cycle basis if and only if it has the same property and has the correct number of cycles to be a basis.^[6]

Weakly fundamental cycles

A cycle basis is called weakly fundamental if its cycles can be placed into a linear ordering such that each cycle includes at least one edge that is not included in any earlier cycle. A fundamental cycle basis is automatically weakly fundamental (for any edge ordering).^[3]^[7] If every cycle basis of a graph is weakly fundamental, the same is true for every minor of the graph. Based on this property, the class of graphs (and multigraphs) for which every cycle basis is weakly fundamental can be characterized by five forbidden minors: the graph of the square pyramid, the multigraph formed by doubling all edges of a four-vertex cycle, two multigraphs formed by doubling two edges of a tetrahedron, and the multigraph formed by tripling the edges of a triangle.^[8]

Face cycles

If a connected finite planar graph is embedded into the plane, each face of the embedding is bounded by a cycle of edges. One face is necessarily unbounded (it includes points arbitrarily far from the vertices of the graph) and the remaining faces are bounded. By Euler's formula for planar graphs, there are exactly

bounded faces.

The symmetric difference of any set of face cycles is the boundary of the corresponding set of faces, and different sets of bounded faces have different boundaries, so it is not possible to represent the same set as a symmetric difference of face cycles in more than one way; this means that the set of face cycles is linearly independent. As a linearly independent set of enough cycles, it necessarily forms a cycle basis.^[9] It is always a weakly fundamental cycle basis, and is fundamental if and only if the embedding of the graph is outerplanar.

For graphs properly embedded onto other surfaces so that all faces of the embedding are topological disks, it is not in general true that there exists a cycle basis using only face cycles. The face cycles of these embeddings generate a proper subset of all Eulerian subgraphs. The homology group

of the given surface

characterizes the Eulerian subgraphs that cannot be represented as the boundary of a set of faces. Mac Lane's planarity criterion uses this idea to characterize the planar graphs in terms of the cycle bases: a finite undirected graph is planar if and only if it has a sparse cycle basis or 2-basis,^[3] a basis in which each edge of the graph participates in at most two basis cycles. In a planar graph, the cycle basis formed by the set of bounded faces is necessarily sparse, and conversely, a sparse cycle basis of any graph necessarily forms the set of bounded faces of a planar embedding of its graph.^[9]^[10]

Integral bases

The cycle space of a graph may be interpreted using the theory of homology as the homology group

of a simplicial complex with a point for each vertex of the graph and a line segment for each edge of the graph. This construction may be generalized to the homology group

over an arbitrary ring

. An important special case is the ring of integers, for which the homology group

is a free abelian group, a subgroup of the free abelian group generated by the edges of the graph. Less abstractly, this group can be constructed by assigning an arbitrary orientation to the edges of the given graph; then the elements of

are labelings of the edges of the graph by integers with the property that, at each vertex, the sum of the incoming edge labels equals the sum of the outgoing edge labels. The group operation is addition of these vectors of labels. An integral cycle basis is a set of simple cycles that generates this group.^[3]

Minimum weight

If the edges of a graph are given real number weights, the weight of a subgraph may be computed as the sum of the weights of its edges. The minimum weight basis of the cycle space is necessarily a cycle basis: by Veblen's theorem,^[11] every Eulerian subgraph that is not itself a simple cycle can be decomposed into multiple simple cycles, which necessarily have smaller weight.

By standard properties of bases in vector spaces and matroids, the minimum weight cycle basis not only minimizes the sum of the weights of its cycles, it also minimizes any other monotonic combination of the cycle weights. For instance, it is the cycle basis that minimizes the weight of its longest cycle.^[12]

Polynomial time algorithms

In any vector space, and more generally in any matroid, a minimum weight basis may be found by a greedy algorithm that considers potential basis elements one at a time, in sorted order by their weights, and that includes an element in the basis when it is linearly independent of the previously chosen basis elements. Testing for linear independence can be done by Gaussian elimination. However, an undirected graph may have an exponentially large set of simple cycles, so it would be computationally infeasible to generate and test all such cycles.

Using Dijkstra's algorithm to find each shortest path tree and then using Gaussian elimination to perform the testing steps of the greedy basis algorithm leads to a polynomial time algorithm for the minimum weight cycle basis.

Subsequent researchers have developed improved algorithms for this problem,^[14]^[15]^[16]^[17] reducing the worst-case time complexity for finding a minimum weight cycle basis in a graph with

edges and

vertices to

.^[18]

NP-hardness

Finding the fundamental basis with the minimum possible weight is closely related to the problem of finding a spanning tree that minimizes the average of the pairwise distances; both are NP-hard.^[19] Finding a minimum weight weakly fundamental basis is also NP-hard,^[7] and approximating it is MAXSNP-hard.^[20] If negative weights and negatively weighted cycles are allowed, then finding a minimum cycle basis (without restriction) is also NP-hard, as it can be used to find a Hamiltonian cycle: if a graph is Hamiltonian, and all edges are given weight −1, then a minimum weight cycle basis necessarily includes at least one Hamiltonian cycle.

In planar graphs

The minimum weight cycle basis for a planar graph is not necessarily the same as the basis formed by its bounded faces: it can include cycles that are not faces, and some faces may not be included as cycles in the minimum weight cycle basis. However, there exists a minimum weight cycle basis in which no two cycles cross each other: for every two cycles in the basis, either the cycles enclose disjoint subsets of the bounded faces, or one of the two cycles encloses the other one. This set of cycles corresponds, in the dual graph of the given planar graph, to a set of cuts that form a Gomory–Hu tree of the dual graph, the minimum weight basis of its cut space.^[21] Based on this duality, an implicit representation of the minimum weight cycle basis in a planar graph can be constructed in time

.^[22]

Applications

Cycle bases have been used for solving periodic scheduling problems, such as the problem of determining the schedule for a public transportation system. In this application, the cycles of a cycle basis correspond to variables in an integer program for solving the problem.^[23]

In the theory of structural rigidity and kinematics, cycle bases are used to guide the process of setting up a system of non-redundant equations that can be solved to predict the rigidity or motion of a structure. In this application, minimum or near-minimum weight cycle bases lead to simpler systems of equations.^[24]

In distributed computing, cycle bases have been used to analyze the number of steps needed for an algorithm to stabilize.^[25]

In bioinformatics, cycle bases have been used to determine haplotype information from genome sequence data.^[26] Cycle bases have also been used to analyze the tertiary structure of RNA.^[27]

The minimum weight cycle basis of a nearest neighbor graph of points sampled from a three-dimensional surface can be used to obtain a reconstruction of the surface.^[28]

In cheminformatics, the minimal cycle basis of a molecular graph is referred to as the Smallest Set of Smallest Rings (SSSR).^[29]^[30]^[31]

References

1. ^¹{{citation|title=Graph Theory|volume=173|series=Graduate Texts in Mathematics|first=Reinhard|last=Diestel|publisher=Springer|year=2012|chapter=1.9 Some linear algebra|pages=23–28|chapter-url=https://books.google.com/books?id=eZi8AAAAQBAJ&pg=PA23}}.
2. ^¹{{citation|title=Graph Theory and Its Applications|edition=2nd|first1=Jonathan L.|last1=Gross|first2=Jay|last2=Yellen|publisher=CRC Press|year=2005|isbn=9781584885054|chapter=4.6 Graphs and Vector Spaces|pages=197–207|chapter-url=https://books.google.com/books?id=-7Q_POGh-2cC&pg=PA197}}.
3. ^¹²³⁴{{citation | last1 = Liebchen | first1 = Christian | last2 = Rizzi | first2 = Romeo | doi = 10.1016/j.dam.2006.06.007 | issue = 3 | journal = Discrete Applied Mathematics | mr = 2303157 | pages = 337–355 | title = Classes of cycle bases | volume = 155 | year = 2007}}.
4. ^{{harvtxt|Diestel|2012}}, pp. 32, 65.
5. ^{{citation | last = Tutte | first = W. T. | author-link = W. T. Tutte | journal = Proceedings of the London Mathematical Society | mr = 0158387 | pages = 743–767 | series = Third Series | title = How to draw a graph | volume = 13 | year = 1963 | doi=10.1112/plms/s3-13.1.743}}. See in particular Theorem 2.5.
6. ^{{citation | last1 = Cribb | first1 = D. W. | last2 = Ringeisen | first2 = R. D. | last3 = Shier | first3 = D. R. | contribution = On cycle bases of a graph | mr = 681883 | pages = 221–229 | series = Congressus Numerantium | title = Proceedings of the Twelfth Southeastern Conference on Combinatorics, Graph Theory and Computing, Vol. I (Baton Rouge, La., 1981) | volume = 32 | year = 1981}}.
7. ^¹{{citation | last = Rizzi | first = Romeo | doi = 10.1007/s00453-007-9112-8 | issue = 3 | journal = Algorithmica | mr = 2482112 | pages = 402–424 | title = Minimum weakly fundamental cycle bases are hard to find | volume = 53 | year = 2009}}.
8. ^{{citation | last1 = Hartvigsen | first1 = David | last2 = Zemel | first2 = Eitan | doi = 10.1002/jgt.3190130115 | issue = 1 | journal = Journal of Graph Theory | mr = 982873 | pages = 117–137 | title = Is every cycle basis fundamental? | volume = 13 | year = 1989}}.
9. ^¹{{harvtxt|Diestel|2012}}, pp. 105–106.
10. ^{{citation | last = Mac Lane | first = S. | author-link = Saunders Mac Lane | journal = Fundamenta Mathematicae | pages = 22–32 | title = A combinatorial condition for planar graphs | url = http://matwbn.icm.edu.pl/ksiazki/fm/fm28/fm2814.pdf | volume = 28 | year = 1937}}.
11. ^{{Citation | last1=Veblen | first1=Oswald | author1-link=Oswald Veblen | title=An application of modular equations in analysis situs | jstor=1967604 | series=Second Series | year=1912 | journal=Annals of Mathematics | volume=14 | issue=1 | pages=86–94 | doi = 10.2307/1967604 }}.
12. ^{{citation | last1 = Chickering | first1 = David M. | last2 = Geiger | first2 = Dan | last3 = Heckerman | first3 = David | doi = 10.1016/0020-0190(94)00231-M | issue = 1 | journal = Information Processing Letters | mr = 1332422 | pages = 55–58 | title = On finding a cycle basis with a shortest maximal cycle | volume = 54 | year = 1995| citeseerx = 10.1.1.650.8218 }}.
13. ^{{citation | last = Horton | first = J. D. | doi = 10.1137/0216026 | issue = 2 | journal = SIAM Journal on Computing | pages = 358–366 | title = A polynomial-time algorithm to find the shortest cycle basis of a graph | volume = 16 | year = 1987}}.
14. ^{{citation | last1 = Berger | first1 = Franziska | last2 = Gritzmann | first2 = Peter | last3 = de Vries | first3 = Sven | doi = 10.1007/s00453-004-1098-x | issue = 1 | journal = Algorithmica | mr = 2071255 | pages = 51–62 | title = Minimum cycle bases for network graphs | volume = 40 | year = 2004}}.
15. ^{{citation | last1 = Mehlhorn | first1 = Kurt | last2 = Michail | first2 = Dimitrios | doi = 10.1145/1187436.1216582 | journal = ACM Journal of Experimental Algorithmics | title = Implementing minimum cycle basis algorithms | volume = 11 | pages = 2.5 | year = 2006}}.
16. ^{{citation | last1 = Kavitha | first1 = Telikepalli | last2 = Mehlhorn | first2 = Kurt | last3 = Michail | first3 = Dimitrios | last4 = Paluch | first4 = Katarzyna E. | doi = 10.1007/s00453-007-9064-z | issue = 3 | journal = Algorithmica | mr = 2452919 | pages = 333–349 | title = An

algorithm for minimum cycle basis of graphs | volume = 52 | year = 2008}}.
17. ^{{citation | last1 = Kavitha | first1 = Telikepalli | last2 = Liebchen | first2 = Christian | last3 = Mehlhorn | first3 = Kurt | last4 = Michail | first4 = Dimitrios | last5 = Rizzi | first5 = Romeo | last6 = Ueckerdt | first6 = Torsten | last7 = Zweig | first7 = Katharina A. | doi = 10.1016/j.cosrev.2009.08.001 | issue = 4 | journal = Computer Science Review | pages = 199–243 | title = Cycle bases in graphs: Characterization, algorithms, complexity, and applications | volume = 3 | year = 2009}}.
18. ^{{citation | last1 = Amaldi | first1 = Edoardo | last2 = Iuliano | first2 = Claudio | last3 = Rizzi | first3 = Romeo | contribution = Efficient deterministic algorithms for finding a minimum cycle basis in undirected graphs | doi = 10.1007/978-3-642-13036-6_30 | mr = 2661113 | pages = 397–410 | publisher = Springer | series = Lecture Notes in Computer Science | title = Integer Programming and Combinatorial Optimization: 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings | volume = 6080 | year = 2010| bibcode = 2010LNCS.6080..397A| isbn = 978-3-642-13035-9 }}.
19. ^{{citation | last1 = Deo | first1 = Narsingh | last2 = Prabhu | first2 = G. M. | last3 = Krishnamoorthy | first3 = M. S. | doi = 10.1145/355984.355988 | issue = 1 | journal = ACM Transactions on Mathematical Software | mr = 661120 | pages = 26–42 | title = Algorithms for generating fundamental cycles in a graph | volume = 8 | year = 1982}}.
20. ^{{citation | last1 = Galbiati | first1 = Giulia | last2 = Amaldi | first2 = Edoardo | contribution = On the approximability of the minimum fundamental cycle basis problem | doi = 10.1007/978-3-540-24592-6_12 | location = Berlin | mr = 2089904 | pages = 151–164 | publisher = Springer | series = Lecture Notes in Computer Science | title = Approximation and Online Algorithms: First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers | volume = 2909 | year = 2004| isbn = 978-3-540-21079-5 }}.
21. ^{{citation | last1 = Hartvigsen | first1 = David | last2 = Mardon | first2 = Russell | doi = 10.1137/S0895480190177042 | issue = 3 | journal = SIAM Journal on Discrete Mathematics | mr = 1285579 | pages = 403–418 | title = The all-pairs min cut problem and the minimum cycle basis problem on planar graphs | volume = 7 | year = 1994}}.
22. ^{{citation | last1 = Borradaile | first1 = Glencora | last2 = Sankowski | first2 = Piotr | last3 = Wulff-Nilsen | first3 = Christian | arxiv = 1003.1320 | contribution = Min

-cut oracle for planar graphs with near-linear preprocessing time | doi = 10.1109/FOCS.2010.63 | mr = 3025235 | pages = 601–610 | publisher = IEEE Computer Soc., Los Alamitos, CA | title = Proc. 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010) | year = 2010| title-link = Symposium on Foundations of Computer Science | isbn = 978-1-4244-8525-3 }}.
23. ^{{citation | last = Liebchen | first = Christian | doi = 10.1007/978-3-540-69995-8_5 | journal = Operations Research Proceedings | pages = 29–36 | title = Periodic timetable optimization in public transport | volume = 2006 | year = 2007| isbn = 978-3-540-69994-1 }}.
24. ^{{citation | last1 = Cassell | first1 = A. C. | last2 = De Henderson | first2 = J. C. | last3 = Kaveh | first3 = A. | doi = 10.1002/nme.1620080308 | issue = 3 | journal = International Journal for Numerical Methods in Engineering | pages = 521–528 | title = Cycle bases for the flexibility analysis of structures | volume = 8 | year = 1974| bibcode = 1974IJNME...8..521C}}.
25. ^{{citation | last1 = Boulinier | first1 = Christian | last2 = Petit | first2 = Franck | last3 = Villain | first3 = Vincent | contribution = When graph theory helps self-stabilization | doi = 10.1145/1011767.1011790 | location = New York, NY, USA | pages = 150–159 | publisher = ACM | title = Proceedings of the Twenty-third Annual ACM Symposium on Principles of Distributed Computing (PODC '04) | year = 2004| isbn = 978-1581138023 | citeseerx = 10.1.1.79.2190 }}.
26. ^{{citation | last1 = Aguiar | first1 = Derek | last2 = Istrail | first2 = Sorin | doi = 10.1089/cmb.2012.0084 | pmid = 22697235 | issue = 6 | journal = Journal of Computational Biology | pages = 577–590 | title = HapCompass: A Fast Cycle Basis Algorithm for Accurate Haplotype Assembly of Sequence Data | volume = 19 | year = 2012| pmc = 3375639}}.
27. ^{{citation | last1 = Lemieux | first1 = Sébastien | last2 = Major | first2 = François | doi = 10.1093/nar/gkl120 | issue = 8 | journal = Nucleic Acids Research | pages = 2340–2346 | title = Automated extraction and classification of RNA tertiary structure cyclic motifs | volume = 34 | year = 2006 | pmid=16679452 | pmc=1458283}}.
28. ^{{citation | last1 = Gotsman | first1 = Craig | last2 = Kaligosi | first2 = Kanela | last3 = Mehlhorn | first3 = Kurt | last4 = Michail | first4 = Dimitrios | last5 = Pyrga | first5 = Evangelia | doi = 10.1016/j.cagd.2006.07.001 | issue = 8–9 | journal = Computer Aided Geometric Design | mr = 2359763 | pages = 464–480 | title = Cycle bases of graphs and sampled manifolds | volume = 24 | year = 2007| citeseerx = 10.1.1.298.9661 }}.
29. ^{{cite journal | last1 = May | first1 = John W. | last2 = Steinbeck | first2 = Christoph | title = Efficient ring perception for the Chemistry Development Kit | journal = Journal of Cheminformatics | volume = 6 | issue = 3 | pages = 3 | year = 2014 | doi = 10.1186/1758-2946-6-3 | pmid=24479757 | pmc=3922685}}
30. ^{{cite journal | last1 = Downs | first1 = G.M. | last2 = Gillet | first2 = V.J. | last3 = Holliday | first3 = J.D. | last4 = Lynch | first4 = M.F. | year = 1989 | title = A Review of Ring Perception Algorithms for Chemical Graphs | journal = J. Chem. Inf. Comput. Sci. | volume = 29 | issue = 3 | pages = 172–187 | doi=10.1021/ci00063a007}}
31. ^{{cite journal | first1 = A. | last1 = Zamora | title = An Algorithm for Finding the Smallest Set of Smallest Rings | journal = J. Chem. Inf. Comput. Sci. | volume = 16 | issue = 1 | page = 40–43 | year = 1979 | doi = 10.1021/ci60005a013}}