Tight embeddings of partial quadrilateral packings

Let f(n;C4) be the smallest integer such that, given any set of edge disjoint quadrilaterals on n vertices, one can extend it into a complete quadrilateral decomposition by including at most f(n;C4) additional vertices. It is known, and it is easy to show, that . Here we settle the longstanding problem that .