Meyniel graph

In graph theory, a Meyniel graph is a graph in which every odd cycle of length five or more has at least two chords, edges connecting non-consecutive vertices of the cycle.[1] The chords may be uncrossed (as shown in the figure) or they may cross each other, as long as there are at least two of them.

In a Meyniel graph, every long odd cycle (such as the black 5-cycle shown here) must have at least two chords (green)

The Meyniel graphs are named after Henri Meyniel (also known for Meyniel's conjecture), who proved that they are perfect graphs in 1976,[2] long before the proof of the strong perfect graph theorem completely characterized the perfect graphs. The same result was independently discovered by Markosjan & Karapetjan (1976).[3]

Perfection

The Meyniel graphs are a subclass of the perfect graphs. Every induced subgraph of a Meyniel graph is another Meyniel graph, and in every Meyniel graph the size of a maximum clique equals the minimum number of colors needed in a graph coloring. Thus, the Meyniel graphs meet the definition of being a perfect graph, that the clique number equals the chromatic number in every induced subgraph.[1][2][3]

Meyniel graphs are also called the very strongly perfect graphs, because (as Meyniel conjectured and Hoàng proved) they can be characterized by a property generalizing the defining property of the strongly perfect graphs: in every induced subgraph of a Meyniel graph, every vertex belongs to an independent set that intersects every maximal clique.[1][4]

The Meyniel graphs contain the chordal graphs, the parity graphs, and their subclasses the interval graphs, distance-hereditary graphs, bipartite graphs, and line perfect graphs.[1]

The house graph is perfect but not Meyniel

Although Meyniel graphs form a very general subclass of the perfect graphs, they do not include all perfect graphs. For instance the house graph (a pentagon with only one chord) is perfect but is not a Meyniel graph.

Algorithms and complexity

Meyniel graphs can be recognized in polynomial time,[5] and several graph optimization problems including graph coloring that are NP-hard for arbitrary graphs can be solved in polynomial time for Meyniel graphs.[6][7]

gollark: Nobody
gollark: If you write that in a high-level language, you can focus on the concerns relevant to that instead of... whatever you do in assembly, poke registers or something.
gollark: You probably won't add any value to, say, an inventory management program for a business, by reimplementing interrupt handlers when someone has already done it in a bunch of libraries/tools already.
gollark: But in assembly it's harder to make things which are actually useful to users.
gollark: Very indirectly. But you don't really have to think about them as a high-level programmer.

References
  1. Meyniel graphs, Information System on Graph Classes and their Inclusions, retrieved 2016-09-25.
  2. Meyniel, H. (1976), "On the perfect graph conjecture", Discrete Mathematics, 16 (4): 339–342, doi:10.1016/S0012-365X(76)80008-8, MR 0439682.
  3. Markosjan, S. E.; Karapetjan, I. A. (1976), "Perfect graphs", Doklady Akademiya Nauk Armyanskoĭ SSR, 63 (5): 292–296, MR 0450130.
  4. Hoàng, C. T. (1987), "On a conjecture of Meyniel", Journal of Combinatorial Theory, Series B, 42 (3): 302–312, doi:10.1016/0095-8956(87)90047-5, MR 0888682.
  5. Burlet, M.; Fonlupt, J. (1984), "Polynomial algorithm to recognize a Meyniel graph", Topics on perfect graphs, North-Holland Math. Stud., 88, North-Holland, Amsterdam, pp. 225–252, doi:10.1016/S0304-0208(08)72938-4, hdl:10068/49205, MR 0778765.
  6. Hertz, A. (1990), "A fast algorithm for coloring Meyniel graphs", Journal of Combinatorial Theory, Series B, 50 (2): 231–240, doi:10.1016/0095-8956(90)90078-E, MR 1081227.
  7. Roussel, F.; Rusu, I. (2001), "An O(n2) algorithm to color Meyniel graphs", Discrete Mathematics, 235 (1–3): 107–123, doi:10.1016/S0012-365X(00)00264-8, MR 1829840.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.