|
|
| Line 1: |
Line 1: |
| In the mathematical theory of [[matroid]]s, a '''minor''' of a matroid ''M'' is another matroid ''N'' that is obtained from ''M'' by a sequence of restriction and contraction operations. Matroid minors are closely related to [[graph minor]]s, and the restriction and contraction operations by which they are formed correspond to edge deletion and edge contraction operations in graphs. The theory of matroid minors leads to structural decompositions of matroids, and characterizations of matroid families by forbidden minors, analogous to the corresponding theory in graphs.
| | This took place at the apartments on Felixstowe Road behindA gas leak caused a laundry room to explode in the city Southside Saturday.<br>When you are fashion conscious, UGG's lineup really added new. It truly is widely considered that the sheep fur products fit only reserved for the alpine region winter use, but statistics show that, in contrast to mature consumer market, Australia along with countries, a budget ugg classic tall boots during hotter region consumer instead more, summer in comparison to winter consumption is significantly also, this also verified sheep fur products dongnuanxialiang, four seasons all appropriate view.<br>http://peterlongogolfshow.com/coach/?key=coach-factory-outlet-online-sales-32 <br /> http://peterlongogolfshow.com/coach/?key=coach-factory-store-online-sale-6 <br /> http://peterlongogolfshow.com/coach/?key=coach-outlet-factory-sale-17 <br /> http://peterlongogolfshow.com/coach/?key=coach-factory-store-sale-20 <br /> http://peterlongogolfshow.com/coach/?key=coach-factory-outlet-sale-today-22 <br /> <br>http://wiki.redlibre.cl/index.php/Bags_Outlet_Can_Be_Fun_For_Everyone<br>http://klec.org/?document_srl=941746<br><br>If you have any type of concerns relating to where and ways to utilize [http://www.bendtrapclub.com/cheap/ugg.asp Cheap Uggs Boots], you can call us at our own internet site. |
| | |
| ==Definitions==
| |
| If ''S'' is a subset of ''E'', the restriction of ''M'' to ''S'', written ''M'' |''S'', is the matroid on the set ''S'' whose independent sets are the independent sets of ''M'' that are contained in ''S''. Its circuits are the circuits of ''M'' that are contained in ''S'' and its [[matroid rank|rank function]] is that of ''M'' restricted to subsets of ''S''.
| |
| | |
| If ''T'' is an independent subset of ''E'', the contraction of ''M'' by ''T'', written ''M''/''T'', is the matroid on the underlying set ''E − T'' whose independent sets are the sets whose union with ''T'' is independent in ''M''. This definition may be extended to arbitrary ''T'' by choosing a basis for ''T'' and defining a set to be independent in the contraction if its union with this basis remains independent in ''M''. The rank function of the contraction is <math>r'(A) = r(A \cup T) - r(T).</math>
| |
| | |
| A matroid ''N'' is a minor of a matroid ''M'' if it can be constructed from ''M'' by restriction and contraction operations.
| |
| | |
| In terms of the [[geometric lattice]] formed by the flats of a matroid, taking a minor of a matroid corresponds to taking an interval of the lattice, the part of the lattice lying between a given lower bound and upper bound element.{{sfnp|Welsh|2010}}
| |
| | |
| ==Forbidden matroid characterizations==
| |
| Many important families of matroids are closed under the operation of taking minors: if a matroid ''M'' belongs to the family, then every minor of ''M'' also belongs to the family. In this case, the family may be characterized by its set of "forbidden matroids", the minor-minimal matroids that do not belong to the family. A matroid belongs to the family if and only if it does not have a forbidden matroid as a minor. Often, but not always, the set of forbidden matroids is finite, paralleling the [[Robertson–Seymour theorem]] which states that the set of forbidden minors of a minor-closed graph family is always finite.
| |
| | |
| An example of this phenomenon is given by the [[regular matroid]]s, matroids that are representable over all fields. Equivalently a matroid is regular if it can be represented by a [[totally unimodular matrix]] (a matrix whose square submatrices all have determinants equal to 0, 1, or −1). {{harvtxt|Tutte|1958}} proved that a matroid is regular if and only if it does not have one of three forbidden minors: the [[uniform matroid]] <math>U{}^2_4</math> (the four-point line), the [[Fano plane]], or the [[dual matroid]] of the Fano plane. For this he used his difficult [[Tutte homotopy theorem|homotopy theorem]]. Simpler proofs have since been found.
| |
| | |
| The [[graphic matroid]]s, matroids whose independent sets are the forest subgraphs of a graph, have five forbidden minors: the three for the regular matroids, and the two duals of the graphic matroids for the graphs ''K''<sub>5</sub> and ''K''<sub>3,3</sub> that by [[Wagner's theorem]] are forbidden minors for the [[planar graph]]s.
| |
| | |
| The [[binary matroid]]s, matroids representable over the two-element [[finite field]], include both graphic and regular matroids. Tutte again showed that these matroids have a forbidden minor characterization: they are the matroids that do not have the four-point line as a minor. [[Rota's conjecture|Rota conjectured]] that, for any finite field, the matroids representable over that field have finitely many forbidden minors;<ref>{{harvtxt|Rota|1971}}.</ref> this has been proven only up to the field with four elements.<ref>{{harvtxt|Geelen|Gerards|Kapoor|2000}}.</ref> However, the matroids that can be represented over the [[real number]]s have infinitely many forbidden minors.<ref>{{harvtxt|Vámos|1978}}.</ref>
| |
| | |
| ==Branchwidth== | |
| [[Branch-decomposition]]s of matroids may be defined analogously to their definition for graphs.
| |
| A branch-decomposition of a matroid is a hierarchical clustering of the matroid elements, represented as an unrooted binary tree with the elements of the matroid at its leaves. Removing any edge of this tree partitions the matroids into two disjoint subsets; such a partition is called an e-separation. If ''r'' denotes the rank function of the matroid, then the width of an e-separation is defined as {{nowrap|''r''(''A'') + ''r''(''B'') − ''r''(''M'') + 1}}. The width of a decomposition is the maximum width of any of its e-separations, and the branchwidth of a matroid is the minimum width of any of its branch-decompositions.
| |
| | |
| The branchwidth of a graph and the branchwidth of the corresponding [[graphic matroid]] may differ: for instance, the three-edge [[path graph]] and the three-edge [[star (graph theory)|star]] have different branchwidths, 2 and 1 respectively, but they both induce the same graphic matroid with branchwidth 1.<ref name="mt07"/> However, for graphs that are not trees, the branchwidth of the graph is equal to the branchwidth of its associated graphic matroid.<ref>{{harvtxt|Mazoit|Thomassé|2007}}; {{harvtxt|Hicks|McMurray|2007}}.</ref> The branchwidth of a matroid always equals the branchwidth of its dual.<ref name="mt07">{{harvtxt|Mazoit|Thomassé|2007}}.</ref>
| |
| | |
| Branchwidth is an important component of attempts to extend the theory of graph minors to matroids: although [[treewidth]] can also be generalized to matroids,<ref>{{harvtxt|Hliněný|Whittle|2006}}.</ref> and plays a bigger role than branchwidth in the theory of graph minors, branchwidth has more convenient properties in the matroid setting.<ref name="ggw06">{{harvtxt|Geelen|Gerards|Whittle|2006}}.</ref>
| |
| If a minor-closed family of matroids representable over a finite field does not include the graphic matroids of all planar graphs, then there is a constant bound on the branchwidth of the matroids in the family, generalizing similar results for minor-closed graph families.<ref>{{harvtxt|Geelen|Gerards|Whittle|2006}}; {{harvtxt|Geelen|Gerards|Whittle|2007}}.</ref>
| |
| | |
| ==Well-quasi-ordering==
| |
| The [[Robertson–Seymour theorem]] implies that every matroid property of ''graphic'' matroids characterized by a list of forbidden minors can be characterized by a finite list. Another way of saying the same thing is that the [[partial order]] on graphic matroids formed by the minor operation is a [[well-quasi-ordering]]. However, the example of the real-representable matroids, which have infinitely many forbidden minors, shows that the minor ordering is not a well-quasi-ordering on all matroids.
| |
| | |
| Robertson and Seymour conjectured that the matroids representable over any particular [[finite field]] are well-quasi-ordered. So far this has been proven only for the matroids of bounded branchwidth.<ref>{{harvtxt|Geelen|Gerards|Whittle|2002}}; {{harvtxt|Geelen|Gerards|Whittle|2006}}.</ref>
| |
| | |
| ==Matroid decompositions==
| |
| The [[graph structure theorem]] is an important tool in the theory of graph minors, according to which the graphs in any minor-closed family can be built up from simpler graphs by [[clique-sum]] operations. Some analogous results are also known in matroid theory. In particular, [[Seymour's decomposition theorem]] states that all regular matroids can be built up in a simple way as the clique-sum of graphic matroids, their duals, and one special 10-element matroid.<ref>{{harvtxt|Seymour|1980}}.</ref> As a consequence, [[linear program]]s defined by totally unimodular matrices may be solved combinatorially by combining the solutions to a set of [[minimum spanning tree]] problems corresponding to the graphic and co-graphic parts of this decomposition.
| |
| | |
| ==Algorithms and complexity==
| |
| One of the important components of graph minor theory is the existence of an algorithm for testing whether a graph ''H'' is a minor of another graph ''G'', taking an amount of time that is polynomial in ''G'' for any fixed choice of ''H'' (and more strongly [[parameterized complexity|fixed-parameter tractable]] if the size of ''H'' is allowed to vary). By combining this result with the Robertson–Seymour theorem, it is possible to recognize the members of any minor-closed graph family in [[polynomial time]]. Correspondingly, in matroid theory, it would be desirable to develop efficient algorithms for recognizing whether a given fixed matroid is a minor of an input matroid. Unfortunately, such a strong result is not possible: in the [[matroid oracle]] model, the only minors that can be recognized in polynomial time are the [[uniform matroid]]s with rank or corank one.{{sfnp|Seymour|Walton|1981}} However, if the problem is restricted to the matroids that are representable over some fixed finite field (and represented as a matrix over that field) than, as in the graph case, it is conjectured to be possible to recognize the matroids that contain any fixed minor in polynomial time.<ref name="ggw06"/>
| |
| | |
| ==Notes==
| |
| {{reflist|colwidth=30em}}
| |
| | |
| ==References==
| |
| {{refbegin|colwidth=30em}}
| |
| *{{citation
| |
| | last1 = Geelen | first1 = J. F. | author1-link = Jim Geelen
| |
| | last2 = Gerards | first2 = A. M. H.
| |
| | last3 = Kapoor | first3 = A.
| |
| | doi = 10.1006/jctb.2000.1963
| |
| | issue = 2
| |
| | journal = [[Journal of Combinatorial Theory]]
| |
| | mr = 1769191
| |
| | pages = 247–299
| |
| | series = Series B
| |
| | title = The excluded minors for GF(4)-representable matroids
| |
| | volume = 79
| |
| | year = 2000}}.
| |
| *{{citation
| |
| | last1 = Geelen | first1 = Jim | author1-link = Jim Geelen
| |
| | last2 = Gerards | first2 = Bert
| |
| | last3 = Robertson | first3 = Neil | author3-link = Neil Robertson (mathematician)
| |
| | last4 = Whittle | first4 = Geoff
| |
| | doi = 10.1016/S0095-8956(02)00046-1
| |
| | issue = 2
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | pages = 261–265
| |
| | title = On the excluded minors for the matroids of branch-width ''k''
| |
| | volume = 88
| |
| | year = 2003}}.
| |
| *{{citation
| |
| | last1 = Geelen | first1 = Jim | author1-link = Jim Geelen
| |
| | last2 = Gerards | first2 = Bert
| |
| | last3 = Whittle | first3 = Geoff
| |
| | doi = 10.1006/jctb.2001.2082
| |
| | issue = 2
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | pages = 270–290
| |
| | title = Branch-width and well-quasi-ordering in matroids and graphs
| |
| | volume = 84
| |
| | year = 2002}}.
| |
| *{{citation
| |
| | last1 = Geelen | first1 = Jim | author1-link = Jim Geelen
| |
| | last2 = Gerards | first2 = Bert
| |
| | last3 = Whittle | first3 = Geoff
| |
| | contribution = Towards a structure theory for matrices and matroids
| |
| | pages = 827–842
| |
| | title = Proc. [[International Congress of Mathematicians]] | |
| | url = http://www.icm2006.org/proceedings/Vol_III/contents/ICM_Vol_3_41.pdf
| |
| | volume = III
| |
| | year = 2006}}.
| |
| *{{citation
| |
| | last1 = Geelen | first1 = Jim | author1-link = Jim Geelen
| |
| | last2 = Gerards | first2 = Bert
| |
| | last3 = Whittle | first3 = Geoff
| |
| | doi = 10.1016/j.jctb.2007.02.005
| |
| | issue = 6
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | pages = 971–998 | |
| | title = Excluding a planar graph from GF(''q'')-representable matroids
| |
| | url = http://www.math.uwaterloo.ca/~jfgeelen/publications/grid.pdf
| |
| | volume = 97
| |
| | year = 2007}}.
| |
| *{{citation
| |
| | last1 = Hicks | first1 = Illya V.
| |
| | last2 = McMurray | first2 = Nolan B., Jr.
| |
| | doi = 10.1016/j.jctb.2006.12.007
| |
| | issue = 5
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | pages = 681–692
| |
| | title = The branchwidth of graphs and their cycle matroids
| |
| | volume = 97
| |
| | year = 2007}}.
| |
| *{{citation
| |
| | last = Hliněný | first = Petr
| |
| | contribution = On matroid properties definable in the MSO logic
| |
| | doi = 10.1007/978-3-540-45138-9\_41
| |
| | pages = 470–479
| |
| | publisher = Springer-Verlag
| |
| | series = Lecture Notes in Computer Science
| |
| | title = Proc. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS '03)
| |
| | volume = 2747
| |
| | year = 2003}}
| |
| *{{citation
| |
| | last1 = Hliněný | first1 = Petr
| |
| | last2 = Whittle | first2 = Geoff
| |
| | doi = 10.1016/j.ejc.2006.06.005
| |
| | issue = 7
| |
| | journal = European Journal of Combinatorics
| |
| | pages = 1117–1128
| |
| | title = Matroid tree-width
| |
| | url = http://www.fi.muni.cz/~hlineny/Research/papers/matr-tw-final.pdf
| |
| | volume = 27
| |
| | year = 2006}}. Addendum and corrigendum: {{citation
| |
| | last1 = Hliněný | first1 = Petr
| |
| | last2 = Whittle | first2 = Geoff
| |
| | title = Addendum to matroid tree-width
| |
| | journal = European Journal of Combinatorics
| |
| | volume=30
| |
| | issue=4
| |
| | pages=1036–1044
| |
| | year = 2009
| |
| | doi=10.1016/j.ejc.2008.09.028}}.
| |
| *{{citation
| |
| | last1 = Mazoit | first1 = Frédéric
| |
| | last2 = Thomassé | first2 = Stéphan
| |
| | contribution = Branchwidth of graphic matroids
| |
| | editor1-last = Hilton | editor1-first = Anthony
| |
| | editor2-last = Talbot | editor2-first = John
| |
| | page = 275
| |
| | publisher = Cambridge University Press
| |
| | series = London Mathematical Society Lecture Note Series
| |
| | title = Surveys in Combinatorics 2007
| |
| | url = http://hal.archives-ouvertes.fr/docs/00/04/09/28/PDF/Branchwidth.pdf
| |
| | volume = 346
| |
| | year = 2007}}.
| |
| *{{citation
| |
| | last = Rota | first = Gian-Carlo | authorlink = Gian-Carlo Rota
| |
| | contribution = Combinatorial theory, old and new
| |
| | location = Paris
| |
| | mr = 0505646
| |
| | pages = 229–233
| |
| | publisher = Gauthier-Villars
| |
| | title = Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 3
| |
| | year = 1971}}.
| |
| *{{citation
| |
| | last1 = Seymour | first1 = P. D. | authorlink1 = Paul Seymour (mathematician)
| |
| | title = Decomposition of regular matroids
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | volume = 28 | issue = 3 | year = 1980 | pages = 305–359
| |
| | mr = 0579077
| |
| | doi = 10.1016/0095-8956(80)90075-1}}.
| |
| *{{citation
| |
| | last1 = Seymour | first1 = P. D. | author1-link = Paul Seymour (mathematician)
| |
| | last2 = Walton | first2 = P. N.
| |
| | doi = 10.1112/jlms/s2-23.2.193
| |
| | issue = 2
| |
| | journal = Journal of the London Mathematical Society
| |
| | mr = 609098
| |
| | pages = 193–203
| |
| | series = Second Series
| |
| | title = Detecting matroid minors
| |
| | volume = 23
| |
| | year = 1981}}.
| |
| *{{citation
| |
| | last = Tutte | first = W. T. | authorlink = W. T. Tutte
| |
| | journal = Transactions of the American Mathematical Society
| |
| | mr = 0101526
| |
| | pages = 144–174
| |
| | title = A homotopy theorem for matroids. I, II
| |
| | volume = 88
| |
| | year = 1958}}.
| |
| *{{citation
| |
| | last = Vámos | first = P.
| |
| | doi = 10.1112/jlms/s2-18.3.403
| |
| | issue = 3
| |
| | journal = Journal of the London Mathematical Society
| |
| | mr = 518224
| |
| | pages = 403–408
| |
| | series = Second Series
| |
| | title = The missing axiom of matroid theory is lost forever
| |
| | volume = 18
| |
| | year = 1978}}.
| |
| *{{citation
| |
| | last = Welsh | first = D. J. A. | authorlink = Dominic Welsh
| |
| | contribution = 4.4 Minors and their representation in the lattice
| |
| | isbn = 9780486474397
| |
| | pages = 65–67
| |
| | publisher = Courier Dover Publications
| |
| | title = Matroid Theory
| |
| | year = 2010 | origyear=1976}}.
| |
| {{refend}}
| |
| | |
| [[Category:Graph minor theory]]
| |
| [[Category:Matroid theory]]
| |