maximum matching

functionally equivalent to: distance to edgeless, vertex cover

providers: ISGCI

Definition: The size of a maximum independent edge set.

Relations

Other		Relation from	Relation to
acyclic chromatic number	red■	exclusion	upper bound
admissibility	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	blue■	exclusion	exclusion
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
bounded expansion	red■	exclusion	upper bound
boxicity	red■	exclusion	upper bound
branch width	red■	exclusion	upper bound
c-closure	blue■	exclusion	exclusion
carving-width	blue■	exclusion	exclusion
chi-bounded	red■	exclusion	upper bound
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■	exclusion	avoids
contraction complexity	blue■	exclusion	exclusion
cutwidth	blue■	exclusion	exclusion
cycle	cyan■	unknown to HOPS	exclusion
cycles	blue■	unbounded	exclusion
d-admissibility	red■	exclusion	upper bound
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
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 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
domino treewidth	blue■	exclusion	exclusion
edge clique cover number	blue■	exclusion	exclusion
edge connectivity	red■	exclusion	upper bound
edge-cut width	magenta■	exclusion	unknown to HOPS
edge-treewidth	magenta■	exclusion	unknown to HOPS
edgeless	green■	upper bound	avoids
excluded minor	magenta■	exclusion	unknown to HOPS
excluded planar minor	gray■	unknown to HOPS	unknown to HOPS
excluded top-minor	red■	exclusion	upper bound
feedback edge set	blue■	exclusion	exclusion
feedback vertex set	red■	exclusion	upper bound
flip-width	red■	exclusion	upper bound
forest	blue■	unbounded	exclusion
genus	blue■	exclusion	exclusion
grid	blue■	unbounded	exclusion
h-index	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	cyan■	unknown to HOPS	exclusion
maximum matching	yellow■	equal	equal
maximum matching on bipartite graphs	green■	upper bound	exclusion
merge-width	red■	exclusion	upper bound
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
monadically dependent	red■	exclusion	upper bound
monadically stable	red■	exclusion	upper bound
neighborhood diversity	red■	exclusion	upper bound
NLC-width	red■	exclusion	upper bound
NLCT-width	red■	exclusion	upper bound
nowhere dense	red■	exclusion	upper bound
odd cycle transversal	red■	exclusion	upper bound
outerplanar	cyan■	unknown to HOPS	exclusion
overlap treewidth	magenta■	exclusion	unknown to HOPS
path	blue■	unbounded	exclusion
pathwidth	red■	exclusion	upper bound
pathwidth+maxdegree	blue■	exclusion	exclusion
perfect	blue■	unbounded	exclusion
planar	blue■	unbounded	exclusion
radius-inf flip-width	red■	exclusion	upper bound
radius-r flip-width	red■	exclusion	upper bound
rank-width	red■	exclusion	upper bound
series-parallel	gray■	unknown to HOPS	unknown to HOPS
shrub-depth	red■	exclusion	upper bound
sim-width	red■	exclusion	upper bound
size	green■	upper bound	exclusion
slim tree-cut width	magenta■	exclusion	unknown to HOPS
sparse twin-width	red■	exclusion	upper bound
star	green■	upper bound	exclusion
stars	blue■	unbounded	exclusion
strong coloring number	red■	exclusion	upper bound
strong d-coloring number	red■	exclusion	upper bound
strong inf-coloring number	red■	exclusion	upper bound
topological bandwidth	blue■	exclusion	exclusion
tree	blue■	unbounded	exclusion
tree-cut width	magenta■	exclusion	unknown to HOPS
tree-independence number	red■	exclusion	upper bound
tree-partition-width	magenta■	exclusion	unknown to HOPS
treebandwidth	magenta■	exclusion	unknown to HOPS
treedepth	red■	exclusion	upper bound
treelength	red■	exclusion	upper bound
treespan	blue■	exclusion	exclusion
treewidth	red■	exclusion	upper bound
twin-cover number	red■	exclusion	upper bound
twin-width	red■	exclusion	upper bound
vertex connectivity	gray■	unknown to HOPS	unknown to HOPS
vertex cover	yellow■	tight bounds	upper bound
vertex integrity	red■	exclusion	upper bound
weak coloring number	red■	exclusion	upper bound
weak d-coloring number	red■	exclusion	upper bound
weak inf-coloring number	red■	exclusion	upper bound
weakly sparse	red■	exclusion	upper bound
weakly sparse and merge width	red■	exclusion	upper bound

Results

2025 On a tree-based variant of bandwidth and forbidding simple topological minors by Jacob, Lochet, Paul
- page 36 : vertex cover upper and lower bounds maximum matching by a linear function – … discovered independently by Fanica Gavril and Mihalis Yannakakis. Theorem 50. In a graph $G$, we have $\mu(G) \le {\rm vc}(G) \le 2\mu(G)$, where $\mu(G)$ is the maximum matching number of $G$.
- page 36 : maximum matching upper bounds vertex cover by a linear function – … discovered independently by Fanica Gavril and Mihalis Yannakakis. Theorem 50. In a graph $G$, we have $\mu(G) \le {\rm vc}(G) \le 2\mu(G)$, where $\mu(G)$ is the maximum matching number of $G$.
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
unknown source
- graph class complete is not constant maximum matching
- graph class path is not constant maximum matching
- star upper bounds maximum matching by a constant
- edgeless upper bounds maximum matching by a constant