maximum matching

equivalent to: vertex cover, distance to edgeless

providers: ISGCI

Definition: The size of a maximum independent edge set.

Relations

Other		Relation from	Relation to
acyclic chromatic number	red■	exclusion	upper bound
arboricity	red■	exclusion	upper bound
average degree	red■	exclusion	upper bound
average distance	red■	exclusion	upper bound
bandwidth	blue■	exclusion	exclusion
bipartite	blue■	unbounded	exclusion
bipartite number	red■	exclusion	upper bound
bisection bandwidth	blue■	exclusion	exclusion
block	blue■	unbounded	exclusion
book thickness	red■	exclusion	upper bound
boolean width	red■	exclusion	upper bound
bounded components	blue■	exclusion	exclusion
boxicity	red■	exclusion	upper bound
branch width	red■	exclusion	upper bound
c-closure	blue■	exclusion	exclusion
carving-width	blue■	exclusion	exclusion
chordal	blue■	unbounded	exclusion
chordality	red■	exclusion	upper bound
chromatic number	red■	exclusion	upper bound
clique cover number	blue■	exclusion	exclusion
clique-tree-width	red■	exclusion	upper bound
clique-width	red■	exclusion	upper bound
cluster	blue■	unbounded	exclusion
co-cluster	blue■	unbounded	exclusion
cograph	blue■	unbounded	exclusion
complete	blue■	unbounded	exclusion
connected	blue■	unbounded	exclusion
contraction complexity	blue■	exclusion	exclusion
cutwidth	blue■	exclusion	exclusion
cycle	blue■	unbounded	exclusion
cycles	blue■	unbounded	exclusion
d-path-free	red■	exclusion	upper bound
degeneracy	red■	exclusion	upper bound
degree treewidth	blue■	exclusion	exclusion
diameter	red■	exclusion	upper bound
diameter+max degree	blue■	exclusion	exclusion
disconnected	gray■	unknown to HOPS	unknown to HOPS
disjoint cycles	blue■	unbounded	exclusion
distance to bipartite	red■	exclusion	upper bound
distance to block	red■	exclusion	upper bound
distance to bounded components	red■	exclusion	upper bound
distance to chordal	red■	exclusion	upper bound
distance to cluster	red■	exclusion	upper bound
distance to co-cluster	red■	exclusion	upper bound
distance to cograph	red■	exclusion	upper bound
distance to complete	blue■	exclusion	exclusion
distance to disconnected	red■	exclusion	upper bound
distance to edgeless	yellow■	tight bounds	upper bound
distance to forest	red■	exclusion	upper bound
distance to interval	red■	exclusion	upper bound
distance to linear forest	red■	exclusion	upper bound
distance to maximum degree	red■	exclusion	upper bound
distance to outerplanar	red■	exclusion	upper bound
distance to perfect	red■	exclusion	upper bound
distance to planar	red■	exclusion	upper bound
distance to stars	red■	exclusion	upper bound
domatic number	red■	exclusion	upper bound
domination number	blue■	exclusion	exclusion
edge clique cover number	blue■	exclusion	exclusion
edge connectivity	red■	exclusion	upper bound
edgeless	green■	upper bound	exclusion
feedback edge set	blue■	exclusion	exclusion
feedback vertex set	red■	exclusion	upper bound
forest	blue■	unbounded	exclusion
genus	blue■	exclusion	exclusion
girth	red■	exclusion	upper bound
grid	blue■	unbounded	exclusion
h-index	red■	exclusion	upper bound
inf-flip-width	red■	exclusion	upper bound
interval	blue■	unbounded	exclusion
iterated type partitions	red■	exclusion	upper bound
linear clique-width	red■	exclusion	upper bound
linear forest	blue■	unbounded	exclusion
linear NLC-width	red■	exclusion	upper bound
linear rank-width	red■	exclusion	upper bound
maximum clique	red■	exclusion	upper bound
maximum degree	blue■	exclusion	exclusion
maximum independent set	blue■	exclusion	exclusion
maximum induced matching	red■	exclusion	upper bound
maximum leaf number	blue■	exclusion	exclusion
maximum matching	yellow■	equal	equal
maximum matching on bipartite graphs	green■	upper bound	exclusion
mim-width	red■	exclusion	upper bound
minimum degree	red■	exclusion	upper bound
mm-width	red■	exclusion	upper bound
modular-width	red■	exclusion	upper bound
module-width	red■	exclusion	upper bound
neighborhood diversity	red■	exclusion	upper bound
NLC-width	red■	exclusion	upper bound
NLCT-width	red■	exclusion	upper bound
odd cycle transversal	red■	exclusion	upper bound
outerplanar	blue■	unbounded	exclusion
path	blue■	unbounded	exclusion
pathwidth	red■	exclusion	upper bound
pathwidth+maxdegree	blue■	exclusion	exclusion
perfect	blue■	unbounded	exclusion
planar	blue■	unbounded	exclusion
radius-r flip-width	red■	exclusion	upper bound
rank-width	red■	exclusion	upper bound
shrub-depth	red■	exclusion	upper bound
sim-width	red■	exclusion	upper bound
size	green■	upper bound	exclusion
star	green■	upper bound	exclusion
stars	blue■	unbounded	exclusion
topological bandwidth	blue■	exclusion	exclusion
tree	blue■	unbounded	exclusion
tree-independence number	red■	exclusion	upper bound
treedepth	red■	exclusion	upper bound
treelength	red■	exclusion	upper bound
treewidth	red■	exclusion	upper bound
twin-cover number	red■	exclusion	upper bound
twin-width	red■	exclusion	upper bound
vertex connectivity	red■	exclusion	upper bound
vertex cover	yellow■	tight bounds	upper bound
vertex integrity	red■	exclusion	upper bound

Results

unknown source
- vertex cover upper and lower bounds maximum matching by a linear function – Every edge of the matching needs to be covered by at least one vertex. Path shows that this relation is not better than linear.
- maximum matching upper bounds vertex cover by a linear function – A set of all vertices taking part in a maximum matching creates a vertex cover, hence $vc(G) \le 2 \cdot mm(G)$.
- graph class complete has unbounded maximum matching
- graph class path has unbounded maximum matching
- star upper bounds maximum matching by a constant
- edgeless upper bounds maximum matching by a constant
assumed
- maximum matching upper bounds maximum induced matching by a linear function – By definition
- maximum matching on bipartite graphs upper bounds maximum matching by a linear function – by definition
- maximum matching is equivalent to maximum matching – assumed