You are on page 1of 2
Examen general de Teoria de Matroides El examen dura 4 horas. Resuelva las siguientes 5 preguntas. Suerte 1) Considere e1 matroide Ps que es el matroide vectorial sobre GF(3) de la matriz, et) et) eee 0) 1 (080 vie 0) at a) ORO si Once haul ooo1-1110 donde las columnas estin etiquetadas de derecha a izquierda 1,2,3,4,5,6,7y 8. ‘Dé una representacién estindar de P,° sobre GF(3). Pruebe que Ps es auto dual ‘© Dé una representacién estindar sobre GF(3) de Py/8. ‘© Dé una representacién geométrica de Py8. Pruebe que Py8 es representable sobre Fsi y sélo si || 23. 2). Pruebe que el matroide cuya representacién geométrica esti. en la Figura 1 es un menor cexcluido para GF(S)-representabilidad. AE _ c Figura 1 3). Pruebe que cada inclusién en el diagrama de la Figura 2 es propia. smatroides representable Figura 2 4) Sea 5 una coleccién de subconjuntos de un conjuntoE. Pruebe que “es I coleceién de eariados de un matroide sobre E siy slo sf las siguientes tres condiciones se satiotreese FI) Bes, (F2) Si, y F: estin en 3, entonces Fy AF: €3 3) Si FeS y (F,...Fi} e5 el conjunto de miembros minimales de 5 que contienen ropiamente a F, entonces F'-F,...,F\-F particiona a E-F. aot puede usar cualquiera de los diverso criptomorfismos para definir un matroide, 8, Contnto de bases, conjunto de independientes, funcién de rango, funcién de cerradure, onjunto de hiperplanos, conjunto de circuitos, ete. 5) Considere las siguientes representaciones geométricas de 2 matroides + Pruebe que el matroide MI es grifico mediante dar una grifica G conexa y un {somorfismo de matroides entre las aristas de G y los puntos de la representaciGn de MIL * Dé una representacién estindar de MI sobre los reales que sea una matriz totalmente unimodular. * riche que el matroide M2 es cogrifico mediante dar una grifica conexa cuyo {atroide sea isomorfo al dual de M2. Etiquete las arstas de la grfica para mostrar la correspondencia con los elementos de M2. * Dé una representacién esténdar de M2 sobre los reales que sea una matriz totalmente unimodular,

You might also like