The document discusses matroids and parameterized algorithms. It begins with an overview of Kruskal's greedy algorithm for finding a minimum spanning tree in a graph. It then introduces matroids and defines them as structures where greedy algorithms find optimal solutions. Several examples of matroids are provided, including uniform matroids, partition matroids, graphic matroids, and gammoids. The document also presents an alternate definition of matroids using basis families.
Naive Bayes is a kind of classifier which uses the Bayes Theorem. It predicts membership probabilities for each class such as the probability that given record or data point belongs to a particular class.
Naive Bayes is a kind of classifier which uses the Bayes Theorem. It predicts membership probabilities for each class such as the probability that given record or data point belongs to a particular class.
Tutorial 7: Transpose of matrices and Its propertiesDr. Mehar Chand
In this presentation, first we target to find the transpose of a given matrices Then we study different properties of transpose of matrices. At the end three theorems related to the transpose is also there in.
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...Simplilearn
This Random Forest Algorithm Presentation will explain how Random Forest algorithm works in Machine Learning. By the end of this video, you will be able to understand what is Machine Learning, what is classification problem, applications of Random Forest, why we need Random Forest, how it works with simple examples and how to implement Random Forest algorithm in Python.
Below are the topics covered in this Machine Learning Presentation:
1. What is Machine Learning?
2. Applications of Random Forest
3. What is Classification?
4. Why Random Forest?
5. Random Forest and Decision Tree
6. Comparing Random Forest and Regression
7. Use case - Iris Flower Analysis
- - - - - - - -
About Simplilearn Machine Learning course:
A form of artificial intelligence, Machine Learning is revolutionizing the world of computing as well as all people’s digital interactions. Machine Learning powers such innovative automated technologies as recommendation engines, facial recognition, fraud protection and even self-driving cars.This Machine Learning course prepares engineers, data scientists and other professionals with knowledge and hands-on skills required for certification and job competency in Machine Learning.
- - - - - - -
Why learn Machine Learning?
Machine Learning is taking over the world- and with that, there is a growing need among companies for professionals to know the ins and outs of Machine Learning
The Machine Learning market size is expected to grow from USD 1.03 Billion in 2016 to USD 8.81 Billion by 2022, at a Compound Annual Growth Rate (CAGR) of 44.1% during the forecast period.
- - - - - -
What skills will you learn from this Machine Learning course?
By the end of this Machine Learning course, you will be able to:
1. Master the concepts of supervised, unsupervised and reinforcement learning concepts and modeling.
2. Gain practical mastery over principles, algorithms, and applications of Machine Learning through a hands-on approach which includes working on 28 projects and one capstone project.
3. Acquire thorough knowledge of the mathematical and heuristic aspects of Machine Learning.
4. Understand the concepts and operation of support vector machines, kernel SVM, naive Bayes, decision tree classifier, random forest classifier, logistic regression, K-nearest neighbors, K-means clustering and more.
5. Be able to model a wide variety of robust Machine Learning algorithms including deep learning, clustering, and recommendation systems
- - - - - - -
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...Edureka!
** Machine Learning with Python : https://www.edureka.co/machine-learning-certification-training **
This Edureka tutorial on Decision Tree Algorithm in Python will take you through the fundamentals of decision tree machine learning algorithm concepts and its demo in Python. Below are the topics covered in this tutorial:
1. What is Classification?
2. Types of Classification
3. Classification Use Case
4. What is Decision Tree?
5. Decision Tree Terminology
6. Visualizing a Decision Tree
7 Writing a Decision Tree Classifier fro Scratch in Python using CART Algorithm
Check out our Python Machine Learning Playlist: https://goo.gl/UxjTxm
Machine Learning and Data Mining: 14 Evaluation and CredibilityPier Luca Lanzi
Course "Machine Learning and Data Mining" for the degree of Computer Engineering at the Politecnico di Milano. In this lecture we discuss the evaluation of classification algorithms.
Random Forest Classifier in Machine Learning | Palin AnalyticsPalin analytics
Random Forest is a supervised learning ensemble algorithm. Ensemble algorithms are those which combine more than one algorithms of same or different kind for classifying objects....
Tutorial 7: Transpose of matrices and Its propertiesDr. Mehar Chand
In this presentation, first we target to find the transpose of a given matrices Then we study different properties of transpose of matrices. At the end three theorems related to the transpose is also there in.
Random Forest Algorithm - Random Forest Explained | Random Forest In Machine ...Simplilearn
This Random Forest Algorithm Presentation will explain how Random Forest algorithm works in Machine Learning. By the end of this video, you will be able to understand what is Machine Learning, what is classification problem, applications of Random Forest, why we need Random Forest, how it works with simple examples and how to implement Random Forest algorithm in Python.
Below are the topics covered in this Machine Learning Presentation:
1. What is Machine Learning?
2. Applications of Random Forest
3. What is Classification?
4. Why Random Forest?
5. Random Forest and Decision Tree
6. Comparing Random Forest and Regression
7. Use case - Iris Flower Analysis
- - - - - - - -
About Simplilearn Machine Learning course:
A form of artificial intelligence, Machine Learning is revolutionizing the world of computing as well as all people’s digital interactions. Machine Learning powers such innovative automated technologies as recommendation engines, facial recognition, fraud protection and even self-driving cars.This Machine Learning course prepares engineers, data scientists and other professionals with knowledge and hands-on skills required for certification and job competency in Machine Learning.
- - - - - - -
Why learn Machine Learning?
Machine Learning is taking over the world- and with that, there is a growing need among companies for professionals to know the ins and outs of Machine Learning
The Machine Learning market size is expected to grow from USD 1.03 Billion in 2016 to USD 8.81 Billion by 2022, at a Compound Annual Growth Rate (CAGR) of 44.1% during the forecast period.
- - - - - -
What skills will you learn from this Machine Learning course?
By the end of this Machine Learning course, you will be able to:
1. Master the concepts of supervised, unsupervised and reinforcement learning concepts and modeling.
2. Gain practical mastery over principles, algorithms, and applications of Machine Learning through a hands-on approach which includes working on 28 projects and one capstone project.
3. Acquire thorough knowledge of the mathematical and heuristic aspects of Machine Learning.
4. Understand the concepts and operation of support vector machines, kernel SVM, naive Bayes, decision tree classifier, random forest classifier, logistic regression, K-nearest neighbors, K-means clustering and more.
5. Be able to model a wide variety of robust Machine Learning algorithms including deep learning, clustering, and recommendation systems
- - - - - - -
Decision Tree Algorithm | Decision Tree in Python | Machine Learning Algorith...Edureka!
** Machine Learning with Python : https://www.edureka.co/machine-learning-certification-training **
This Edureka tutorial on Decision Tree Algorithm in Python will take you through the fundamentals of decision tree machine learning algorithm concepts and its demo in Python. Below are the topics covered in this tutorial:
1. What is Classification?
2. Types of Classification
3. Classification Use Case
4. What is Decision Tree?
5. Decision Tree Terminology
6. Visualizing a Decision Tree
7 Writing a Decision Tree Classifier fro Scratch in Python using CART Algorithm
Check out our Python Machine Learning Playlist: https://goo.gl/UxjTxm
Machine Learning and Data Mining: 14 Evaluation and CredibilityPier Luca Lanzi
Course "Machine Learning and Data Mining" for the degree of Computer Engineering at the Politecnico di Milano. In this lecture we discuss the evaluation of classification algorithms.
Random Forest Classifier in Machine Learning | Palin AnalyticsPalin analytics
Random Forest is a supervised learning ensemble algorithm. Ensemble algorithms are those which combine more than one algorithms of same or different kind for classifying objects....
-contraction and some fixed point results via modified !-distance mappings in t...IJECEIAES
In this Article, we introduce the notion of an -contraction, which is based on modified !-distance mappings, and employ this new definition to prove some fixed point result. Moreover, to highlight the significance of our work, we present an interesting example along with an application. '
An approach to Fuzzy clustering of the iris petals by using Ac-meansijsc
This paper proposes a definition of a fuzzy partition element based on the homomorphism between type-1 fuzzy sets and the three-valued Kleene algebra. A new clustering method
based on the C-means algorithm, using the defined partition, is presented in this paper, which will
be validated with the traditional iris clustering problem by measuring its petals.
A Fixed Point Theorem Using Common Property (E. A.) In PM Spacesinventionjournals
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)IJERA Editor
This paper presents some common fixed point theorems for weakly compatible mappings via an implicit relation in Fuzzy Menger spaces satisfying the common property (E.A)
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACEtheijes
The International Journal of Engineering & Science is aimed at providing a platform for researchers, engineers, scientists, or educators to publish their original research results, to exchange new ideas, to disseminate information in innovative designs, engineering experiences and technological skills. It is also the Journal's objective to promote engineering and technology education. All papers submitted to the Journal will be blind peer-reviewed. Only original articles will be published.
ENUMERATION OF 1-REGULAR SEMIGRAPHS OF ORDER p WITH THREE MUTUALLY ADJACENT m...IAEME Publication
For a vertex 𝑣v in a semigraph 𝐺 = (𝑉, 𝑋), 𝑑𝑒𝑔 𝑣 G=(V,X), deg v is the number of edges having v𝑣 as an end vertex. A semigraph G𝐺 is said to be k-regular if all its vertices have degree k. In this paper, we classify the class of all 1-regular semigraphs with exactly three 𝑚m-vertices into four categories and we enumerate the nonisomorphic semigraphs in one of these categories.
Unit 8 - Information and Communication Technology (Paper I).pdfThiyagu K
This slides describes the basic concepts of ICT, basics of Email, Emerging Technology and Digital Initiatives in Education. This presentations aligns with the UGC Paper I syllabus.
The Art Pastor's Guide to Sabbath | Steve ThomasonSteve Thomason
What is the purpose of the Sabbath Law in the Torah. It is interesting to compare how the context of the law shifts from Exodus to Deuteronomy. Who gets to rest, and why?
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
How to Split Bills in the Odoo 17 POS ModuleCeline George
Bills have a main role in point of sale procedure. It will help to track sales, handling payments and giving receipts to customers. Bill splitting also has an important role in POS. For example, If some friends come together for dinner and if they want to divide the bill then it is possible by POS bill splitting. This slide will show how to split bills in odoo 17 POS.
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdfTechSoup
In this webinar you will learn how your organization can access TechSoup's wide variety of product discount and donation programs. From hardware to software, we'll give you a tour of the tools available to help your nonprofit with productivity, collaboration, financial management, donor tracking, security, and more.
This is a presentation by Dada Robert in a Your Skill Boost masterclass organised by the Excellence Foundation for South Sudan (EFSS) on Saturday, the 25th and Sunday, the 26th of May 2024.
He discussed the concept of quality improvement, emphasizing its applicability to various aspects of life, including personal, project, and program improvements. He defined quality as doing the right thing at the right time in the right way to achieve the best possible results and discussed the concept of the "gap" between what we know and what we do, and how this gap represents the areas we need to improve. He explained the scientific approach to quality improvement, which involves systematic performance analysis, testing and learning, and implementing change ideas. He also highlighted the importance of client focus and a team approach to quality improvement.
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
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
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) ).