En la materia matemática de teoría de matroides , el matroide bicircular de un grafo G es el matroide B ( G ) cuyos puntos son las aristas de G y cuyos conjuntos independientes son los conjuntos de aristas de pseudobosques de G , es decir, los conjuntos de aristas en los que cada componente conexo contiene como máximo un ciclo .
El matroide bicircular fue introducido por Simões-Pereira (1972) y explorado más a fondo por Matthews (1977) y otros. Es un caso especial del matroide de marco de un grafo sesgado .
Los circuitos, o conjuntos dependientes mínimos, de este matroide son los grafos bicirculares (o bicicletas , pero ese término tiene otros significados en la teoría de grafos); estos son grafos conexos cuyo rango de circuito es exactamente dos.
Hay tres tipos distintos de gráfico bicircular:
Todas estas definiciones se aplican a los multigrafos , es decir, permiten múltiples aristas (aristas que comparten los mismos puntos finales) y bucles (aristas cuyos dos puntos finales son el mismo vértice).
Los conjuntos cerrados (planos) del matroide bicircular de un grafo G pueden describirse como los bosques F de G tales que en el subgrafo inducido de V ( G ) − V ( F ) , cada componente conexo tiene un ciclo. Dado que los planos de un matroide forman una red geométrica cuando se ordenan parcialmente por inclusión de conjuntos, estos bosques de G también forman una red geométrica. En el ordenamiento parcial para esta red, que F 1 ≤ F 2 si
Para dar el ejemplo más interesante, supongamos que G o es G con un bucle añadido a cada vértice. Entonces, los planos de B ( G o ) son todos los bosques de G , ya sean generadores o no generadores. Por lo tanto, todos los bosques de un grafo G forman una red geométrica, la red de bosques de G (Zaslavsky 1982).
Los matroides bicirculares pueden caracterizarse como los matroides transversales que surgen de una familia de conjuntos en la que cada elemento del conjunto pertenece a dos conjuntos como máximo. Es decir, los conjuntos independientes del matroide son los subconjuntos de elementos que pueden utilizarse para formar un sistema de representantes distintos para algunos o todos los conjuntos. En esta descripción, los elementos corresponden a las aristas de un grafo, y hay un conjunto por vértice, siendo el conjunto de aristas el que tiene ese vértice como punto final.
A diferencia de los matroides transversales en general, los matroides bicirculares forman una clase menor-cerrada ; es decir, cualquier submatroide o contracción de un matroide bicircular es también un matroide bicircular, como se puede ver a partir de su descripción en términos de grafos sesgados (Zaslavsky 1991). Aquí hay una descripción de la eliminación y contracción de una arista en términos del grafo subyacente: Para eliminar una arista del matroide, quítela del grafo. La regla para la contracción depende de qué tipo de arista sea. Para contraer un enlace (un no bucle) en el matroide, contráigalo en el grafo de la manera habitual. Para contraer un bucle e en el vértice v , elimine e y v pero no las otras aristas incidentes con v; en cambio, cada arista incidente con v y otro vértice w se convierte en un bucle en w . Cualquier otro bucle de grafo en v se convierte en bucles de matroide; para describir esto correctamente en términos del grafo, se necesitan medias aristas y aristas sueltas; vea menores de grafos sesgados .
El polinomio característico del matroide bicircular B ( G o ) expresa de forma sencilla el número de bosques de expansión (bosques que contienen todos los vértices de G ) de cada tamaño en G . La fórmula es
donde f k es igual al número de bosques que abarcan k aristas en G . Véase Zaslavsky (1982).
Las matroides bicirculares, como todas las demás matroides transversales, pueden representarse mediante vectores sobre cualquier cuerpo infinito . Sin embargo, a diferencia de las matroides gráficas , no son regulares : no pueden representarse mediante vectores sobre un cuerpo finito arbitrario . La cuestión de los campos sobre los que una matroide bicircular tiene una representación vectorial conduce al problema, en gran medida no resuelto, de encontrar los campos sobre los que un grafo tiene ganancias multiplicativas . Véase Zaslavsky (2007).
