Angolosok, VAGY Matekosok! Segítettek nekem értelmezni egy szöveget?

A kulcsszó, a "at most 420", ennek a jelentésére vagyok kíváncsi. Ez egy optimalizációs probléma, a legkisebb számú, tehát a minimális lefedő csúcshalmazt keressük. at most 420 az azt jelenti-e, hogy maximum 420, tehát lehet 419 is, vagy pedig azt, hogy legjobb esetben 420, tehát 420nál biztos hogy nem kisebb?

"The Witzel Graph. This is the second benchmark graph with n = 450 vertices, following a construction due to Klaus D. Witzel. Take thirty disjoint cliques on fifteen vertices and connect random pairs of cliques by random edges. Shuffle the labels of the vertices well so that the original cliques are hidden. Provided this is done carefully without adding too many extra edges, such a graph should have a minimum vertex cover with at most 420 vertices (all but one vertex from each original clique). Moreover, the minimum vertex cover is well and truly hidden. Indeed, the algorithm finds a minimum vertex cover of size k = 420."

Megmondom, mi zavar meg:

[link] e felett van egy ábra a gráfról, és az van alá írva, hogy: "The Witzel graph ( scheme only ) with a minimum vertex cover ( n = 450, k = 420 )."

Namost, ha 420 a maximum, és attól még lehetne kisebb is, akkor miért írja oda hogy minimum vertex cover 420? Vagy lehet ezért írta oda hogy scheme only, tehát ez a gráf nem a példa-file gráfja?