“Well-covered graph”的意思、由来-开放百科全书

In graph theory, a well-covered graph is an undirected graph in which every minimal vertex cover has the same size as every other minimal vertex cover. Equivalently, these are the graphs in which every maximal independent set has the same size. Well-covered graphs were defined and first studied by {{harvtxt|Plummer|1970}}.

The well-covered graphs include all complete graphs, balanced complete bipartite graphs, and the rook's graphs whose vertices represent squares of a chessboard and edges represent moves of a chess rook. Known characterizations of the well-covered cubic graphs, well-covered claw-free graphs, and well-covered graphs of high girth allow these graphs to be recognized in polynomial time, but testing whether other kinds of graph are well-covered is a coNP-complete problem.

Definitions

A vertex cover in a graph is a set of vertices that touches every edge in the graph. A vertex cover is minimal, or irredundant, if removing any vertex from it would destroy the covering property. It is minimum if there is no other vertex cover with fewer vertices. A well-covered graph is one in which every minimal cover is also minimum. In the original paper defining well-covered graphs, {{harvtxt|Plummer|1970}} writes that this is "obviously equivalent" to the property that every two minimal covers have the same number of vertices as each other.

An independent set in a graph is a set of vertices no two of which are adjacent to each other. If {{mvar|C}} is a vertex cover in a graph {{mvar|G}}, the complement of {{mvar|C}} must be an independent set, and vice versa. {{mvar|C}} is a minimal vertex cover if and only if its complement {{mvar|I}} is a maximal independent set, and {{mvar|C}} is a minimum vertex cover if and only if its complement is a maximum independent set. Therefore, a well-covered graph is, equivalently, a graph in which every maximal independent set has the same size, or a graph in which every maximal independent set is maximum.{{sfnp|Plummer|1993}}

In the original paper defining well-covered graphs, these definitions were restricted to connected graphs,^[1] although they are meaningful for disconnected graphs as well. Some later authors have replaced the connectivity requirement with the weaker requirement that a well-covered graph must not have any isolated vertices.^[2] For both connected well-covered graphs and well-covered graphs without isolated vertices, there can be no essential vertices, vertices which belong to every minimum vertex cover.^[1] Additionally, every well-covered graph is a critical graph for vertex covering in the sense that, for every vertex {{mvar|v}}, deleting {{mvar|v}} from the graph produces a graph with a smaller minimum vertex cover.^[1]

The independence complex of a graph {{mvar|G}} is the simplicial complex having a simplex for each independent set in {{mvar|G}}. A simplicial complex is said to be pure if all its maximal simplices have the same cardinality, so a well-covered graph is equivalently a graph with a pure independence complex.^[3]

Examples

A cycle graph of length four or five is well-covered: in each case, every maximal independent set has size two. A cycle of length seven, and a path of length three, are also well-covered. Every complete graph is well-covered: every maximal independent set consists of a single vertex. Similarly, every cluster graph (a disjoint union of complete graphs) is well-covered. A complete bipartite graph is well covered if the two sides of its bipartition have equal numbers of vertices, for these are its only two maximal independent sets. A rook's graph is well covered: if one places any set of rooks on a chessboard so that no two rooks are attacking each other, it is always possible to continue placing more non-attacking rooks until there is one on every row and column of the chessboard.

If {{mvar|P}} is either a polygon or a set of points, {{mvar|S}} is the set of open line segments that have vertices of {{mvar|P}} as endpoints and are otherwise disjoint from {{mvar|P}}, and {{mvar|G}} is the intersection graph of {{mvar|S}} (a graph that has a vertex for each line segment in {{mvar|S}} and an edge for each two line segments that cross each other), then {{mvar|G}} is well-covered. For in this case, every maximal independent set in {{mvar|G}} corresponds to the set of edges in a triangulation of {{mvar|P}}, and a calculation involving the Euler characteristic shows that every two triangulations have the same number of edges as each other.^[4]

If {{mvar|G}} is any {{mvar|n}}-vertex graph, then the rooted product of {{mvar|G}} with a one-edge graph (that is, the graph {{mvar|H}} formed by adding {{mvar|n}} new vertices to {{mvar|G}}, each of degree one and each adjacent to a distinct vertex in {{mvar|G}}) is well-covered. For, a maximal independent set in {{mvar|H}} must consist of an arbitrary independent set in {{mvar|G}} together with the degree-one neighbors of the complementary set, and must therefore have size {{mvar|n}}.^[5] More generally, given any graph {{mvar|G}} together with a clique cover (a partition {{mvar|p}} of the vertices of {{mvar|G}} into cliques), the graph {{mvar|G^p}} formed by adding another vertex to each clique is well-covered; the rooted product is the special case of this construction when {{mvar|p}} consists of {{mvar|n}} one-vertex cliques.^[6] Thus, every graph is an induced subgraph of a well-covered graph.

Bipartiteness, very well covered graphs, and girth

A bipartite graph {{mvar|G}} is well-covered if and only if it has a perfect matching {{mvar|M}} with the property that, for every edge {{mvar|uv}} in {{mvar|M}}, the induced subgraph of the neighbors of {{mvar|u}} and {{mvar|v}} forms a complete bipartite graph.^[8] The characterization in terms of matchings can be extended from bipartite graphs to very well covered graphs: a graph {{mvar|G}} is very well covered if and only if it has a perfect matching {{mvar|M}} with the following two properties:

Moreover, if {{mvar|G}} is very well covered, then every perfect matching in {{mvar|G}} satisfies these properties.^[9]

Trees are a special case of bipartite graphs, and testing whether a tree is well-covered can be handled as a much simpler special case of the characterization of well-covered bipartite graphs: if {{mvar|G}} is a tree with more than two vertices, it is well-covered if and only if each non-leaf node of the tree is adjacent to exactly one leaf.^[8] The same characterization applies to graphs that are locally tree-like, in the sense that low-diameter neighborhoods of every vertex are acyclic: if a graph has girth eight or more (so that, for every vertex {{mvar|v}}, the subgraph of vertices within distance three of {{mvar|v}} is acyclic) then it is well-covered if and only if every vertex of degree greater than one has exactly one neighbor of degree one.^[10] A closely related but more complex characterization applies to well-covered graphs of girth five or more.^[11]

Regularity and planarity

The cubic (3-regular) well-covered graphs have been classified: they consist of seven 3-connected examples, together with three infinite families of cubic graphs with lesser connectivity.^[15]

The seven 3-connected cubic well-covered graphs are the complete graph {{math|K₄}}, the graphs of the triangular prism and the pentagonal prism, the Dürer graph, the utility graph {{math|K_3,3}}, an eight-vertex graph obtained from the utility graph by a Y-Δ transform, and the 14-vertex generalized Petersen graph {{math|G(7,2)}}.^[12] Of these graphs, the first four are planar graphs. They are the only four cubic polyhedral graphs (graphs of simple convex polyhedra) that are well-covered. Four of the graphs (the two prisms, the Dürer graph, and {{math|G(7,2)}}) are generalized Petersen graphs.

The 1- and 2-connected cubic well-covered graphs are all formed by replacing the nodes of a path or cycle by three fragments of graphs which {{harvtxt|Plummer|1993}} labels {{mvar|A}}, {{mvar|B}}, and {{mvar|C}}. Fragments {{mvar|A}} or {{mvar|B}} may be used to replace the nodes of a cycle or the interior nodes of a path, while fragment {{mvar|C}} is used to replace the two end nodes of a path. Fragment {{mvar|A}} contains a bridge, so the result of performing this replacement process on a path and using fragment {{mvar|A}} to replace some of the path nodes (and the other two fragments for the remaining nodes) is a 1-vertex-connected cubic well-covered graph. All 1-vertex-connected cubic well-covered graphs have this form, and all such graphs are planar.^[13]

There are two types of 2-vertex-connected cubic well-covered graphs. One of these two families is formed by replacing the nodes of a cycle by fragments {{mvar|A}} and {{mvar|B}}, with at least two of the fragments being of type {{mvar|A}}; a graph of this type is planar if and only if it does not contain any fragments of type {{mvar|B}}. The other family is formed by replacing the nodes of a path by fragments of type {{mvar|B}} and {{mvar|C}}; all such graphs are planar.^[13]

Complementing the characterization of well-covered simple polyhedra in three dimensions, researchers have also considered the well-covered simplicial polyhedra, or equivalently the well-covered maximal planar graphs. Every maximal planar graph with five or more vertices has vertex connectivity 3, 4, or 5.^[14] There are no well-covered 5-connected maximal planar graphs, and there are only four 4-connected well-covered maximal planar graphs: the graphs of the regular octahedron, the pentagonal dipyramid, the snub disphenoid, and an irregular polyhedron (a nonconvex deltahedron) with 12 vertices, 30 edges, and 20 triangular faces. However, there are infinitely many 3-connected well-covered maximal planar graphs.^[15] For instance, a well-covered 3-connected maximal planar graph may be obtained via the clique cover construction^[6] from any {{math|3t}}-vertex maximal planar graph in which there are {{mvar|t}} disjoint triangle faces by adding {{mvar|t}} new vertices, one within each of these faces.

Complexity

Testing whether a graph contains two maximal independent sets of different sizes is NP-complete; that is, complementarily, testing whether a graph is well-covered is coNP-complete.^[16] Although it is easy to find maximum independent sets in graphs that are known to be well-covered, it is also NP-hard for an algorithm to produce as output, on all graphs, either a maximum independent set or a guarantee that the input is not well-covered.^[17]

In contrast, it is possible to test whether a given graph {{mvar|G}} is very well covered in polynomial time. To do so, find the subgraph {{mvar|H}} of {{mvar|G}} consisting of the edges that satisfy the two properties of a matched edge in a very well covered graph, and then use a matching algorithm to test whether {{mvar|H}} has a perfect matching.^[9] Some problems that are NP-complete for arbitrary graphs, such as the problem of finding a Hamiltonian cycle, may also be solved in polynomial time for very well covered graphs.^[18]

A graph is said to be equimatchable if every maximal matching is maximum; that is, it is equimatchable if its line graph is well-covered. It is possible to test whether a line graph, or more generally a claw-free graph, is well-covered in polynomial time.^[19]

The characterizations of well-covered graphs with girth five or more, and of well-covered graphs that are 3-regular, also lead to efficient polynomial time algorithms to recognize these graphs.^[20]

Notes

1. ^¹²{{harvtxt|Plummer|1970}}.
2. ^{{harvtxt|Favaron|1982}}.
3. ^For examples of papers using this terminology, see {{harvtxt|Dochtermann|Engström|2009}} and {{harvtxt|Cook|Nagel|2010}}.
4. ^{{harvtxt|Greenberg|1993}}.
5. ^This class of examples was studied by {{harvtxt|Fink|Jacobson|Kinch|Roberts|1985}}; they are also (together with the four-edge cycle, which is also well-covered) exactly the graphs whose domination number is {{math|n/2}}. Its well-covering property is also stated in different terminology (having a pure independence complex) as Theorem 4.4 of {{harvtxt|Dochtermann|Engström|2009}}.
6. ^¹{{harvtxt|Cook|Nagel|2010}}.
7. ^{{harvtxt|Berge|1981}}.
8. ^¹{{harvtxt|Ravindra|1977}}; {{harvtxt|Plummer|1993}}.
9. ^¹{{harvtxt|Staples|1975}}; {{harvtxt|Favaron|1982}}; {{harvtxt|Plummer|1993}}.
10. ^{{harvtxt|Finbow|Hartnell|1983}}; {{harvtxt|Plummer|1993}}, Theorem 4.1.
11. ^{{harvtxt|Finbow|Hartnell|1983}}; {{harvtxt|Plummer|1993}}, Theorem 4.2.
12. ^{{harvtxt|Campbell|1987}}; {{harvtxt|Finbow|Hartnell|Nowakowski|1988}}; {{harvtxt|Campbell|Ellingham|Royle|1993}}; {{harvtxt|Plummer|1993}}.
13. ^¹²{{harvtxt|Campbell|1987}}; {{harvtxt|Campbell|Plummer|1988}}; {{harvtxt|Plummer|1993}}.
14. ^The complete graphs on 1, 2, 3, and 4 vertices are all maximal planar and well-covered; their vertex connectivity is either unbounded or at most three, depending on details of the definition of vertex connectivity that are irrelevant for larger maximal planar graphs.
15. ^{{harvs|last1=Finbow|last2=Hartnell|last3=Nowakowski|last4=Plummer|year=2003|year2=2009|year3=2010|txt}}.
16. ^{{harvtxt|Sankaranarayana|Stewart|1992}}; {{harvtxt|Chvátal|Slater|1993}}; {{harvtxt|Caro|Sebő|Tarsi|1996}}.
17. ^{{harvtxt|Raghavan|Spinrad|2003}}.
18. ^{{harvtxt|Sankaranarayana|Stewart|1992}}.
19. ^{{harvtxt|Lesk|Plummer|Pulleyblank|1984}}; {{harvtxt|Tankus|Tarsi|1996}}; {{harvtxt|Tankus|Tarsi|1997}}.
20. ^{{harvtxt|Campbell|Ellingham|Royle|1993}}; {{harvtxt|Plummer|1993}}.

Definitions

Examples

Bipartiteness, very well covered graphs, and girth

Regularity and planarity

Complexity

Notes

References