SlideShare a Scribd company logo
Parameterized Algorithms using Matroids
Lecture 0: Matroid Basics
Saket Saurabh
The Institute of Mathematical Sciences, India
and University of Bergen, Norway.

ADFOCS 2013, MPI, August 04-09, 2013
Kruskal’s Greedy Algorithm for MWST
Let G = (V, E) be a connected undirected graph and let
w : E → R≥0 be a weight function on the edges.
Kruskal’s so-called greedy algorithm is as follows. The
algorithm consists of selecting successively edges e1 , e2 , . . . , er .
If edges e1 , e2 , . . . , ek has been selected, then an edge e ∈ E is
selected so that:
1

e ∈ {e1 , . . . , ek } and {e, e1 , . . . , ek } is a forest.
/

2

w(e) is as small as possible among all edges e satisfying (1).

We take ek+1 := e. If no e satisfying (1) exists then {e1 , . . . , ek }
is a spanning tree.
Kruskal’s Greedy Algorithm for MWST
Let G = (V, E) be a connected undirected graph and let
w : E → R≥0 be a weight function on the edges.
Kruskal’s so-called greedy algorithm is as follows. The
algorithm consists of selecting successively edges e1 , e2 , . . . , er .
If edges e1 , e2 , . . . , ek has been selected, then an edge e ∈ E is
selected so that:
1

e ∈ {e1 , . . . , ek } and {e, e1 , . . . , ek } is a forest.
/

2

w(e) is as small as possible among all edges e satisfying (1).

We take ek+1 := e. If no e satisfying (1) exists then {e1 , . . . , ek }
is a spanning tree.
It is obviously not true that such a greedy approach would lead
to an optimal solution for any combinatorial optimization
problem.
Consider Maximum Weight Matching problem.

a

1

3

d

b
3

4

c

Application of the greedy algorithm gives cd and ab.
AS
However, cd and ab do not form a matching of maximum
weight.
It is obviously not true that such a greedy approach would lead
to an optimal solution for any combinatorial optimization
problem.

It turns out that the structures for which the greedy algorithm
does lead to an optimal solution, are the matroids.
Matroids

Definition
A pair M = (E, I), where E is a ground set and I is a family of
subsets (called independent sets) of E, is a matroid if it satisfies
the following conditions:
(I1) ϕ ∈ I or I = ∅.
(I2) If A ⊆ A and A ∈ I then A ∈ I.
(I3) If A, B ∈ I and |A| < |B|, then ∃ e ∈ (B  A) such that
A ∪ {e} ∈ I.
The axiom (I2) is also called the hereditary property and a pair
M = (E, I) satisfying (I1) and (I2) is called hereditary family or
set-family.
Matroids

Definition
A pair M = (E, I), where E is a ground set and I is a family of
subsets (called independent sets) of E, is a matroid if it satisfies
the following conditions:
(I1) ϕ ∈ I or I = ∅.
(I2) If A ⊆ A and A ∈ I then A ∈ I.
(I3) If A, B ∈ I and |A| < |B|, then ∃ e ∈ (B  A) such that
A ∪ {e} ∈ I.
The axiom (I2) is also called the hereditary property and a pair
M = (E, I) satisfying (I1) and (I2) is called hereditary family or
set-family.
Rank and Basis
Definition
A pair M = (E, I), where E is a ground set and I is a family of
subsets (called independent sets) of E, is a matroid if it satisfies
the following conditions:
(I1) ϕ ∈ I or I = ∅.
(I2) If A ⊆ A and A ∈ I then A ∈ I.
(I3) If A, B ∈ I and |A| < |B|, then ∃ e ∈ (B  A) such that
A ∪ {e} ∈ I.
An inclusion wise maximal set of I is called a basis of the
matroid. Using axiom (I3) it is easy to show that all the bases
of a matroid have the same size. This size is called the rank of
the matroid M , and is denoted by rank(M ).
Matroids and Greedy Algorithms
Let M = (E, I) be a set family and let w : E → R≥0 be a
weight function on the elements.
Objective: Find a set Y ∈ I that maximizes
w(Y ) = y∈Y w(y).
The greedy algorithm consists of selecting successively y1 , . . . , yr
as follows. If y1 , . . . , yk has been selected, then choose y ∈ E so
that:
1

y ∈ {y1 , . . . , yk } and {y, y1 , . . . , yk } ∈ I.
/

2

w(y) is as large as possible among all edges y satisfying (1).

We stop if no y satisfying (1) exists.
Matroids and Greedy Algorithms
Let M = (E, I) be a set family and let w : E → R≥0 be a
weight function on the elements.
Objective: Find a set Y ∈ I that maximizes
w(Y ) = y∈Y w(y).
The greedy algorithm consists of selecting successively y1 , . . . , yr
as follows. If y1 , . . . , yk has been selected, then choose y ∈ E so
that:
1

y ∈ {y1 , . . . , yk } and {y, y1 , . . . , yk } ∈ I.
/

2

w(y) is as large as possible among all edges y satisfying (1).

We stop if no y satisfying (1) exists.
Matroids and Greedy Algorithms

Theorem: A set family M = (E, I) is a matroid
if and only if
the greedy algorithm leads to a set Y in I of maximum weight
w(Y ), for each weight function w : E → R≥0 .
Examples Of Matroids
Uniform Matroid
A pair M = (E, I) over an n-element ground set E, is called a
uniform matroid if the family of independent sets is given by
I = A ⊆ E | |A| ≤ k ,
where k is some constant. This matroid is also denoted as Un,k .
Eg: E = {1, 2, 3, 4, 5} and k = 2 then

I =

{}, {1}, {2}, {3}, {4}, {5}, {1, 2}, {1, 3}, {1, 4},
{1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
Uniform Matroid
A pair M = (E, I) over an n-element ground set E, is called a
uniform matroid if the family of independent sets is given by
I = A ⊆ E | |A| ≤ k ,
where k is some constant. This matroid is also denoted as Un,k .
Eg: E = {1, 2, 3, 4, 5} and k = 2 then

I =

{}, {1}, {2}, {3}, {4}, {5}, {1, 2}, {1, 3}, {1, 4},
{1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
Partition Matroid
A partition matroid M = (E, I) is defined by a ground set E
being partitioned into (disjoint) sets E1 , . . . , E and by
non-negative integers k1 , . . . , k . A set X ⊆ E is independent if
and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. That is,
I = X ⊆ E | |X ∩ Ei | ≤ ki , i ∈ {1, . . . , } .
If X, Y ∈ I and |Y | > |X|, there must exist i such that
|Y ∩ Ei | > |X ∩ Ei | and this means that adding any
element e in Ei ∩ (Y  X) to X will maintain independence.
M in general would not be a matroid if Ei were not
disjoint. Eg: E1 = {1, 2} and E2 = {2, 3} and k1 = 1 and
k2 = 1 then both Y = {1, 3} and X = {2} have at most one
element of each Ei but one can’t find an element of Y to
add to X.
Partition Matroid
A partition matroid M = (E, I) is defined by a ground set E
being partitioned into (disjoint) sets E1 , . . . , E and by
non-negative integers k1 , . . . , k . A set X ⊆ E is independent if
and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. That is,
I = X ⊆ E | |X ∩ Ei | ≤ ki , i ∈ {1, . . . , } .
If X, Y ∈ I and |Y | > |X|, there must exist i such that
|Y ∩ Ei | > |X ∩ Ei | and this means that adding any
element e in Ei ∩ (Y  X) to X will maintain independence.
M in general would not be a matroid if Ei were not
disjoint. Eg: E1 = {1, 2} and E2 = {2, 3} and k1 = 1 and
k2 = 1 then both Y = {1, 3} and X = {2} have at most one
element of each Ei but one can’t find an element of Y to
add to X.
Partition Matroid
A partition matroid M = (E, I) is defined by a ground set E
being partitioned into (disjoint) sets E1 , . . . , E and by
non-negative integers k1 , . . . , k . A set X ⊆ E is independent if
and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. That is,
I = X ⊆ E | |X ∩ Ei | ≤ ki , i ∈ {1, . . . , } .
If X, Y ∈ I and |Y | > |X|, there must exist i such that
|Y ∩ Ei | > |X ∩ Ei | and this means that adding any
element e in Ei ∩ (Y  X) to X will maintain independence.
M in general would not be a matroid if Ei were not
disjoint. Eg: E1 = {1, 2} and E2 = {2, 3} and k1 = 1 and
k2 = 1 then both Y = {1, 3} and X = {2} have at most one
element of each Ei but one can’t find an element of Y to
add to X.
Graphic Matroid

Given a graph G, a graphic matroid is defined as M = (E, I)
where and
E = E(G) – edges of G are elements of the matroid
I = F ⊆ E(G) : F is a forest in the graph G
Co-Graphic Matroid

Given a graph G, a co-graphic matroid is defined as M = (E, I)
where and
E = E(G) – edges of G are elements of the matroid
I = S ⊆ E(G) : G  S is connected
Transversal Matroid
Let G be a bipartite graph with the vertex set V (G) being
partitioned as A and B.

A

B
Transversal Matroid
Let G be a bipartite graph with the vertex set V (G) being
partitioned as A and B. The transversal matroid M = (E, I) of
G has E = A as its ground set,
I = X | X ⊆ A, there is a matching that covers X

X

A

B
Gammoids

Let D = (V, A) be a directed graph, and let S ⊆ V be a subset
of vertices. A subset X ⊆ V is said to be linked to S if there are
|X| vertex disjoint paths going from S to X.
The paths are disjoint, not only internally disjoint.
Furthermore, zero-length paths are also allowed if X ∩ S = ∅.
Given a digraph D = (V, A) and subsets S ⊆ V and T ⊆ V , a
gammoid is a matroid M = (E, I) with E = T and
I = X | X ⊆ T and X is linked to S
Gammoids

Let D = (V, A) be a directed graph, and let S ⊆ V be a subset
of vertices. A subset X ⊆ V is said to be linked to S if there are
|X| vertex disjoint paths going from S to X.
The paths are disjoint, not only internally disjoint.
Furthermore, zero-length paths are also allowed if X ∩ S = ∅.
Given a digraph D = (V, A) and subsets S ⊆ V and T ⊆ V , a
gammoid is a matroid M = (E, I) with E = T and
I = X | X ⊆ T and X is linked to S
Gammoids

Let D = (V, A) be a directed graph, and let S ⊆ V be a subset
of vertices. A subset X ⊆ V is said to be linked to S if there are
|X| vertex disjoint paths going from S to X.
The paths are disjoint, not only internally disjoint.
Furthermore, zero-length paths are also allowed if X ∩ S = ∅.
Given a digraph D = (V, A) and subsets S ⊆ V and T ⊆ V , a
gammoid is a matroid M = (E, I) with E = T and
I = X | X ⊆ T and X is linked to S
Gammoid: Example

T

S

X

D
Strict Gammoids

Given a digraph D = (V, A) and subset S ⊆ V , a strict
gammoid is a matroid M = (E, I) with E = V and
I = X | X ⊆ V and X is linked to S
An Alternate Definition of
Matroids
Basis Family

Let E be a finite set and B be a family of subsets of E that
satisfies:
(B1) B = ∅.
(B2) If B1 , B2 ∈ B then |B1 | = |B2 |.
(B3) If B1 , B2 ∈ B and there is an element x ∈ (B1  B2 ) then
there is an element y ∈ (B2  B1 ) so that
B1  {x} ∪ {y} ∈ B.
(B3) If B1 , B2 ∈ B and there is an element x ∈ (B1  B2 ) then
there is an element y ∈ (B2  B1 ) so that
B1  {x} ∪ {y} ∈ B.

y

x

B2

B1

y
Let E be a finite set and B be the family of subsets of E that
satisfies:
(B1) B = ∅.
(B2) If B1 , B2 ∈ B then |B1 | = |B2 |.
(B3) If B1 , B2 ∈ B and there is an element x ∈ (B1  B2 ) then
there is an element y ∈ (B2  B1 ) so that
B1  {x} ∪ {y} ∈ B.
Given B, we define
I = I(B) = I | I ⊆ B for some B ∈ B
Let E be a finite set and B be the family of subsets of E that
satisfies:
(B1) B = ∅.
(B2) If B1 , B2 ∈ B then |B1 | = |B2 |.
(B3) If B1 , B2 ∈ B and there is an element x ∈ (B1  B2 ) then
there is an element y ∈ (B2  B1 ) so that
B1  {x} ∪ {y} ∈ B.
Given B, we define
I = I(B) = I | I ⊆ B for some B ∈ B
Family of Bases

Let M = (E, I) be a matroid and B be the family of bases of M
– a family of maximal independent sets.
Then B satisfies (B1), (B2) and (B3). That is,
(B1) B = ∅.
(B2) If B1 , B2 ∈ B then |B1 = |B2 |.
(B3) If B1 , B2 ∈ B and there is an element x ∈ (B1  B2 ) then
there is an element y ∈ (B2  B1 ) so that
B1  {x} ∪ {y} ∈ B.
Proof for B3
Let M = (E, I) be a matroid and B be the family of bases of M
– a family of maximal independent sets.
y

x

B2

B1

B1-x in I
I3
y

|B1-x|<|B2|
An Alternate Axiom System

Theorem: Let E be a finite set and B be the family of subsets
of E that satisfies (B1), (B2) and (B3) then M = (E, I) is a
matroid and B is the family of bases of this matroid. Recall,
that
I = I(B) = I | I ⊆ B for some B ∈ B .
New Matroids from Old
Deletion and Contraction
Let M = (E, I) be a matroid, and let X be a subset of E.
Deleting X from M gives a matroid M  X = (E  X, I ) such
that S ⊆ E  X is independent in M  X if and only if S ∈ I.
I = S | S ⊆ E  X, S ∈ I
Contracting X from M gives a matroid M/X = (E  X, I ) such
that S ⊆ E  X is independent in M/X if and only if S ∪ X ∈ I.
I = S | S ⊆ E  X, S ∪ X ∈ I
Deletion and Contraction
Let M = (E, I) be a matroid, and let X be a subset of E.
Deleting X from M gives a matroid M  X = (E  X, I ) such
that S ⊆ E  X is independent in M  X if and only if S ∈ I.
I = S | S ⊆ E  X, S ∈ I
Contracting X from M gives a matroid M/X = (E  X, I ) such
that S ⊆ E  X is independent in M/X if and only if S ∪ X ∈ I.
I = S | S ⊆ E  X, S ∪ X ∈ I
Deletion and Contraction
Let M = (E, I) be a matroid, and let X be a subset of E.
Deleting X from M gives a matroid M  X = (E  X, I ) such
that S ⊆ E  X is independent in M  X if and only if S ∈ I.
I = S | S ⊆ E  X, S ∈ I
Contracting X from M gives a matroid M/X = (E  X, I ) such
that S ⊆ E  X is independent in M/X if and only if S ∪ X ∈ I.
I = S | S ⊆ E  X, S ∪ X ∈ I
Deletion and Contraction

Deletion: The bases of M  X are those bases of M that
do not contain X.
Contraction: The bases of M/X are those bases of M
that do contain X with X then removed from each such
basis.
Direct Sum

Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t
matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t.
The direct sum M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with
E := t Ei and X ⊆ E is independent if and only if for all
i=1
i ≤ t, X ∩ Ei ∈ Ii .
I = X | X ⊆ E, (X ∩ Ei ) ∈ Ii , i ∈ {1, . . . , t}
Direct Sum

Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t
matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t.
The direct sum M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with
E := t Ei and X ⊆ E is independent if and only if for all
i=1
i ≤ t, X ∩ Ei ∈ Ii .
I = X | X ⊆ E, (X ∩ Ei ) ∈ Ii , i ∈ {1, . . . , t}
Truncation

The t-truncation of a matroid M = (E, I) is a matroid
M = (E, I ) such that S ⊆ E is independent in M if and only
if |S| ≤ t and S is independent in M (that is S ∈ I).
Dual

Let M = (E, I) be a matroid, B be the family of its bases and
B∗ = E  B | B ∈ B .
The dual of a matroid M is M ∗ = (E, I ∗ ), where
I ∗ = X | X ⊆ B, B ∈ B ∗ }.
That is, B ∗ is a family of bases of M ∗ .
Dual

Let M = (E, I) be a matroid, B be the family of its bases and
B∗ = E  B | B ∈ B .
The dual of a matroid M is M ∗ = (E, I ∗ ), where
I ∗ = X | X ⊆ B, B ∈ B ∗ }.
That is, B ∗ is a family of bases of M ∗ .
Matroid Representation
Remark

Need compact representation to for the family of
independent sets.
Also to be able to test easily whether a set belongs to the
family of independent sets.
Linear Matroid
Let A be a matrix over an arbitrary field F and let E be the set
of columns of A. Given A we define the matroid M = (E, I) as
follows.
A set X ⊆ E is independent (that is X ∈ I) if the
corresponding columns are linearly independent over F.


∗ ∗ ∗ ··· ∗
 ∗ ∗ ∗ ··· ∗ 




A =  ∗ ∗ ∗ · · · ∗  ∗ are elements of F
 . . . . . 
 . . . . . 
. . . . .
∗ ∗ ∗ ··· ∗
The matroids that can be defined by such a construction are
called linear matroids.
Linear Matroid
Let A be a matrix over an arbitrary field F and let E be the set
of columns of A. Given A we define the matroid M = (E, I) as
follows.
A set X ⊆ E is independent (that is X ∈ I) if the
corresponding columns are linearly independent over F.


∗ ∗ ∗ ··· ∗
 ∗ ∗ ∗ ··· ∗ 




A =  ∗ ∗ ∗ · · · ∗  ∗ are elements of F
 . . . . . 
 . . . . . 
. . . . .
∗ ∗ ∗ ··· ∗
The matroids that can be defined by such a construction are
called linear matroids.
Linear Matroids and Representable Matroids

If a matroid can be defined by a matrix A over a field F, then
we say that the matroid is representable over F.
Linear Matroids and Representable Matroids
A matroid M = (E, I) is representable over a field F if there
exist vectors in F that correspond to the elements such that
the linearly independent sets of vectors precisely correspond to
independent sets of the matroid.
Let E = {e1 , . . . , em } and be a positive integer.


1
2

3
.
.
.

e1
∗
∗
∗
.
.
.
∗

e2
∗
∗
∗
.
.
.
∗

e3
∗
∗
∗
.
.
.
∗

···
···
···
···
.
.
.
···

em

∗
∗ 

∗ 
. 
. 
.
∗

×m

A matroid M = (E, I) is called representable or linear if it is
representable over some field F.
Linear Matroids and Representable Matroids
A matroid M = (E, I) is representable over a field F if there
exist vectors in F that correspond to the elements such that
the linearly independent sets of vectors precisely correspond to
independent sets of the matroid.
Let E = {e1 , . . . , em } and be a positive integer.


1
2

3
.
.
.

e1
∗
∗
∗
.
.
.
∗

e2
∗
∗
∗
.
.
.
∗

e3
∗
∗
∗
.
.
.
∗

···
···
···
···
.
.
.
···

em

∗
∗ 

∗ 
. 
. 
.
∗

×m

A matroid M = (E, I) is called representable or linear if it is
representable over some field F.
Linear Matroid

Let M = (E, I) be linear matroid and Let E = {e1 , . . . , em }
and d=rank(M ).
We can always assume (using Gaussian Elimination) that the
matrix has following form:
Id×d D
d×m

Here Id×d is a d × d identity matrix.
Linear Matroid

Let M = (E, I) be linear matroid and Let E = {e1 , . . . , em }
and d=rank(M ).
We can always assume (using Gaussian Elimination) that the
matrix has following form:
Id×d D
d×m

Here Id×d is a d × d identity matrix.
Direct Sum of Matroid
Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t
matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t. The direct sum
M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with E := t Ei and
i=1
X ⊆ E is independent if and only if for all i ≤ t, X ∩ Ei ∈ Ii .
Let Ai be the representation matrix of Mi = (Ei , Ii ) over the
same field F. Then,


A1 0 0 · · · 0
 0 A2 0 · · · 0 


AM =  .
. . .
. 
.
. . .
. 
 .
. . .
.
0
0 0 · · · At
is a representation matrix of M1 ⊕ · · · ⊕ Mt over F.
Direct Sum of Matroid
Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t
matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t. The direct sum
M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with E := t Ei and
i=1
X ⊆ E is independent if and only if for all i ≤ t, X ∩ Ei ∈ Ii .
Let Ai be the representation matrix of Mi = (Ei , Ii ) over the
same field F. Then,


A1 0 0 · · · 0
 0 A2 0 · · · 0 


AM =  .
. . .
. 
.
. . .
. 
 .
. . .
.
0
0 0 · · · At
is a representation matrix of M1 ⊕ · · · ⊕ Mt over F.
Deletion of a Matroid
Let M = (E, I) be a matroid, and let X be a subset of E.
Deleting X from M gives a matroid M  X = (E  X, I ) such
that S ⊆ E  X is independent in M  X if and only if S ∈ I.
I = S | S ⊆ E  X, S ∈ I
Given a representation of AM of M , a representation of M  X
can be obtained by deleting the columns corresponding to X.

AM


1
2

= 3
.
.
.
d

e1
∗
∗
∗
.
.
.
∗

e2
∗
∗
∗
.
.
.
∗

e3
∗
∗
∗
.
.
.
∗

···
···
···
···
.
.
.
···

em

∗
∗ 

∗ 
. 
. 
.
∗ d×m
Deletion of a Matroid
Let M = (E, I) be a matroid, and let X be a subset of E.
Deleting X from M gives a matroid M  X = (E  X, I ) such
that S ⊆ E  X is independent in M  X if and only if S ∈ I.
I = S | S ⊆ E  X, S ∈ I
Given a representation of AM of M , a representation of M  X
can be obtained by deleting the columns corresponding to X.

AM


1
2

= 3
.
.
.
d

e1
∗
∗
∗
.
.
.
∗

e2
∗
∗
∗
.
.
.
∗

e3
∗
∗
∗
.
.
.
∗

···
···
···
···
.
.
.
···

em

∗
∗ 

∗ 
. 
. 
.
∗ d×m
Deletion of a Matroid
Let X = {e2 , e3 }.

AM


1
2

= 3
.
.
.
d

AM

e1
∗
∗
∗
.
.
.
∗


1
2

= 3
.
.
.
d

e2
∗
∗
∗
.
.
.
∗

e3
∗
∗
∗
.
.
.
∗

e1
∗
∗

···
···
···
···
.
.
.
···

.
.
.
∗

···
···
···
···
.
.
.
···

em

∗
∗ 

∗ 
. 
. 
.
∗ d×m

em

∗
∗ 

∗ 
. 
. 
.
∗ d×m
Dual of a Matroid
Let M = (E, I) be a matroid, B be the family of its bases and
B∗ = E  B | B ∈ B .
The dual of a matroid M is M ∗ = (E, I ∗ ), where
I ∗ = X | X ⊆ B, B ∈ B ∗ }.
That is, B ∗ is a family of bases of M ∗ .
Let A = [Id×d | D] represent the matroid M then the matrix
A∗ = [−DT | Im−r×m−r ] represents the dual matroid M ∗ .
Dual of a Matroid: A concrete example
a
1
0

0
0

A=

b
0
1
0
0

c
0
0
1
0

d
0
0
0
1

e f
1 1
1 −1
0 1
0 0

g

1
−1 

0 
1

{a, b, c, d} is a basis of M then {e, f, g} is a basis of M ∗ .
a

A∗ =



b

c

d

e f
1 0
0 1
0 0

g

0
0
1

To find coordinates for columns a, b, c, d, we will choose entries
that make every row of A orthogonal to every row of A∗ .
Dual of a Matroid: A concrete example

a
1
0

0
0


A=

a
−1
 −1
−1


A∗ =

b
0
1
0
0
b
−1
1
1

Here, D is colored in green.

c
0
0
1
0

d
0
0
0
1
c
0
−1
0

e f
1 1
1 −1
0 1
0 0
d
0
0
−1

g

1
−1 

0 
1

e f
1 0
0 1
0 0

g

0
0
1
Uniform Matroid
Every uniform matroid is linear and can be represented over a
finite field by a k × n matrix AM where the AM [i, j] = j i−1 .
e1
1
1
1
.
.
.
k 1

1
2

3
.
.
.

e2
1
2
22
.
.
.

e3
1
3
32
.
.
.

2k−1

3k−1

···
···
···
···
.
.
.
···

en

1
n 

n2 
. 
. 
.
k−1
n
k×n

Observe that for AM to be representable over a finite field F, we
need that the determinant of any k × k submatrix of AM must
not vanish over F.
The determinant of any k × k submatrix of AM is upper
bounded by k! × nk−1 (this follows from the Laplace expansion
of determinants). Thus, choosing a field F of size larger than
k! × nk−1 suffices.
Uniform Matroid
Every uniform matroid is linear and can be represented over a
finite field by a k × n matrix AM where the AM [i, j] = j i−1 .
e1
1
1
1
.
.
.
k 1

1
2

3
.
.
.

e2
1
2
22
.
.
.

e3
1
3
32
.
.
.

2k−1

3k−1

···
···
···
···
.
.
.
···

en

1
n 

n2 
. 
. 
.
k−1
n
k×n

Observe that for AM to be representable over a finite field F, we
need that the determinant of any k × k submatrix of AM must
not vanish over F.
The determinant of any k × k submatrix of AM is upper
bounded by k! × nk−1 (this follows from the Laplace expansion
of determinants). Thus, choosing a field F of size larger than
k! × nk−1 suffices.
Uniform Matroid
Every uniform matroid is linear and can be represented over a
finite field by a k × n matrix AM where the AM [i, j] = j i−1 .
e1
1
1
1
.
.
.
k 1

1
2

3
.
.
.

e2
1
2
22
.
.
.

e3
1
3
32
.
.
.

2k−1

3k−1

···
···
···
···
.
.
.
···

en

1
n 

n2 
. 
. 
.
k−1
n
k×n

Observe that for AM to be representable over a finite field F, we
need that the determinant of any k × k submatrix of AM must
not vanish over F.
The determinant of any k × k submatrix of AM is upper
bounded by k! × nk−1 (this follows from the Laplace expansion
of determinants). Thus, choosing a field F of size larger than
k! × nk−1 suffices.
Uniform Matroid
Every uniform matroid is linear and can be represented over a
finite field by a k × n matrix AM where the AM [i, j] = j i−1 .
e1
1
1
1
.
.
.
k 1

1
2

3
.
.
.

e2
1
2
22
.
.
.

e3
1
3
32
.
.
.

2k−1

3k−1

···
···
···
···
.
.
.
···

en

1
n 

n2 
. 
. 
.
k−1
n
k×n

Observe that for AM to be representable over a finite field F, we
need that the determinant of any k × k submatrix of AM must
not vanish over F.
The determinant of any k × k submatrix of AM is upper
bounded by k! × nk−1 (this follows from the Laplace expansion
of determinants). Thus, choosing a field F of size larger than
k! × nk−1 suffices.
Uniform Matroid: Size of the representation

e1
1 1
2 1

3 1
. .
. .
. .
k 1


e2
1
2
22
.
.
.

e3
1
3
32
.
.
.

2k−1

3k−1

···
···
···
···
.
.
.
···

en

1
n 

n2 
. 
. 
.
k−1
n
k×n

So the size of the representation: O((k log n) × nk) bits.
Partition Matroid
A partition matroid M = (E, I) is defined by a ground set E
being partitioned into (disjoint) sets E1 , . . . , E and by
non-negative integers k1 , . . . , k . A set X ⊆ E is independent if
and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }.
Observe that a partition matroid is a direct sum of uniform
matroids
U|E1 |,k1 , · · · , U|E

|,k

,

U|E1 |,k1 ⊕ · · · ⊕ U|E

|,k

A uniform matroid Un,k is representable over a field F of size
larger than k! × nk−1 and thus a partition matroid is
representable.
Partition Matroid
A partition matroid M = (E, I) is defined by a ground set E
being partitioned into (disjoint) sets E1 , . . . , E and by
non-negative integers k1 , . . . , k . A set X ⊆ E is independent if
and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }.
Observe that a partition matroid is a direct sum of uniform
matroids
U|E1 |,k1 , · · · , U|E

|,k

,

U|E1 |,k1 ⊕ · · · ⊕ U|E

|,k

A uniform matroid Un,k is representable over a field F of size
larger than k! × nk−1 and thus a partition matroid is
representable.
Partition Matroid
A partition matroid M = (E, I) is defined by a ground set E
being partitioned into (disjoint) sets E1 , . . . , E and by
non-negative integers k1 , . . . , k . A set X ⊆ E is independent if
and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }.
Observe that a partition matroid is a direct sum of uniform
matroids
U|E1 |,k1 , · · · , U|E

|,k

,

U|E1 |,k1 ⊕ · · · ⊕ U|E

|,k

A uniform matroid Un,k is representable over a field F of size
larger than k! × nk−1 and thus a partition matroid is
representable.
Graphic Matroid
The graphic matroid is representable over any field of size at
least 2.
Consider the matrix AM with a row for each vertex i ∈ V (G)
and a column for each edge e = ij ∈ E(G). In the column
corresponding to e = ij, all entries are 0, except for a 1 in i or j
(arbitrarily) and a −1 in the other.
e
 1
1 1
2 0

3  −1

. .
. .
.
.
n 0

e3
1
0
0
.
.
.

···
···
···
···
.
.
.

−1 −1

···

e2
0
0
1
.
.
.

This is a representation over reals.

em

0
1 

0 

. 
. 
.
−1 n×|E(G)|
Graphic Matroid
The graphic matroid is representable over any field of size at
least 2.
Consider the matrix AM with a row for each vertex i ∈ V (G)
and a column for each edge e = ij ∈ E(G). In the column
corresponding to e = ij, all entries are 0, except for a 1 in i or j
(arbitrarily) and a −1 in the other.
e
 1
1 1
2 0

3  −1

. .
. .
.
.
n 0

e3
1
0
0
.
.
.

···
···
···
···
.
.
.

−1 −1

···

e2
0
0
1
.
.
.

This is a representation over reals.

em

0
1 

0 

. 
. 
.
−1 n×|E(G)|
Graphic Matroid
The graphic matroid is representable over any field of size at
least 2.
Consider the matrix AM with a row for each vertex i ∈ V (G)
and a column for each edge e = ij ∈ E(G). In the column
corresponding to e = ij, all entries are 0, except for a 1 in i or j
(arbitrarily) and a −1 in the other.
e
 1
1 1
2 0

3  −1

. .
. .
.
.
n 0

e3
1
0
0
.
.
.

···
···
···
···
.
.
.

−1 −1

···

e2
0
0
1
.
.
.

This is a representation over reals.

em

0
1 

0 

. 
. 
.
−1 n×|E(G)|
Graphic Matroid
The graphic matroid is representable over any field of size at
least 2.
Consider the matrix AM with a row for each vertex i ∈ V (G)
and a column for each edge e = ij ∈ E(G). In the column
corresponding to e = ij, all entries are 0, except for a 1 in i or j
(arbitrarily) and a −1 in the other.
e1
1 1
2 0

3  1−1
. .
. .
.
.
n 0


e2
0
0
1
.
.
.
−1
1

e3
1
0
0
.
.
.
−1
1

···
···
···
···
.
.
.
···

em

0
1 

0 
. 
. 
.
−1
1
n×|E(G)|

To obtain a representation over a field F, one simply needs to
take the representation given above over reals and simply
replace all −1 by the additive inverse of 1
Transversal Matroid
For the bipartite graph with partition A and B, form an
incidence matrix AM as follows. Label the rows by vertices of B
and the columns by the vertices of AM and define:
aij =

zij if there is an edge between ai and bj ,
0 otherwise.

where zij are in-determinants. Think of them as independent
variables.
a1
b1 z11
.  .
.  .
.  .
T = bi  zi1

.  .
.  .
.
.
bn zn1


a2
z12
.
.
.

···
···
.
.
.

aj
z1j
.
.
.

···
···
.
.
.

zi2
.
.
.

···
.
.
.

zij
.
.
.

···
.
.
.

zn2

···

znj

···

a

z1
. 
. 
. 
zi 

. 
. 
.
zn
Transversal Matroid
For the bipartite graph with partition A and B, form an
incidence matrix AM as follows. Label the rows by vertices of B
and the columns by the vertices of AM and define:
aij =

zij if there is an edge between ai and bj ,
0 otherwise.

where zij are in-determinants. Think of them as independent
variables.
a1
b1 z11
.  .
.  .
.  .
T = bi  zi1

.  .
.  .
.
.
bn zn1


a2
z12
.
.
.

···
···
.
.
.

aj
z1j
.
.
.

···
···
.
.
.

zi2
.
.
.

···
.
.
.

zij
.
.
.

···
.
.
.

zn2

···

znj

···

a

z1
. 
. 
. 
zi 

. 
. 
.
zn
Example of the Construction
a1

b1

a2

b2

a3
a4

b3

a5
a6
a1
b1 z11
b2 0
b3 0


a2
z12
z22
0

a3
z13
z23
0

a4
0
z24
0

a5
z15
z25
z35

a6

0
0 
z36
Example of the Construction
a1

b1

a2

b2

a3
a4

b3

a5
a6
a1
b1 z11
b2 0
b3 0


a2
z12
z22
0

a3
z13
z23
0

a4
0
z24
0

a5
z15
z25
z35

a6

0
0 
z36
Permutation expansion of Determinants

Theorem: Let
A = (aij )n×n
be a n × n matrix with entries in F. Then
n

det(A) =

sgn(π)
π∈Sn

aiπ(i) .
i=1
Proof that Transversal Matroid is Representable over
F [z]
Forward direction: (Board for Picture)
Suppose some subset X = {a1 , . . . , aq } is independent.
Then there is a matching that saturates X. Let
Y = {b1 , b2 , . . . , bq } be the endpoints of this matching and
ai bi are the matching edges.
Consider T [Y, X] – a submatrix with rows in Y and
columns in X. Consider the determinant of T [Y, X] then
we have a term
q

zii
i=1

which can not be cancelled by any other term! So these
columns are linearly independent.
Proof that Transversal Matroid is Representable over
F [z]
Reverse direction: (Board for Picture)
Suppose some subset X = {a1 , . . . , aq } of columns is
independent in T .
Then there is a submatrix of T [ , X] that has non-zero
determinant – say T [Y, X].
Consider the determinant of T [Y, X]
q

ziπ(i) .

sgn(π)

0 = det(T [Y, X]) =
π∈S(Y )

i=1

This implies that we have a term
q

ziπ(i) = 0
i=1

and this gives us that there is a matching that saturates X
in and hence X is independent.
Proof that Transversal Matroid is Representable over
F [z]
Reverse direction: (Board for Picture)
This implies that we have a term
q

ziπ(i) = 0
i=1

and this gives us that there is a matching that saturates X
in and hence X is independent.
For this direction we do not use zij , the very fact that X
forms independent set of column is enough to argue that
there is a matching that saturates X.
Removing zij

To remove the zij we do the following.
Uniformly at random assign zij from values in finite
field F of size P .
What should be the upper bound on P ? What is the
probability that the randomly obtained T is a representation
matrix for the transversal matroid.
Removing zij

To remove the zij we do the following.
Uniformly at random assign zij from values in finite
field F of size P .
What should be the upper bound on P ? What is the
probability that the randomly obtained T is a representation
matrix for the transversal matroid.
Using Zippel-Schwartz Lemma
Theorem: Let p(x1 , x2 , . . . , xn ) be a non-zero polynomial of
degree d over some field F and let S be an N element subset
of F. If each xi is independently assigned a value from S with
uniform probability, then p(x1 , x2 , . . . , xn ) = 0 with probabild
ity at most N .

We think det(T [Y, X]) as polynomial in zij ’s of degree at
most n = |A|.
n
Probability that det(T [Y, X]) = 0 is less than P . There are
n independent sets in A and thus by union bound
at most 2
probability that not all of them are independent in the
n
matroid represented by T is at most 2Pn .
Using Zippel-Schwartz Lemma

We think det(T [Y, X]) as polynomial in zij ’s of degree at
most n = |A|.
n
Probability that det(T [Y, X]) = 0 is less than P . There are
n independent sets in A and thus by union bound
at most 2
probability that not all of them are independent in the
n
matroid represented by T is at most 2Pn .

Thus probability that T is the representation is at least
n
1 − 2Pn . Take P to be some field with at least 2n n2n
elements :-).
size of this representation with be like nO(1) bits!
Strict Gammoids: Idea of Proof for Representation

Show that this is a dual of a transversal matroid.
Transversal Matroids are representable.
Dual of a Representable Matroid is Representable.
Conclude that Strict Gammoids are representable.
Strict Gammoids: Idea of Proof for Representation

Show that this is a dual of a transversal matroid.
Transversal Matroids are representable.
Dual of a Representable Matroid is Representable.
Conclude that Strict Gammoids are representable.
Strict Gammoids: Idea of Proof for Representation

Show that this is a dual of a transversal matroid.
Transversal Matroids are representable.
Dual of a Representable Matroid is Representable.
Conclude that Strict Gammoids are representable.
Strict Gammoids: Idea of Proof for Representation

Show that this is a dual of a transversal matroid.
Transversal Matroids are representable.
Dual of a Representable Matroid is Representable.
Conclude that Strict Gammoids are representable.
Transversal Matroid and Strict Gammoids

Let D = (V, A) be a directed graph and S ⊆ V = {v1 , . . . , vn }.
Let M = (E, I) be the corresponding strict gammoid.
For transversal matroid we need a bipartite graph. Let G∗
be a bipartite graph with bipartition U and W .
U = {ui | vi ∈ V } and W = {wi | wi ∈ V  S}.
For each edge vi ∈ V  S we have an edge ui wi and for
every edge −→ there is an edge ui wj .
v− j
iv
Want to show:
Let V0 ∈ I and |V0 | = |S|. V0 is linked to S if and only if there
is a matching that saturates U  U0 in G∗ .
Transversal Matroid and Strict Gammoids

Let D = (V, A) be a directed graph and S ⊆ V = {v1 , . . . , vn }.
Let M = (E, I) be the corresponding strict gammoid.
For transversal matroid we need a bipartite graph. Let G∗
be a bipartite graph with bipartition U and W .
U = {ui | vi ∈ V } and W = {wi | wi ∈ V  S}.
For each edge vi ∈ V  S we have an edge ui wi and for
every edge −→ there is an edge ui wj .
v− j
iv
Want to show:
Let V0 ∈ I and |V0 | = |S|. V0 is linked to S if and only if there
is a matching that saturates U  U0 in G∗ .
Transversal Matroid and Strict Gammoids

Let D = (V, A) be a directed graph and S ⊆ V = {v1 , . . . , vn }.
Let M = (E, I) be the corresponding strict gammoid.
For transversal matroid we need a bipartite graph. Let G∗
be a bipartite graph with bipartition U and W .
U = {ui | vi ∈ V } and W = {wi | wi ∈ V  S}.
For each edge vi ∈ V  S we have an edge ui wi and for
every edge −→ there is an edge ui wj .
v− j
iv
Want to show:
Let V0 ∈ I and |V0 | = |S|. V0 is linked to S if and only if there
is a matching that saturates U  U0 in G∗ .
Proof Forward Direction

Assume first that there are |S| disjoint paths going from S to
V0 . Consider the matching as follows:
w ∈ W is matched to u if −→ is an arc on some path; else
v−
v
i

j

j i

wi is matched to ui .
This means that ui is matched if one of the paths reaches vi
and continues further on, or if none of the paths reaches vi .
Thus the unmatched ui s corresponds to the end points of
the paths, as required.
Proof Reverse Direction

There is a matching that saturates U  U0 .
Now for every vertex corresponding to S that is not in V0
grow maximal path using matching edges.
This corresponds to paths from S to V0 in D.
Representation of Gammoids

Find the representation of strict-gammoids over a large
field F.
Delete the columns corresponding to V  T .
Now reduce the size of the numbers using modular
arithmetic over a prime with at most O((|S| + |T |)O(1) )
bits.
One can show: that the size of representation now will be
O((|S| + |T |)O(1) ).
Final Slide

Thank You!
Any Questions?

More Related Content

What's hot

Tutorial 7: Transpose of matrices and Its properties
Tutorial 7: Transpose of matrices and Its propertiesTutorial 7: Transpose of matrices and Its properties
Tutorial 7: Transpose of matrices and Its properties
Dr. Mehar Chand
 
Important Classification and Regression Metrics.pptx
Important Classification and Regression Metrics.pptxImportant Classification and Regression Metrics.pptx
Important Classification and Regression Metrics.pptx
Chode Amarnath
 
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...
Simplilearn
 
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...
Edureka!
 
Machine Learning and Data Mining: 14 Evaluation and Credibility
Machine Learning and Data Mining: 14 Evaluation and CredibilityMachine Learning and Data Mining: 14 Evaluation and Credibility
Machine Learning and Data Mining: 14 Evaluation and Credibility
Pier Luca Lanzi
 
Machine learning
Machine learningMachine learning
Machine learning
Shreyas G S
 
Spectral clustering
Spectral clusteringSpectral clustering
Spectral clustering
SOYEON KIM
 
Introduction to Bayesian Methods
Introduction to Bayesian MethodsIntroduction to Bayesian Methods
Introduction to Bayesian Methods
Corey Chivers
 
Random Forest Classifier in Machine Learning | Palin Analytics
Random Forest Classifier in Machine Learning | Palin AnalyticsRandom Forest Classifier in Machine Learning | Palin Analytics
Random Forest Classifier in Machine Learning | Palin Analytics
Palin analytics
 
From decision trees to random forests
From decision trees to random forestsFrom decision trees to random forests
From decision trees to random forests
Viet-Trung TRAN
 
Random forest
Random forestRandom forest
Random forestUjjawal
 
Secure Domination in graphs
Secure Domination in graphsSecure Domination in graphs
Secure Domination in graphs
Mahesh Gadhwal
 
Introduction to Random Forests by Dr. Adele Cutler
Introduction to Random Forests by Dr. Adele CutlerIntroduction to Random Forests by Dr. Adele Cutler
Introduction to Random Forests by Dr. Adele Cutler
Salford Systems
 
Godels First Incompleteness Theorem
Godels First Incompleteness TheoremGodels First Incompleteness Theorem
Godels First Incompleteness Theorem
mmanning02474
 
Destek vektör makineleri
Destek vektör makineleriDestek vektör makineleri
Destek vektör makineleri
ozgur_dolgun
 
Decision tree
Decision treeDecision tree
Decision tree
Soujanya V
 
Destek Vektör Makineleri - Support Vector Machine
Destek Vektör Makineleri - Support Vector MachineDestek Vektör Makineleri - Support Vector Machine
Destek Vektör Makineleri - Support Vector Machine
Oğuzhan TAŞ Akademi
 
Decision tree and random forest
Decision tree and random forestDecision tree and random forest
Decision tree and random forest
Lippo Group Digital
 

What's hot (20)

Tutorial 7: Transpose of matrices and Its properties
Tutorial 7: Transpose of matrices and Its propertiesTutorial 7: Transpose of matrices and Its properties
Tutorial 7: Transpose of matrices and Its properties
 
Important Classification and Regression Metrics.pptx
Important Classification and Regression Metrics.pptxImportant Classification and Regression Metrics.pptx
Important Classification and Regression Metrics.pptx
 
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...
 
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...
 
Machine Learning and Data Mining: 14 Evaluation and Credibility
Machine Learning and Data Mining: 14 Evaluation and CredibilityMachine Learning and Data Mining: 14 Evaluation and Credibility
Machine Learning and Data Mining: 14 Evaluation and Credibility
 
Machine learning
Machine learningMachine learning
Machine learning
 
Spectral clustering
Spectral clusteringSpectral clustering
Spectral clustering
 
Introduction to Bayesian Methods
Introduction to Bayesian MethodsIntroduction to Bayesian Methods
Introduction to Bayesian Methods
 
FUZZY LOGIC
FUZZY LOGICFUZZY LOGIC
FUZZY LOGIC
 
Random Forest Classifier in Machine Learning | Palin Analytics
Random Forest Classifier in Machine Learning | Palin AnalyticsRandom Forest Classifier in Machine Learning | Palin Analytics
Random Forest Classifier in Machine Learning | Palin Analytics
 
From decision trees to random forests
From decision trees to random forestsFrom decision trees to random forests
From decision trees to random forests
 
Lecture7 - IBk
Lecture7 - IBkLecture7 - IBk
Lecture7 - IBk
 
Random forest
Random forestRandom forest
Random forest
 
Secure Domination in graphs
Secure Domination in graphsSecure Domination in graphs
Secure Domination in graphs
 
Introduction to Random Forests by Dr. Adele Cutler
Introduction to Random Forests by Dr. Adele CutlerIntroduction to Random Forests by Dr. Adele Cutler
Introduction to Random Forests by Dr. Adele Cutler
 
Godels First Incompleteness Theorem
Godels First Incompleteness TheoremGodels First Incompleteness Theorem
Godels First Incompleteness Theorem
 
Destek vektör makineleri
Destek vektör makineleriDestek vektör makineleri
Destek vektör makineleri
 
Decision tree
Decision treeDecision tree
Decision tree
 
Destek Vektör Makineleri - Support Vector Machine
Destek Vektör Makineleri - Support Vector MachineDestek Vektör Makineleri - Support Vector Machine
Destek Vektör Makineleri - Support Vector Machine
 
Decision tree and random forest
Decision tree and random forestDecision tree and random forest
Decision tree and random forest
 

Similar to Matroid Basics

11.characterization of connected vertex magic total labeling graphs in topolo...
11.characterization of connected vertex magic total labeling graphs in topolo...11.characterization of connected vertex magic total labeling graphs in topolo...
11.characterization of connected vertex magic total labeling graphs in topolo...
Alexander Decker
 
4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...Alexander Decker
 
4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...
Alexander Decker
 
4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...
Alexander Decker
 
On common fixed point theorem in fuzzy metric space
On common fixed point theorem in fuzzy metric spaceOn common fixed point theorem in fuzzy metric space
On common fixed point theorem in fuzzy metric space
Alexander Decker
 
A weaker version of continuity and a common fixed point theorem
A weaker version of continuity and a common fixed point theoremA weaker version of continuity and a common fixed point theorem
A weaker version of continuity and a common fixed point theorem
Alexander Decker
 
-contraction and some fixed point results via modified !-distance mappings in t...
-contraction and some fixed point results via modified !-distance mappings in t...-contraction and some fixed point results via modified !-distance mappings in t...
-contraction and some fixed point results via modified !-distance mappings in t...
IJECEIAES
 
Andrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshopAndrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshop
Andries Rusu
 
An approach to Fuzzy clustering of the iris petals by using Ac-means
An approach to Fuzzy clustering of the iris petals by using Ac-meansAn approach to Fuzzy clustering of the iris petals by using Ac-means
An approach to Fuzzy clustering of the iris petals by using Ac-means
ijsc
 
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Alexander Decker
 
A Fixed Point Theorem Using Common Property (E. A.) In PM Spaces
A Fixed Point Theorem Using Common Property (E. A.) In PM SpacesA Fixed Point Theorem Using Common Property (E. A.) In PM Spaces
A Fixed Point Theorem Using Common Property (E. A.) In PM Spaces
inventionjournals
 
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
IJERA Editor
 
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACEμ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
theijes
 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
Roshayu Mohamad
 
Common fixed theorems for weakly compatible mappings via an
Common fixed theorems for weakly compatible mappings via anCommon fixed theorems for weakly compatible mappings via an
Common fixed theorems for weakly compatible mappings via an
Alexander Decker
 
A Rounding Technique For The Polymatroid Membership Problem
A Rounding Technique For The Polymatroid Membership ProblemA Rounding Technique For The Polymatroid Membership Problem
A Rounding Technique For The Polymatroid Membership Problem
Angela Tyger
 
Topology and Electrostatics
Topology and Electrostatics Topology and Electrostatics
Topology and Electrostatics
Vorname Nachname
 
discrete maths notes.ppt
discrete maths notes.pptdiscrete maths notes.ppt
discrete maths notes.ppt
NamuwayaPhionah1
 
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...
IAEME Publication
 

Similar to Matroid Basics (20)

11.characterization of connected vertex magic total labeling graphs in topolo...
11.characterization of connected vertex magic total labeling graphs in topolo...11.characterization of connected vertex magic total labeling graphs in topolo...
11.characterization of connected vertex magic total labeling graphs in topolo...
 
4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...
 
4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...
 
4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...4. [22 25]characterization of connected vertex magic total labeling graphs in...
4. [22 25]characterization of connected vertex magic total labeling graphs in...
 
On common fixed point theorem in fuzzy metric space
On common fixed point theorem in fuzzy metric spaceOn common fixed point theorem in fuzzy metric space
On common fixed point theorem in fuzzy metric space
 
A weaker version of continuity and a common fixed point theorem
A weaker version of continuity and a common fixed point theoremA weaker version of continuity and a common fixed point theorem
A weaker version of continuity and a common fixed point theorem
 
-contraction and some fixed point results via modified !-distance mappings in t...
-contraction and some fixed point results via modified !-distance mappings in t...-contraction and some fixed point results via modified !-distance mappings in t...
-contraction and some fixed point results via modified !-distance mappings in t...
 
Andrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshopAndrei rusu-2013-amaa-workshop
Andrei rusu-2013-amaa-workshop
 
An approach to Fuzzy clustering of the iris petals by using Ac-means
An approach to Fuzzy clustering of the iris petals by using Ac-meansAn approach to Fuzzy clustering of the iris petals by using Ac-means
An approach to Fuzzy clustering of the iris petals by using Ac-means
 
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
 
A Fixed Point Theorem Using Common Property (E. A.) In PM Spaces
A Fixed Point Theorem Using Common Property (E. A.) In PM SpacesA Fixed Point Theorem Using Common Property (E. A.) In PM Spaces
A Fixed Point Theorem Using Common Property (E. A.) In PM Spaces
 
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
 
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACEμ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
 
Common fixed theorems for weakly compatible mappings via an
Common fixed theorems for weakly compatible mappings via anCommon fixed theorems for weakly compatible mappings via an
Common fixed theorems for weakly compatible mappings via an
 
Matching
MatchingMatching
Matching
 
A Rounding Technique For The Polymatroid Membership Problem
A Rounding Technique For The Polymatroid Membership ProblemA Rounding Technique For The Polymatroid Membership Problem
A Rounding Technique For The Polymatroid Membership Problem
 
Topology and Electrostatics
Topology and Electrostatics Topology and Electrostatics
Topology and Electrostatics
 
discrete maths notes.ppt
discrete maths notes.pptdiscrete maths notes.ppt
discrete maths notes.ppt
 
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...
 

More from ASPAK2014

Kernel Lower Bounds
Kernel Lower BoundsKernel Lower Bounds
Kernel Lower BoundsASPAK2014
 
Color Coding
Color CodingColor Coding
Color CodingASPAK2014
 
Steiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthSteiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthASPAK2014
 
The Exponential Time Hypothesis
The Exponential Time HypothesisThe Exponential Time Hypothesis
The Exponential Time HypothesisASPAK2014
 
Cut and Count
Cut and CountCut and Count
Cut and CountASPAK2014
 
Treewidth and Applications
Treewidth and ApplicationsTreewidth and Applications
Treewidth and ApplicationsASPAK2014
 
Important Cuts and (p,q)-clustering
Important Cuts and (p,q)-clusteringImportant Cuts and (p,q)-clustering
Important Cuts and (p,q)-clusteringASPAK2014
 
Representative Sets
Representative SetsRepresentative Sets
Representative SetsASPAK2014
 
Bidimensionality
BidimensionalityBidimensionality
BidimensionalityASPAK2014
 
Dynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthDynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthASPAK2014
 
Introduction to Treewidth
Introduction to TreewidthIntroduction to Treewidth
Introduction to TreewidthASPAK2014
 
The W Hierarchy
The W HierarchyThe W Hierarchy
The W HierarchyASPAK2014
 
Paths and Polynomials
Paths and PolynomialsPaths and Polynomials
Paths and PolynomialsASPAK2014
 
Kernelization Basics
Kernelization BasicsKernelization Basics
Kernelization BasicsASPAK2014
 
Iterative Compression
Iterative CompressionIterative Compression
Iterative CompressionASPAK2014
 
Important Cuts
Important CutsImportant Cuts
Important CutsASPAK2014
 
Fixed-Parameter Intractability
Fixed-Parameter IntractabilityFixed-Parameter Intractability
Fixed-Parameter IntractabilityASPAK2014
 

More from ASPAK2014 (17)

Kernel Lower Bounds
Kernel Lower BoundsKernel Lower Bounds
Kernel Lower Bounds
 
Color Coding
Color CodingColor Coding
Color Coding
 
Steiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthSteiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by Treewidth
 
The Exponential Time Hypothesis
The Exponential Time HypothesisThe Exponential Time Hypothesis
The Exponential Time Hypothesis
 
Cut and Count
Cut and CountCut and Count
Cut and Count
 
Treewidth and Applications
Treewidth and ApplicationsTreewidth and Applications
Treewidth and Applications
 
Important Cuts and (p,q)-clustering
Important Cuts and (p,q)-clusteringImportant Cuts and (p,q)-clustering
Important Cuts and (p,q)-clustering
 
Representative Sets
Representative SetsRepresentative Sets
Representative Sets
 
Bidimensionality
BidimensionalityBidimensionality
Bidimensionality
 
Dynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthDynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded Treewidth
 
Introduction to Treewidth
Introduction to TreewidthIntroduction to Treewidth
Introduction to Treewidth
 
The W Hierarchy
The W HierarchyThe W Hierarchy
The W Hierarchy
 
Paths and Polynomials
Paths and PolynomialsPaths and Polynomials
Paths and Polynomials
 
Kernelization Basics
Kernelization BasicsKernelization Basics
Kernelization Basics
 
Iterative Compression
Iterative CompressionIterative Compression
Iterative Compression
 
Important Cuts
Important CutsImportant Cuts
Important Cuts
 
Fixed-Parameter Intractability
Fixed-Parameter IntractabilityFixed-Parameter Intractability
Fixed-Parameter Intractability
 

Recently uploaded

Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
Thiyagu K
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
MIRIAMSALINAS13
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
GeoBlogs
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
The Art Pastor's Guide to Sabbath | Steve Thomason
The Art Pastor's Guide to Sabbath | Steve ThomasonThe Art Pastor's Guide to Sabbath | Steve Thomason
The Art Pastor's Guide to Sabbath | Steve Thomason
Steve Thomason
 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
Vikramjit Singh
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
beazzy04
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
Jisc
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
Cambridge International AS A Level Biology Coursebook - EBook (MaryFosbery J...
Cambridge International AS  A Level Biology Coursebook - EBook (MaryFosbery J...Cambridge International AS  A Level Biology Coursebook - EBook (MaryFosbery J...
Cambridge International AS A Level Biology Coursebook - EBook (MaryFosbery J...
AzmatAli747758
 
How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
Celine George
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
BhavyaRajput3
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
TechSoup
 
Introduction to Quality Improvement Essentials
Introduction to Quality Improvement EssentialsIntroduction to Quality Improvement Essentials
Introduction to Quality Improvement Essentials
Excellence Foundation for South Sudan
 
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxMARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
bennyroshan06
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumers
PedroFerreira53928
 
PART A. Introduction to Costumer Service
PART A. Introduction to Costumer ServicePART A. Introduction to Costumer Service
PART A. Introduction to Costumer Service
PedroFerreira53928
 

Recently uploaded (20)

Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
The Art Pastor's Guide to Sabbath | Steve Thomason
The Art Pastor's Guide to Sabbath | Steve ThomasonThe Art Pastor's Guide to Sabbath | Steve Thomason
The Art Pastor's Guide to Sabbath | Steve Thomason
 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
Cambridge International AS A Level Biology Coursebook - EBook (MaryFosbery J...
Cambridge International AS  A Level Biology Coursebook - EBook (MaryFosbery J...Cambridge International AS  A Level Biology Coursebook - EBook (MaryFosbery J...
Cambridge International AS A Level Biology Coursebook - EBook (MaryFosbery J...
 
How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
 
Introduction to Quality Improvement Essentials
Introduction to Quality Improvement EssentialsIntroduction to Quality Improvement Essentials
Introduction to Quality Improvement Essentials
 
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxMARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumers
 
PART A. Introduction to Costumer Service
PART A. Introduction to Costumer ServicePART A. Introduction to Costumer Service
PART A. Introduction to Costumer Service
 

Matroid Basics

  • 1. Parameterized Algorithms using Matroids Lecture 0: Matroid Basics Saket Saurabh The Institute of Mathematical Sciences, India and University of Bergen, Norway. ADFOCS 2013, MPI, August 04-09, 2013
  • 2. Kruskal’s Greedy Algorithm for MWST Let G = (V, E) be a connected undirected graph and let w : E → R≥0 be a weight function on the edges. Kruskal’s so-called greedy algorithm is as follows. The algorithm consists of selecting successively edges e1 , e2 , . . . , er . If edges e1 , e2 , . . . , ek has been selected, then an edge e ∈ E is selected so that: 1 e ∈ {e1 , . . . , ek } and {e, e1 , . . . , ek } is a forest. / 2 w(e) is as small as possible among all edges e satisfying (1). We take ek+1 := e. If no e satisfying (1) exists then {e1 , . . . , ek } is a spanning tree.
  • 3. Kruskal’s Greedy Algorithm for MWST Let G = (V, E) be a connected undirected graph and let w : E → R≥0 be a weight function on the edges. Kruskal’s so-called greedy algorithm is as follows. The algorithm consists of selecting successively edges e1 , e2 , . . . , er . If edges e1 , e2 , . . . , ek has been selected, then an edge e ∈ E is selected so that: 1 e ∈ {e1 , . . . , ek } and {e, e1 , . . . , ek } is a forest. / 2 w(e) is as small as possible among all edges e satisfying (1). We take ek+1 := e. If no e satisfying (1) exists then {e1 , . . . , ek } is a spanning tree.
  • 4. It is obviously not true that such a greedy approach would lead to an optimal solution for any combinatorial optimization problem.
  • 5. Consider Maximum Weight Matching problem. a 1 3 d b 3 4 c Application of the greedy algorithm gives cd and ab. AS However, cd and ab do not form a matching of maximum weight.
  • 6. It is obviously not true that such a greedy approach would lead to an optimal solution for any combinatorial optimization problem. It turns out that the structures for which the greedy algorithm does lead to an optimal solution, are the matroids.
  • 7. Matroids Definition A pair M = (E, I), where E is a ground set and I is a family of subsets (called independent sets) of E, is a matroid if it satisfies the following conditions: (I1) ϕ ∈ I or I = ∅. (I2) If A ⊆ A and A ∈ I then A ∈ I. (I3) If A, B ∈ I and |A| < |B|, then ∃ e ∈ (B A) such that A ∪ {e} ∈ I. The axiom (I2) is also called the hereditary property and a pair M = (E, I) satisfying (I1) and (I2) is called hereditary family or set-family.
  • 8. Matroids Definition A pair M = (E, I), where E is a ground set and I is a family of subsets (called independent sets) of E, is a matroid if it satisfies the following conditions: (I1) ϕ ∈ I or I = ∅. (I2) If A ⊆ A and A ∈ I then A ∈ I. (I3) If A, B ∈ I and |A| < |B|, then ∃ e ∈ (B A) such that A ∪ {e} ∈ I. The axiom (I2) is also called the hereditary property and a pair M = (E, I) satisfying (I1) and (I2) is called hereditary family or set-family.
  • 9. Rank and Basis Definition A pair M = (E, I), where E is a ground set and I is a family of subsets (called independent sets) of E, is a matroid if it satisfies the following conditions: (I1) ϕ ∈ I or I = ∅. (I2) If A ⊆ A and A ∈ I then A ∈ I. (I3) If A, B ∈ I and |A| < |B|, then ∃ e ∈ (B A) such that A ∪ {e} ∈ I. An inclusion wise maximal set of I is called a basis of the matroid. Using axiom (I3) it is easy to show that all the bases of a matroid have the same size. This size is called the rank of the matroid M , and is denoted by rank(M ).
  • 10. Matroids and Greedy Algorithms Let M = (E, I) be a set family and let w : E → R≥0 be a weight function on the elements. Objective: Find a set Y ∈ I that maximizes w(Y ) = y∈Y w(y). The greedy algorithm consists of selecting successively y1 , . . . , yr as follows. If y1 , . . . , yk has been selected, then choose y ∈ E so that: 1 y ∈ {y1 , . . . , yk } and {y, y1 , . . . , yk } ∈ I. / 2 w(y) is as large as possible among all edges y satisfying (1). We stop if no y satisfying (1) exists.
  • 11. Matroids and Greedy Algorithms Let M = (E, I) be a set family and let w : E → R≥0 be a weight function on the elements. Objective: Find a set Y ∈ I that maximizes w(Y ) = y∈Y w(y). The greedy algorithm consists of selecting successively y1 , . . . , yr as follows. If y1 , . . . , yk has been selected, then choose y ∈ E so that: 1 y ∈ {y1 , . . . , yk } and {y, y1 , . . . , yk } ∈ I. / 2 w(y) is as large as possible among all edges y satisfying (1). We stop if no y satisfying (1) exists.
  • 12. Matroids and Greedy Algorithms Theorem: A set family M = (E, I) is a matroid if and only if the greedy algorithm leads to a set Y in I of maximum weight w(Y ), for each weight function w : E → R≥0 .
  • 14. Uniform Matroid A pair M = (E, I) over an n-element ground set E, is called a uniform matroid if the family of independent sets is given by I = A ⊆ E | |A| ≤ k , where k is some constant. This matroid is also denoted as Un,k . Eg: E = {1, 2, 3, 4, 5} and k = 2 then I = {}, {1}, {2}, {3}, {4}, {5}, {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
  • 15. Uniform Matroid A pair M = (E, I) over an n-element ground set E, is called a uniform matroid if the family of independent sets is given by I = A ⊆ E | |A| ≤ k , where k is some constant. This matroid is also denoted as Un,k . Eg: E = {1, 2, 3, 4, 5} and k = 2 then I = {}, {1}, {2}, {3}, {4}, {5}, {1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}, {4, 5}
  • 16. Partition Matroid A partition matroid M = (E, I) is defined by a ground set E being partitioned into (disjoint) sets E1 , . . . , E and by non-negative integers k1 , . . . , k . A set X ⊆ E is independent if and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. That is, I = X ⊆ E | |X ∩ Ei | ≤ ki , i ∈ {1, . . . , } . If X, Y ∈ I and |Y | > |X|, there must exist i such that |Y ∩ Ei | > |X ∩ Ei | and this means that adding any element e in Ei ∩ (Y X) to X will maintain independence. M in general would not be a matroid if Ei were not disjoint. Eg: E1 = {1, 2} and E2 = {2, 3} and k1 = 1 and k2 = 1 then both Y = {1, 3} and X = {2} have at most one element of each Ei but one can’t find an element of Y to add to X.
  • 17. Partition Matroid A partition matroid M = (E, I) is defined by a ground set E being partitioned into (disjoint) sets E1 , . . . , E and by non-negative integers k1 , . . . , k . A set X ⊆ E is independent if and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. That is, I = X ⊆ E | |X ∩ Ei | ≤ ki , i ∈ {1, . . . , } . If X, Y ∈ I and |Y | > |X|, there must exist i such that |Y ∩ Ei | > |X ∩ Ei | and this means that adding any element e in Ei ∩ (Y X) to X will maintain independence. M in general would not be a matroid if Ei were not disjoint. Eg: E1 = {1, 2} and E2 = {2, 3} and k1 = 1 and k2 = 1 then both Y = {1, 3} and X = {2} have at most one element of each Ei but one can’t find an element of Y to add to X.
  • 18. Partition Matroid A partition matroid M = (E, I) is defined by a ground set E being partitioned into (disjoint) sets E1 , . . . , E and by non-negative integers k1 , . . . , k . A set X ⊆ E is independent if and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. That is, I = X ⊆ E | |X ∩ Ei | ≤ ki , i ∈ {1, . . . , } . If X, Y ∈ I and |Y | > |X|, there must exist i such that |Y ∩ Ei | > |X ∩ Ei | and this means that adding any element e in Ei ∩ (Y X) to X will maintain independence. M in general would not be a matroid if Ei were not disjoint. Eg: E1 = {1, 2} and E2 = {2, 3} and k1 = 1 and k2 = 1 then both Y = {1, 3} and X = {2} have at most one element of each Ei but one can’t find an element of Y to add to X.
  • 19. Graphic Matroid Given a graph G, a graphic matroid is defined as M = (E, I) where and E = E(G) – edges of G are elements of the matroid I = F ⊆ E(G) : F is a forest in the graph G
  • 20. Co-Graphic Matroid Given a graph G, a co-graphic matroid is defined as M = (E, I) where and E = E(G) – edges of G are elements of the matroid I = S ⊆ E(G) : G S is connected
  • 21. Transversal Matroid Let G be a bipartite graph with the vertex set V (G) being partitioned as A and B. A B
  • 22. Transversal Matroid Let G be a bipartite graph with the vertex set V (G) being partitioned as A and B. The transversal matroid M = (E, I) of G has E = A as its ground set, I = X | X ⊆ A, there is a matching that covers X X A B
  • 23. Gammoids Let D = (V, A) be a directed graph, and let S ⊆ V be a subset of vertices. A subset X ⊆ V is said to be linked to S if there are |X| vertex disjoint paths going from S to X. The paths are disjoint, not only internally disjoint. Furthermore, zero-length paths are also allowed if X ∩ S = ∅. Given a digraph D = (V, A) and subsets S ⊆ V and T ⊆ V , a gammoid is a matroid M = (E, I) with E = T and I = X | X ⊆ T and X is linked to S
  • 24. Gammoids Let D = (V, A) be a directed graph, and let S ⊆ V be a subset of vertices. A subset X ⊆ V is said to be linked to S if there are |X| vertex disjoint paths going from S to X. The paths are disjoint, not only internally disjoint. Furthermore, zero-length paths are also allowed if X ∩ S = ∅. Given a digraph D = (V, A) and subsets S ⊆ V and T ⊆ V , a gammoid is a matroid M = (E, I) with E = T and I = X | X ⊆ T and X is linked to S
  • 25. Gammoids Let D = (V, A) be a directed graph, and let S ⊆ V be a subset of vertices. A subset X ⊆ V is said to be linked to S if there are |X| vertex disjoint paths going from S to X. The paths are disjoint, not only internally disjoint. Furthermore, zero-length paths are also allowed if X ∩ S = ∅. Given a digraph D = (V, A) and subsets S ⊆ V and T ⊆ V , a gammoid is a matroid M = (E, I) with E = T and I = X | X ⊆ T and X is linked to S
  • 27. Strict Gammoids Given a digraph D = (V, A) and subset S ⊆ V , a strict gammoid is a matroid M = (E, I) with E = V and I = X | X ⊆ V and X is linked to S
  • 29. Basis Family Let E be a finite set and B be a family of subsets of E that satisfies: (B1) B = ∅. (B2) If B1 , B2 ∈ B then |B1 | = |B2 |. (B3) If B1 , B2 ∈ B and there is an element x ∈ (B1 B2 ) then there is an element y ∈ (B2 B1 ) so that B1 {x} ∪ {y} ∈ B.
  • 30. (B3) If B1 , B2 ∈ B and there is an element x ∈ (B1 B2 ) then there is an element y ∈ (B2 B1 ) so that B1 {x} ∪ {y} ∈ B. y x B2 B1 y
  • 31. Let E be a finite set and B be the family of subsets of E that satisfies: (B1) B = ∅. (B2) If B1 , B2 ∈ B then |B1 | = |B2 |. (B3) If B1 , B2 ∈ B and there is an element x ∈ (B1 B2 ) then there is an element y ∈ (B2 B1 ) so that B1 {x} ∪ {y} ∈ B. Given B, we define I = I(B) = I | I ⊆ B for some B ∈ B
  • 32. Let E be a finite set and B be the family of subsets of E that satisfies: (B1) B = ∅. (B2) If B1 , B2 ∈ B then |B1 | = |B2 |. (B3) If B1 , B2 ∈ B and there is an element x ∈ (B1 B2 ) then there is an element y ∈ (B2 B1 ) so that B1 {x} ∪ {y} ∈ B. Given B, we define I = I(B) = I | I ⊆ B for some B ∈ B
  • 33. Family of Bases Let M = (E, I) be a matroid and B be the family of bases of M – a family of maximal independent sets. Then B satisfies (B1), (B2) and (B3). That is, (B1) B = ∅. (B2) If B1 , B2 ∈ B then |B1 = |B2 |. (B3) If B1 , B2 ∈ B and there is an element x ∈ (B1 B2 ) then there is an element y ∈ (B2 B1 ) so that B1 {x} ∪ {y} ∈ B.
  • 34. Proof for B3 Let M = (E, I) be a matroid and B be the family of bases of M – a family of maximal independent sets. y x B2 B1 B1-x in I I3 y |B1-x|<|B2|
  • 35. An Alternate Axiom System Theorem: Let E be a finite set and B be the family of subsets of E that satisfies (B1), (B2) and (B3) then M = (E, I) is a matroid and B is the family of bases of this matroid. Recall, that I = I(B) = I | I ⊆ B for some B ∈ B .
  • 37. Deletion and Contraction Let M = (E, I) be a matroid, and let X be a subset of E. Deleting X from M gives a matroid M X = (E X, I ) such that S ⊆ E X is independent in M X if and only if S ∈ I. I = S | S ⊆ E X, S ∈ I Contracting X from M gives a matroid M/X = (E X, I ) such that S ⊆ E X is independent in M/X if and only if S ∪ X ∈ I. I = S | S ⊆ E X, S ∪ X ∈ I
  • 38. Deletion and Contraction Let M = (E, I) be a matroid, and let X be a subset of E. Deleting X from M gives a matroid M X = (E X, I ) such that S ⊆ E X is independent in M X if and only if S ∈ I. I = S | S ⊆ E X, S ∈ I Contracting X from M gives a matroid M/X = (E X, I ) such that S ⊆ E X is independent in M/X if and only if S ∪ X ∈ I. I = S | S ⊆ E X, S ∪ X ∈ I
  • 39. Deletion and Contraction Let M = (E, I) be a matroid, and let X be a subset of E. Deleting X from M gives a matroid M X = (E X, I ) such that S ⊆ E X is independent in M X if and only if S ∈ I. I = S | S ⊆ E X, S ∈ I Contracting X from M gives a matroid M/X = (E X, I ) such that S ⊆ E X is independent in M/X if and only if S ∪ X ∈ I. I = S | S ⊆ E X, S ∪ X ∈ I
  • 40. Deletion and Contraction Deletion: The bases of M X are those bases of M that do not contain X. Contraction: The bases of M/X are those bases of M that do contain X with X then removed from each such basis.
  • 41. Direct Sum Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t. The direct sum M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with E := t Ei and X ⊆ E is independent if and only if for all i=1 i ≤ t, X ∩ Ei ∈ Ii . I = X | X ⊆ E, (X ∩ Ei ) ∈ Ii , i ∈ {1, . . . , t}
  • 42. Direct Sum Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t. The direct sum M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with E := t Ei and X ⊆ E is independent if and only if for all i=1 i ≤ t, X ∩ Ei ∈ Ii . I = X | X ⊆ E, (X ∩ Ei ) ∈ Ii , i ∈ {1, . . . , t}
  • 43. Truncation The t-truncation of a matroid M = (E, I) is a matroid M = (E, I ) such that S ⊆ E is independent in M if and only if |S| ≤ t and S is independent in M (that is S ∈ I).
  • 44. Dual Let M = (E, I) be a matroid, B be the family of its bases and B∗ = E B | B ∈ B . The dual of a matroid M is M ∗ = (E, I ∗ ), where I ∗ = X | X ⊆ B, B ∈ B ∗ }. That is, B ∗ is a family of bases of M ∗ .
  • 45. Dual Let M = (E, I) be a matroid, B be the family of its bases and B∗ = E B | B ∈ B . The dual of a matroid M is M ∗ = (E, I ∗ ), where I ∗ = X | X ⊆ B, B ∈ B ∗ }. That is, B ∗ is a family of bases of M ∗ .
  • 47. Remark Need compact representation to for the family of independent sets. Also to be able to test easily whether a set belongs to the family of independent sets.
  • 48. Linear Matroid Let A be a matrix over an arbitrary field F and let E be the set of columns of A. Given A we define the matroid M = (E, I) as follows. A set X ⊆ E is independent (that is X ∈ I) if the corresponding columns are linearly independent over F.   ∗ ∗ ∗ ··· ∗  ∗ ∗ ∗ ··· ∗      A =  ∗ ∗ ∗ · · · ∗  ∗ are elements of F  . . . . .   . . . . .  . . . . . ∗ ∗ ∗ ··· ∗ The matroids that can be defined by such a construction are called linear matroids.
  • 49. Linear Matroid Let A be a matrix over an arbitrary field F and let E be the set of columns of A. Given A we define the matroid M = (E, I) as follows. A set X ⊆ E is independent (that is X ∈ I) if the corresponding columns are linearly independent over F.   ∗ ∗ ∗ ··· ∗  ∗ ∗ ∗ ··· ∗      A =  ∗ ∗ ∗ · · · ∗  ∗ are elements of F  . . . . .   . . . . .  . . . . . ∗ ∗ ∗ ··· ∗ The matroids that can be defined by such a construction are called linear matroids.
  • 50. Linear Matroids and Representable Matroids If a matroid can be defined by a matrix A over a field F, then we say that the matroid is representable over F.
  • 51. Linear Matroids and Representable Matroids A matroid M = (E, I) is representable over a field F if there exist vectors in F that correspond to the elements such that the linearly independent sets of vectors precisely correspond to independent sets of the matroid. Let E = {e1 , . . . , em } and be a positive integer.  1 2  3 . . . e1 ∗ ∗ ∗ . . . ∗ e2 ∗ ∗ ∗ . . . ∗ e3 ∗ ∗ ∗ . . . ∗ ··· ··· ··· ··· . . . ··· em  ∗ ∗   ∗  .  .  . ∗ ×m A matroid M = (E, I) is called representable or linear if it is representable over some field F.
  • 52. Linear Matroids and Representable Matroids A matroid M = (E, I) is representable over a field F if there exist vectors in F that correspond to the elements such that the linearly independent sets of vectors precisely correspond to independent sets of the matroid. Let E = {e1 , . . . , em } and be a positive integer.  1 2  3 . . . e1 ∗ ∗ ∗ . . . ∗ e2 ∗ ∗ ∗ . . . ∗ e3 ∗ ∗ ∗ . . . ∗ ··· ··· ··· ··· . . . ··· em  ∗ ∗   ∗  .  .  . ∗ ×m A matroid M = (E, I) is called representable or linear if it is representable over some field F.
  • 53. Linear Matroid Let M = (E, I) be linear matroid and Let E = {e1 , . . . , em } and d=rank(M ). We can always assume (using Gaussian Elimination) that the matrix has following form: Id×d D d×m Here Id×d is a d × d identity matrix.
  • 54. Linear Matroid Let M = (E, I) be linear matroid and Let E = {e1 , . . . , em } and d=rank(M ). We can always assume (using Gaussian Elimination) that the matrix has following form: Id×d D d×m Here Id×d is a d × d identity matrix.
  • 55. Direct Sum of Matroid Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t. The direct sum M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with E := t Ei and i=1 X ⊆ E is independent if and only if for all i ≤ t, X ∩ Ei ∈ Ii . Let Ai be the representation matrix of Mi = (Ei , Ii ) over the same field F. Then,   A1 0 0 · · · 0  0 A2 0 · · · 0    AM =  . . . . .  . . . . .   . . . . . 0 0 0 · · · At is a representation matrix of M1 ⊕ · · · ⊕ Mt over F.
  • 56. Direct Sum of Matroid Let M1 = (E1 , I1 ), M2 = (E2 , I2 ), · · · , Mt = (Et , It ) be t matroids with Ei ∩ Ej = ∅ for all 1 ≤ i = j ≤ t. The direct sum M1 ⊕ · · · ⊕ Mt is a matroid M = (E, I) with E := t Ei and i=1 X ⊆ E is independent if and only if for all i ≤ t, X ∩ Ei ∈ Ii . Let Ai be the representation matrix of Mi = (Ei , Ii ) over the same field F. Then,   A1 0 0 · · · 0  0 A2 0 · · · 0    AM =  . . . . .  . . . . .   . . . . . 0 0 0 · · · At is a representation matrix of M1 ⊕ · · · ⊕ Mt over F.
  • 57. Deletion of a Matroid Let M = (E, I) be a matroid, and let X be a subset of E. Deleting X from M gives a matroid M X = (E X, I ) such that S ⊆ E X is independent in M X if and only if S ∈ I. I = S | S ⊆ E X, S ∈ I Given a representation of AM of M , a representation of M X can be obtained by deleting the columns corresponding to X. AM  1 2  = 3 . . . d e1 ∗ ∗ ∗ . . . ∗ e2 ∗ ∗ ∗ . . . ∗ e3 ∗ ∗ ∗ . . . ∗ ··· ··· ··· ··· . . . ··· em  ∗ ∗   ∗  .  .  . ∗ d×m
  • 58. Deletion of a Matroid Let M = (E, I) be a matroid, and let X be a subset of E. Deleting X from M gives a matroid M X = (E X, I ) such that S ⊆ E X is independent in M X if and only if S ∈ I. I = S | S ⊆ E X, S ∈ I Given a representation of AM of M , a representation of M X can be obtained by deleting the columns corresponding to X. AM  1 2  = 3 . . . d e1 ∗ ∗ ∗ . . . ∗ e2 ∗ ∗ ∗ . . . ∗ e3 ∗ ∗ ∗ . . . ∗ ··· ··· ··· ··· . . . ··· em  ∗ ∗   ∗  .  .  . ∗ d×m
  • 59. Deletion of a Matroid Let X = {e2 , e3 }. AM  1 2  = 3 . . . d AM e1 ∗ ∗ ∗ . . . ∗  1 2  = 3 . . . d e2 ∗ ∗ ∗ . . . ∗ e3 ∗ ∗ ∗ . . . ∗ e1 ∗ ∗ ··· ··· ··· ··· . . . ··· . . . ∗ ··· ··· ··· ··· . . . ··· em  ∗ ∗   ∗  .  .  . ∗ d×m em  ∗ ∗   ∗  .  .  . ∗ d×m
  • 60. Dual of a Matroid Let M = (E, I) be a matroid, B be the family of its bases and B∗ = E B | B ∈ B . The dual of a matroid M is M ∗ = (E, I ∗ ), where I ∗ = X | X ⊆ B, B ∈ B ∗ }. That is, B ∗ is a family of bases of M ∗ . Let A = [Id×d | D] represent the matroid M then the matrix A∗ = [−DT | Im−r×m−r ] represents the dual matroid M ∗ .
  • 61. Dual of a Matroid: A concrete example a 1 0  0 0  A= b 0 1 0 0 c 0 0 1 0 d 0 0 0 1 e f 1 1 1 −1 0 1 0 0 g  1 −1   0  1 {a, b, c, d} is a basis of M then {e, f, g} is a basis of M ∗ . a  A∗ =  b c d e f 1 0 0 1 0 0 g  0 0 1 To find coordinates for columns a, b, c, d, we will choose entries that make every row of A orthogonal to every row of A∗ .
  • 62. Dual of a Matroid: A concrete example a 1 0  0 0  A= a −1  −1 −1  A∗ = b 0 1 0 0 b −1 1 1 Here, D is colored in green. c 0 0 1 0 d 0 0 0 1 c 0 −1 0 e f 1 1 1 −1 0 1 0 0 d 0 0 −1 g  1 −1   0  1 e f 1 0 0 1 0 0 g  0 0 1
  • 63. Uniform Matroid Every uniform matroid is linear and can be represented over a finite field by a k × n matrix AM where the AM [i, j] = j i−1 . e1 1 1 1 . . . k 1  1 2  3 . . . e2 1 2 22 . . . e3 1 3 32 . . . 2k−1 3k−1 ··· ··· ··· ··· . . . ··· en  1 n   n2  .  .  . k−1 n k×n Observe that for AM to be representable over a finite field F, we need that the determinant of any k × k submatrix of AM must not vanish over F. The determinant of any k × k submatrix of AM is upper bounded by k! × nk−1 (this follows from the Laplace expansion of determinants). Thus, choosing a field F of size larger than k! × nk−1 suffices.
  • 64. Uniform Matroid Every uniform matroid is linear and can be represented over a finite field by a k × n matrix AM where the AM [i, j] = j i−1 . e1 1 1 1 . . . k 1  1 2  3 . . . e2 1 2 22 . . . e3 1 3 32 . . . 2k−1 3k−1 ··· ··· ··· ··· . . . ··· en  1 n   n2  .  .  . k−1 n k×n Observe that for AM to be representable over a finite field F, we need that the determinant of any k × k submatrix of AM must not vanish over F. The determinant of any k × k submatrix of AM is upper bounded by k! × nk−1 (this follows from the Laplace expansion of determinants). Thus, choosing a field F of size larger than k! × nk−1 suffices.
  • 65. Uniform Matroid Every uniform matroid is linear and can be represented over a finite field by a k × n matrix AM where the AM [i, j] = j i−1 . e1 1 1 1 . . . k 1  1 2  3 . . . e2 1 2 22 . . . e3 1 3 32 . . . 2k−1 3k−1 ··· ··· ··· ··· . . . ··· en  1 n   n2  .  .  . k−1 n k×n Observe that for AM to be representable over a finite field F, we need that the determinant of any k × k submatrix of AM must not vanish over F. The determinant of any k × k submatrix of AM is upper bounded by k! × nk−1 (this follows from the Laplace expansion of determinants). Thus, choosing a field F of size larger than k! × nk−1 suffices.
  • 66. Uniform Matroid Every uniform matroid is linear and can be represented over a finite field by a k × n matrix AM where the AM [i, j] = j i−1 . e1 1 1 1 . . . k 1  1 2  3 . . . e2 1 2 22 . . . e3 1 3 32 . . . 2k−1 3k−1 ··· ··· ··· ··· . . . ··· en  1 n   n2  .  .  . k−1 n k×n Observe that for AM to be representable over a finite field F, we need that the determinant of any k × k submatrix of AM must not vanish over F. The determinant of any k × k submatrix of AM is upper bounded by k! × nk−1 (this follows from the Laplace expansion of determinants). Thus, choosing a field F of size larger than k! × nk−1 suffices.
  • 67. Uniform Matroid: Size of the representation e1 1 1 2 1  3 1 . . . . . . k 1  e2 1 2 22 . . . e3 1 3 32 . . . 2k−1 3k−1 ··· ··· ··· ··· . . . ··· en  1 n   n2  .  .  . k−1 n k×n So the size of the representation: O((k log n) × nk) bits.
  • 68. Partition Matroid A partition matroid M = (E, I) is defined by a ground set E being partitioned into (disjoint) sets E1 , . . . , E and by non-negative integers k1 , . . . , k . A set X ⊆ E is independent if and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. Observe that a partition matroid is a direct sum of uniform matroids U|E1 |,k1 , · · · , U|E |,k , U|E1 |,k1 ⊕ · · · ⊕ U|E |,k A uniform matroid Un,k is representable over a field F of size larger than k! × nk−1 and thus a partition matroid is representable.
  • 69. Partition Matroid A partition matroid M = (E, I) is defined by a ground set E being partitioned into (disjoint) sets E1 , . . . , E and by non-negative integers k1 , . . . , k . A set X ⊆ E is independent if and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. Observe that a partition matroid is a direct sum of uniform matroids U|E1 |,k1 , · · · , U|E |,k , U|E1 |,k1 ⊕ · · · ⊕ U|E |,k A uniform matroid Un,k is representable over a field F of size larger than k! × nk−1 and thus a partition matroid is representable.
  • 70. Partition Matroid A partition matroid M = (E, I) is defined by a ground set E being partitioned into (disjoint) sets E1 , . . . , E and by non-negative integers k1 , . . . , k . A set X ⊆ E is independent if and only if |X ∩ Ei | ≤ ki for all i ∈ {1, . . . , }. Observe that a partition matroid is a direct sum of uniform matroids U|E1 |,k1 , · · · , U|E |,k , U|E1 |,k1 ⊕ · · · ⊕ U|E |,k A uniform matroid Un,k is representable over a field F of size larger than k! × nk−1 and thus a partition matroid is representable.
  • 71. Graphic Matroid The graphic matroid is representable over any field of size at least 2. Consider the matrix AM with a row for each vertex i ∈ V (G) and a column for each edge e = ij ∈ E(G). In the column corresponding to e = ij, all entries are 0, except for a 1 in i or j (arbitrarily) and a −1 in the other. e  1 1 1 2 0  3  −1  . . . . . . n 0 e3 1 0 0 . . . ··· ··· ··· ··· . . . −1 −1 ··· e2 0 0 1 . . . This is a representation over reals. em  0 1   0   .  .  . −1 n×|E(G)|
  • 72. Graphic Matroid The graphic matroid is representable over any field of size at least 2. Consider the matrix AM with a row for each vertex i ∈ V (G) and a column for each edge e = ij ∈ E(G). In the column corresponding to e = ij, all entries are 0, except for a 1 in i or j (arbitrarily) and a −1 in the other. e  1 1 1 2 0  3  −1  . . . . . . n 0 e3 1 0 0 . . . ··· ··· ··· ··· . . . −1 −1 ··· e2 0 0 1 . . . This is a representation over reals. em  0 1   0   .  .  . −1 n×|E(G)|
  • 73. Graphic Matroid The graphic matroid is representable over any field of size at least 2. Consider the matrix AM with a row for each vertex i ∈ V (G) and a column for each edge e = ij ∈ E(G). In the column corresponding to e = ij, all entries are 0, except for a 1 in i or j (arbitrarily) and a −1 in the other. e  1 1 1 2 0  3  −1  . . . . . . n 0 e3 1 0 0 . . . ··· ··· ··· ··· . . . −1 −1 ··· e2 0 0 1 . . . This is a representation over reals. em  0 1   0   .  .  . −1 n×|E(G)|
  • 74. Graphic Matroid The graphic matroid is representable over any field of size at least 2. Consider the matrix AM with a row for each vertex i ∈ V (G) and a column for each edge e = ij ∈ E(G). In the column corresponding to e = ij, all entries are 0, except for a 1 in i or j (arbitrarily) and a −1 in the other. e1 1 1 2 0  3  1−1 . . . . . . n 0  e2 0 0 1 . . . −1 1 e3 1 0 0 . . . −1 1 ··· ··· ··· ··· . . . ··· em  0 1   0  .  .  . −1 1 n×|E(G)| To obtain a representation over a field F, one simply needs to take the representation given above over reals and simply replace all −1 by the additive inverse of 1
  • 75. Transversal Matroid For the bipartite graph with partition A and B, form an incidence matrix AM as follows. Label the rows by vertices of B and the columns by the vertices of AM and define: aij = zij if there is an edge between ai and bj , 0 otherwise. where zij are in-determinants. Think of them as independent variables. a1 b1 z11 .  . .  . .  . T = bi  zi1  .  . .  . . . bn zn1  a2 z12 . . . ··· ··· . . . aj z1j . . . ··· ··· . . . zi2 . . . ··· . . . zij . . . ··· . . . zn2 ··· znj ··· a  z1 .  .  .  zi   .  .  . zn
  • 76. Transversal Matroid For the bipartite graph with partition A and B, form an incidence matrix AM as follows. Label the rows by vertices of B and the columns by the vertices of AM and define: aij = zij if there is an edge between ai and bj , 0 otherwise. where zij are in-determinants. Think of them as independent variables. a1 b1 z11 .  . .  . .  . T = bi  zi1  .  . .  . . . bn zn1  a2 z12 . . . ··· ··· . . . aj z1j . . . ··· ··· . . . zi2 . . . ··· . . . zij . . . ··· . . . zn2 ··· znj ··· a  z1 .  .  .  zi   .  .  . zn
  • 77. Example of the Construction a1 b1 a2 b2 a3 a4 b3 a5 a6 a1 b1 z11 b2 0 b3 0  a2 z12 z22 0 a3 z13 z23 0 a4 0 z24 0 a5 z15 z25 z35 a6  0 0  z36
  • 78. Example of the Construction a1 b1 a2 b2 a3 a4 b3 a5 a6 a1 b1 z11 b2 0 b3 0  a2 z12 z22 0 a3 z13 z23 0 a4 0 z24 0 a5 z15 z25 z35 a6  0 0  z36
  • 79. Permutation expansion of Determinants Theorem: Let A = (aij )n×n be a n × n matrix with entries in F. Then n det(A) = sgn(π) π∈Sn aiπ(i) . i=1
  • 80. Proof that Transversal Matroid is Representable over F [z] Forward direction: (Board for Picture) Suppose some subset X = {a1 , . . . , aq } is independent. Then there is a matching that saturates X. Let Y = {b1 , b2 , . . . , bq } be the endpoints of this matching and ai bi are the matching edges. Consider T [Y, X] – a submatrix with rows in Y and columns in X. Consider the determinant of T [Y, X] then we have a term q zii i=1 which can not be cancelled by any other term! So these columns are linearly independent.
  • 81. Proof that Transversal Matroid is Representable over F [z] Reverse direction: (Board for Picture) Suppose some subset X = {a1 , . . . , aq } of columns is independent in T . Then there is a submatrix of T [ , X] that has non-zero determinant – say T [Y, X]. Consider the determinant of T [Y, X] q ziπ(i) . sgn(π) 0 = det(T [Y, X]) = π∈S(Y ) i=1 This implies that we have a term q ziπ(i) = 0 i=1 and this gives us that there is a matching that saturates X in and hence X is independent.
  • 82. Proof that Transversal Matroid is Representable over F [z] Reverse direction: (Board for Picture) This implies that we have a term q ziπ(i) = 0 i=1 and this gives us that there is a matching that saturates X in and hence X is independent. For this direction we do not use zij , the very fact that X forms independent set of column is enough to argue that there is a matching that saturates X.
  • 83. Removing zij To remove the zij we do the following. Uniformly at random assign zij from values in finite field F of size P . What should be the upper bound on P ? What is the probability that the randomly obtained T is a representation matrix for the transversal matroid.
  • 84. Removing zij To remove the zij we do the following. Uniformly at random assign zij from values in finite field F of size P . What should be the upper bound on P ? What is the probability that the randomly obtained T is a representation matrix for the transversal matroid.
  • 85. Using Zippel-Schwartz Lemma Theorem: Let p(x1 , x2 , . . . , xn ) be a non-zero polynomial of degree d over some field F and let S be an N element subset of F. If each xi is independently assigned a value from S with uniform probability, then p(x1 , x2 , . . . , xn ) = 0 with probabild ity at most N . We think det(T [Y, X]) as polynomial in zij ’s of degree at most n = |A|. n Probability that det(T [Y, X]) = 0 is less than P . There are n independent sets in A and thus by union bound at most 2 probability that not all of them are independent in the n matroid represented by T is at most 2Pn .
  • 86. Using Zippel-Schwartz Lemma We think det(T [Y, X]) as polynomial in zij ’s of degree at most n = |A|. n Probability that det(T [Y, X]) = 0 is less than P . There are n independent sets in A and thus by union bound at most 2 probability that not all of them are independent in the n matroid represented by T is at most 2Pn . Thus probability that T is the representation is at least n 1 − 2Pn . Take P to be some field with at least 2n n2n elements :-). size of this representation with be like nO(1) bits!
  • 87. Strict Gammoids: Idea of Proof for Representation Show that this is a dual of a transversal matroid. Transversal Matroids are representable. Dual of a Representable Matroid is Representable. Conclude that Strict Gammoids are representable.
  • 88. Strict Gammoids: Idea of Proof for Representation Show that this is a dual of a transversal matroid. Transversal Matroids are representable. Dual of a Representable Matroid is Representable. Conclude that Strict Gammoids are representable.
  • 89. Strict Gammoids: Idea of Proof for Representation Show that this is a dual of a transversal matroid. Transversal Matroids are representable. Dual of a Representable Matroid is Representable. Conclude that Strict Gammoids are representable.
  • 90. Strict Gammoids: Idea of Proof for Representation Show that this is a dual of a transversal matroid. Transversal Matroids are representable. Dual of a Representable Matroid is Representable. Conclude that Strict Gammoids are representable.
  • 91. Transversal Matroid and Strict Gammoids Let D = (V, A) be a directed graph and S ⊆ V = {v1 , . . . , vn }. Let M = (E, I) be the corresponding strict gammoid. For transversal matroid we need a bipartite graph. Let G∗ be a bipartite graph with bipartition U and W . U = {ui | vi ∈ V } and W = {wi | wi ∈ V S}. For each edge vi ∈ V S we have an edge ui wi and for every edge −→ there is an edge ui wj . v− j iv Want to show: Let V0 ∈ I and |V0 | = |S|. V0 is linked to S if and only if there is a matching that saturates U U0 in G∗ .
  • 92. Transversal Matroid and Strict Gammoids Let D = (V, A) be a directed graph and S ⊆ V = {v1 , . . . , vn }. Let M = (E, I) be the corresponding strict gammoid. For transversal matroid we need a bipartite graph. Let G∗ be a bipartite graph with bipartition U and W . U = {ui | vi ∈ V } and W = {wi | wi ∈ V S}. For each edge vi ∈ V S we have an edge ui wi and for every edge −→ there is an edge ui wj . v− j iv Want to show: Let V0 ∈ I and |V0 | = |S|. V0 is linked to S if and only if there is a matching that saturates U U0 in G∗ .
  • 93. Transversal Matroid and Strict Gammoids Let D = (V, A) be a directed graph and S ⊆ V = {v1 , . . . , vn }. Let M = (E, I) be the corresponding strict gammoid. For transversal matroid we need a bipartite graph. Let G∗ be a bipartite graph with bipartition U and W . U = {ui | vi ∈ V } and W = {wi | wi ∈ V S}. For each edge vi ∈ V S we have an edge ui wi and for every edge −→ there is an edge ui wj . v− j iv Want to show: Let V0 ∈ I and |V0 | = |S|. V0 is linked to S if and only if there is a matching that saturates U U0 in G∗ .
  • 94. Proof Forward Direction Assume first that there are |S| disjoint paths going from S to V0 . Consider the matching as follows: w ∈ W is matched to u if −→ is an arc on some path; else v− v i j j i wi is matched to ui . This means that ui is matched if one of the paths reaches vi and continues further on, or if none of the paths reaches vi . Thus the unmatched ui s corresponds to the end points of the paths, as required.
  • 95. Proof Reverse Direction There is a matching that saturates U U0 . Now for every vertex corresponding to S that is not in V0 grow maximal path using matching edges. This corresponds to paths from S to V0 in D.
  • 96. Representation of Gammoids Find the representation of strict-gammoids over a large field F. Delete the columns corresponding to V T . Now reduce the size of the numbers using modular arithmetic over a prime with at most O((|S| + |T |)O(1) ) bits. One can show: that the size of representation now will be O((|S| + |T |)O(1) ).