Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
Hall's theorem
|
| gptkbp:appliesTo |
bipartite graphs
finite sets |
| gptkbp:field |
gptkb:combinatorics
graph theory |
| gptkbp:generalizes |
gptkb:Rado's_theorem
matroid intersection theorem |
| gptkbp:namedAfter |
gptkb:Philip_Hall
|
| gptkbp:publicationYear |
1935
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:relatedTo |
gptkb:König's_theorem
bipartite matching perfect matching marriage problem |
| gptkbp:state |
A bipartite graph has a matching that covers every vertex of one part if and only if for every subset S of that part, the neighborhood of S has at least as many vertices as S.
|
| gptkbp:usedIn |
matroid theory
design theory matching theory network flow |
| gptkbp:bfsParent |
gptkb:Kőnig's_theorem
gptkb:M._Hall's_theorems gptkb:Graph_Theory gptkb:Philip_Hall gptkb:Tutte's_theorem gptkb:Tutte_theorem |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hall's marriage theorem
|