On -extendability of the hypercube
A graph having a perfect matching is called -extendable if every matching of size can be extended to a perfect matching. It is proved that in the hypercube , a matching with can be extended to a perfect matching if and only if it does not saturate the neighbourhood of any unsaturated vertex. In particular, is -extendable for every with