Scara Möbius
Scara Möbius este un grafic circular cubic cu un număr par de vârfuri , format dintr-un ciclu cu vârfuri prin adăugarea de muchii (numite „trepte”) care conectează perechi opuse de vârfuri de ciclu. Numit astfel deoarece constă din cicluri de lungime 4 [1] conectate între ele prin muchii comune și formând topologic o bandă Möbius . Graficul bipartit complet (graficul „ case și puțuri ”) este o scară Möbius (spre deosebire de celelalte, are cicluri suplimentare de lungime 4).
Studiat mai întâi de Guy și Harari [2] .
Proprietăți
Orice scară Möbius este un grafic de vârf neplanar . Numărul de treceri ale scării Möbius este unul, iar graficul poate fi încorporat fără auto-intersecții într-un torus sau plan proiectiv (adică este un grafic toroidal ). Lee [3] a studiat încorporarea acestor grafice în suprafețe de gen superior.
Scările Möbius sunt tranzitive de vârf , dar (cu excepția ) nu tranzitive de margine - fiecare margine a ciclului din care se formează scara aparține unui singur ciclu cu 4 margini, în timp ce fiecare treaptă aparține la două astfel de cicluri.
Dacă , atunci este bipartit . Când , conform teoremei lui Brooks , numărul cromatic este 3. Se știe [4] că scara Möbius este determinată în mod unic de polinomul său Tatta .
Scara Möbius are 392 de copaci întinși . Acest grafic are, de asemenea, cel mai mare număr de arbori spanning dintre graficele cubice cu același număr de vârfuri [5] [6] . Cu toate acestea, dintre graficele cubice cu 10 vârfuri, graficul Petersen are cel mai mare număr de arbori care se întind , care nu este o scară Möbius.
Polinoamele Tutt ale scărilor Möbius pot fi obținute printr-o formulă recursivă simplă [7] .
Numărați minorii
Scările Möbius joacă un rol important în teoria grafurilor minore . Cel mai vechi rezultat de acest tip este teorema lui Wagner [8] conform căreia un graf care nu conține -minori poate fi format folosind sume de clicuri pentru combinarea grafurilor plane și scara Möbius (în această legătură numită graf Wagner .
Toate graficele aproape plane cu 3 conexiuni [9] sunt scări Möbius sau aparțin unui număr mic de alte familii, iar restul graficelor aproape plane pot fi obținute din aceste grafice folosind o serie de operații simple [10] .
Aproape tot[ clarifica ] graficele care nu conțin un cub ca minor pot fi obținute din scări Möbius ca urmare a aplicării secvențiale a operațiilor simple [11] .
Chimie și fizică
În 1982, a fost sintetizată o structură moleculară sub forma unei scări Möbius [12] , iar de atunci astfel de grafice au fost de interes pentru chimiști și stereografie chimică [13] , în special în lumina moleculelor de ADN asemănătoare cu scara Möbius. Având în vedere acest lucru, simetriile matematice ale înglobărilor de scări Möbius au fost studiate special în [14] .
Scările Möbius sunt folosite ca model al unui inel supraconductor în experimente pentru a studia efectele topologiei de conducție în interacțiunea electronilor [15] [16] .
Optimizare combinatorie
Scările Möbius sunt, de asemenea, utilizate în informatică ca parte a unei abordări de programare cu numere întregi pentru a stabili problemele de împachetare și ordonare liniară. Unele configurații din aceste probleme pot fi folosite pentru a defini fețele politopilor care descriu relaxarea condițiilor ale programării liniare . Aceste fețe sunt numite constrângeri ale scărilor Möbius [17] [18] [19] [20] .
Vezi și
Note
- ↑ McSorley, 1998 .
- ↑ Guy, Harari, 1967 .
- ↑ Lee, 2005 .
- ↑ De Mieu, Nua, 2004 .
- ↑ Jacobson, Rivin, 1999 .
- ↑ Valdes, 1991 .
- ↑ Biggs, Daymrell, Sands, 1972 .
- ↑ Wagner, 1937 .
- ↑ Un grafic aproape plan este un grafic neplan pentru care orice minor non-trivial este plan
- ↑ Gubser, 1996 .
- ↑ Maharri, 2000 .
- ↑ Walba, Richards, Haltiwanger 1982 .
- ↑ Simon, 1992 .
- ↑ Flapan, 1989 .
- ↑ Mila, Stafford, Capponi, 1998 .
- ↑ Deng, Xu, Liu, 2002 .
- ↑ Bolotașvili, Kovalev, Girlich, 1999 .
- ↑ Borndörfer, Weissmantel, 2000 .
- ↑ Grötschel, Jünger, Reinelt, 1985 .
- ↑ Newman, Vempala, 2001 .
Literatură
- NL Biggs, RM Damerell, DA Sands. Familii recursive de grafuri // Journal of Combinatorial Theory . - 1972. - T. 12 . — S. 123–131 . - doi : 10.1016/0095-8956(72)90016-0 .
- G. Bolotashvili, M. Kovalev, E. Girlich. Noi fațete ale politopului de ordonare liniară // SIAM Journal on Discrete Mathematics . - 1999. - T. 12 , nr. 3 . — S. 326–336 . - doi : 10.1137/S0895480196300145 .
- Ralf Borndörfer, Robert Weismantel. Setați relaxările de împachetare ale unor programe întregi // Programare matematică . - 2000. - T. 88 , nr. 3 . — S. 425–450 . - doi : 10.1007/PL00011381 .
- Wen-Ji Deng, Ji-Huan Xu, Ping Liu. Înjumătățirea perioadei a curenților persistenti în scări mezoscopice Möbius // Chinese Physics Letters . - 2002. - T. 19 , nr. 7 . — S. 988–991 . - doi : 10.1088/0256-307X/19/7/333 . - arXiv : cond-mat/0209421 .
- Erica Flapan. Simetrii ale scărilor Möbius // Mathematische Annalen . - 1989. - T. 283 , nr. 2 . — S. 271–283 . - doi : 10.1007/BF01446435 .
- M. Grötschel, M. Junger, G. Reinelt. Pe politopul subgrafului aciclic // Programare matematică . - 1985. - T. 33 . — S. 28–42 . - doi : 10.1007/BF01582009 .
- M. Grötschel, M. Junger, G. Reinelt. Fațete ale politopului de ordonare liniară // Programare matematică . - 1985. - T. 33 . — S. 43–60 . - doi : 10.1007/BF01582010 .
- Bradley S Gubser. O caracterizare a graficelor aproape plane // Combinatorică, probabilitate și calcul. - 1996. - V. 5 , nr. 3 . — S. 227–245 . - doi : 10.1017/S0963548300002005 .
- Richard K. Guy, Frank Harary. Pe scarile Möbius // Canadian Mathematical Bulletin . - 1967. - T. 10 . — S. 493–496 . - doi : 10.4153/CMB-1967-046-4 .
- Dmitry Jakobson, Igor Rivin. Despre unele probleme extreme din teoria grafurilor. - 1999. - arXiv : math.CO/9907050 .
- Deming Li. Distribuțiile genurilor ale scărilor Möbius // Northeastern Mathematics Journal. - 2005. - T. 21 , nr. 1 . — S. 70–80 .
- John Maharry. O caracterizare a graficelor fără cub minor // Journal of Combinatorial Theory . - 2000. - T. 80 , nr. 2 . — S. 179–201 . - doi : 10.1006/jctb.2000.1968 .
- John P. McSorley. Numărarea structurilor în scara Möbius // Matematică discretă . - 1998. - T. 184 , nr. 1–3 . — S. 137–164 . - doi : 10.1016/S0012-365X(97)00086-1 .
- Anna De Mier, Marc Noy. Pe grafice determinate de polinoamele lor Tutte // Grafice și combinatorie. - 2004. - T. 20 , nr. 1 . — S. 105–119 . - doi : 10.1007/s00373-003-0534-z .
- Frederic Mila, CA Stafford, Sylvain Capponi. Curenți persistenți într-o scară Möbius: un test de coerență între lanțuri a electronilor care interacționează // Revista fizică B . - 1998. - T. 57 , nr. 3 . - S. 1457-1460 . - doi : 10.1103/PhysRevB.57.1457 .
- Alantha Newman, Santosh Vempala. Programare cu numere întregi și optimizare combinatorie: a 8-a Conferință internațională IPCO, Utrecht, Țările de Jos, 13–15 iunie 2001, Proceedings. - Berlin: Springer-Verlag, 2001. - T. 2081. - S. 333-347. — (Note de curs în Informatică). - doi : 10.1007/3-540-45535-3_26 .
- Jonathan Simon. Noi aplicații științifice ale geometriei și topologiei (Baltimore, MD, 1992). - Providence, RI: Societatea Americană de Matematică , 1992. - V. 45. - P. 97-130. — (Proceedings of Symposias in Applied Mathematics).
- L. Valdes. Proceedings of the Twenty-22 South-Eastern Conference on Combinatorics, Graph Theory, and Computing (Baton Rouge, LA, 1991). - 1991. - T. 85. - S. 143-160. — (Congressus Numerantium).
- K. Wagner. Über eine Eigenschaft der ebenen Komplexe // Mathematische Annalen. - 1937. - T. 114 . — S. 570–590 . - doi : 10.1007/BF01594196 .
- D. Walba, R. Richards, R. C. Haltiwanger. Sinteza totală a primei benzi moleculare Möbius // Journal of the American Chemical Society. - 1982. - T. 104 , nr. 11 . — S. 3219–3221 . - doi : 10.1021/ja00375a051 .
Link -uri