Dual - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


Matroids

  

Dual

  

construct the dual of a matroid

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

Dual(M)

Parameters

M

-

Matroid

Description

• 

The dual M* of a matroid M is itself a matroid on the same ground set. The bases of M* are the complements of bases of M.

• 

The operations of deletion and contraction are dual to each other. That is, Me* is isomorphic to M*/e.

• 

The Tutte polynomial of the dual of a matroid simply swaps the roles of the variables.

• 

The dual of a representable matroid is the matroid on its orthogonal complement. More precisely, if M is the matroid representable by the columns of a matrix A, and B is a matrix whose rows form the orthogonal complement to the rows of A, then M* is the matroid representable by the columns of B.

• 

Given a planar graph G, the dual of the matroid underlying G is the graph dual of G.

• 

The dual of the dual of a matroid M is itself.

Examples

withMatroids:

Consider the following matroid, M.

AMatrix1,1,1,0,0,0,0,0,0,1,1,1,1,0,0,1,0,0,0,1,0,0,1,0,0,0,1,0,0,2

A111000000111100100010010001002

(1)

MMatroidA

Mthⅇ lⅈnⅇar matroⅈⅆ whosⅇ grounⅆ sⅇt ⅈs thⅇ sⅇt of column vⅇctors of thⅇ matrⅈx:111000000111100100010010001002

(2)

BBasesM

B1,2,3,4,6,1,2,3,5,6,1,3,4,5,6,2,3,4,5,6

(3)

The bases of the dual of M are the complements of the bases of M.

M2DualM

M2a matroⅈⅆ on 6 ⅇlⅇmⅇnts wⅈth 4 basⅇs of sⅈzⅇ 1

(4)

B2BasesM2

B21,2,4,5

(5)

The Tutte polynomial of M2 is the Tutte polynomial of M with the variables swapped.

TTuttePolynomialM,x,y

Tx5+x4+x3+x2y

(6)

T2TuttePolynomialM2,y,x

T2x5+x4+x3+x2y

(7)

References

  

James G. Oxley. Matroid Theory (Oxford Graduate Texts in Mathematics). New York: Oxford University Press. 2006.

See Also

Matroids[Contraction]

Matroids[Deletion]