En matemáticas de teoría de grafos , un grafo birregular [1] o grafo bipartito semirregular [2] es un grafo bipartito en el que cada dos vértices del mismo lado de la bipartición dada tienen el mismo grado entre sí. Si el grado de los vértices en es y el grado de los vértices en es , entonces se dice que el grafo es -birregular.
Un grafo birregular debe satisfacer la ecuación . Esto se desprende de un simple argumento de doble conteo : el número de extremos de las aristas en es , el número de extremos de las aristas en es , y cada arista contribuye con la misma cantidad (uno) a ambos números.
^ Scheinerman, Edward R. ; Ullman, Daniel H. (1997), Teoría de grafos fraccionarios , Wiley-Interscience Series in Discrete Mathematics and Optimization, Nueva York: John Wiley & Sons Inc., pág. 137, ISBN 0-471-17864-0, Sr. 1481157.
^ Dehmer, Matthias; Emmert-Streib, Frank (2009), Análisis de redes complejas: de la biología a la lingüística, John Wiley & Sons, pág. 149, ISBN9783527627998.
^ ab Lauri, Josef; Scapellato, Raffaele (2003), Temas de automorfismos y reconstrucción de grafos, Textos para estudiantes de la London Mathematical Society, Cambridge University Press, págs. 20-21, ISBN9780521529037.
^ Réti, Tamás (2012), "Sobre las relaciones entre el primer y el segundo índice de Zagreb" (PDF) , MATCH Commun. Math. Comput. Chem. , 68 : 169–188, archivado desde el original (PDF) el 2017-08-29 , consultado el 2012-09-02.
^ Gropp, Harald (2007), "VI.7 Configuraciones", en Colbourn, Charles J.; Dinitz, Jeffrey H. (eds.), Manual de diseños combinatorios , Matemáticas discretas y sus aplicaciones (Boca Raton) (segunda ed.), Chapman & Hall/CRC, Boca Raton, Florida, págs. 353–355.