A set-cover certificate checks each demand point directly.

highlighted = computed this step

Point one

Point 1 is covered by chosen site A.

point 1 covered\text{point }1\text{ covered}
coverage certificateThe chosen site rows are recomputed against the demand columns.coverage certificatechosen cost 9chosen rows A+B+Cpoint 1point 2point 3point 4point 5Acost 3covercover---Bcost 4-covercovercover-Ccost 2---covercoverDcost 6can---cancoveredcoveredcoveredcoveredcoveredfeasible cover

Point three

Point 3 is covered by chosen site B.

point 3 covered\text{point }3\text{ covered}
coverage certificateThe chosen site rows are recomputed against the demand columns.coverage certificatechosen cost 9chosen rows A+B+Cpoint 1point 2point 3point 4point 5Acost 3covercover---Bcost 4-covercovercover-Ccost 2---covercoverDcost 6can---cancoveredcoveredcoveredcoveredcoveredfeasible cover

Point five

Point 5 is covered by chosen site C.

point 5 covered\text{point }5\text{ covered}
coverage certificateThe chosen site rows are recomputed against the demand columns.coverage certificatechosen cost 9chosen rows A+B+Cpoint 1point 2point 3point 4point 5Acost 3covercover---Bcost 4-covercovercover-Ccost 2---covercoverDcost 6can---cancoveredcoveredcoveredcoveredcoveredfeasible cover

No missing point

The certificate covers all 5 points, so the number of missing points is 0.

missing points=0\text{missing points}=0
coverage certificateThe chosen site rows are recomputed against the demand columns.coverage certificatechosen cost 9chosen rows A+B+Cpoint 1point 2point 3point 4point 5Acost 3covercover---Bcost 4-covercovercover-Ccost 2---covercoverDcost 6can---cancoveredcoveredcoveredcoveredcoveredfeasible cover