Biregular graf
I grafteori er en biregulær graf en todelt graf der alle knutepunktene til hver av de to delene av grafen har samme grad . Betegn med og de to delene av en toregulert graf. Hvis graden til toppunktene på er og graden til toppunktene på er , sies grafen å være -bike.
U{\ displaystyle U}
V{\ displaystyle V}
U{\ displaystyle U}
x{\ displaystyle x}
V{\ displaystyle V}
y{\ displaystyle y}
(x,y){\ displaystyle (x, y)}![(x, y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/41cf50e4a314ca8e2c30964baa8d26e5be7a9386)
Eksempler
Komplett tosidige grafer
Enhver komplett tosidig graf ( figur ) er -regulær.
Kpå,b{\ displaystyle K_ {a, b}}
(på,b){\ displaystyle (a, b)}![(a, b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7e5710198f33b00695903460983021e75860e2c)
Grafen til den rombiske dodekaederet
Grafen til det rhombiske dodekaederet ( figur ) er -biregular. Faktisk er toppunktene delt inn i to sett:
(3,4){\ displaystyle (3,4)}![{\ displaystyle (3,4)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/614a18fefb63da6c4db5c4b1dad6ddd9fa63abfe)
- settet med hjørner av grad 4;U{\ displaystyle U}
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
- settet med hjørner av grad 3.V{\ displaystyle V}
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
Ingen toppunkt av grad 4 er bundet av en kant til et annet toppunkt av grad 4; ingen toppunkt av grad 3 er knyttet til en kant til et annet toppunkt av grad 3: denne grafen er faktisk tosidig.
Antall hjørner
En biregulær graf av deler og verifiserer likeverd .
U{\ displaystyle U}
V{\ displaystyle V}
deg(U)⋅|U|=deg(V)⋅|V|{\ displaystyle deg (U) \ cdot | U | = deg (V) \ cdot | V |}![{\ displaystyle deg (U) \ cdot | U | = deg (V) \ cdot | V |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e92680f69ebe90bd5b3201fd0fd16dc67349991b)
For eksempel, i den rhombiske dodekaederet, har vi 6 hjørner av grad 4 og 8 hjørner av grad 3, det sjekker godt .
6×4=8×3{\ displaystyle 6 \ times 4 = 8 \ times 3}![{\ displaystyle 6 \ times 4 = 8 \ times 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9732814c19b55508a909b58fd1878c6b37a6ffee)
Vi kan bevise denne likheten ved å telle dobbelt :
- antall ender av kantene som ender på er ;U{\ displaystyle U}
deg(U)⋅|U|{\ displaystyle deg (U) \ cdot | U |}![{\ displaystyle deg (U) \ cdot | U |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0379440fd4eff5c4fbfd3a8df3411a3513ed94d)
- antall ender av kantene som ender på er ;V{\ displaystyle V}
deg(V)⋅|V|{\ displaystyle deg (V) \ cdot | V |}![{\ displaystyle deg (V) \ cdot | V |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/821ff3061abd334b7ed286df94dffde20628459e)
- hver kant har en ende og bare en i og en ende og bare en i , så disse to tallene er like.U{\ displaystyle U}
V{\ displaystyle V}![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
Andre egenskaper
- En graf - vanlig bipartite er -birégulier.ikke{\ displaystyle n}
(ikke,ikke){\ displaystyle (n, n)}![{\ displaystyle (n, n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af3b144aa2936855ba778dcc458ae30b5d119924)
- En kanttransitiv graf (unntatt grafer med isolerte hjørner) som ikke også er toppunkt-transitiv, er dobbeltregulert.
- Spesielt er en topptransitiv graf enten vanlig eller dobbeltregulær.
- De Levi grafer av geometriske konfigurasjoner er biregular.
- En dobbeltregulert graf er Levi-grafen til en geometrisk (abstrakt) konfigurasjon hvis og bare hvis masken er minst seks.
Merknader og referanser
-
(in) Edward R. Scheinerman og Daniel H. Ullman , Fractional graph theory , New York, John Wiley & Sons Inc.,1997( ISBN 0-471-17864-0 , Matematiske anmeldelser 1481157 ) , s. 137.
-
(en) Josef Lauri og Raffaele Scapellato , Emner i grafautorfismer og gjenoppbygging , Cambridge University Press ,2003, 20–21 s. ( ISBN 978-0-521-52903-7 , les online ).
-
(in) Tamás Réti , " On the relations entre les first and second clues Zagreb " , MATCH Commun. Matte. Beregn. Chem. , vol. 68,2012, s. 169–188 ( les online ).
-
(in) Harald Gropp , Charles J. Colbourn ( dir. ) And Jeffrey H. Dinitz ( red. ), Handbook of combinatorial designs , Chapman & Hall / CRC, Boca Raton, FL,20072. utg. , 353–355 s. ( ISBN 9781584885061 ) , "VI.7-konfigurasjoner".
Kilde
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">