Match graf

I grafteori er en matchgraf en graf, der kan tegnes på et plan på en sådan måde, at alle dens kanter er linjestykker med længden et, og kanterne ikke skærer hinanden. Denne graf har således en indlejring i planet både som en enhedsafstandsgraf og som en plan graf . Uformelt set kan en matchgraf lægges ud af ikke-skærende tændstikker på en flad overflade , deraf navnet [1] .

Regulære match grafer

Meget forskning i tændstikgrafer vedrører almindelige grafer , hvor hvert hjørne har det samme antal naboer. Dette tal kaldes grafens grad .

Det er kendt, at der er matchgrafer i alle grader op til den fjerde. Komplette grafer med et, to og tre hjørner (et enkelt toppunkt, en kant og en trekant) er tændstikgrafer, henholdsvis 0-, 1- og 2-regulære. Den mindste 3-regelmæssige tændstik-graf er dannet af to kopier af romber placeret således, at de tilsvarende spidser er i enhedsafstand. Dens dobbelte todelte dæksel er grafen af ​​et ottekantet prisme med skæringspunkter [1] .

I 1986 præsenterede Heiko Harbort jarlen, som fik sit navn - Earl of Harbort . Med 104 kanter og 52 hjørner er denne graf det mindste kendte eksempel på en 4 -regulær matchgraf [2] . Grafen er stiv [3] .

Det er umuligt for en almindelig match-graf at have grader større end fire [4] .

Som vist af Kurtz og Mazukolo [5] har den mindste 3-regelmæssige trekantfri tændstik-graf (omkreds ≥ 4) 20 hjørner. Derudover præsenterede de det mindste kendte eksempel på en 3-regulær tændstikgraf med omkreds 5 (180 hjørner).

Beregningsmæssig kompleksitet

At kontrollere, om en given ikke- rettet plan graf kan repræsenteres som en tændstikgraf, er et NP-hårdt problem [6] [7]

Kombinatorisk opregning

Antallet af forskellige (op til isomorfi) matchgrafer er kendt op til ti kanter [8] [9] :

1, 1 , 3 , 5 , 12 , 28 , 74 , 207, 633, 2008, …

Noter

  1. 1 2 Weisstein, Eric W. MatchstickGraph  på Wolfram MathWorld- webstedet .
  2. Heiko Havn. The Lighter Side of Mathematics: Proceedings of the Eugéne Strens Memorial Conference of Recreational Mathematics and its History, Calgary, Canada, 1986 / RK Guy, RE Woodrow. - Washington, DC: Mathematical Association of America , 1994. - s. 281-288. . Som citeret i Weisstein, Eric W. HarborthGraph  på Wolfram MathWorld -webstedet .
  3. Gerbracht EH-A. Minimale polynomier for koordinaterne for Harborth-grafen. - 2006. - arXiv : math.CO/0609360 .
  4. Sascha Kurz, Rom Pinchasi. Almindelige tændstikgrafer  // American Mathematical Monthly . - 2011. - T. 118 , no. 3 . - S. 264-267 . doi : 10.4169 / amer.math.monthly.118.03.264 .
  5. Kurz Sascha, Mazzuoccolo Giuseppe. 3-regelmæssige tændstikgrafer med given omkreds // Geombinatorik . - 2010. - T. 19 . - S. 156-175 .
  6. Peter Eades, Nicholas C. Wormald. Graftegning med fast kantlængde er NP-hård // Diskret anvendt matematik . - 1990. - T. 28 , no. 2 . - S. 111-134 . - doi : 10.1016/0166-218X(90)90110-X .
  7. Sergio Cabello, Erik D. Demaine, Günter Rote. Plane indlejringer af grafer med specificerede kantlængder // Journal of Graph Algorithms and Applications . - 2007. - T. 11 , no. 1 . - S. 259-276 .
  8. OEIS -sekvens A066951 = Antal ikke-isomorfe forbundne grafer, der kan tegnes i planet ved hjælp af n enhedslængdekanter
  9. Raffaele Salvia. Et katalog for tændstikgrafer. - 2013. - arXiv : 1303.5965 .