Hall's marriage theorem

theorem that a finite bipartite graph has a perfect matching iff any subset of vertices from one group has a neighbourhood of equal or greater size
rdfs:label
"Hall's marriage theorem"@en
skos:altLabel
"Hall's theorem"@en
schema:description
"theorem that a finite bipartite graph has a perfect matching iff any subset of vertices from one group has a neighbourhood of equal or greater size"@en
schema:dateModified "2025-08-24T23:38:07+00:00"^^xsd:dateTime
schema:version 2396181860
wikibase:identifiers 9
wikibase:sitelinks 18
wikibase:statements 16
p:P12888 wd:statement/Q536640-E883D673-6441-4DBC-820A-18004F35C36B
p:P138 wd:statement/Q536640-a6077614-40b2-e3e9-25fb-380ff72e070b
p:P1417 wd:statement/Q536640-976AB3F6-0E25-4F67-811E-51C204AE6C66
p:P18 wd:statement/Q536640-26112bb1-44e1-33d1-c4c7-e8be174c2377
p:P1889 wd:statement/Q536640-53e6288d-4d3e-0ed7-819c-953e4cd99380
p:P2579 wd:statement/Q536640-32a71e6e-44c3-2020-91dd-2be15578a712
p:P2812 wd:statement/Q536640-44DC0673-205D-44B5-B5C0-32095C1CD621
p:P31 wd:statement/Q536640-0A674E0F-2D03-4BA4-9ABB-E9C09F876907
p:P361 wd:statement/Q536640-7222DA70-FB68-4B80-8338-05756310344E
p:P6104 wd:statement/Q536640-B41282AD-9BA8-4FE1-8619-808F96A0E729
p:P6366 wd:statement/Q536640-034719D1-4897-43D2-B23B-F7F47E5D6699
p:P646 wd:statement/Q536640-1B7F9BBF-AB07-475F-926A-9E89F40B92D0
p:P6564 wd:statement/Q536640-7e7f7486-47e6-4372-6e92-b5e255a1ec3a
p:P6781 wd:statement/Q536640-8c013eb4-4711-2b41-8614-3c40c73f0467
p:P7726 wd:statement/Q536640-76bd2e5b-420e-0ee4-47dd-266a35251f13
wd:statement/Q536640-cfea61f5-4b54-6009-97ba-1a9003c55f02
p:direct-normalized/P6366 <https://makg.org/entity/117652263>
wdt:P12888 "marypha1"
wdt:P138 Philip Hall
wdt:P1417 "topic/Halls-theorem"
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Halls%20theorem%20matching%20graph%20theory2.svg>
wdt:P1889 Ménage problem
wdt:P2579 graph theory
wdt:P2812 "HallsTheorem"
wdt:P31 theorem
wdt:P361 list of theorems
wdt:P6104 WikiProject Mathematics
wdt:P6366 "117652263"
wdt:P646 "/m/019kt3"
wdt:P6564 "hall-marriage-theorem"
wdt:P6781 "Hall's_Marriage_Theorem"
wdt:P7726 "HallsMarriageTheorem"
"HallsMarriageTheoremProofOf"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata